×
Author ID: janin.david Recent zbMATH articles by "Janin, David"
Published as: Janin, David; Janin, D.
External Links: MGP
Documents Indexed: 30 Publications since 1993
Co-Authors: 11 Co-Authors with 18 Joint Publications
195 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 185 times in 151 Documents Cited by Year
Automata for the modal \(\mu \)-calculus and related results. Zbl 1193.68163
Janin, David; Walukiewicz, Igor
65
1995
On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic. Zbl 1514.68171
Janin, David; Walukiewicz, Igor
58
1996
Permissive strategies: From parity games to safety games. Zbl 1090.91514
Bernet, Julien; Janin, David; Walukiewicz, Igor
23
2002
On the (high) undecidability of distributed synthesis problems. Zbl 1132.68041
Janin, David
6
2007
On the structure of the monadic logic of the binary tree. Zbl 0943.03033
Janin, D.; Lenzi, G.
3
1999
On the bisimulation invariant fragment of monadic \(\Sigma_{1}\) in the finite. Zbl 1117.03339
Dawar, Anuj; Janin, David
3
2004
On the relationship between monadic and weak monadic second order logic on arbitrary trees, with applictions to the mu-calculus. Zbl 1097.03010
Janin, David; Lenzi, Giacomo
3
2004
Towards a higher-dimensional string theory for the modeling of computerized systems. Zbl 1432.68033
Janin, David
3
2014
Tree automata and discrete distributed games. Zbl 1123.68054
Bernet, Julien; Janin, David
2
2005
On the logical definability of topologically closed recognizable languages of infinite trees. Zbl 1099.03029
Janin, David; Lenzi, Giacomo
2
2002
Advanced synchronization of audio or symbolic musical patterns: an algebraic approach. Zbl 1284.00055
Berthaut, Florent; Janin, David; Martin, Benjamin
2
2012
Algebraic tools for the overlapping tile product. Zbl 1407.68250
Dubourg, Etienne; Janin, David
2
2014
On languages of one-dimensional overlapping tiles. Zbl 1303.68078
Janin, David
2
2013
Overlapping tile automata. Zbl 1381.68118
Janin, David
2
2013
Algebras, automata and logic for languages of labeled birooted trees. Zbl 1335.68157
Janin, David
2
2013
Automata on directed graphs: Edge versus vertex marking. Zbl 1156.68444
Berwanger, Dietmar; Janin, David
1
2006
Inverse monoids of higher-dimensional strings. Zbl 1471.68109
Janin, David
1
2015
On distributed program specification and synthesis in architectures with cycles. Zbl 1225.68110
Bernet, Julien; Janin, David
1
2006
A syntactic congruence for languages of birooted trees. Zbl 1333.68185
Blumensath, Achim; Janin, David
1
2015
Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles (extended abstract). Zbl 1365.68334
Janin, David
1
2012
Two-way automata and regular languages of overlapping tiles. Zbl 1348.68101
Dicky, Anne; Janin, David
1
2015
On labeled birooted tree languages: algebras, automata and logic. Zbl 1353.68187
Janin, David
1
2015
Inverse monoids of higher-dimensional strings. Zbl 1471.68109
Janin, David
1
2015
A syntactic congruence for languages of birooted trees. Zbl 1333.68185
Blumensath, Achim; Janin, David
1
2015
Two-way automata and regular languages of overlapping tiles. Zbl 1348.68101
Dicky, Anne; Janin, David
1
2015
On labeled birooted tree languages: algebras, automata and logic. Zbl 1353.68187
Janin, David
1
2015
Towards a higher-dimensional string theory for the modeling of computerized systems. Zbl 1432.68033
Janin, David
3
2014
Algebraic tools for the overlapping tile product. Zbl 1407.68250
Dubourg, Etienne; Janin, David
2
2014
On languages of one-dimensional overlapping tiles. Zbl 1303.68078
Janin, David
2
2013
Overlapping tile automata. Zbl 1381.68118
Janin, David
2
2013
Algebras, automata and logic for languages of labeled birooted trees. Zbl 1335.68157
Janin, David
2
2013
Advanced synchronization of audio or symbolic musical patterns: an algebraic approach. Zbl 1284.00055
Berthaut, Florent; Janin, David; Martin, Benjamin
2
2012
Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles (extended abstract). Zbl 1365.68334
Janin, David
1
2012
On the (high) undecidability of distributed synthesis problems. Zbl 1132.68041
Janin, David
6
2007
Automata on directed graphs: Edge versus vertex marking. Zbl 1156.68444
Berwanger, Dietmar; Janin, David
1
2006
On distributed program specification and synthesis in architectures with cycles. Zbl 1225.68110
Bernet, Julien; Janin, David
1
2006
Tree automata and discrete distributed games. Zbl 1123.68054
Bernet, Julien; Janin, David
2
2005
On the bisimulation invariant fragment of monadic \(\Sigma_{1}\) in the finite. Zbl 1117.03339
Dawar, Anuj; Janin, David
3
2004
On the relationship between monadic and weak monadic second order logic on arbitrary trees, with applictions to the mu-calculus. Zbl 1097.03010
Janin, David; Lenzi, Giacomo
3
2004
Permissive strategies: From parity games to safety games. Zbl 1090.91514
Bernet, Julien; Janin, David; Walukiewicz, Igor
23
2002
On the logical definability of topologically closed recognizable languages of infinite trees. Zbl 1099.03029
Janin, David; Lenzi, Giacomo
2
2002
On the structure of the monadic logic of the binary tree. Zbl 0943.03033
Janin, D.; Lenzi, G.
3
1999
On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic. Zbl 1514.68171
Janin, David; Walukiewicz, Igor
58
1996
Automata for the modal \(\mu \)-calculus and related results. Zbl 1193.68163
Janin, David; Walukiewicz, Igor
65
1995
all top 5

Cited by 240 Authors

12 Venema, Yde
8 Lange, Martin
6 Janin, David
5 Berwanger, Dietmar
5 Lenzi, Giacomo
5 Santocanale, Luigi
4 Bruse, Florian
4 D’Agostino, Giovanna
4 Kupferman, Orna
4 Walukiewicz, Igor
4 Zimmermann, Martin
3 Blumensath, Achim
3 Bozzelli, Laura
3 Carreiro, Facundo
3 Chatterjee, Krishnendu
3 Dawar, Anuj
3 Enqvist, Sebastian
3 Fecher, Harald
3 Göller, Stefan
3 Hodkinson, Ian Martin
3 Lehtinen, Karoliina
3 Murano, Aniello
3 Neider, Daniel
3 Piterman, Nir
3 Raskin, Jean-François
3 Schmidt, Heiko A.
3 Seifan, Fatemeh
3 van den Bogaard, Marie
3 van Ditmarsch, Hans Pieter
3 Vardi, Moshe Ya’akov
2 Afshari, Bahareh
2 Baier, Christel
2 Bernet, Julien
2 Bouyer, Patricia
2 Bradfield, Julian Charles
2 Calude, Cristian S.
2 Facchini, Alessandro
2 Feng, Renyan
2 Fontaine, Gaëlle
2 Goldblatt, Robert Ian
2 Grädel, Erich
2 Hales, James
2 Hella, Lauri T.
2 Henzinger, Thomas A.
2 Jain, Sanjay
2 Khoussainov, Bakhadyr M.
2 Klein, Joachim
2 Klüppelholz, Sascha
2 Křetínský, Jan
2 Kurz, Alexander
2 Kuusisto, Antti
2 Leal, Raul Andres
2 Leigh, Graham Emil
2 Li, Wei
2 Liu, Yongmei
2 Lohrey, Markus
2 Marti, Johannes
2 Mathew, Anup Basil
2 Otto, Martin
2 Pattinson, Dirk
2 Pinchinat, Sophie
2 Rabinovich, Alexander
2 Rönnholm, Raine
2 Schröder, Lutz
2 Skrzypczak, Michał
2 Sorrentino, Loredana
2 Steffen, Bernhard
2 Stephan, Frank
2 Toman, David
2 Wang, Yisong
2 Weinert, Alexander
2 Wild, Paul
2 Wolf, Felix A.
2 Zanasi, Fabio
1 Acar, Erman
1 Aceto, Luca
1 Achilleos, Antonis
1 Alshiekh, Mohammed
1 Alur, Rajeev
1 Aminof, Benjamin
1 Anand, Ashwani
1 Areces, Carlos
1 Arnold, André
1 Ayyash, Mohammed Abu
1 Baader, Franz
1 Baelde, David
1 Bansal, Suguman
1 Béchennec, Jean-Luc
1 Belardinelli, Francesco
1 Belkhir, Walid
1 Benedikt, Michael A.
1 Beneš, Nikola
1 Beutner, Raven
1 Bezhanishvili, Nick
1 Bílková, Marta
1 Bloem, Roderick
1 Böhm, Stanislav
1 Bourhis, Pierre
1 Branco, Mário J. J.
1 Brenguier, Romain
...and 140 more Authors

Citations by Year