Irène Durand
Irène Durand publishes mostly in Artificial Intelligence and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Formal Methods in Verification and semigroups and automata theory.
- World rank
- #666,240 of 1,633,909 ranked researchers
- Rank in France
- #41,028 of 96,116
- Works
- 17
- Citations
- 28
- Citations per work
- 1.6
What does Irène Durand research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence56% of their works
- 2Computational Theory and Mathematics44% of their works
Research topics
Which keywords describe Irène Durand's research?
The keywords of their largest research topics: Model Checking, Automata, Formal Verification, Static Analysis, Temporal Logic, Description Logics, Formal Languages and Knowledge Representation.
- Ontology
- Answer Set Programming
- Satisfiability Modulo Theories
- Knowledge Representation
- Description Logics
- Static Analysis
- Automata
- Model Checking
- Formal Verification
- Temporal Logic
- Formal Languages
- Regular Expressions
- Symbolic Model Checker
- Modal Logic
- Semantic Web
Size is their works in the topics tagged with each word, from their 5 largest topics. Each links to the topic it comes from most.
All 15 words, with their numbers
- Model Checking63 topics
- Automata42 topics
- Formal Verification31 topic
- Static Analysis31 topic
- Temporal Logic32 topics
- Description Logics22 topics
- Formal Languages21 topic
- Knowledge Representation22 topics
- Regular Expressions21 topic
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
- Answer Set Programming11 topic
- Modal Logic11 topic
- Ontology11 topic
- Semantic Web11 topic
Where does Irène Durand work?
Irène Durand's main affiliation in the publication record is Laboratoire Bordelais de Recherche en Informatique, France.
How many publications and citations does Irène Durand have?
Science Explorer counts 17 works and 28 citations for Irène Durand, ranking #666,240 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.