Michel Hassenforder
Michel Hassenforder publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Model-Driven Software Engineering Techniques, Semantic Web and Ontologies and Formal Methods in Verification.
- World rank
- #1,384,764 of 1,633,909 ranked researchers
- Rank in France
- #83,704 of 96,116
- Works
- 18
- Citations
- 12
- Citations per work
- 0.7
What does Michel Hassenforder research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence30% of their works
- 2Software20% of their works
- 3Computational Theory and Mathematics15% of their works
- 4Computer Networks and Communications10% of their works
- 5Signal Processing5% of their works
- 6Numerical Analysis5% of their works
Research topics
Which keywords describe Michel Hassenforder's research?
The keywords of their largest research topics: Description Logics, Domain-Specific Languages, Knowledge Representation, Model Checking, Model-Driven Engineering, Temporal Logic, Ontology and Satisfiability Modulo Theories.
- Type-2 Fuzzy Sets
- Modal Logic
- Fuzzy Logic Systems
- Data Stream Management
- Autonomic Computing
- Symbolic Model Checker
- Satisfiability Modulo Theories
- Temporal Logic
- Model Checking
- Domain-Specific Languages
- Description Logics
- Knowledge Representation
- Model-Driven Engineering
- Ontology
- Semantic Web
- Answer Set Programming
- Continuous Queries
- Distributed Systems
- Grid Computing
- Self-Adaptive Systems
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 20 words, with their numbers
- Description Logics42 topics
- Domain-Specific Languages41 topic
- Knowledge Representation42 topics
- Model Checking42 topics
- Model-Driven Engineering41 topic
- Temporal Logic42 topics
- Ontology31 topic
- Satisfiability Modulo Theories31 topic
- Semantic Web31 topic
- Symbolic Model Checker31 topic
- Answer Set Programming11 topic
- Autonomic Computing11 topic
- Continuous Queries11 topic
- Data Stream Management11 topic
- Distributed Systems11 topic
- Fuzzy Logic Systems11 topic
- Grid Computing11 topic
- Modal Logic11 topic
- Self-Adaptive Systems11 topic
- Type-2 Fuzzy Sets11 topic
Where does Michel Hassenforder work?
Michel Hassenforder's main affiliation in the publication record is Université de Haute-Alsace, France.
How many publications and citations does Michel Hassenforder have?
Science Explorer counts 18 works and 12 citations for Michel Hassenforder, ranking #1,384,764 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.