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
413
Citations
1.9K
h-index
18
i10-index
50
Also known as
Formal Method LaboratoryLaboratoire Méthodes FormellesUMR 9021UMR9021
Top research topics
Formal Methods in Verification(86)Logic, programming, and type systems(73)Quantum Computing Algorithms and Architecture(41)Logic, Reasoning, and Knowledge(41)semigroups and automata theory(28)Computability, Logic, AI Algorithms(25)Model-Driven Software Engineering Techniques(18)Quantum Information and Cryptography(17)Software Testing and Debugging Techniques(17)Advanced Topology and Set Theory(16)Semantic Web and Ontologies(15)Distributed systems and fault tolerance(15)Advanced Algebra and Logic(15)Quantum Mechanics and Applications(14)Petri Nets in System Modeling(14)
Top-cited papers from Laboratoire Méthodes Formelles
No indexed publications for this institution yet.