Laboratoire Méthodes Formelles
facilityGif-sur-Yvette, Île-de-France, France
Research output, citation impact, and the most-cited recent papers from Laboratoire Méthodes Formelles (France). Aggregated across the NobleBlocks index of 300M+ scholarly works.
Total works
414
Citations
1.9K
h-index
18
i10-index
52
Also known as
Formal Method LaboratoryLaboratoire Méthodes FormellesUMR 9021UMR9021
Top research topics
Formal Methods in Verification(85)Logic, programming, and type systems(73)Quantum Computing Algorithms and Architecture(40)Logic, Reasoning, and Knowledge(40)semigroups and automata theory(28)Computability, Logic, AI Algorithms(25)Software Testing and Debugging Techniques(18)Model-Driven Software Engineering Techniques(18)Quantum Information and Cryptography(17)Advanced Topology and Set Theory(17)Semantic Web and Ontologies(15)Distributed systems and fault tolerance(15)Petri Nets in System Modeling(15)Advanced Algebra and Logic(15)Business Process Modeling and Analysis(14)
Top-cited papers from Laboratoire Méthodes Formelles
No indexed publications for this institution yet.