David Monniaux
David Monniaux publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Software Reliability and Analysis Research.
- World rank
- #110,872 of 1,633,909 ranked researchers
- Rank in France
- #5,741 of 96,116
- Works
- 43
- Citations
- 219
- Citations per work
- 5.1
What does David Monniaux research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence29% of their works
- 2Computational Theory and Mathematics27% of their works
- 3Software16% of their works
- 4Hardware and Architecture11% of their works
- 5Computer Vision and Pattern Recognition4% of their works
- 6General Health Professions4% of their works
Research topics
Which keywords describe David Monniaux's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Architecture-Based Approach and Software Reliability Modeling.
- Identity-Based Encryption
- Software Fault Localization
- Reconfigurable Computing
- Modal Logic
- Automated Testing
- Software Reliability Modeling
- Static Analysis
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Formal Verification
- Architecture-Based Approach
- Answer Set Programming
- High-Level Synthesis
- Optimal Motion Planning
- Sampling-Based Algorithms
- Homomorphic Encryption
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 18 words, with their numbers
- Model Checking213 topics
- Temporal Logic142 topics
- Satisfiability Modulo Theories121 topic
- Symbolic Model Checker121 topic
- Formal Verification71 topic
- Static Analysis71 topic
- Architecture-Based Approach41 topic
- Software Reliability Modeling41 topic
- Answer Set Programming21 topic
- Automated Testing21 topic
- High-Level Synthesis21 topic
- Modal Logic21 topic
- Optimal Motion Planning21 topic
- Reconfigurable Computing21 topic
- Sampling-Based Algorithms21 topic
- Software Fault Localization21 topic
- Homomorphic Encryption11 topic
- Identity-Based Encryption11 topic
Where does David Monniaux work?
David Monniaux's main affiliation in the publication record is Verimag, France.
How many publications and citations does David Monniaux have?
Science Explorer counts 43 works and 219 citations for David Monniaux, ranking #110,872 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.