The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nicolas Markey" ( http://dblp.L3S.de/Authors/Nicolas_Markey )

URL (Homepage):  http://people.irisa.fr/Nicolas.Markey/  Author page on DBLP  Author page in RDF  Community of Nicolas Markey in ASPL-2

Publication years (Num. hits)
2001-2005 (15) 2006-2008 (24) 2009-2011 (18) 2012-2014 (21) 2015-2016 (26) 2017-2018 (21)
Publication types (Num. hits)
article(45) incollection(1) inproceedings(76) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 7 keywords

Results
Found 126 publication records. Showing 125 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen Average-energy games. Search on Bibsonomy Acta Inf. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1A. R. Balasubramanian, Nathalie Bertrand 0001, Nicolas Markey Parameterized verification of synchronization in constrained reconfigurable broadcast networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour Multi-weighted Markov Decision Processes with Reachability Objectives. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Nicolas Markey Language Preservation Problems in Parametric Timed Automata. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Léo Henry, Thierry Jéron, Nicolas Markey Control_strategies_for_off-line_testing_of_timed_systems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Bacci 0001, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin Compositional synthesis of state-dependent switching control. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell 0001 Model Checking Real-Time Systems. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Léo Henry, Thierry Jéron, Nicolas Markey Control Strategies for Off-Line Testing of Timed Systems. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Samy Jaziri, Nicolas Markey Efficient Timed Diagnosis Using Automata with Timed Domains. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1A. R. Balasubramanian, Nathalie Bertrand 0001, Nicolas Markey Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks. Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patrick Gardy, Patricia Bouyer, Nicolas Markey Dependences in Strategy Logic. Search on Bibsonomy STACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Bacci 0001, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Steen Vester Nash equilibria in symmetric graph games with partial observation. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer-Decitre, Vincent Jugé, Nicolas Markey Courcelle's Theorem Made Dynamic. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Patrick Gardy, Patricia Bouyer, Nicolas Markey Dependences in Strategy Logic. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier Timed-automata abstraction of switched dynamical systems using control invariants. Search on Bibsonomy Real-Time Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell 0001 Timed Temporal Logics. Search on Bibsonomy Models, Algorithms, Logics and Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann 0002 Bounding Average-Energy Games. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Samy Jaziri, Nicolas Markey On the Determinization of Timed Systems. Search on Bibsonomy FORMATS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicolas Markey Temporal Logics for Multi-Agent Systems (Invited Talk). Search on Bibsonomy MFCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Patrick Gardy, Nicolas Markey On the semantics of Strategy Logic. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Maximilien Colange, Nicolas Markey Symbolic Optimal Reachability in Weighted Timed Automata. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Daniel Stan Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games. Search on Bibsonomy GandALF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann 0002 Bounding Average-energy Games. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jirí Srba (eds.) Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. Search on Bibsonomy Cassting/SynCoP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Vincent Jugé, Nicolas Markey Dynamic Complexity of Parity Games with Bounded Tree-Width. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan Reachability in Networks of Register Protocols under Stochastic Schedulers. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin Distributed Synthesis of State-Dependent Switching Control. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Amélie David 0001, François Laroussinie, Nicolas Markey On the Expressiveness of QCTL. Search on Bibsonomy CONCUR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Maximilien Colange, Nicolas Markey Symbolic Optimal Reachability in Weighted Timed Automata. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Nicolas Markey (eds.) Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings Search on Bibsonomy FORMATS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan Reachability in Networks of Register Protocols under Stochastic Schedulers. Search on Bibsonomy ICALP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin Distributed Synthesis of State-Dependent Switching Control. Search on Bibsonomy RP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1François Laroussinie, Nicolas Markey Augmenting ATL with strategy contexts. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim Guldstrand Larsen, Simon Laursen Average-energy games. Search on Bibsonomy GandALF The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels Pure Nash Equilibria in Concurrent Deterministic Games. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1François Laroussinie, Nicolas Markey, Arnaud Sangnier ATLsc with partial observation. Search on Bibsonomy GandALF The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen Average-energy games (full version). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Patricia Bouyer, Erwin Fang, Nicolas Markey Permissive strategies in timed automata and games. Search on Bibsonomy ECEASST The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Ocan Sankur Robust reachability in timed automata and games: A game-based approach. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Samy Jaziri, Nicolas Markey On the Value Problem in Weighted Timed Games. Search on Bibsonomy CONCUR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Laurent Fribourg, Ulrich Kühne, Nicolas Markey Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. Search on Bibsonomy SynCoP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels. Search on Bibsonomy FORMATS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Étienne André, Nicolas Markey Language Preservation Problems in Parametric Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Patrick Gardy, Nicolas Markey Weighted Strategy Logic with Boolean Goals Over One-Counter Games. Search on Bibsonomy FSTTCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas Markey Cassting: Synthesizing Complex Systems Using Non-Zero-Sum Games. Search on Bibsonomy ERCIM News The full citation details ... 2014 DBLP  BibTeX  RDF
1Ocan Sankur, Patricia Bouyer, Nicolas Markey Shrinking timed automata. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Kim G. Larsen, Nicolas Markey Lower-bound-constrained runs in weighted timed automata. Search on Bibsonomy Perform. Eval. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1François Laroussinie, Nicolas Markey Quantified CTL: Expressiveness and Complexity. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Steen Vester Nash Equilibria in Symmetric Games with Partial Observation. Search on Bibsonomy SR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Patrick Gardy, Nicolas Markey Quantitative Verification of Weighted Kripke Structures. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicolas Markey, Steen Vester Symmetry Reduction in Infinite Games with Finite Branching. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel Averaging in LTL. Search on Bibsonomy CONCUR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey Component-based analysis of hierarchical scheduling using linear hybrid automata. Search on Bibsonomy RTCSA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Daniel Stan Mixed Nash Equilibria in Concurrent Terminal-Reward Games. Search on Bibsonomy FSTTCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Laurent Doyen 0001, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi Synchronizing Words for Weighted and Timed Automata. Search on Bibsonomy FSTTCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1François Laroussinie, Nicolas Markey Satisfiability of ATL with strategy contexts. Search on Bibsonomy GandALF The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier Robust Controller Synthesis in Timed Automata. Search on Bibsonomy CONCUR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Ocan Sankur Robust Weighted Timed Automata and Games. Search on Bibsonomy FORMATS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Ocan Sankur Robustness in Timed Automata. Search on Bibsonomy RP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell 0001 On termination and invariance for faulty channel machines. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels Concurrent Games with Ordered Objectives. Search on Bibsonomy FoSSaCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Diego V. Simões S., Henrique Viana, Nicolas Markey, José Antônio Fernandes de Macêdo Querying Trajectories through Model Checking based on Timed Automata. Search on Bibsonomy SBBD (Short Papers) The full citation details ... 2012 DBLP  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Ocan Sankur Robust Reachability in Timed Automata: A Game-Based Approach. Search on Bibsonomy ICALP (2) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey Lower-Bound Constrained Runs in Weighted Timed Automata. Search on Bibsonomy QEST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey Quantitative analysis of real-time systems using priced timed automata. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane Timed Automata Can Always Be Made Implementable. Search on Bibsonomy CONCUR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Ocan Sankur Robust Model-Checking of Timed Automata via Pumping in Channel Machines. Search on Bibsonomy FORMATS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nicolas Markey Robustness in real-time systems. Search on Bibsonomy SIES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ocan Sankur, Patricia Bouyer, Nicolas Markey Shrinking Timed Automata. Search on Bibsonomy FSTTCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels Nash Equilibria in Concurrent Games with Büchi Objectives. Search on Bibsonomy FSTTCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nicolas Markey, Ghassan Oreiby Using Model Checking for Analyzing Distributed Power Control Problems. Search on Bibsonomy EURASIP J. Wireless Comm. and Networking The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Fabrice Chevalier, Nicolas Markey On the expressiveness of TPTL and MTL. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Romain Brenguier, Nicolas Markey Nash Equilibria for Reachability Objectives in Multi-player Timed Games. Search on Bibsonomy CONCUR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Romain Brenguier, Nicolas Markey Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games. Search on Bibsonomy FORMATS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey Timed automata with observers under energy constraints. Search on Bibsonomy HSCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF weighted timed automata, energy constraints
1Nicolas Markey, Jef Wijsen (eds.) TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010 Search on Bibsonomy TIME The full citation details ... 2010 DBLP  BibTeX  RDF
1Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey ATL with Strategy Contexts: Expressiveness and Model Checking. Search on Bibsonomy FSTTCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell 0001 Computing Rational Radical Sums in Uniform TC^0. Search on Bibsonomy FSTTCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault Measuring Permissivity in Finite Games. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey ATL with Strategy Contexts and Bounded Memory. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin De Wulf, Laurent Doyen 0001, Nicolas Markey, Jean-François Raskin Robust safety of timed automata. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Robustness, Implementability, Perturbation, Timed automaton, Drift
1François Laroussinie, Nicolas Markey, Ghassan Oreiby On the Expressiveness and Complexity of ATL Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey Model Checking One-clock Priced Timed Automata Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell 0001 On Termination for Faulty Channel Machines Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey Model Checking One-Clock Priced Timed Automata. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1François Laroussinie, Nicolas Markey, Ghassan Oreiby On the Expressiveness and Complexity of ATL. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier Robust Analysis of Timed Automata via Channel Machines. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba Infinite Runs in Weighted Timed Automata with Energy Constraints. Search on Bibsonomy FORMATS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell 0001 On Termination for Faulty Channel Machines. Search on Bibsonomy STACS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg Good Friends are Hard to Find! Search on Bibsonomy TIME The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell 0001 On Expressiveness and Complexity in Real-Time Model Checking. Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye, Nicolas Markey Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. Search on Bibsonomy QEST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1François Laroussinie, Nicolas Markey, Ghassan Oreiby On the Expressiveness and Complexity of ATL. Search on Bibsonomy FoSSaCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey Model-Checking One-Clock Priced Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 125 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license