( en | de | ru )

 

Disambiguation of "Bruyère, Véronique"

Author of the publication

copydeleteadd this publication to your clipboard
Automata with Timers.

, , , and . FORMATS, volume 14138 of Lecture Notes in Computer Science, page 33-49. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marc Bruyère

Véronique Trappe

Véronique Buschmann

Véronique Porra

Véronique Mersseman

 

Other publications of authors with the same name

Durations and parametric model-checking in timed automata., , and . ACM Trans. Comput. Log., 9 (2): 12:1-12:23 (2008)Antichain-Based QBF Solving., , , , and . ATVA, volume 6996 of Lecture Notes in Computer Science, page 183-197. Springer, (2011)The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version)., , , , and . CoRR, (2019)Recognizable Sets of Numbers in Nonstandard Bases., and . LATIN, volume 911 of Lecture Notes in Computer Science, page 167-179. Springer, (1995)Turán Graphs, Stability Number, and Fibonacci Index., and . COCOA, volume 5165 of Lecture Notes in Computer Science, page 127-138. Springer, (2008)Active Learning of Mealy Machines with Timers., , , , and . CoRR, (2024)Pareto-Rational Verification., , and . CONCUR, volume 243 of LIPIcs, page 33:1-33:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Automata with Timers., , , and . FORMATS, volume 14138 of Lecture Notes in Computer Science, page 33-49. Springer, (2023)On Equilibria in Quantitative Games with Reachability/Safety Objectives., , and . Theory Comput. Syst., 54 (2): 150-189 (2014)On the Existence of Codings Between Trace Monoids., and . Journal of Automata, Languages and Combinatorics, 4 (2): 87-100 (1999)