Arnaud Carayol
Arnaud Carayol 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 semigroups and automata theory.
- World rank
- #1,558,471 of 1,633,909 ranked researchers
- Rank in France
- #92,481 of 96,116
- Works
- 17
- Citations
- 11
- Citations per work
- 0.6
What does Arnaud Carayol 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 Mathematics56% of their works
- 2Artificial Intelligence26% of their works
- 3Geometry and Topology4% of their works
- 4Hardware and Architecture4% of their works
- 5Software4% of their works
- 6Political Science and International Relations4% of their works
Research topics
Which keywords describe Arnaud Carayol's research?
The keywords of their largest research topics: Model Checking, Automata, Temporal Logic, Formal Languages, Formal Verification, Regular Expressions, Satisfiability Modulo Theories and Static Analysis.
- Security Policies
- Modal Logic
- Answer Set Programming
- Fuzzy Logic
- Algorithmic Information Theory
- Static Analysis
- Regular Expressions
- Formal Languages
- Automata
- Model Checking
- Temporal Logic
- Formal Verification
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Computability
- Residuated Lattices
- Deadlock Prevention
- Petri Nets
- Side-Channel Attacks
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 19 words, with their numbers
- Model Checking93 topics
- Automata82 topics
- Temporal Logic52 topics
- Formal Languages41 topic
- Formal Verification41 topic
- Regular Expressions41 topic
- Satisfiability Modulo Theories41 topic
- Static Analysis41 topic
- Symbolic Model Checker41 topic
- Algorithmic Information Theory21 topic
- Computability21 topic
- Fuzzy Logic21 topic
- Residuated Lattices21 topic
- Answer Set Programming11 topic
- Deadlock Prevention11 topic
- Modal Logic11 topic
- Petri Nets11 topic
- Security Policies11 topic
- Side-Channel Attacks11 topic
Where does Arnaud Carayol work?
Arnaud Carayol's main affiliation in the publication record is Laboratoire d'Informatique Gaspard-Monge, France.
How many publications and citations does Arnaud Carayol have?
Science Explorer counts 17 works and 11 citations for Arnaud Carayol, ranking #1,558,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.