Concepedia

Véronique Bruyère

VB

21

Publications

527

Citations

14

H-Index

1991

Active since

Affiliations

University of Mons(Current)

Université Libre de Bruxelles

Centre National de la Recherche Scientifique

École Normale Supérieure Paris-Saclay

Véronique Bruyère is an author at University of Mons specializing in engineering, computer science, and computational complexity.

Top concepts

EngineeringComputer ScienceDiscrete MathematicsComputational ComplexityGamesBusinessGame TheoryMechanism DesignAlgorithmic Game TheoryComputational Game Theory

Publications per year

1991–2022

21

Publications

21

Bertrand numeration systems and recognizability

Véronique Bruyère, G. Hansel · Theoretical Computer Science · 1997 · 82 citations

Computational Number Theory, Entropy, Bertrand Numeration Systems +3

On the optimal reachability problem of weighted timed automata

Patricia Bouyer, Thomas Brihaye, Véronique Bruyère et al. · Formal Methods in System Design · 2007 · 78 citations

Mathematical Programming, Engineering, Reachability Problem +9

Automata on linear orderings

Véronique Bruyère, Olivier Carton · Journal of Computer and System Sciences · 2006 · 64 citations

Logical Automaton, Engineering, Automated Reasoning +6

REAL-TIME MODEL-CHECKING: PARAMETERS EVERYWHERE

Véronique Bruyère, Jean-François Raskin · 2007 · 39 citations

Durations and parametric model-checking in timed automata

Véronique Bruyère, Emmanuel Dall’Olio, Jean-François Raskin · ACM Transactions on Computational Logic · 2008 · 22 citations

Logical Automaton, Parametric Tctl Formula, Engineering +13

Rows per page

1–5 of 21