Irène Guessarian
Irène Guessarian publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification.
- World rank
- #7,427,472 of 7,710,434 ranked researchers
- Rank in France
- #311,944 of 324,115
- Works
- 112
- Citations
- 558
- Citations per work
- 5.0
What does Irène Guessarian research?
Irène Guessarian's work is mostly in Computer Science (75%), Mathematics (4%), Engineering (2%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences9080.8%
- Computer Science8475.4%
- Mathematics43.6%
- Engineering21.8%
- Everything else2219.2%
- 1Computational Theory and Mathematics34% of their works
- 2Artificial Intelligence32% of their works
- 3Computer Networks and Communications7% of their works
- 4Algebra and Number Theory4% of their works
- 5Hardware and Architecture2% of their works
- 6Industrial and Manufacturing Engineering2% of their works
Research topics
Which keywords describe Irène Guessarian's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Automata, Description Logics, Knowledge Representation, Formal Verification, Static Analysis and Answer Set Programming.
- Ontology
- Compression
- Algorithmic Information Theory
- Formal Languages
- Fuzzy Logic
- Satisfiability Modulo Theories
- Answer Set Programming
- Formal Verification
- Description Logics
- Temporal Logic
- Model Checking
- Automata
- Knowledge Representation
- Static Analysis
- Modal Logic
- Symbolic Model Checker
- Residuated Lattices
- Regular Expressions
- Computability
- Suffix Arrays
- 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 Checking773 topics
- Temporal Logic482 topics
- Automata402 topics
- Description Logics322 topics
- Knowledge Representation322 topics
- Formal Verification291 topic
- Static Analysis291 topic
- Answer Set Programming251 topic
- Modal Logic251 topic
- Satisfiability Modulo Theories231 topic
- Symbolic Model Checker231 topic
- Fuzzy Logic211 topic
- Residuated Lattices211 topic
- Formal Languages171 topic
- Regular Expressions171 topic
- Algorithmic Information Theory161 topic
- Computability161 topic
- Compression101 topic
- Suffix Arrays101 topic
- Ontology71 topic
- Semantic Web71 topic
Where does Irène Guessarian work?
Irène Guessarian's main affiliation in the publication record is Université Paris Cité, France.
How many publications and citations does Irène Guessarian have?
OpenAlex counts 112 works and 558 citations for Irène Guessarian, an h-index of 11, ranking #7,427,472 of 7,710,434 researchers worldwide on the quality 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Irène Guessarian. Posts are plain text and can be reported.