| Infinite runs in weighted timed automata with energy constraints P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Srba International Conference on Formal Modeling and Analysis of Timed Systems, 33-47, 2008 | 270 | 2008 |
| Temporal logic with forgettable past F Laroussinie, N Markey, P Schnoebelen LICS 2002, 383-392, 2002 | 267 | 2002 |
| Temporal logic with past is exponentially more succinct N Markey Bulletin-European Association for Theoretical Computer Science 79, 122-128, 2003 | 163 | 2003 |
| Model checking a path N Markey, P Schnoebelen International Conference on Concurrency Theory, 251-265, 2003 | 150 | 2003 |
| Model checking timed automata with one or two clocks F Laroussinie, N Markey, P Schnoebelen International Conference on Concurrency Theory, 387-401, 2004 | 142 | 2004 |
| ATL with strategy contexts and bounded memory T Brihaye, A Da Costa, F Laroussinie, N Markey International symposium on logical foundations of computer science, 92-106, 2009 | 129 | 2009 |
| On the expressiveness and complexity of ATL F Laroussinie, N Markey, G Oreiby Logical Methods in Computer Science 4, 2008 | 112 | 2008 |
| On the expressiveness of TPTL and MTL P Bouyer, F Chevalier, N Markey International Conference on Foundations of Software Technology and …, 2005 | 107 | 2005 |
| Improved undecidability results on weighted timed automata P Bouyer, T Brihaye, N Markey Information Processing Letters 98 (5), 188-194, 2006 | 101 | 2006 |
| Robust safety of timed automata M De Wulf, L Doyen, N Markey, JF Raskin Formal Methods in System Design 33 (1), 45-84, 2008 | 89 | 2008 |
| Pure Nash Equilibria in Concurrent Deterministic Games P Bouyer, R Brenguier, N Markey, M Ummels Logical Methods in Computer Science 11, 2015 | 86 | 2015 |
| Quantitative analysis of real-time systems using priced timed automata P Bouyer, U Fahrenberg, KG Larsen, N Markey Communications of the ACM 54 (9), 78-87, 2011 | 86 | 2011 |
| Robustness and implementability of timed automata M De Wulf, L Doyen, N Markey, JF Raskin International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2004 | 85 | 2004 |
| Robust model-checking of linear-time properties in timed automata P Bouyer, N Markey, PA Reynier Latin American Symposium on Theoretical Informatics, 238-249, 2006 | 71 | 2006 |
| Model Checking CTL+ and FCTL Is Hard F Laroussinie, N Markey, P Schnoebelen International Conference on Foundations of Software Science and Computation …, 2001 | 71 | 2001 |
| ATL with strategy contexts: Expressiveness and Model Checking. A Da Costa, F Laroussinie, N Markey 30th {C} onference on {F} oundations of {S} oftware {T} echnology and {T …, 2010 | 70 | 2010 |
| Augmenting ATL with strategy contexts F Laroussinie, N Markey Information and Computation 245, 98-123, 2015 | 68 | 2015 |
| Almost optimal strategies in one clock priced timed games P Bouyer, KG Larsen, N Markey, JI Rasmussen International Conference on Foundations of Software Technology and …, 2006 | 67 | 2006 |
| The cost of punctuality P Bouyer, N Markey, J Ouaknine, J Worrell 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 109-120, 2007 | 66 | 2007 |
| On the expressiveness of TPTL and MTL P Bouyer, F Chevalier, N Markey Information and Computation 208 (2), 97-116, 2010 | 65 | 2010 |
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lmf.cnrs.fr
