Concepedia

Nicolas Markey

NM

Statistics

Publications

36

Citations

1.3K

H-Index

20

Active since

2003

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Centre National de la Recherche Scientifique

Laboratoire Spécification et Vérification

Université Libre de Bruxelles

Aalborg University

Nicolas Markey is an author at École Normale Supérieure Paris-Saclay specializing in computer science, computing, and real-time systems.

Publications per year

2003–2023

36

Publications

36

Temporal logic with forgettable past

François Laroussinie, Nicolas Markey, Ph. Schnoebelen · 2003 · 179 citations · Full text

Computing, Computer Science, Mathematics +13

Improved undecidability results on weighted timed automata

Patricia Bouyer, Thomas Brihaye, Nicolas Markey · Information Processing Letters · 2006 · 115 citations · Full text

Computing, Computer Engineering, Computer Science +12

Temporal logic with past is exponentially more succinct, Concurrency Column.

Nicolas Markey · Bulletin of the European Association for Theoretical Computer Science · 2003 · 68 citations

Humanities, Computer Science, Mathematics +6

Quantitative analysis of real-time systems using priced timed automata

Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen et al. · Communications of the ACM · 2011 · 60 citations

Computing, Computer Engineering, Computer Science +15

Robust safety of timed automata

Martin Wulf, Laurent Doyen, Nicolas Markey et al. · Formal Methods in System Design · 2008 · 59 citations · Full text

Computing, Computer Engineering, Computer Science +13

1–5 of 36