Dominique Duval
Dominique Duval publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and Advanced Algebra and Logic.
- World rank
- #1,076,558 of 1,633,909 ranked researchers
- Rank in France
- #66,429 of 96,116
- Works
- 49
- Citations
- 56
- Citations per work
- 1.1
What does Dominique Duval research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence44% of their works
- 2Computational Theory and Mathematics12% of their works
- 3Computer Networks and Communications8% of their works
- 4Mathematical Physics3% of their works
- 5Software3% of their works
- 6Information Systems3% of their works
Research topics
Which keywords describe Dominique Duval's research?
The keywords of their largest research topics: Model Checking, Description Logics, Knowledge Representation, Temporal Logic, Answer Set Programming, Modal Logic, Formal Verification and Static Analysis.
- Symbolic Model Checker
- Satisfiability Modulo Theories
- Distributed Algorithms
- Data Stream Management
- Semantic Web
- Residuated Lattices
- Static Analysis
- Modal Logic
- Temporal Logic
- Description Logics
- Model Checking
- Knowledge Representation
- Answer Set Programming
- Formal Verification
- Fuzzy Logic
- Ontology
- Continuous Queries
- Constraint Optimization
- Neural Machine Translation
- 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 20 words, with their numbers
- Model Checking233 topics
- Description Logics152 topics
- Knowledge Representation152 topics
- Temporal Logic132 topics
- Answer Set Programming111 topic
- Modal Logic111 topic
- Formal Verification101 topic
- Static Analysis101 topic
- Fuzzy Logic51 topic
- Residuated Lattices51 topic
- Ontology41 topic
- Semantic Web41 topic
- Continuous Queries31 topic
- Data Stream Management31 topic
- Constraint Optimization21 topic
- Distributed Algorithms21 topic
- Neural Machine Translation21 topic
- Satisfiability Modulo Theories21 topic
- Statistical Machine Translation21 topic
- Symbolic Model Checker21 topic
Where does Dominique Duval work?
Dominique Duval's main affiliation in the publication record is Laboratoire de Tribologie et Dynamique des Systèmes, France.
How many publications and citations does Dominique Duval have?
Science Explorer counts 49 works and 56 citations for Dominique Duval, ranking #1,076,558 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.