Catherine Dubois
Catherine Dubois publishes mostly in Artificial Intelligence, Information Systems and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Advanced Software Engineering Methodologies.
- World rank
- #1,364,841 of 1,633,909 ranked researchers
- Rank in France
- #82,652 of 96,116
- Works
- 25
- Citations
- 12
- Citations per work
- 0.5
What does Catherine Dubois research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence38% of their works
- 2Information Systems17% of their works
- 3Computational Theory and Mathematics12% of their works
- 4Computer Vision and Pattern Recognition8% of their works
- 5Control and Systems Engineering4% of their works
- 6Political Science and International Relations4% of their works
Research topics
Which keywords describe Catherine Dubois's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Autonomic Computing and Description Logics.
- Stereo Vision
- Ontology
- Labeling
- Distributed Systems
- Connected Components
- Self-Adaptive Systems
- Description Logics
- Symbolic Model Checker
- Temporal Logic
- Formal Verification
- Model Checking
- Static Analysis
- Satisfiability Modulo Theories
- Autonomic Computing
- Knowledge Representation
- Answer Set Programming
- Depth Estimation
- Grid Computing
- Modal Logic
- Semantic Web
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 Checking93 topics
- Formal Verification51 topic
- Static Analysis51 topic
- Temporal Logic42 topics
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Autonomic Computing21 topic
- Description Logics22 topics
- Knowledge Representation22 topics
- Self-Adaptive Systems21 topic
- Answer Set Programming11 topic
- Connected Components11 topic
- Depth Estimation11 topic
- Distributed Systems11 topic
- Grid Computing11 topic
- Labeling11 topic
- Modal Logic11 topic
- Ontology11 topic
- Semantic Web11 topic
- Stereo Vision11 topic
Where does Catherine Dubois work?
Catherine Dubois's main affiliation in the publication record is Centre d'études et de recherche en informatique et communications, France.
How many publications and citations does Catherine Dubois have?
Science Explorer counts 25 works and 12 citations for Catherine Dubois, ranking #1,364,841 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.