Marc Zeitoun

Infinite-state high-level MSCs: Model-checking and realizability

Blaise Genest, Anca Muscholl, Helmut Seidl et al. · Journal of Computer and System Sciences · 2005 · 50 citations

Engineering, Automated Reasoning, Verification +8

Separating Regular Languages with First-Order Logic

Thomas Place, Marc Zeitoun · Logical Methods in Computer Science · 2016 · 44 citations · Full text

Engineering, Exptime Algorithm, Verification +16

The pseudovariety $J$ is hyperdecidable

Jorge Almeida, Marc Zeitoun · RAIRO - Theoretical Informatics and Applications · 1997 · 36 citations · Full text

Distributed synthesis for well-connected architectures

Paul Gastin, Nathalie Sznajder, Marc Zeitoun · Formal Methods in System Design · 2009 · 27 citations · Full text

Logic Synthesis, Engineering, Formal Methods +7

An automata-theoretic approach to the word problem for ω -terms over R

Jorge Almeida, Marc Zeitoun · Theoretical Computer Science · 2006 · 22 citations

Combinatorics On Word, ω -Terms, Logical Automaton +10