 | 2012 |
|---|
| 57 |       | Thomas Brihaye,
Véronique Bruyère,
Julie De Pril,
Hugo Gimbert:
Subgame Perfection for Equilibria in Quantitative Reachability Games.
FoSSaCS 2012: 286-300 |
| 56 | | Véronique Bruyère,
Gwenaël Joret,
Hadrien Mélot:
Trees with Given Stability Number and Minimum Number of Stable Sets.
Graphs and Combinatorics 28(2): 167-187 (2012) |
| 2011 |
|---|
| 55 | | Thomas Brihaye,
Véronique Bruyère,
Laurent Doyen,
Marc Ducobu,
Jean-François Raskin:
Antichain-Based QBF Solving.
ATVA 2011: 183-197 |
| 2010 |
|---|
| 54 | | Thomas Brihaye,
Véronique Bruyère,
Julie De Pril:
Equilibria in Quantitative Reachability Games.
CSR 2010: 72-83 |
| 53 | | Bernard Boigelot,
Julien Brusten,
Véronique Bruyère:
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
Logical Methods in Computer Science 6(1): (2010) |
| 52 | | Véronique Bruyère,
Michel Rigo:
Foreword.
RAIRO - Theor. Inf. and Applic. 44(1): 1 (2010) |
| 51 | | Thomas Brihaye,
Véronique Bruyère,
Elaine Render:
Formal language properties of hybrid systems with strong resets.
RAIRO - Theor. Inf. and Applic. 44(1): 79-111 (2010) |
| 2009 |
|---|
| 50 | | Véronique Bruyère,
Alexandre Decan,
Jef Wijsen:
On First-Order Query Rewriting for Incomplete Database Histories.
TIME 2009: 54-61 |
| 49 | | Véronique Bruyère,
Olivier Carton,
Géraud Sénizergues:
Tree Automata and Automata on Linear Orderings.
ITA 43(2): 321-338 (2009) |
| 48 | | Véronique Bruyère,
Hadrien Mélot:
Fibonacci index and stability number of graphs: a polyhedral study.
J. Comb. Optim. 18(3): 207-228 (2009) |
| 47 | | Ricardo A. Baeza-Yates,
Véronique Bruyère,
Olivier Delgrange,
Rodrigo Scheihing:
On the size of Boyer-Moore automata.
Theor. Comput. Sci. 410(43): 4432-4443 (2009) |
| 2008 |
|---|
| 46 | | Véronique Bruyère,
Hadrien Mélot:
Turán Graphs, Stability Number, and Fibonacci Index.
COCOA 2008: 127-138 |
| 45 | | Bernard Boigelot,
Julien Brusten,
Véronique Bruyère:
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases.
ICALP (2) 2008: 112-123 |
| 44 | | Véronique Bruyère,
Emmanuel Dall'Olio,
Jean-François Raskin:
Durations and parametric model-checking in timed automata.
ACM Trans. Comput. Log. 9(2): (2008) |
| 43 | | Véronique Bruyère,
Hadrien Mélot:
Turán Graphs, Stability Number, and Fibonacci Index
CoRR abs/0802.3284: (2008) |
| 42 | | Véronique Bruyère,
Hadrien Mélot:
Fibonacci Index and Stability Number of Graphs: a Polyhedral Study
CoRR abs/0811.1449: (2008) |
| 2007 |
|---|
| 41 | | Véronique Bruyère,
Jean-François Raskin:
Real-Time Model-Checking: Parameters everywhere
CoRR abs/cs/0701138: (2007) |
| 40 | | Michel Rigo,
Véronique Bruyère:
Foreword to the Special Issue Dedicated to the 10th "Journées Montoises d'Informatique Théorique".
Discrete Mathematics & Theoretical Computer Science 9(2): (2007) |
| 39 | | Patricia Bouyer,
Thomas Brihaye,
Véronique Bruyère,
Jean-François Raskin:
On the optimal reachability problem of weighted timed automata.
Formal Methods in System Design 31(2): 135-175 (2007) |
| 38 | | Véronique Bruyère,
Olivier Carton:
Automata on linear orderings.
J. Comput. Syst. Sci. 73(1): 1-24 (2007) |
| 37 | | Véronique Bruyère,
Jean-François Raskin:
Real-Time Model-Checking: Parameters everywhere.
Logical Methods in Computer Science 3(1): (2007) |
| 2006 |
|---|
| 36 | | Thomas Brihaye,
Véronique Bruyère,
Jean-François Raskin:
On model-checking timed automata with stopwatch observers.
Inf. Comput. 204(3): 408-433 (2006) |
| 2005 |
|---|
| 35 | | Isabel M. Araújo,
Véronique Bruyère:
Sturmian Words: Dynamical Systems and Derivated Words.
Developments in Language Theory 2005: 122-133 |
| 34 | | Thomas Brihaye,
Véronique Bruyère,
Jean-François Raskin:
On Optimal Timed Strategies.
FORMATS 2005: 49-64 |
| 33 | | Isabel M. Araújo,
Véronique Bruyère:
Sturmian words and a criterium by Michaux-Villemaire.
Theor. Comput. Sci. 339(1): 88-102 (2005) |
| 32 | | Isabel M. Araújo,
Véronique Bruyère:
Words derivated from Sturmian words.
Theor. Comput. Sci. 340(1): 204-219 (2005) |
| 31 | | Véronique Bruyère,
Olivier Carton:
Hierarchy Among Automata on Linear Orderings.
Theory Comput. Syst. 38(5): 593-621 (2005) |
| 2004 |
|---|
| 30 | | Thomas Brihaye,
Véronique Bruyère,
Jean-François Raskin:
Model-Checking for Weighted Timed Automata.
FORMATS/FTRTFT 2004: 277-292 |
| 2003 |
|---|
| 29 | | Véronique Bruyère,
Jean-François Raskin:
Real-Time Model-Checking: Parameters Everywhere.
FSTTCS 2003: 100-111 |
| 28 | | Véronique Bruyère,
Emmanuel Dall'Olio,
Jean-François Raskin:
Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic.
STACS 2003: 687-698 |
| 27 | | Véronique Bruyère:
Cumulative defect.
Theor. Comput. Sci. 292(1): 97-109 (2003) |
| 2002 |
|---|
| 26 | | Véronique Bruyère,
Olivier Carton:
Automata on Linear Orderings.
Developments in Language Theory 2002: 103-115 |
| 25 |  | Véronique Bruyère,
Olivier Carton:
Hierarchy Among Automata on Linear Orderings.
IFIP TCS 2002: 107-118 |
| 2001 |
|---|
| 24 | | Véronique Bruyère,
Olivier Carton:
Automata on Linear Orderings.
MFCS 2001: 236-247 |
| 1999 |
|---|
| 23 | | Véronique Bruyère,
Clelia de Felice:
On the Existence of Codings Between Trace Monoids.
Journal of Automata, Languages and Combinatorics 4(2): 87-100 (1999) |
| 22 | | Véronique Bruyère,
Christophe Reutenauer:
A Proof of Choffrut's Theorem on Subsequential Functions.
Theor. Comput. Sci. 215(1-2): 329-335 (1999) |
| 21 | | Véronique Bruyère,
Dominique Perrin:
Maximal Bifix Codes.
Theor. Comput. Sci. 218(1): 107-121 (1999) |
| 1998 |
|---|
| 20 | | Véronique Bruyère,
Denis Derencourt,
Michel Latteux:
The Meet Operation in the Lattice of Codes.
Theor. Comput. Sci. 191(1-2): 117-129 (1998) |
| 19 | | Véronique Bruyère:
On Maximal Codes with Bounded Synchronization Delay.
Theor. Comput. Sci. 204(1-2): 11-28 (1998) |
| 1997 |
|---|
| 18 | | Véronique Bruyère:
A Completion Algorithm for Codes with Bounded Synchronization Delay.
ICALP 1997: 87-97 |
| 17 | | Véronique Bruyère,
Georges Hansel:
Bertrand Numeration Systems and Recognizability.
Theor. Comput. Sci. 181(1): 17-43 (1997) |
| 16 | | F. Point,
Véronique Bruyère:
On the Cobham-Semenov Theorem.
Theory Comput. Syst. 30(2): 197-220 (1997) |
| 1996 |
|---|
| 15 | | Véronique Bruyère,
Michel Latteux:
Variable-Length Maximal Codes.
ICALP 1996: 24-47 |
| 14 | | Véronique Bruyère,
Clelia de Felice:
Any Lifting of a Trace Coding is a Word Coding.
Inf. Comput. 130(2): 183-193 (1996) |
| 1995 |
|---|
| 13 | | Véronique Bruyère,
Georges Hansel:
Recognizable Sets of Numbers in Nonstandard Bases.
LATIN 1995: 167-179 |
| 12 | | Véronique Bruyère,
Clelia de Felice:
Coding and Strong Coding in Trace Monoids.
STACS 1995: 373-384 |
| 11 | | Véronique Bruyère,
Clelia de Felice:
Synchronization and decomposability for a family of codes: Part 2.
Discrete Mathematics 140(1-3): 47-77 (1995) |
| 10 | | Véronique Bruyère,
Clelia de Felice,
Giovanna Guaiana:
On Some Decision Problems for Trace Codings.
Theor. Comput. Sci. 148(2): 227-260 (1995) |
| 1994 |
|---|
| 9 | | Véronique Bruyère,
Clelia de Felice,
Giovanna Guaiana:
Coding with Traces.
STACS 1994: 353-364 |
| 1992 |
|---|
| 8 | | Véronique Bruyère:
Automata and Codes with Bounded Deciphering Delay.
LATIN 1992: 99-107 |
| 1991 |
|---|
| 7 | | Véronique Bruyère,
Clelia de Felice:
Degree and Decomposability of Variable-Length Codes.
ICALP 1991: 575-587 |
| 6 | | Véronique Bruyère:
Maximal Codes With Bounded Deciphering Delay.
Theor. Comput. Sci. 84(1): 53-76 (1991) |
| 1989 |
|---|
| 5 | | Véronique Bruyère:
Completion of Finite Codes with Finite Deciphering Delay.
ICALP 1989: 151-163 |
| 4 | | Véronique Bruyère:
Factorisation Des Ensembles Préfixiels.
ITA 23(3): 295-315 (1989) |
| 3 | | Véronique Bruyère:
About prefix sets of words.
J. Comb. Theory, Ser. A 51(2): 237-243 (1989) |
| 1988 |
|---|
| 2 | | Véronique Bruyère:
On Maximal Prefix Sets of Words.
MFCS 1988: 201-209 |
| 1 | | Véronique Bruyère:
An Answer to a Question about Finite Maximal Prefix Sets of Words.
Theor. Comput. Sci. 56: 339-344 (1988) |
Data released under the ODC-BY 1.0 license — See also our legal information page