×

zbMATH — the first resource for mathematics

Zeitoun, Marc

Compute Distance To:
Author ID: zeitoun.marc Recent zbMATH articles by "Zeitoun, Marc"
Published as: Zeitoun, M.; Zeitoun, Marc
External Links: MGP
Documents Indexed: 61 Publications since 1995, including 2 Books

Publications by Year

Citations contained in zbMATH

49 Publications have been cited 221 times in 119 Documents Cited by Year
Going higher in the first-order quantifier alternation hierarchy on words. Zbl 1407.03055
Place, Thomas; Zeitoun, Marc
16
2014
An automata-theoretic approach to the word problem for \(\omega\)-terms over R. Zbl 1110.68059
Almeida, Jorge; Zeitoun, Marc
13
2007
Tameness of pseudovariety joins involving R. Zbl 1091.20036
Almeida, Jorge; Carlos Costa, José; Zeitoun, Marc
12
2005
Distributed games with causal memory are decidable for series-parallel systems. Zbl 1117.68448
Gastin, Paul; Lerman, Benjamin; Zeitoun, Marc
12
2004
Separating regular languages by piecewise testable and unambiguous languages. Zbl 1400.68113
Place, Thomas; van Rooijen, Lorijn; Zeitoun, Marc
11
2013
Separating regular languages with first-order logic. Zbl 1448.68273
Place, Thomas; Zeitoun, Marc
10
2016
Complete reducibility of systems of equations with respect to \(\mathbf R\). Zbl 1148.20042
Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc
10
2007
Pseudovariety joins involving \(\mathcal J\)-trivial semigroups. Zbl 1012.20054
Almeida, Jorge; Azevedo, Assis; Zeitoun, Marc
10
1999
Separation and the successor relation. Zbl 1355.68169
Place, Thomas; Zeitoun, Marc
8
2015
The pseudovariety \(J\) is hyperdecidable. Zbl 0928.20046
Almeida, J.; Zeitoun, M.
8
1997
Infinite-state high-level MSCs: Model-checking and realizability (extended abstract). Zbl 1057.68625
Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc
7
2002
McCammond’s normal forms for free aperiodic semigroups revisited. Zbl 1315.20050
Almeida, J.; Costa, J. C.; Zeitoun, M.
6
2015
Pebble weighted automata and transitive closure logics. Zbl 1288.68149
Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc
6
2010
Distributed synthesis for well-connected architectures. Zbl 1180.68056
Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc
6
2009
The covering problem: a unified approach for investigating the expressive power of logics. Zbl 1398.03158
Place, Thomas; Zeitoun, Marc
5
2016
Concatenation hierarchies: new bottle, old wine. Zbl 06763493
Place, Thomas; Zeitoun, Marc
4
2017
Reducibility of pointlike problems. Zbl 1422.20025
Almeida, J.; Costa, J. C.; Zeitoun, M.
4
2017
A note on decidable separability by piecewise testable languages. Zbl 1434.68242
Czerwiński, Wojciech; Martens, Wim; van Rooijen, Lorijn; Zeitoun, Marc
4
2015
On separation by locally testable and locally threshold testable languages. Zbl 1341.68108
Place, Thomas; Van Rooijen, Lorijn; Zeitoun, Marc
4
2014
Iterated periodicity over finite aperiodic semigroups. Zbl 1282.05212
Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc
4
2014
Description and analysis of a bottom-up DFA minimization algorithm. Zbl 1186.68242
Almeida, Jorge; Zeitoun, Marc
4
2008
Pointlike sets with respect to R and J. Zbl 1133.20045
Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc
4
2008
The equational theory of \(\omega\)-terms for finite \(\mathcal R\)-trivial semigroups. Zbl 1189.20050
Almeida, Jorge; Zeitoun, Marc
4
2004
Tameness of some locally trivial pseudovarieties. Zbl 1027.20034
Almeida, Jorge; Zeitoun, Marc
4
2003
The linear nature of pseudowords. Zbl 07094859
Almeida, Jorge; Costa, Alfredo; Costa, José Carlos; Zeitoun, Marc
3
2019
The covering problem. Zbl 1448.03026
Place, Thomas; Zeitoun, Marc
3
2018
Quantifier alternation for infinite words. Zbl 06591823
Pierron, Théo; Place, Thomas; Zeitoun, Marc
3
2016
Temporal logics for concurrent recursive programs: satisfiability and model checking. Zbl 1310.68142
Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc
3
2014
Infinite-state high-level MSCs: model-checking and realizability. Zbl 1105.68071
Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc
3
2006
Minimization of counterexamples in SPIN. Zbl 1125.68369
Gastin, Paul; Moro, Pierre; Zeitoun, Marc
3
2004
Pebble weighted automata and weighted logics. Zbl 1291.03076
Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc
2
2014
Model checking vector addition systems with one zero-test. Zbl 1242.68196
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
2
2012
Temporal logics for concurrent recursive programs: satisfiability and model checking. Zbl 1343.68055
Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc
2
2011
A look at the control of asynchronous automata. Zbl 1194.68145
Muscholl, Anca; Walukiewicz, Igor; Zeitoun, Marc
2
2009
Tree pattern rewriting systems. Zbl 1183.68372
Genest, Blaise; Muscholl, Anca; Serre, Olivier; Zeitoun, Marc
2
2008
Complete reducibility of pseudovarieties. Zbl 1133.20044
Almeida, J.; Costa, J. C.; Zeitoun, M.
2
2007
Distributed synthesis for well-connected architectures. Zbl 1177.68146
Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc
2
2006
Distributed games and distributed control for asynchronous systems. Zbl 1196.68157
Gastin, Paul; Lerman, Benjamin; Zeitoun, Marc
2
2004
Going higher in first-order quantifier alternation hierarchies on words. Zbl 1427.03050
Place, Thomas; Zeitoun, Marc
1
2019
A characterization for decidable separability by piecewise testable languages. Zbl 1400.68101
Czerwiński, Wojciech; Martens, Wim; van Rooijen, Lorijn; Zeitoun, Marc; Zetzsche, Georg
1
2017
Factoriality and the Pin-Reutenauer procedure. Zbl 1400.20055
Almeida, J.; Costa, J. C.; Zeitoun, M.
1
2016
Separating regular languages with first-order logic. Zbl 1401.68165
Place, Thomas; Zeitoun, Marc
1
2014
Closures of regular languages for profinite topologies. Zbl 1307.20048
Almeida, J.; Costa, J. C.; Zeitoun, M.
1
2014
Separating regular languages by locally testable and locally threshold testable languages. Zbl 1359.68178
Place, Thomas; Van Rooijen, Lorijn; Zeitoun, Marc
1
2013
Place-boundedness for vector addition systems with one zero-test. Zbl 1245.68131
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
1
2010
Accelerating interpolation-based model-checking. Zbl 1134.68400
Caniart, Nicolas; Fleury, Emmanuel; Leroux, Jérôme; Zeitoun, Marc
1
2008
On the join of two pseudovarieties. Zbl 0916.20045
Zeitoun, M.
1
1996
The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups. Zbl 0840.20063
Zeitoun, M.
1
1995
On the decidability of the membership problem of the pseudovariety \(J\vee B\). Zbl 0832.20081
Zeitoun, Marc
1
1995
The linear nature of pseudowords. Zbl 07094859
Almeida, Jorge; Costa, Alfredo; Costa, José Carlos; Zeitoun, Marc
3
2019
Going higher in first-order quantifier alternation hierarchies on words. Zbl 1427.03050
Place, Thomas; Zeitoun, Marc
1
2019
The covering problem. Zbl 1448.03026
Place, Thomas; Zeitoun, Marc
3
2018
Concatenation hierarchies: new bottle, old wine. Zbl 06763493
Place, Thomas; Zeitoun, Marc
4
2017
Reducibility of pointlike problems. Zbl 1422.20025
Almeida, J.; Costa, J. C.; Zeitoun, M.
4
2017
A characterization for decidable separability by piecewise testable languages. Zbl 1400.68101
Czerwiński, Wojciech; Martens, Wim; van Rooijen, Lorijn; Zeitoun, Marc; Zetzsche, Georg
1
2017
Separating regular languages with first-order logic. Zbl 1448.68273
Place, Thomas; Zeitoun, Marc
10
2016
The covering problem: a unified approach for investigating the expressive power of logics. Zbl 1398.03158
Place, Thomas; Zeitoun, Marc
5
2016
Quantifier alternation for infinite words. Zbl 06591823
Pierron, Théo; Place, Thomas; Zeitoun, Marc
3
2016
Factoriality and the Pin-Reutenauer procedure. Zbl 1400.20055
Almeida, J.; Costa, J. C.; Zeitoun, M.
1
2016
Separation and the successor relation. Zbl 1355.68169
Place, Thomas; Zeitoun, Marc
8
2015
McCammond’s normal forms for free aperiodic semigroups revisited. Zbl 1315.20050
Almeida, J.; Costa, J. C.; Zeitoun, M.
6
2015
A note on decidable separability by piecewise testable languages. Zbl 1434.68242
Czerwiński, Wojciech; Martens, Wim; van Rooijen, Lorijn; Zeitoun, Marc
4
2015
Going higher in the first-order quantifier alternation hierarchy on words. Zbl 1407.03055
Place, Thomas; Zeitoun, Marc
16
2014
On separation by locally testable and locally threshold testable languages. Zbl 1341.68108
Place, Thomas; Van Rooijen, Lorijn; Zeitoun, Marc
4
2014
Iterated periodicity over finite aperiodic semigroups. Zbl 1282.05212
Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc
4
2014
Temporal logics for concurrent recursive programs: satisfiability and model checking. Zbl 1310.68142
Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc
3
2014
Pebble weighted automata and weighted logics. Zbl 1291.03076
Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc
2
2014
Separating regular languages with first-order logic. Zbl 1401.68165
Place, Thomas; Zeitoun, Marc
1
2014
Closures of regular languages for profinite topologies. Zbl 1307.20048
Almeida, J.; Costa, J. C.; Zeitoun, M.
1
2014
Separating regular languages by piecewise testable and unambiguous languages. Zbl 1400.68113
Place, Thomas; van Rooijen, Lorijn; Zeitoun, Marc
11
2013
Separating regular languages by locally testable and locally threshold testable languages. Zbl 1359.68178
Place, Thomas; Van Rooijen, Lorijn; Zeitoun, Marc
1
2013
Model checking vector addition systems with one zero-test. Zbl 1242.68196
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
2
2012
Temporal logics for concurrent recursive programs: satisfiability and model checking. Zbl 1343.68055
Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc
2
2011
Pebble weighted automata and transitive closure logics. Zbl 1288.68149
Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc
6
2010
Place-boundedness for vector addition systems with one zero-test. Zbl 1245.68131
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
1
2010
Distributed synthesis for well-connected architectures. Zbl 1180.68056
Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc
6
2009
A look at the control of asynchronous automata. Zbl 1194.68145
Muscholl, Anca; Walukiewicz, Igor; Zeitoun, Marc
2
2009
Description and analysis of a bottom-up DFA minimization algorithm. Zbl 1186.68242
Almeida, Jorge; Zeitoun, Marc
4
2008
Pointlike sets with respect to R and J. Zbl 1133.20045
Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc
4
2008
Tree pattern rewriting systems. Zbl 1183.68372
Genest, Blaise; Muscholl, Anca; Serre, Olivier; Zeitoun, Marc
2
2008
Accelerating interpolation-based model-checking. Zbl 1134.68400
Caniart, Nicolas; Fleury, Emmanuel; Leroux, Jérôme; Zeitoun, Marc
1
2008
An automata-theoretic approach to the word problem for \(\omega\)-terms over R. Zbl 1110.68059
Almeida, Jorge; Zeitoun, Marc
13
2007
Complete reducibility of systems of equations with respect to \(\mathbf R\). Zbl 1148.20042
Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc
10
2007
Complete reducibility of pseudovarieties. Zbl 1133.20044
Almeida, J.; Costa, J. C.; Zeitoun, M.
2
2007
Infinite-state high-level MSCs: model-checking and realizability. Zbl 1105.68071
Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc
3
2006
Distributed synthesis for well-connected architectures. Zbl 1177.68146
Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc
2
2006
Tameness of pseudovariety joins involving R. Zbl 1091.20036
Almeida, Jorge; Carlos Costa, José; Zeitoun, Marc
12
2005
Distributed games with causal memory are decidable for series-parallel systems. Zbl 1117.68448
Gastin, Paul; Lerman, Benjamin; Zeitoun, Marc
12
2004
The equational theory of \(\omega\)-terms for finite \(\mathcal R\)-trivial semigroups. Zbl 1189.20050
Almeida, Jorge; Zeitoun, Marc
4
2004
Minimization of counterexamples in SPIN. Zbl 1125.68369
Gastin, Paul; Moro, Pierre; Zeitoun, Marc
3
2004
Distributed games and distributed control for asynchronous systems. Zbl 1196.68157
Gastin, Paul; Lerman, Benjamin; Zeitoun, Marc
2
2004
Tameness of some locally trivial pseudovarieties. Zbl 1027.20034
Almeida, Jorge; Zeitoun, Marc
4
2003
Infinite-state high-level MSCs: Model-checking and realizability (extended abstract). Zbl 1057.68625
Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc
7
2002
Pseudovariety joins involving \(\mathcal J\)-trivial semigroups. Zbl 1012.20054
Almeida, Jorge; Azevedo, Assis; Zeitoun, Marc
10
1999
The pseudovariety \(J\) is hyperdecidable. Zbl 0928.20046
Almeida, J.; Zeitoun, M.
8
1997
On the join of two pseudovarieties. Zbl 0916.20045
Zeitoun, M.
1
1996
The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups. Zbl 0840.20063
Zeitoun, M.
1
1995
On the decidability of the membership problem of the pseudovariety \(J\vee B\). Zbl 0832.20081
Zeitoun, Marc
1
1995
all top 5

Cited by 146 Authors

20 Zeitoun, Marc
16 Almeida, Jorge
13 Costa, José Carlos
7 Muscholl, Anca
6 Gastin, Paul
6 Kufleitner, Manfred
6 Nogueira, Conceição
6 Place, Thomas
5 Bollig, Benedikt
5 Genest, Blaise
4 Borlido, Célia
4 Steinberg, Benjamin
4 Teixeira, Maria Lurdes
3 Berwanger, Dietmar
3 Finkbeiner, Bernd
3 Klíma, Ondřej
3 Kuske, Dietrich
3 Masopust, Tomáš
3 Sznajder, Nathalie
3 van Gool, Samuel Jacob
2 Alibabaei, Khadijeh
2 Almeida, José Humberto S.
2 Alves Rocha, Thiago
2 Carton, Olivier
2 Chatterjee, Krishnendu
2 Costa, Alfredo
2 Henzinger, Thomas A.
2 Krebs, Andreas
2 Martins Ferreira, Francicleber
2 Martins, Ana Teresa
2 Mathew, Anup Basil
2 Monmege, Benjamin
2 Moura, Ana
2 Olderog, Ernst-Rüdiger
2 Otop, Jan
2 Parys, Paweł
2 Perrin, Dominique
2 Straubing, Howard
2 Thiagarajan, Pazhamaneri Subramaniam
2 Thomazo, Michaël
2 Wächter, Jan Philipp
2 Walter, Tobias
2 Weil, Pascal
1 Ábrahám, Erika
1 Akroun, Lakhdar
1 Akshay, S.
1 Becker, Bernd
1 Bernet, Julien
1 Berstel, Jean
1 Boasson, Luc
1 Bontemps, Yves
1 Bozzelli, Laura
1 Calta, Jan
1 Chakraborty, Supratik
1 Chatain, Thomas
1 Chen, Zhiyuan
1 Costa, João C. W. A.
1 Cyriac, Aiswarya
1 Czerwiński, Wojciech
1 Das, Ankush
1 Delgado, Manuel
1 Droste, Manfred
1 Engelfriet, Joost
1 Escada, Ana P.
1 Fleischer, Lukas
1 Fülöp, Zoltán
1 Garcia, Pedro
1 Gazagnaire, Thomas
1 Gehrke, Mai
1 Geldenhuys, Jaco
1 Genet, Thomas
1 Gieseking, Manuel
1 Gimbert, Hugo
1 Glaßer, Christian
1 Gölz, Paul
1 Grindei, Manuela-Lidia
1 Guaiana, Giovanna
1 Habermehl, Peter
1 Hecking-Harbusch, Jesko
1 Hélouët, Loïc
1 Henriksen, Jesper G.
1 Holub, Štěpán
1 Huang, Hongtao
1 Huang, Shaobin
1 Jacobs, Swen
1 Jagannath, Vishal
1 Janin, David
1 Jansen, Nils
1 Kaiser, Lukasz
1 Karandikar, Prateek
1 Katoen, Joost-Pieter
1 Krötzsch, Markus
1 Kumar, K. Narayan
1 Kunc, Michal
1 Kyriakoglou, Revekka
1 La Torre, Salvatore
1 Lasota, Sławomir
1 Lauser, Alexander
1 Leroux, Jérôme
1 Leucker, Martin
...and 46 more Authors

Citations by Year