Edit Profile Zeitoun, Marc Compute Distance To: Compute Author ID: zeitoun.marc Published as: Zeitoun, M.; Zeitoun, Marc External Links: MGP Documents Indexed: 61 Publications since 1995, including 2 Books all top 5 Co-Authors 5 single-authored 16 Almeida, Jorge 15 Place, Thomas 11 Gastin, Paul 10 Costa, José Carlos 6 Bollig, Benedikt 5 van Rooijen, Lorijn 4 Monmege, Benjamin 4 Muscholl, Anca 3 Genest, Blaise 3 Leroux, Jérôme 2 Azevedo, Assis 2 Bonnet, Remi 2 Cyriac, Aiswarya 2 Czerwiński, Wojciech 2 Finkel, Alain 2 Klasing, Ralf 2 Lerman, Benjamin 2 Martens, Wim 2 Seidl, Helmut 2 Sznajder, Nathalie 1 Badouel, Eric 1 Boucheron, Stéphane Vincent 1 Caniart, Nicolas 1 Costa, Alfredo 1 Degorre, Aldric 1 Dicky, Anne 1 Fleury, Emmanuel 1 Hélouët, Loïc 1 Moro, Pierre 1 Petit, Antoine 1 Pierron, Théo 1 Santha, Miklos 1 Serre, Olivier 1 Walukiewicz, Igor 1 Weil, Pascal 1 Zetzsche, Georg all top 5 Serials 5 Semigroup Forum 4 Logical Methods in Computer Science 2 Journal of Computer and System Sciences 2 International Journal of Algebra and Computation 2 Discrete Mathematics and Theoretical Computer Science. DMTCS 2 ACM Transactions on Computational Logic 1 Communications in Algebra 1 Information Processing Letters 1 Algebra Universalis 1 Journal of Pure and Applied Algebra 1 Monatshefte für Mathematik 1 Theoretical Computer Science 1 European Journal of Combinatorics 1 Publicacions Matemàtiques 1 RAIRO. Informatique Théorique et Applications 1 Formal Methods in System Design 1 Theory of Computing Systems 1 Journal of the ACM 1 LMS Journal of Computation and Mathematics 1 Portugaliae Mathematica. Nova Série 1 Journal of Applied Logic 1 Lecture Notes in Computer Science all top 5 Fields 45 Computer science (68-XX) 23 Group theory and generalizations (20-XX) 17 Mathematical logic and foundations (03-XX) 8 General algebraic systems (08-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Topological groups, Lie groups (22-XX) Publications by Year all cited Publications top 5 cited Publications 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.03055Place, Thomas; Zeitoun, Marc 16 2014 An automata-theoretic approach to the word problem for \(\omega\)-terms over R. Zbl 1110.68059Almeida, Jorge; Zeitoun, Marc 13 2007 Tameness of pseudovariety joins involving R. Zbl 1091.20036Almeida, Jorge; Carlos Costa, José; Zeitoun, Marc 12 2005 Distributed games with causal memory are decidable for series-parallel systems. Zbl 1117.68448Gastin, Paul; Lerman, Benjamin; Zeitoun, Marc 12 2004 Separating regular languages by piecewise testable and unambiguous languages. Zbl 1400.68113Place, Thomas; van Rooijen, Lorijn; Zeitoun, Marc 11 2013 Separating regular languages with first-order logic. Zbl 1448.68273Place, Thomas; Zeitoun, Marc 10 2016 Complete reducibility of systems of equations with respect to \(\mathbf R\). Zbl 1148.20042Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc 10 2007 Pseudovariety joins involving \(\mathcal J\)-trivial semigroups. Zbl 1012.20054Almeida, Jorge; Azevedo, Assis; Zeitoun, Marc 10 1999 Separation and the successor relation. Zbl 1355.68169Place, Thomas; Zeitoun, Marc 8 2015 The pseudovariety \(J\) is hyperdecidable. Zbl 0928.20046Almeida, J.; Zeitoun, M. 8 1997 Infinite-state high-level MSCs: Model-checking and realizability (extended abstract). Zbl 1057.68625Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc 7 2002 McCammond’s normal forms for free aperiodic semigroups revisited. Zbl 1315.20050Almeida, J.; Costa, J. C.; Zeitoun, M. 6 2015 Pebble weighted automata and transitive closure logics. Zbl 1288.68149Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc 6 2010 Distributed synthesis for well-connected architectures. Zbl 1180.68056Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc 6 2009 The covering problem: a unified approach for investigating the expressive power of logics. Zbl 1398.03158Place, Thomas; Zeitoun, Marc 5 2016 Concatenation hierarchies: new bottle, old wine. Zbl 06763493Place, Thomas; Zeitoun, Marc 4 2017 Reducibility of pointlike problems. Zbl 1422.20025Almeida, J.; Costa, J. C.; Zeitoun, M. 4 2017 A note on decidable separability by piecewise testable languages. Zbl 1434.68242Czerwiński, Wojciech; Martens, Wim; van Rooijen, Lorijn; Zeitoun, Marc 4 2015 On separation by locally testable and locally threshold testable languages. Zbl 1341.68108Place, Thomas; Van Rooijen, Lorijn; Zeitoun, Marc 4 2014 Iterated periodicity over finite aperiodic semigroups. Zbl 1282.05212Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc 4 2014 Description and analysis of a bottom-up DFA minimization algorithm. Zbl 1186.68242Almeida, Jorge; Zeitoun, Marc 4 2008 Pointlike sets with respect to R and J. Zbl 1133.20045Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc 4 2008 The equational theory of \(\omega\)-terms for finite \(\mathcal R\)-trivial semigroups. Zbl 1189.20050Almeida, Jorge; Zeitoun, Marc 4 2004 Tameness of some locally trivial pseudovarieties. Zbl 1027.20034Almeida, Jorge; Zeitoun, Marc 4 2003 The linear nature of pseudowords. Zbl 07094859Almeida, Jorge; Costa, Alfredo; Costa, José Carlos; Zeitoun, Marc 3 2019 The covering problem. Zbl 1448.03026Place, Thomas; Zeitoun, Marc 3 2018 Quantifier alternation for infinite words. Zbl 06591823Pierron, Théo; Place, Thomas; Zeitoun, Marc 3 2016 Temporal logics for concurrent recursive programs: satisfiability and model checking. Zbl 1310.68142Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc 3 2014 Infinite-state high-level MSCs: model-checking and realizability. Zbl 1105.68071Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc 3 2006 Minimization of counterexamples in SPIN. Zbl 1125.68369Gastin, Paul; Moro, Pierre; Zeitoun, Marc 3 2004 Pebble weighted automata and weighted logics. Zbl 1291.03076Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc 2 2014 Model checking vector addition systems with one zero-test. Zbl 1242.68196Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc 2 2012 Temporal logics for concurrent recursive programs: satisfiability and model checking. Zbl 1343.68055Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc 2 2011 A look at the control of asynchronous automata. Zbl 1194.68145Muscholl, Anca; Walukiewicz, Igor; Zeitoun, Marc 2 2009 Tree pattern rewriting systems. Zbl 1183.68372Genest, Blaise; Muscholl, Anca; Serre, Olivier; Zeitoun, Marc 2 2008 Complete reducibility of pseudovarieties. Zbl 1133.20044Almeida, J.; Costa, J. C.; Zeitoun, M. 2 2007 Distributed synthesis for well-connected architectures. Zbl 1177.68146Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc 2 2006 Distributed games and distributed control for asynchronous systems. Zbl 1196.68157Gastin, Paul; Lerman, Benjamin; Zeitoun, Marc 2 2004 Going higher in first-order quantifier alternation hierarchies on words. Zbl 1427.03050Place, Thomas; Zeitoun, Marc 1 2019 A characterization for decidable separability by piecewise testable languages. Zbl 1400.68101Czerwiński, Wojciech; Martens, Wim; van Rooijen, Lorijn; Zeitoun, Marc; Zetzsche, Georg 1 2017 Factoriality and the Pin-Reutenauer procedure. Zbl 1400.20055Almeida, J.; Costa, J. C.; Zeitoun, M. 1 2016 Separating regular languages with first-order logic. Zbl 1401.68165Place, Thomas; Zeitoun, Marc 1 2014 Closures of regular languages for profinite topologies. Zbl 1307.20048Almeida, J.; Costa, J. C.; Zeitoun, M. 1 2014 Separating regular languages by locally testable and locally threshold testable languages. Zbl 1359.68178Place, Thomas; Van Rooijen, Lorijn; Zeitoun, Marc 1 2013 Place-boundedness for vector addition systems with one zero-test. Zbl 1245.68131Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc 1 2010 Accelerating interpolation-based model-checking. Zbl 1134.68400Caniart, Nicolas; Fleury, Emmanuel; Leroux, Jérôme; Zeitoun, Marc 1 2008 On the join of two pseudovarieties. Zbl 0916.20045Zeitoun, M. 1 1996 The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups. Zbl 0840.20063Zeitoun, M. 1 1995 On the decidability of the membership problem of the pseudovariety \(J\vee B\). Zbl 0832.20081Zeitoun, Marc 1 1995 The linear nature of pseudowords. Zbl 07094859Almeida, Jorge; Costa, Alfredo; Costa, José Carlos; Zeitoun, Marc 3 2019 Going higher in first-order quantifier alternation hierarchies on words. Zbl 1427.03050Place, Thomas; Zeitoun, Marc 1 2019 The covering problem. Zbl 1448.03026Place, Thomas; Zeitoun, Marc 3 2018 Concatenation hierarchies: new bottle, old wine. Zbl 06763493Place, Thomas; Zeitoun, Marc 4 2017 Reducibility of pointlike problems. Zbl 1422.20025Almeida, J.; Costa, J. C.; Zeitoun, M. 4 2017 A characterization for decidable separability by piecewise testable languages. Zbl 1400.68101Czerwiński, Wojciech; Martens, Wim; van Rooijen, Lorijn; Zeitoun, Marc; Zetzsche, Georg 1 2017 Separating regular languages with first-order logic. Zbl 1448.68273Place, Thomas; Zeitoun, Marc 10 2016 The covering problem: a unified approach for investigating the expressive power of logics. Zbl 1398.03158Place, Thomas; Zeitoun, Marc 5 2016 Quantifier alternation for infinite words. Zbl 06591823Pierron, Théo; Place, Thomas; Zeitoun, Marc 3 2016 Factoriality and the Pin-Reutenauer procedure. Zbl 1400.20055Almeida, J.; Costa, J. C.; Zeitoun, M. 1 2016 Separation and the successor relation. Zbl 1355.68169Place, Thomas; Zeitoun, Marc 8 2015 McCammond’s normal forms for free aperiodic semigroups revisited. Zbl 1315.20050Almeida, J.; Costa, J. C.; Zeitoun, M. 6 2015 A note on decidable separability by piecewise testable languages. Zbl 1434.68242Czerwiński, Wojciech; Martens, Wim; van Rooijen, Lorijn; Zeitoun, Marc 4 2015 Going higher in the first-order quantifier alternation hierarchy on words. Zbl 1407.03055Place, Thomas; Zeitoun, Marc 16 2014 On separation by locally testable and locally threshold testable languages. Zbl 1341.68108Place, Thomas; Van Rooijen, Lorijn; Zeitoun, Marc 4 2014 Iterated periodicity over finite aperiodic semigroups. Zbl 1282.05212Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc 4 2014 Temporal logics for concurrent recursive programs: satisfiability and model checking. Zbl 1310.68142Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc 3 2014 Pebble weighted automata and weighted logics. Zbl 1291.03076Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc 2 2014 Separating regular languages with first-order logic. Zbl 1401.68165Place, Thomas; Zeitoun, Marc 1 2014 Closures of regular languages for profinite topologies. Zbl 1307.20048Almeida, J.; Costa, J. C.; Zeitoun, M. 1 2014 Separating regular languages by piecewise testable and unambiguous languages. Zbl 1400.68113Place, Thomas; van Rooijen, Lorijn; Zeitoun, Marc 11 2013 Separating regular languages by locally testable and locally threshold testable languages. Zbl 1359.68178Place, Thomas; Van Rooijen, Lorijn; Zeitoun, Marc 1 2013 Model checking vector addition systems with one zero-test. Zbl 1242.68196Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc 2 2012 Temporal logics for concurrent recursive programs: satisfiability and model checking. Zbl 1343.68055Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc 2 2011 Pebble weighted automata and transitive closure logics. Zbl 1288.68149Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc 6 2010 Place-boundedness for vector addition systems with one zero-test. Zbl 1245.68131Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc 1 2010 Distributed synthesis for well-connected architectures. Zbl 1180.68056Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc 6 2009 A look at the control of asynchronous automata. Zbl 1194.68145Muscholl, Anca; Walukiewicz, Igor; Zeitoun, Marc 2 2009 Description and analysis of a bottom-up DFA minimization algorithm. Zbl 1186.68242Almeida, Jorge; Zeitoun, Marc 4 2008 Pointlike sets with respect to R and J. Zbl 1133.20045Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc 4 2008 Tree pattern rewriting systems. Zbl 1183.68372Genest, Blaise; Muscholl, Anca; Serre, Olivier; Zeitoun, Marc 2 2008 Accelerating interpolation-based model-checking. Zbl 1134.68400Caniart, 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.68059Almeida, Jorge; Zeitoun, Marc 13 2007 Complete reducibility of systems of equations with respect to \(\mathbf R\). Zbl 1148.20042Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc 10 2007 Complete reducibility of pseudovarieties. Zbl 1133.20044Almeida, J.; Costa, J. C.; Zeitoun, M. 2 2007 Infinite-state high-level MSCs: model-checking and realizability. Zbl 1105.68071Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc 3 2006 Distributed synthesis for well-connected architectures. Zbl 1177.68146Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc 2 2006 Tameness of pseudovariety joins involving R. Zbl 1091.20036Almeida, Jorge; Carlos Costa, José; Zeitoun, Marc 12 2005 Distributed games with causal memory are decidable for series-parallel systems. Zbl 1117.68448Gastin, Paul; Lerman, Benjamin; Zeitoun, Marc 12 2004 The equational theory of \(\omega\)-terms for finite \(\mathcal R\)-trivial semigroups. Zbl 1189.20050Almeida, Jorge; Zeitoun, Marc 4 2004 Minimization of counterexamples in SPIN. Zbl 1125.68369Gastin, Paul; Moro, Pierre; Zeitoun, Marc 3 2004 Distributed games and distributed control for asynchronous systems. Zbl 1196.68157Gastin, Paul; Lerman, Benjamin; Zeitoun, Marc 2 2004 Tameness of some locally trivial pseudovarieties. Zbl 1027.20034Almeida, Jorge; Zeitoun, Marc 4 2003 Infinite-state high-level MSCs: Model-checking and realizability (extended abstract). Zbl 1057.68625Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc 7 2002 Pseudovariety joins involving \(\mathcal J\)-trivial semigroups. Zbl 1012.20054Almeida, Jorge; Azevedo, Assis; Zeitoun, Marc 10 1999 The pseudovariety \(J\) is hyperdecidable. Zbl 0928.20046Almeida, J.; Zeitoun, M. 8 1997 On the join of two pseudovarieties. Zbl 0916.20045Zeitoun, M. 1 1996 The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups. Zbl 0840.20063Zeitoun, M. 1 1995 On the decidability of the membership problem of the pseudovariety \(J\vee B\). Zbl 0832.20081Zeitoun, Marc 1 1995 all cited Publications top 5 cited Publications 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 all top 5 Cited in 29 Serials 20 Theoretical Computer Science 14 International Journal of Algebra and Computation 9 Information and Computation 8 Logical Methods in Computer Science 7 Theory of Computing Systems 5 Acta Informatica 5 Semigroup Forum 4 Communications in Algebra 3 Information Processing Letters 3 Formal Methods in System Design 2 Forum Mathematicum 2 Journal of Applied Logic 1 Israel Journal of Mathematics 1 Advances in Mathematics 1 Algebra Universalis 1 Canadian Mathematical Bulletin 1 Journal of Computer and System Sciences 1 Journal of Pure and Applied Algebra 1 Monatshefte für Mathematik 1 Topology and its Applications 1 European Journal of Combinatorics 1 Journal of Symbolic Computation 1 Journal of Computer Science and Technology 1 Journal of Automated Reasoning 1 RAIRO. Informatique Théorique et Applications 1 Journal of Logic, Language and Information 1 LMS Journal of Computation and Mathematics 1 Portugaliae Mathematica. Nova Série 1 ACM Transactions on Computational Logic all top 5 Cited in 12 Fields 86 Computer science (68-XX) 44 Group theory and generalizations (20-XX) 27 Mathematical logic and foundations (03-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 General algebraic systems (08-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 Category theory; homological algebra (18-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year