Patricia Bouyer
Author
Alternate names Patricia Bouyer †, P. Bouyer, Patricia Bouyer, Patricia P. Bouyer, P BOUYER
Institution Laboratoire Méthodes Formelles
Past institutions Laboratoire Méthodes Formelles, Centre National de la Recherche Scientifique, Université Paris-Saclay, École Normale Supérieure Paris-Saclay, Laboratoire Spécification et Vérification +5 more
ORCID: Yes
H-index: 37
I10-index: 97
Works count: 207
Citations count: 3,944
Infinite Runs in Weighted Timed Automata with Energy Constraints
2008 · Patricia Bouyer, Uli Fahrenberg, et al. · Lecture notes in computer science
Lower and upper bounds in zone-based abstractions of timed automata
2005 · Gerd Behrmann, Patricia Bouyer, et al. · International Journal on Software Tools for Technology Transfer
Improved undecidability results on weighted timed automata
2006 · Patricia Bouyer, Thomas Brihaye, et al. · Information Processing Letters