| 2008 |
|---|
| 12 | EE | Blaise Genest,
Anca Muscholl,
Olivier Serre,
Marc Zeitoun:
Tree Pattern Rewriting Systems.
ATVA 2008: 332-346 |
| 11 | EE | Nicolas Caniart,
Emmanuel Fleury,
Jérôme Leroux,
Marc Zeitoun:
Accelerating Interpolation-Based Model-Checking.
TACAS 2008: 428-442 |
| 10 | EE | Jorge Almeida,
Marc Zeitoun:
Description and analysis of a bottom-up DFA minimization algorithm.
Inf. Process. Lett. 107(2): 52-59 (2008) |
| 2007 |
|---|
| 9 | EE | 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 |
|---|
| 8 | EE | Paul Gastin,
Nathalie Sznajder,
Marc Zeitoun:
Distributed Synthesis for Well-Connected Architectures.
FSTTCS 2006: 321-332 |
| 7 | EE | 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) |
| 2005 |
|---|
| 6 | EE | 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 |
|---|
| 5 | EE | Paul Gastin,
Benjamin Lerman,
Marc Zeitoun:
Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems.
FSTTCS 2004: 275-286 |
| 4 | EE | Paul Gastin,
Benjamin Lerman,
Marc Zeitoun:
Distributed Games and Distributed Control for Asynchronous Systems.
LATIN 2004: 455-465 |
| 3 | EE | Paul Gastin,
Pierre Moro,
Marc Zeitoun:
Minimization of Counterexamples in SPIN.
SPIN 2004: 92-108 |
| 2002 |
|---|
| 2 | EE | Blaise Genest,
Anca Muscholl,
Helmut Seidl,
Marc Zeitoun:
Infinite-State High-Level MSCs: Model-Checking and Realizability.
ICALP 2002: 657-668 |
| 1997 |
|---|
| 1 | | Jorge Almeida,
Marc Zeitoun:
The Pseudovariety J is Hyperdecidable.
ITA 31(5): 457-482 (1997) |
