Nicolas Markey

Nicolas Markey

Institut de recherche en informatique et systèmes aléatoires - Rennes / France
Others
AD Scientific Index ID: 4411840
Institute for Research in Computer Science and Random Systems
person_outline Nicolas Markey's MOST POPULAR ARTICLES
1-) Temporal logic with forgettable pastF Laroussinie, N Markey, P SchnoebelenLICS 2002, 383-392, 20022522002
2-) Infinite runs in weighted timed automata with energy constraintsP Bouyer, U Fahrenberg, KG Larsen, N Markey, J SrbaInternational Conference on Formal Modeling and Analysis of Timed Systems, 33-47, 20082272008
3-) Temporal logic with past is exponentially more succinctN MarkeyBulletin-European Association for Theoretical Computer Science 79, 122-128, 20031502003
4-) Model checking a pathN Markey, P SchnoebelenInternational Conference on Concurrency Theory, 251-265, 20031502003
5-) Model checking timed automata with one or two clocksF Laroussinie, N Markey, P SchnoebelenInternational Conference on Concurrency Theory, 387-401, 20041402004
We use cookies to personalize our website and offer you a better experience. If you accept cookies, we can offer you special services.   Cookie Policy