Michaël Lienhardt
Michaël Lienhardt publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Advanced Software Engineering Methodologies and Formal Methods in Verification.
- World rank
- #553,308 of 1,633,909 ranked researchers
- Rank in France
- #33,605 of 96,116
- Works
- 19
- Citations
- 33
- Citations per work
- 1.7
What does Michaël Lienhardt research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence42% of their works
- 2Computational Theory and Mathematics25% of their works
- 3Software17% of their works
- 4Computer Networks and Communications8% of their works
- 5Information Systems8% of their works
Research topics
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Natural Language Processing Techniques
- Mathematics, Computing, and Information Processing
- Distributed systems and fault tolerance
- Service-Oriented Architecture and Web Services
Which keywords describe Michaël Lienhardt's research?
The keywords of their largest research topics: Model Checking, Autonomic Computing, Domain-Specific Languages, Formal Verification, Model-Driven Engineering, Satisfiability Modulo Theories, Self-Adaptive Systems and Static Analysis.
- Semantic Web Services
- Neural Machine Translation
- Math Search
- Distributed Systems
- Static Analysis
- Satisfiability Modulo Theories
- Formal Verification
- Autonomic Computing
- Model Checking
- Domain-Specific Languages
- Model-Driven Engineering
- Self-Adaptive Systems
- Symbolic Model Checker
- Fault Tolerance
- Mathematical Information Retrieval
- QoS-Aware Middleware
- Statistical Machine Translation
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 17 words, with their numbers
- Model Checking42 topics
- Autonomic Computing21 topic
- Domain-Specific Languages21 topic
- Formal Verification21 topic
- Model-Driven Engineering21 topic
- Satisfiability Modulo Theories21 topic
- Self-Adaptive Systems21 topic
- Static Analysis21 topic
- Symbolic Model Checker21 topic
- Distributed Systems11 topic
- Fault Tolerance11 topic
- Math Search11 topic
- Mathematical Information Retrieval11 topic
- Neural Machine Translation11 topic
- QoS-Aware Middleware11 topic
- Semantic Web Services11 topic
- Statistical Machine Translation11 topic
Where does Michaël Lienhardt work?
Michaël Lienhardt's main affiliation in the publication record is Office National d'Études et de Recherches Aérospatiales, France.
How many publications and citations does Michaël Lienhardt have?
Science Explorer counts 19 works and 33 citations for Michaël Lienhardt, ranking #553,308 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.