Marc Zeitoun

	2009
13		Paul Gastin, Nathalie Sznajder, Marc Zeitoun: Distributed synthesis for well-connected architectures. Formal Methods in System Design 34(3): 215-237 (2009)
	2008
12		Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun: Tree Pattern Rewriting Systems. ATVA 2008: 332-346
11		Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun: Accelerating Interpolation-Based Model-Checking. TACAS 2008: 428-442
10		Jorge Almeida, Marc Zeitoun: Description and analysis of a bottom-up DFA minimization algorithm. Inf. Process. Lett. 107(2): 52-59 (2008)
	2007
9		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		Paul Gastin, Nathalie Sznajder, Marc Zeitoun: Distributed Synthesis for Well-Connected Architectures. FSTTCS 2006: 321-332
7		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		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		Paul Gastin, Benjamin Lerman, Marc Zeitoun: Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems. FSTTCS 2004: 275-286
4		Paul Gastin, Benjamin Lerman, Marc Zeitoun: Distributed Games and Distributed Control for Asynchronous Systems. LATIN 2004: 455-465
3		Paul Gastin, Pierre Moro, Marc Zeitoun: Minimization of Counterexamples in SPIN. SPIN 2004: 92-108
	2002
2		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)

Coauthor Index

1	Jorge Almeida	[1] [9] [10]
2	Nicolas Caniart	[11]
3	Aldric Degorre	[6]
4	Emmanuel Fleury	[11]
5	Paul Gastin	[3] [4] [5] [8] [13]
6	Blaise Genest	[2] [7] [12]
7	Loïc Hélouët	[6]
8	Benjamin Lerman	[4] [5]
9	Jérôme Leroux	[11]
10	Pierre Moro	[3]
11	Anca Muscholl	[2] [7] [12]
12	Helmut Seidl	[2] [7]
13	Olivier Serre	[12]
14	Nathalie Sznajder	[8] [13]

Colors in the list of coauthors