sign in · help · news · about ·

BibSonomy :: author :: Bruyère ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(70)

<< < 1 | 2 | 3 > >>

Fibonacci Index and Stability Number of Graphs: a Polyhedral Study
Véronique Bruyère, and Hadrien Mélot CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Real-Time Model-Checking: Parameters everywhere
Véronique Bruyère, and Jean-François Raskin CoRR (2007)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Turán Graphs, Stability Number, and Fibonacci Index
Véronique Bruyère, and Hadrien Mélot CoRR (2008)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Antichain-Based QBF Solving.
Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, and Jean-François Raskin ATVA, volume 6996 of Lecture Notes in Computer Science, page 183-197. Springer, (2011)
to dblp by dblp on Oct 14, 2011, 12:00 AM
URL | BibTeX
Foreword.
Véronique Bruyère, and Michel Rigo RAIRO - Theor. Inf. and Applic. 44(1):1 (2010)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Formal language properties of hybrid systems with strong resets.
Thomas Brihaye, Véronique Bruyère, and Elaine Render RAIRO - Theor. Inf. and Applic. 44(1):79-111 (2010)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
An Answer to a Question about Finite Maximal Prefix Sets of Words.
Véronique Bruyère Theor. Comput. Sci. (1988)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Cumulative defect.
Véronique Bruyère Theor. Comput. Sci. 292(1):97-109 (2003)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Maximal Codes With Bounded Deciphering Delay.
Véronique Bruyère Theor. Comput. Sci. 84(1):53-76 (1991)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Model-Checking for Weighted Timed Automata.
Thomas Brihaye, Véronique Bruyère, and Jean-François Raskin FORMATS/FTRTFT, volume 3253 of Lecture Notes in Computer Science, page 277-292. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Any Lifting of a Trace Coding is a Word Coding.
Véronique Bruyère, and Clelia de Felice Inf. Comput. 130(2):183-193 (1996)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Automata on Linear Orderings.
Véronique Bruyère, and Olivier Carton Developments in Language Theory, volume 2450 of Lecture Notes in Computer Science, page 103-115. Springer, (2002)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
Automata on Linear Orderings.
Véronique Bruyère, and Olivier Carton MFCS, volume 2136 of Lecture Notes in Computer Science, page 236-247. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
On the Cobham-Semenov Theorem.
F. Point, and Véronique Bruyère Theory Comput. Syst. 30(2):197-220 (1997)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
Impact of silicon nitride CESL on NLDEMOS transistor reliability.
G. Beylier, S. Bruyère, D. Benoit, and G. Ghibaudo Microelectronics Reliability 48(8-9):1539-1543 (2008)
to dblp by dblp on Sep 27, 2010, 12:00 AM
URL | BibTeX
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
Bernard Boigelot, Julien Brusten, and Véronique Bruyère Logical Methods in Computer Science (2010)
to dblp by dblp on Sep 21, 2010, 12:00 AM
URL | BibTeX
Refined electrical analysis of two charge states transition characteristic of "borderless" silicon nitride.
G. Beylier, S. Bruyère, D. Benoit, and G. Ghibaudo Microelectronics Reliability 47(4-5):743-747 (2007)
to dblp by dblp on Sep 15, 2010, 12:00 AM
URL | BibTeX
On First-Order Query Rewriting for Incomplete Database Histories.
Véronique Bruyère, Alexandre Decan, and Jef Wijsen TIME, page 54-61. IEEE Computer Society, (2009)
to dblp by dblp on Jul 21, 2010, 4:03 PM
URL | BibTeX
Equilibria in Quantitative Reachability Games.
Thomas Brihaye, Véronique Bruyère, and Julie De Pril CSR, volume 6072 of Lecture Notes in Computer Science, page 72-83. Springer, (2010)
to dblp by dblp on Jul 21, 2010, 3:57 PM
URL | BibTeX
On the size of Boyer-Moore automata.
Ricardo A. Baeza-Yates, Véronique Bruyère, Olivier Delgrange, and Rodrigo Scheihing Theor. Comput. Sci. 410(43):4432-4443 (2009)
to dblp by dblp on Dec 29, 2009, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper