Travelled to:1 × Austria
1 × Estonia
1 × Iceland
1 × Japan
1 × USA
2 × Germany
2 × Spain
4 × Italy
Collaborated with:J.Raskin ∅ N.Meunier T.Brihaye I.M.Araújo O.Carton M.Latteux C.d.Felice A.Bohy E.Filiot M.Ducobu O.Gauwin B.Boigelot J.Brusten J.D.Pril H.Gimbert N.Jin
Talks about:code (4) equilibria (3) automata (3) finit (3) synthesi (2) reachabl (2) variabl (2) quantit (2) perfect (2) complet (2)
Person: Véronique Bruyère
DBLP: Bruy=egrave=re:V=eacute=ronique
Contributed to:
2015
2014
2013
2013
2012
2012
2008
200520021997199619911989Wrote 13 papers:
- CSL-2015-BrihayeBMR #reachability
- Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability (TB, VB, NM, JFR), pp. 504–518.
- LICS-CSL-2014-BruyereMR #game studies
- Secure equilibria in weighted games (VB, NM, JFR), p. 26.
- LATA-2013-BruyereDG #anti #automaton
- Visibly Pushdown Automata: Universality and Inclusion via Antichains (VB, MD, OG), pp. 190–201.
- TACAS-2013-BohyBFR #ltl #specification #synthesis
- Synthesis from LTL Specifications with Mean-Payoff Objectives (AB, VB, EF, JFR), pp. 169–184.
- CAV-2012-BohyBFJR #ltl #synthesis
- Acacia+, a Tool for LTL Synthesis (AB, VB, EF, NJ, JFR), pp. 652–657.
- FoSSaCS-2012-BrihayeBPG #game studies #reachability
- Subgame Perfection for Equilibria in Quantitative Reachability Games (TB, VB, JDP, HG), pp. 286–300.
- ICALP-B-2008-BoigelotBB #automaton #finite #multi #on the #set
- On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases (BB, JB, VB), pp. 112–123.
- DLT-2005-AraujoB #word
- Sturmian Words: Dynamical Systems and Derivated Words (IMA, VB), pp. 122–133.
- DLT-2002-BruyereC #automaton #linear #order
- Automata on Linear Orderings (VB, OC), pp. 103–115.
- ICALP-1997-Bruyere #algorithm #bound
- A Completion Algorithm for Codes with Bounded Synchronization Delay (VB), pp. 87–97.
- ICALP-1996-BruyereL
- Variable-Length Maximal Codes (VB, ML), pp. 24–47.
- ICALP-1991-BruyereF
- Degree and Decomposability of Variable-Length Codes (VB, CdF), pp. 575–587.
- ICALP-1989-Bruyere #finite
- Completion of Finite Codes with Finite Deciphering Delay (VB), pp. 151–163.