- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| i2 |      | Lorijn van Rooijen, Marc Zeitoun: The separation problem for regular languages by piecewise testable languages. CoRR abs/1303.2143 (2013) |
| i1 | | Thomas Place, Lorijn van Rooijen, Marc Zeitoun: Separating regular languages by piecewise testable and unambiguous languages. CoRR abs/1304.6734 (2013) |
| 2012 | ||
| j8 | | Rémi Bonnet, Alain Finkel, Jérôme Leroux, Marc Zeitoun: Model Checking Vector Addition Systems with one zero-test. Logical Methods in Computer Science 8(2) (2012) |
| c11 | | Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun: A Probabilistic Kleene Theorem. ATVA 2012: 400-415 |
| 2011 | ||
| c10 | | Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, Marc Zeitoun: Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking. MFCS 2011: 132-144 |
| 2010 | ||
| c9 | | Rémi Bonnet, Alain Finkel, Jérôme Leroux, Marc Zeitoun: Place-Boundedness for Vector Addition Systems with one zero-test. FSTTCS 2010: 192-203 |
| c8 | | Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun: Pebble Weighted Automata and Transitive Closure Logics. ICALP (2) 2010: 587-598 |
| 2009 | ||
| j7 | | Paul Gastin, Nathalie Sznajder, Marc Zeitoun: Distributed synthesis for well-connected architectures. Formal Methods in System Design 34(3): 215-237 (2009) |
| 2008 | ||
| j6 | | Jorge Almeida, Marc Zeitoun: Description and analysis of a bottom-up DFA minimization algorithm. Inf. Process. Lett. 107(2): 52-59 (2008) |
| c7 | | Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun: Tree Pattern Rewriting Systems. ATVA 2008: 332-346 |
| c6 | | Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun: Accelerating Interpolation-Based Model-Checking. TACAS 2008: 428-442 |
| 2007 | ||
| j5 | | Jorge Almeida, Marc Zeitoun: An automata-theoretic approach to the word problem for omega -terms over R. Theor. Comput. Sci. 370(1-3): 131-169 (2007) |
| 2006 | ||
| j4 | | Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun: Infinite-state high-level MSCs: Model-checking and realizability. J. Comput. Syst. Sci. 72(4): 617-647 (2006) |
| c5 | | Paul Gastin, Nathalie Sznajder, Marc Zeitoun: Distributed Synthesis for Well-Connected Architectures. FSTTCS 2006: 321-332 |
| 2005 | ||
| j3 | | Loïc Hélouët, Marc Zeitoun, Aldric Degorre: Scenarios and Covert Channels: Another Game... Electr. Notes Theor. Comput. Sci. 119(1): 93-116 (2005) |
| 2004 | ||
| c4 | | Paul Gastin, Benjamin Lerman, Marc Zeitoun: Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems. FSTTCS 2004: 275-286 |
| c3 | | Paul Gastin, Benjamin Lerman, Marc Zeitoun: Distributed Games and Distributed Control for Asynchronous Systems. LATIN 2004: 455-465 |
| c2 | | |
| 2002 | ||
| c1 | | Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun: Infinite-State High-Level MSCs: Model-Checking and Realizability. ICALP 2002: 657-668 |
| 1999 | ||
| j2 | | Jorge Almeida, Assis Azevedo, Marc Zeitoun: Pseudovariety Joins involving -Trivial Semigroups. IJAC 9(1): 99-112 (1999) |
| 1997 | ||
| j1 |  | |
Colors in the list of coauthors
Last update Tue May 21 18:14:36 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page