Véronique Bruyère
Véronique Bruyère publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Management Science and Operations Research, on topics such as Formal Methods in Verification, semigroups and automata theory and Game Theory and Applications.
- World rank
- #4,359,912 of 7,710,434 ranked researchers
- Rank in Belgium
- #39,129 of 67,186
- Works
- 158
- Citations
- 1.3k
- Citations per work
- 8.1
What does Véronique Bruyère research?
Véronique Bruyère's work is mostly in Computer Science (66%), Decision Sciences (10%), Economics, Econometrics and Finance (5%).
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 Sciences10465.6%
- Computer Science10465.6%
- Everything else2515.7%
- Social Sciences2415.5%
- Life Sciences53.2%
- 1Computational Theory and Mathematics36% of their works
- 2Artificial Intelligence24% of their works
- 3Management Science and Operations Research10% of their works
- 4Software6% of their works
- 5Economics and Econometrics5% of their works
- 6Molecular Biology3% of their works
Research topics
Which keywords describe Véronique Bruyère's research?
The keywords of their largest research topics: Model Checking, Automata, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Game Theory, Formal Languages and Regular Expressions.
- Molecular Computation
- Mechanism Design
- Modal Logic
- Answer Set Programming
- Static Analysis
- Social Networks
- Regular Expressions
- Game Theory
- Satisfiability Modulo Theories
- Automata
- Model Checking
- Temporal Logic
- Symbolic Model Checker
- Formal Languages
- Network Formation
- Formal Verification
- Algorithmic Information Theory
- Computability
- Matching Theory
- DNA Computing
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 Checking1093 topics
- Automata1062 topics
- Temporal Logic832 topics
- Satisfiability Modulo Theories621 topic
- Symbolic Model Checker621 topic
- Game Theory532 topics
- Formal Languages441 topic
- Regular Expressions441 topic
- Network Formation381 topic
- Social Networks381 topic
- Formal Verification261 topic
- Static Analysis261 topic
- Algorithmic Information Theory211 topic
- Answer Set Programming211 topic
- Computability211 topic
- Modal Logic211 topic
- Matching Theory151 topic
- Mechanism Design151 topic
- DNA Computing111 topic
- Molecular Computation111 topic
Where does Véronique Bruyère work?
Véronique Bruyère's main affiliation in the publication record is University of Mons, Belgium.
How many publications and citations does Véronique Bruyère have?
OpenAlex counts 158 works and 1,279 citations for Véronique Bruyère, an h-index of 18, ranking #4,359,912 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 Véronique Bruyère. Posts are plain text and can be reported.