Damien Pous
Damien Pous publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Geometry and Topology, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.
- World rank
- #492,471 of 1,633,909 ranked researchers
- Rank in France
- #29,622 of 96,116
- Works
- 42
- Citations
- 128
- Citations per work
- 3.0
What does Damien Pous research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics44% of their works
- 2Artificial Intelligence37% of their works
- 3Geometry and Topology3% of their works
- 4Algebra and Number Theory3% of their works
- 5Information Systems2% of their works
- 6Computer Vision and Pattern Recognition2% of their works
Research topics
Which keywords describe Damien Pous's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Automata, Formal Verification, Static Analysis, Description Logics, Knowledge Representation and Satisfiability Modulo Theories.
- Ontology
- Hom-Lie Algebras
- Deadlock Prevention
- Fuzzy Logic
- Formal Languages
- Answer Set Programming
- Satisfiability Modulo Theories
- Description Logics
- Formal Verification
- Temporal Logic
- Model Checking
- Automata
- Static Analysis
- Knowledge Representation
- Symbolic Model Checker
- Modal Logic
- Regular Expressions
- Residuated Lattices
- Deformations
- Petri Nets
- 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 21 words, with their numbers
- Model Checking303 topics
- Temporal Logic172 topics
- Automata162 topics
- Formal Verification131 topic
- Static Analysis131 topic
- Description Logics92 topics
- Knowledge Representation92 topics
- Satisfiability Modulo Theories91 topic
- Symbolic Model Checker91 topic
- Answer Set Programming81 topic
- Modal Logic81 topic
- Formal Languages71 topic
- Regular Expressions71 topic
- Fuzzy Logic51 topic
- Residuated Lattices51 topic
- Deadlock Prevention21 topic
- Deformations21 topic
- Hom-Lie Algebras21 topic
- Petri Nets21 topic
- Ontology11 topic
- Semantic Web11 topic
Where does Damien Pous work?
Damien Pous's main affiliation in the publication record is Laboratoire de l'Informatique du Parallélisme, France.
How many publications and citations does Damien Pous have?
Science Explorer counts 42 works and 128 citations for Damien Pous, ranking #492,471 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.