Sylvain Conchon
Sylvain Conchon publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Artificial Intelligence in Education.
- World rank
- #194,110 of 1,633,909 ranked researchers
- Rank in France
- #10,225 of 96,116
- Works
- 31
- Citations
- 107
- Citations per work
- 3.5
What does Sylvain Conchon 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
- 2Computational Theory and Mathematics24% of their works
- 3Computer Networks and Communications10% of their works
- 4Information Systems7% of their works
- 5Software7% of their works
- 6Linguistics and Language7% of their works
Research topics
Which keywords describe Sylvain Conchon's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Artificial Intelligence and Automated Testing.
- Semantic Web
- Modal Logic
- Answer Set Programming
- Software Fault Localization
- Language Education
- Digital Education
- Automated Testing
- Symbolic Model Checker
- Temporal Logic
- Formal Verification
- Model Checking
- Static Analysis
- Satisfiability Modulo Theories
- Artificial Intelligence
- Description Logics
- Knowledge Representation
- Multilingualism
- Affective States
- Intelligent Tutoring Systems
- Ontology
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 Checking123 topics
- Formal Verification61 topic
- Static Analysis61 topic
- Temporal Logic62 topics
- Satisfiability Modulo Theories51 topic
- Symbolic Model Checker51 topic
- Artificial Intelligence21 topic
- Automated Testing21 topic
- Description Logics22 topics
- Digital Education21 topic
- Knowledge Representation22 topics
- Language Education21 topic
- Multilingualism21 topic
- Software Fault Localization21 topic
- Affective States11 topic
- Answer Set Programming11 topic
- Intelligent Tutoring Systems11 topic
- Modal Logic11 topic
- Ontology11 topic
- Semantic Web11 topic
Where does Sylvain Conchon work?
Sylvain Conchon's main affiliation in the publication record is Laboratoire de Recherche en Informatique, France.
How many publications and citations does Sylvain Conchon have?
Science Explorer counts 31 works and 107 citations for Sylvain Conchon, ranking #194,110 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.