| 2026 | DLT | Visibly Recursive Automata. | Kvin Dubrulle, Vronique Bruyre, Guillermo A. Prez, Gatan Staquet |
| 2025 | CONCUR | The Non-Cooperative Rational Synthesis Problem for SPEs and ω-Regular Objectives. | Vronique Bruyre, Jean-Franois Raskin, Alexis Reynouard, Marie van den Bogaard |
| 2025 | MFCS | Games with ω-Automatic Preference Relations. | Vronique Bruyre, Christophe Grandmont, Jean-Franois Raskin |
| 2024 | CONCUR | As Soon as Possible but Rationally. | Vronique Bruyre, Christophe Grandmont, Jean-Franois Raskin |
| 2023 | TACAS | Validating Streaming JSON Documents with Learned VPAs. | Vronique Bruyre, Guillermo A. Prez, Gatan Staquet |
| 2022 | CiE | A Game-Theoretic Approach for the Synthesis of Complex Systems. | Vronique Bruyre |
| 2022 | CONCUR | Pareto-Rational Verification. | Vronique Bruyre, Jean-Franois Raskin, Clment Tamines |
| 2022 | TACAS | Learning Realtime One-Counter Automata. | Vronique Bruyre, Guillermo A. Prez, Gatan Staquet |
| 2021 | CONCUR | Stackelberg-Pareto Synthesis. | Vronique Bruyre, Jean-Franois Raskin, Clment Tamines |
| 2019 | CONCUR | The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. | Thomas Brihaye, Vronique Bruyre, Aline Goeminne, Jean-Franois Raskin, Marie van den Bogaard |
| 2019 | CONCUR | Energy Mean-Payoff Games. | Vronique Bruyre, Quentin Hautem, Mickael Randour, Jean-Franois Raskin |
| 2018 | CONCUR | Parameterized complexity of games with monotonically ordered omega-regular objectives. | Vronique Bruyre, Quentin Hautem, Jean-Franois Raskin |
| 2017 | DLT | Computer Aided Synthesis: A Game-Theoretic Approach. | Vronique Bruyre |
| 2017 | FOSSACS | On the Existence of Weak Subgame Perfect Equilibria. | Vronique Bruyre, Stphane Le Roux, Arno Pauly, Jean-Franois Raskin |
| 2016 | CONCUR | On the Complexity of Heterogeneous Multidimensional Games. | Vronique Bruyre, Quentin Hautem, Jean-Franois Raskin |
| 2015 | CSL | Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability. | Thomas Brihaye, Vronique Bruyre, Nomie Meunier, Jean-Franois Raskin |
| 2014 | CSL | Secure equilibria in weighted games. | Vronique Bruyre, Nomie Meunier, Jean-Franois Raskin |
| 2014 | STACS | Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. | Vronique Bruyre, Emmanuel Filiot, Mickael Randour, Jean-Franois Raskin |
| 2013 | LATA | Visibly Pushdown Automata: Universality and Inclusion via Antichains. | Vronique Bruyre, Marc Ducobu, Olivier Gauwin |
| 2013 | RV | Right-Universality of Visibly Pushdown Automata. | Vronique Bruyre, Marc Ducobu, Olivier Gauwin |
| 2013 | TACAS | Synthesis from LTL Specifications with Mean-Payoff Objectives. | Aaron Bohy, Vronique Bruyre, Emmanuel Filiot, Jean-Franois Raskin |
| 2012 | CAV | Acacia+, a Tool for LTL Synthesis. | Aaron Bohy, Vronique Bruyre, Emmanuel Filiot, Naiyong Jin, Jean-Franois Raskin |
| 2012 | FOSSACS | Subgame Perfection for Equilibria in Quantitative Reachability Games. | Thomas Brihaye, Vronique Bruyre, Julie De Pril, Hugo Gimbert |
| 2011 | ATVA | Antichain-Based QBF Solving. | Thomas Brihaye, Vronique Bruyre, Laurent Doyen, Marc Ducobu, Jean-Franois Raskin |
| 2010 | CSR | Equilibria in Quantitative Reachability Games. | Thomas Brihaye, Vronique Bruyre, Julie De Pril |
| 2009 | TIME | On First-Order Query Rewriting for Incomplete Database Histories. | Vronique Bruyre, Alexandre Decan, Jef Wijsen |
| 2008 | COCOA | Turn Graphs, Stability Number, and Fibonacci Index. | Vronique Bruyre, Hadrien Mlot |
| 2008 | ICALP | On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases. | Bernard Boigelot, Julien Brusten, Vronique Bruyre |
| 2005 | DLT | Sturmian Words: Dynamical Systems and Derivated Words. | Isabel M. Arajo, Vronique Bruyre |
| 2003 | STACS | Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic. | Vronique Bruyre, Emmanuel Dall'Olio, Jean-Franois Raskin |
| 2002 | DLT | Automata on Linear Orderings. | Vronique Bruyre, Olivier Carton |
| 2001 | MFCS | Automata on Linear Orderings. | Vronique Bruyre, Olivier Carton |
| 1997 | ICALP | A Completion Algorithm for Codes with Bounded Synchronization Delay. | Vronique Bruyre |
| 1996 | ICALP | Variable-Length Maximal Codes. | Vronique Bruyre, Michel Latteux |
| 1995 | LATIN | Recognizable Sets of Numbers in Nonstandard Bases. | Vronique Bruyre, Georges Hansel |
| 1995 | STACS | Coding and Strong Coding in Trace Monoids. | Vronique Bruyre, Clelia de Felice |
| 1994 | STACS | Coding with Traces. | Vronique Bruyre, Clelia de Felice, Giovanna Guaiana |
| 1992 | LATIN | Automata and Codes with Bounded Deciphering Delay. | Vronique Bruyre |
| 1991 | ICALP | Degree and Decomposability of Variable-Length Codes. | Vronique Bruyre, Clelia de Felice |
| 1989 | ICALP | Completion of Finite Codes with Finite Deciphering Delay. | Vronique Bruyre |
| 1988 | MFCS | On Maximal Prefix Sets of Words. | Vronique Bruyre |