BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bruy=egrave=re:V=eacute=ronique

Contributed to:

CSL 20152015
CSL-LICS 20142014
LATA 20132013
TACAS 20132013
CAV 20122012
FOSSACS 20122012
ICALP (2) 20082008
DLT 20052005
DLT 20022002
ICALP 19971997
ICALP 19961996
ICALP 19911991
ICALP 19891989

Wrote 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.
Variable-Length Maximal Codes (VB, ML), pp. 24–47.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.