Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Véronique Bruyère" ( http://dblp.L3S.de/Authors/Véronique_Bruyère )

URL (Homepage):  http://staff.umh.ac.be/Bruyere.Veronique/  Author page on DBLP  Author page in RDF  Community of Véronique Bruyère in ASPL-2

Publication years (Num. hits)
1988-1996 (15) 1997-2004 (15) 2005-2008 (16) 2009-2012 (11)
Publication types (Num. hits)
article(34) inproceedings(23)
Venues (Conferences, Journals, ...)
Theor. Comput. Sci.(12) ICALP(5) CoRR(3) STACS(3) Developments in Language Theor...(2) Inf. Comput.(2) ITA(2) LATIN(2) Logical Methods in Computer Sc...(2) MFCS(2) RAIRO - Theor. Inf. and Applic...(2) Theory Comput. Syst.(2) ACM Trans. Comput. Log.(1) ATVA(1) COCOA(1) CSR(1) More (+10 of total 30)
Authors
Véronique Bruyère(57) Jean-François Raskin(10) Thomas Brihaye(8) Clelia de Felice(7) Olivier Carton(6) Hadrien Mélot(5) Isabel M. Araújo(3) Bernard Boigelot(2) Emmanuel Dall'Olio(2) Georges Hansel(2) Giovanna Guaiana(2) Julie De Pril(2) Julien Brusten(2) Michel Latteux(2) Michel Rigo(2) Alexandre Decan(1) More (+10 of total 31)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 57 publication records. Showing 57 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Véronique Bruyère, Gwenaël Joret, Hadrien Mélot Trees with Given Stability Number and Minimum Number of Stable Sets. Search on Bibsonomy Graphs and Combinatorics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert Subgame Perfection for Equilibria in Quantitative Reachability Games. Search on Bibsonomy FoSSaCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin Antichain-Based QBF Solving. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Michel Rigo Foreword. Search on Bibsonomy RAIRO - Theor. Inf. and Applic. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Véronique Bruyère, Elaine Render Formal language properties of hybrid systems with strong resets. Search on Bibsonomy RAIRO - Theor. Inf. and Applic. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bernard Boigelot, Julien Brusten, Véronique Bruyère On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2010 DBLP  BibTeX  RDF
1Thomas Brihaye, Véronique Bruyère, Julie De Pril Equilibria in Quantitative Reachability Games. Search on Bibsonomy CSR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Hadrien Mélot Fibonacci index and stability number of graphs: a polyhedral study. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ricardo A. Baeza-Yates, Véronique Bruyère, Olivier Delgrange, Rodrigo Scheihing On the size of Boyer-Moore automata. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Olivier Carton, Géraud Sénizergues Tree Automata and Automata on Linear Orderings. Search on Bibsonomy ITA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Alexandre Decan, Jef Wijsen On First-Order Query Rewriting for Incomplete Database Histories. Search on Bibsonomy TIME The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Hadrien Mélot Fibonacci Index and Stability Number of Graphs: a Polyhedral Study Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Véronique Bruyère, Hadrien Mélot Turán Graphs, Stability Number, and Fibonacci Index Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin Durations and parametric model-checking in timed automata. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model-checking, Timed automata, Presburger arithmetic
1Bernard Boigelot, Julien Brusten, Véronique Bruyère On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases. Search on Bibsonomy ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Hadrien Mélot Turán Graphs, Stability Number, and Fibonacci Index. Search on Bibsonomy COCOA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michel Rigo, Véronique Bruyère Foreword to the Special Issue Dedicated to the 10th "Journées Montoises d'Informatique Théorique". Search on Bibsonomy Discrete Mathematics & Theoretical Computer Science The full citation details ... 2007 DBLP  BibTeX  RDF
1Véronique Bruyère, Jean-François Raskin Real-Time Model-Checking: Parameters everywhere. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Jean-François Raskin Real-Time Model-Checking: Parameters everywhere Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Véronique Bruyère, Olivier Carton Automata on linear orderings. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Thomas Brihaye, Véronique Bruyère, Jean-François Raskin On the optimal reachability problem of weighted timed automata. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Weighted timed automaton, Cost-optimal reachability problem
1Thomas Brihaye, Véronique Bruyère, Jean-François Raskin On model-checking timed automata with stopwatch observers. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Isabel M. Araújo, Véronique Bruyère Words derivated from Sturmian words. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Isabel M. Araújo, Véronique Bruyère Sturmian words and a criterium by Michaux-Villemaire. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Olivier Carton Hierarchy Among Automata on Linear Orderings. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Véronique Bruyère, Jean-François Raskin On Optimal Timed Strategies. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Isabel M. Araújo, Véronique Bruyère Sturmian Words: Dynamical Systems and Derivated Words. Search on Bibsonomy Developments in Language Theory The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Véronique Bruyère, Jean-François Raskin Model-Checking for Weighted Timed Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère Cumulative defect. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Jean-François Raskin Real-Time Model-Checking: Parameters Everywhere. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Olivier Carton Automata on Linear Orderings. Search on Bibsonomy Developments in Language Theory The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Olivier Carton Hierarchy Among Automata on Linear Orderings. Search on Bibsonomy IFIP TCS The full citation details ... 2002 DBLP  BibTeX  RDF
1Véronique Bruyère, Olivier Carton Automata on Linear Orderings. Search on Bibsonomy MFCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Christophe Reutenauer A Proof of Choffrut's Theorem on Subsequential Functions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Dominique Perrin Maximal Bifix Codes. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Clelia de Felice On the Existence of Codings Between Trace Monoids. Search on Bibsonomy Journal of Automata, Languages and Combinatorics The full citation details ... 1999 DBLP  BibTeX  RDF
1Véronique Bruyère On Maximal Codes with Bounded Synchronization Delay. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Denis Derencourt, Michel Latteux The Meet Operation in the Lattice of Codes. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Georges Hansel Bertrand Numeration Systems and Recognizability. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1F. Point, Véronique Bruyère On the Cobham-Semenov Theorem. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère A Completion Algorithm for Codes with Bounded Synchronization Delay. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Clelia de Felice Any Lifting of a Trace Coding is a Word Coding. Search on Bibsonomy Inf. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Michel Latteux Variable-Length Maximal Codes. Search on Bibsonomy ICALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Clelia de Felice, Giovanna Guaiana On Some Decision Problems for Trace Codings. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Clelia de Felice Synchronization and decomposability for a family of codes: Part 2. Search on Bibsonomy Discrete Mathematics The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Georges Hansel Recognizable Sets of Numbers in Nonstandard Bases. Search on Bibsonomy LATIN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Clelia de Felice Coding and Strong Coding in Trace Monoids. Search on Bibsonomy STACS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Clelia de Felice, Giovanna Guaiana Coding with Traces. Search on Bibsonomy STACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère Automata and Codes with Bounded Deciphering Delay. Search on Bibsonomy LATIN The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère Maximal Codes With Bounded Deciphering Delay. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Clelia de Felice Degree and Decomposability of Variable-Length Codes. Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère About prefix sets of words. Search on Bibsonomy J. Comb. Theory, Ser. A The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère Factorisation Des Ensembles Préfixiels. Search on Bibsonomy ITA The full citation details ... 1989 DBLP  BibTeX  RDF
1Véronique Bruyère Completion of Finite Codes with Finite Deciphering Delay. Search on Bibsonomy ICALP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère An Answer to a Question about Finite Maximal Prefix Sets of Words. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère On Maximal Prefix Sets of Words. Search on Bibsonomy MFCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #57 of 57 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.