Selected publications by Marc Zeitoun

MWZ09

A. Muscholl, I. Walukiewicz and M. Zeitoun. A look at the control of asynchronous automata. In Perspectives in Concurrency Theory, IARCS-Universities, pages 356-371. Universities Press, 2009. ( PDF | BibTeX )

GSZ09

P. Gastin, N. Sznajder and M. Zeitoun. Distributed synthesis for well-connected architectures. Formal Methods in System Design 34(3), pages 215-237, 2009. ( PDF | BibTeX + Abstract )

AZ08

J. Almeida and M. Zeitoun. A bottom-up minimization DFA algorithm. Information Processing Letters 107(2), pages 52-59, 2008. ( PDF | BibTeX )

ACZ08a

J. Almeida, J. C. Costa and M. Zeitoun. Pointlike sets with respect to R and J. Journal of Pure and Applied Algebra 212(3), pages 486-499, 2008. ( PDF | BibTeX )

ACZ07a

J. Almeida, J. C. Costa and M. Zeitoun. Complete reducibility of systems of equations with respect to R. Portugaliae Mathematica 64(4), pages 445-508, 2007. ( PDF | BibTeX + Abstract )

AZ07

J. Almeida and M. Zeitoun. An automata-theoretic approach to the word problem for ω-terms over R. Theoretical Computer Science 370(1-3), pages 131-169, 2007. ( PDF | BibTeX + Abstract )

GMSZ06

B. Genest, A. Muscholl, H. Seidl and M. Zeitoun. Infinite-state High level MSCs: realizability and model-checking. Journal of Computer and System Sciences 72(4), pages 617-647, 2006. ( PDF | BibTeX + Abstract )

ACZ05

J. Almeida, J. C. Costa and M. Zeitoun. Tameness of pseudovariety joins involving R. Monatshefte für Mathematik 146(2), pages 89-111, 2005. ( PDF | BibTeX + Abstract )

AZ03

J. Almeida and M. Zeitoun. Tameness of some locally trivial pseudovarieties. Communications in Algebra 31(1), pages 61-77, 2003. ( PDF | BibTeX + Abstract )

AAZ99

J. Almeida, A. Azevedo and M. Zeitoun. Pseudovariety joins involving J-trivial semigroups. International Journal of Algebra and Computation 9(1), pages 99-112, 1999. ( PDF | BibTeX + Abstract )

AZ98

A. Azevedo and M. Zeitoun. Three examples of join computations. Semigroup Forum 57(2), pages 249-277, 1998. ( PDF | BibTeX + Abstract )

AZ97

J. Almeida and M. Zeitoun. The pseudovariety J is hyperdecidable. RAIRO Informatique Théorique et Applications 31, pages 457-482, 1997. ( PDF | BibTeX + Abstract )

Zei97

M. Zeitoun. On embeddings of finitely generated profinite semigroups into 2-generated profinite semigroups. Algebra Universalis 38(2), pages 210-213, 1997. ( PDF | BibTeX + Abstract )

Zei95a

M. Zeitoun. The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups. Semigroup Forum 50(1), pages 367-381, 1995. ( PDF | BibTeX + Abstract )

Zei95b

M. Zeitoun. On the decidability of the membership problem of the pseudovariety J∨B. International Journal of Algebra and Computation 5(1), pages 47-64, 1995. ( BibTeX + Abstract )

BCGZ11

B. Bollig, A. Cyriac, P. Gastin and M. Zeitoun. Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking. In MFCS'11, LNCS 6907, pages 132-144. Springer, 2011. ( Web page | PDF | PDF (long version) | BibTeX + Abstract )

BFLZ10

R. Bonnet, A. Finkel, J. Leroux and M. Zeitoun. Place-Boundedness for Vector Addition Systems with one zero-test. In FSTTCS'10, Leibniz International Proceedings in Informatics 8, pages 192-203. Leibniz-Zentrum für Informatik, 2010. ( PDF | BibTeX + Abstract )

BGMZ10

B. Bollig, P. Gastin, B. Monmege and M. Zeitoun. Pebble weighted automata and transitive closure logics. In ICALP'10, LNCS 6199, pages 587-598. Springer, 2010. ( PDF | PDF (long version) | BibTeX + Abstract )

GMSZ08

B. Genest, A. Muscholl, O. Serre and M. Zeitoun. Tree pattern rewriting systems. In ATVA'08, LNCS 5311, pages 332-346. Springer, 2008. ( PDF | BibTeX + Abstract )

CFLZ08

N. Caniart, E. Fleury, J. Leroux and M. Zeitoun. Accelerating Interpolation-based Model-Checking. In TACAS'08, LNCS 4963, pages 428-442. Springer, 2008. ( PDF | BibTeX + Abstract )

ACZ07b

J. Almeida, J. C. Costa and M. Zeitoun. Complete reducibility of pseudovarieties. In Proceedings of the International Conference on Semigroups and Formal Languages, Lisbon, Portugal, July 2005, pages 9-25. World Scientific, 2007. ( PDF | BibTeX + Abstract )

GSZ06

P. Gastin, N. Sznajder and M. Zeitoun. Distributed synthesis for well-connected architectures. In FSTTCS'06, LNCS 4337, pages 321-332. Springer, 2006. ( PDF | BibTeX + Abstract )

GLZ04a

P. Gastin, B. Lerman and M. Zeitoun. Distributed games with causal memory are decidable for series-parallel systems. In FSTTCS'04, LNCS 3328, pages 275-286. Springer, 2004. ( PDF | PS | PS.GZ | BibTeX + Abstract )

GLZ04b

P. Gastin, B. Lerman and M. Zeitoun. Distributed games and distributed control for asynchronous systems. In LATIN'04, LNCS 2976, pages 455-465. Springer, 2004. ( PDF | PS | PS.GZ | BibTeX + Abstract )

GMZ04

P. Gastin, P. Moro and M. Zeitoun. Minimization of counterexamples in SPIN. In SPIN'04, LNCS 2989, pages 92-108. Springer, 2004. ( PDF | PS | PS.GZ | BibTeX + Abstract )

GMSZ02

B. Genest, A. Muscholl, H. Seidl and M. Zeitoun. Infinite-state High level MSCs: realizability and model-checking. In ICALP'02, LNCS 2380, pages 657-668. Springer, 2002. ( PDF | BibTeX + Abstract )

Zei05

M. Zeitoun. Concurrence et automates. Mémoire d'habilitation, Université Paris 7, Paris, France, December 2005. ( BibTeX )

Zei93

M. Zeitoun. Opérations implicites et variétés de semigroupes finis. Thèse de doctorat, Université Paris 7, Paris, France, 1993. ( BibTeX )

BGMZ11

B. Bollig, P. Gastin, B. Monmege and M. Zeitoun. Weighted Expressions and DFS Tree Automata. Research Report LSV-11-08, Laboratoire Spécification et Vérification, ENS Cachan, France, April 2011. 32 pages. ( PDF | BibTeX + Abstract )

BHSZ10

B. Bérard, S. Haddad, M. Sassolas and M. Zeitoun. Distributed Synthesis with Incomparable Information. Research Report LSV-10-17, Laboratoire Spécification et Vérification, ENS Cachan, France, October 2010. 20 pages. ( PDF | BibTeX + Abstract )

BMP⁺08

R. Bernard, S. Metge, F. Pouzolz, P. Bieber, A. Griffault and M. Zeitoun. Altarica refinement for heterogeneous granularity models analysis. In λμ16, pages 2B-3. Hermès, 2008. ( PDF | BibTeX )

ACZ08b

J. Almeida, J. C. Costa and M. Zeitoun. ω-terms over finite aperiodic semigroups. In ROGICS'08, pages 364-371. 2008. ( PDF | BibTeX + Abstract )

HZD05

L. Hélouët, M. Zeitoun and A. Degorre. Scenarios and Covert channels, another game... In GDV'04, ENTCS 119(1), pages 93-116. Elsevier Science Publishers, 2005. ( PDF | BibTeX + Abstract )

AZ04

J. Almeida and M. Zeitoun. The equational theory of ω-terms for finite R-trivial semigroups. In SAL'04, pages 1-22. World Scientific, 2004. ( PDF | BibTeX + Abstract )

HJZ03

L. Hélouët, C. Jard and M. Zeitoun. Covert channels detection in protocols using scenarios. In SPV'03, pages 21-25. 2003. ( PDF | BibTeX + Abstract )

Zei96

M. Zeitoun. On the join of two pseudovarieties. In SAL'96, pages 281-288. World Scientific, 1996. ( PDF | BibTeX )

Zei88

M. Zeitoun. Programmes sur monoïdes finis. Rapport de DEA, Université Paris 7, Paris, France, 1988. ( BibTeX )

Selected publications by Marc Zeitoun

Chapters in Books

Journals

Conferences

Theses

Other Publications

About LSV

Search this list