Bruno Courcelle
Bruno Courcelle publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications, on topics such as Advanced Graph Theory Research, semigroups and automata theory and Logic, programming, and type systems.
- World rank
- #13,913 of 1,633,909 ranked researchers
- Rank in France
- #790 of 96,116
- Works
- 66
- Citations
- 921
- Citations per work
- 14.0
What does Bruno Courcelle 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 Mathematics51% of their works
- 2Artificial Intelligence24% of their works
- 3Computer Networks and Communications5% of their works
- 4Software4% of their works
- 5Molecular Biology3% of their works
- 6Signal Processing2% of their works
Research topics
Which keywords describe Bruno Courcelle's research?
The keywords of their largest research topics: Algorithmic Applications, Approximation Algorithms, Automata, Model Checking, Formal Languages, Graph Theory, Parameterized Complexity and Regular Expressions.
- Satisfiability Modulo Theories
- Graph Labeling
- Ontology
- Answer Set Programming
- Combinatorial Optimization
- Static Analysis
- Formal Verification
- Regular Expressions
- Graph Theory
- Model Checking
- Approximation Algorithms
- Algorithmic Applications
- Automata
- Formal Languages
- Parameterized Complexity
- Description Logics
- Knowledge Representation
- Temporal Logic
- Complexity Theory
- Modal Logic
- Semantic Web
- Metric Dimension
- Symbolic Model Checker
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 23 words, with their numbers
- Algorithmic Applications212 topics
- Approximation Algorithms212 topics
- Automata192 topics
- Model Checking193 topics
- Formal Languages151 topic
- Graph Theory151 topic
- Parameterized Complexity151 topic
- Regular Expressions151 topic
- Description Logics102 topics
- Formal Verification101 topic
- Knowledge Representation102 topics
- Static Analysis101 topic
- Temporal Logic92 topics
- Combinatorial Optimization61 topic
- Complexity Theory61 topic
- Answer Set Programming51 topic
- Modal Logic51 topic
- Ontology51 topic
- Semantic Web51 topic
- Graph Labeling41 topic
- Metric Dimension41 topic
- Satisfiability Modulo Theories41 topic
- Symbolic Model Checker41 topic
Where does Bruno Courcelle work?
Bruno Courcelle's main affiliation in the publication record is Université de Bordeaux, France.
How many publications and citations does Bruno Courcelle have?
Science Explorer counts 66 works and 921 citations for Bruno Courcelle, ranking #13,913 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.