World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
45
Citations
5626
World Ranking
7328
National Ranking
165

Overview

Patricia Bouyer is affiliated with the University of Paris-Saclay in France. Their research is primarily situated in the field of Computer Science, with significant contributions across various subfields including Computational Theory and Mathematics, Artificial Intelligence, Software, Management Science and Operations Research, and Hardware and Architecture.

Their work extensively covers topics related to Formal Methods in Verification, Game Theory and Applications, Petri Nets in System Modeling, Logic, programming, and type systems, Computability, Logic, AI Algorithms, Logic, Reasoning, and Knowledge, as well as Model-Driven Software Engineering Techniques.

Selected recent publications reflect a range of research interests and include:

  • Games Where You Can Play Optimally with Arena-Independent Finite Memory (2022) published in Logical Methods in Computer Science
  • Diagnosing timed automata using timed markings (2021) published in International Journal on Software Tools for Technology Transfer
  • Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs (2023) published in TheoretiCS
  • Games on Graphs: From Logic and Automata to Algorithms (2023) published in arXiv (Cornell University)
  • Reasoning about Quality and Fuzziness of Strategic Behaviors (2023) published in ACM Transactions on Computational Logic

Among frequent coauthors are Mickaël Randour, Pierre Vandenhove, Nathalie Bertrand, Stéphane Le Roux, and Youssouf Oualhadj, indicating collaborative efforts in the research community particularly focused on theoretical computer science topics.

Publication venues where Patricia Bouyer has published multiple works include:

  • arXiv (Cornell University)
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Logical Methods in Computer Science
  • HAL (Le Centre pour la Communication Scientifique Directe)
  • Information and Computation

Their research portfolio shows a consistent emphasis on the theory and applications of games, formal verification methods, and logic as tools for understanding computational systems and algorithms. The diversity of publication venues and collaborations underlines the interdisciplinary nature of this work.

Best Publications

  • Optimal strategies in priced timed game automata

    Patricia Bouyer;Franck Cassez;Emmanuel Fleury;Kim G. Larsen

  • Infinite Runs in Weighted Timed Automata with Energy Constraints

    Patricia Bouyer;Uli Fahrenberg;Kim G. Larsen;Nicolas Markey

  • Lower and upper bounds in zone-based abstractions of timed automata

    Gerd Behrmann;Patricia Bouyer;Kim G. Larsen;Radek Pelánek

  • Improved undecidability results on weighted timed automata

    Patricia Bouyer;Thomas Brihaye;Nicolas Markey

  • Forward Analysis of Updatable Timed Automata

    Patricia Bouyer

  • Updatable timed automata

    Patricia Bouyer;Catherine Dufourd;Emmanuel Fleury;Antoine Petit

  • Fault diagnosis using timed automata

    Patricia Bouyer;Fabrice Chevalier;Deepak D'Souza

  • Static guard analysis in timed automata verification

    Gerd Behrmann;Patricia Bouyer;Emmanuel Fleury;Kim G. Larsen

  • The power of reachability testing for timed automata

    Luca Aceto;Patricia Bouyer;Augusto Burgueño;Kim G. Larsen

  • On the optimal reachability problem of weighted timed automata

    Patricia Bouyer;Thomas Brihaye;Véronique Bruyère;Jean-François Raskin

  • Timed control with partial observability

    Patricia Bouyer;Deepak D'souza;P. Madhusudan;Antoine Petit

  • On the expressiveness of TPTL and MTL

    Patricia Bouyer;Fabrice Chevalier;Nicolas Markey

  • Staying Alive as Cheaply as Possible

    Patricia Bouyer;Ed Brinksma;Kim Guldstrand Larsen

  • Optimal infinite scheduling for multi-priced timed automata

    Patricia Bouyer;Ed Brinksma;Kim G. Larsen

  • Are timed automata updatable

    P. Bouyer;C. Dufourd;E. Fleury;A. Petit

  • Untameable timed automata

    Patricia Bouyer

  • An algebraic approach to data languages and timed languages

    Patricia Bouyer;Antoine Petit;Denis Thérien

  • Robust model-checking of linear-time properties in timed automata

    Patricia Bouyer;Nicolas Markey;Pierre-Alain Reynier

  • Untameable timed automata

    Patricia Bouyer;Catherine Dufourd;Emmanuel Fleury;Antoine Petit

  • Quantitative analysis of real-time systems using priced timed automata

    Patricia Bouyer;Uli Fahrenberg;Kim G. Larsen;Nicolas Markey

  • Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

    Gerd Behrmann;Patricia Bouyer;Kim Guldstrand Larsen;Radek Pelánek

  • Timed control with partial observability

    Patricia Bouyer;Deepak D'Souza;Madhusudan Parthasarathy;Antoine Petit

Frequent Co-Authors

Nicolas Markey
Nicolas Markey French Institute for Research in Computer Science and Automation - INRIA
Kim Guldstrand Larsen
Kim Guldstrand Larsen Aalborg University
Joël Ouaknine
Joël Ouaknine Max Planck Institute for Software Systems
Christel Baier
Christel Baier TU Dresden
Eugene Asarin
Eugene Asarin Université Paris Cité
Orna Kupferman
Orna Kupferman Hebrew University of Jerusalem
Jean-François Raskin
Jean-François Raskin Université Libre de Bruxelles
P. Madhusudan
P. Madhusudan University of Illinois at Urbana-Champaign

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online education in the USA opens up a range of flexible and affordable options for students interested in computer science and related fields. For those starting their journey, reviewing the best associates degrees to get can help identify practical, entry-level pathways to build foundational skills.

If you want to advance your expertise or boost your career prospects, consider pursuing affordable master's degrees online in computer science or a related discipline. These programs often offer competitive tuition rates and flexible study schedules.

For professionals aiming for leadership or specialized academic roles, doctoral degrees are a major step forward. Options such as the online PhD in organizational leadership or the cheapest accredited online doctoral programs provide in-depth knowledge and open doors to top-tier positions in academia, research, or management.

No matter your starting point or ultimate goal, there are accessible online degrees and career pathways to suit every ambition and budget.

Best Scientists Citing Patricia Bouyer

Trending Scientists