×

zbMATH — the first resource for mathematics

Walukiewicz, Igor

Compute Distance To:
Author ID: walukiewicz.igor Recent zbMATH articles by "Walukiewicz, Igor"
Published as: Walukiewicz, I.; Walukiewicz, Igor
External Links: MGP
Documents Indexed: 88 Publications since 1990, including 4 Books

Publications by Year

Citations contained in zbMATH

66 Publications have been cited 505 times in 366 Documents Cited by Year
Pushdown processes: Games and model-checking. Zbl 1003.68072
Walukiewicz, Igor
54
2001
Completeness of Kozen’s axiomatisation of the propositional \(\mu\)-calculus. Zbl 1046.68628
Walukiewicz, Igor
42
2000
Automata for the modal \(\mu \)-calculus and related results. Zbl 1193.68163
Janin, David; Walukiewicz, Igor
42
1995
Games for synthesis of controllers with partial observation. Zbl 1175.93148
Arnold, A.; Vincent, A.; Walukiewicz, I.
32
2003
Model checking CTL properties of pushdown systems. Zbl 1044.68111
Walukiewicz, Igor
21
2000
Monadic second-order logic on tree-like structures. Zbl 1026.68087
Walukiewicz, Igor
17
2002
Games for the \(\mu\)-calculus. Zbl 0872.03017
Niwiński, Damian; Walukiewicz, Igor
16
1996
An expressively complete linear time temporal logic for Mazurkiewicz traces. Zbl 1096.03015
Thiagarajan, P. S.; Walukiewicz, I.
15
2002
Distributed games. Zbl 1205.68089
Mohalik, Swarup; Walukiewicz, Igor
13
2003
Relating hierarchies of word and tree automata. Zbl 0892.68067
Niwiński, Damian; Walukiewicz, Igor
12
1998
A gap property of deterministic tree languages. Zbl 1044.68120
Niwiński, Damian; Walukiewicz, Igor
11
2003
Distributed synthesis for acyclic architectures. Zbl 1360.68594
Muscholl, Anca; Walukiewicz, Igor
10
2014
Asynchronous games over tree architectures. Zbl 1334.68150
Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor
10
2013
Permissive strategies: From parity games to safety games. Zbl 1090.91514
Bernet, Julien; Janin, David; Walukiewicz, Igor
10
2002
Monadic second-order logic, graph coverings and unfoldings of transition systems. Zbl 0929.03036
Courcelle, Bruno; Walukiewicz, Igor
10
1998
Difficult configurations – on the complexity of LTrL. (Extended abstract). Zbl 0909.03024
Walukiewicz, Igor
10
1998
Optimal Zielonka-type construction of deterministic asynchronous automata. Zbl 1288.68154
Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor
9
2010
Minimizing variants of visibly pushdown automata. Zbl 1147.68555
Chervet, Patrick; Walukiewicz, Igor
9
2007
Alternating timed automata. Zbl 1367.68172
Lasota, Slawomir; Walukiewicz, Igor
8
2008
Monadic second order logic on tree-like structures. Zbl 1434.03105
Walukiewicz, Igor
8
1996
Idealized Algol with ground recursion, and DPDA equivalence. Zbl 1085.68092
Murawski, A. S.; Ong, C.-H. L.; Walukiewicz, I.
7
2005
Unsafe grammars and panic automata. Zbl 1081.68054
Knapik, Teodor; Niwiński, Damian; Urzyczyn, Paweł; Walukiewicz, Igor
7
2005
Third-order Idealized Algol with iteration is decidable. Zbl 1118.68398
Murawski, Andrzej S.; Walukiewicz, Igor
7
2005
The mu-calculus and model checking. Zbl 1392.68236
Bradfield, Julian; Walukiewicz, Igor
6
2018
Forest algebras. Zbl 1217.68123
Bojańczyk, Mikołaj; Walukiewicz, Igor
6
2008
Nondeterministic controllers of nondeterministic processes. Zbl 1215.93082
Arnold, André; Walukiewicz, Igor
6
2008
Positional determinacy of games with infinitely many priorities. Zbl 1126.91012
Grädel, Erich; Walukiewicz, Igor
6
2006
Characterizing EF and EX tree logics. Zbl 1097.03013
Bojańczyk, Mikolaj; Walukiewicz, Igor
6
2006
Characterizing EF and EX tree logics. Zbl 1097.03504
Bojańczyk, Mikołaj; Walukiewicz, Igor
6
2004
A lower bound on web services composition. Zbl 1195.68067
Muscholl, Anca; Walukiewicz, Igor
5
2007
Recursive schemes, Krivine machines, and collapsible pushdown automata. Zbl 1310.68138
Salvati, Sylvain; Walukiewicz, Igor
4
2012
Krivine machines and higher-order schemes. Zbl 1333.68111
Salvati, S.; Walukiewicz, I.
4
2011
Choice functions and well-orderings over the infinite binary tree. Zbl 1215.03054
Carayol, Arnaud; Löding, Christof; Niwinski, Damian; Walukiewicz, Igor
4
2010
Alternating timed automata. Zbl 1119.68109
Lasota, Sławomir; Walukiewicz, Igor
4
2005
Local logics for traces. Zbl 1030.03025
Walukiewicz, Igor
4
2002
The Horn mu-calculus. Zbl 0945.03541
Charatonik, Witold; McAllester, David; Niwiński, Damian; Podelski, Andreas; Walukiewicz, Igor
4
1998
The diagonal problem for higher-order recursion schemes is decidable. Zbl 1401.68158
Clemente, Lorenzo; Parys, Paweł; Salvati, Sylvain; Walukiewicz, Igor
3
2016
Deciding the topological complexity of Büchi languages. Zbl 1388.68181
Skrzypczak, Michal; Walukiewicz, Igor
3
2016
Safety of parametrized asynchronous shared-memory systems is almost always decidable. Zbl 1374.68337
La Torre, Salvatore; Muscholl, Anca; Walukiewicz, Igor
3
2015
Using models to model-check recursive schemes. Zbl 1381.68179
Salvati, Sylvain; Walukiewicz, Igor
3
2013
Using non-convex approximations for efficient analysis of timed automata. Zbl 1246.68145
Herbreteau, Frédéric; Kini, Dileep; Srivathsan, B.; Walukiewicz, Igor
3
2011
An NP-complete fragment of LTL. Zbl 1161.03303
Muscholl, Anca; Walukiewicz, Igor
3
2005
Deciding low levels of tree-automata hierarchy. Zbl 1261.68082
Walukiewicz, Igor
3
2002
Gentzen-type axiomatization for PAL. Zbl 0783.68084
Walukiewicz, Igor
3
1993
Simply typed fixpoint calculus and collapsible pushdown automata. Zbl 1364.68132
Salvati, Sylvain; Walukiewicz, Igor
2
2016
A model for behavioural properties of higher-order programs. Zbl 1373.68174
Salvati, Sylvain; Walukiewicz, Igor
2
2015
Ordered tree-pushdown systems. Zbl 1366.68141
Clemente, Lorenzo; Parys, Paweł; Salvati, Sylvain; Walukiewicz, Igor
2
2015
A note on monitors and Büchi automata. Zbl 06545718
Diekert, Volker; Muscholl, Anca; Walukiewicz, Igor
2
2015
Using models to model-check recursive schemes. Zbl 1391.68080
Salvati, Sylvain; Walukiewicz, Igor
2
2015
Krivine machines and higher-order schemes. Zbl 1309.68073
Salvati, Sylvain; Walukiewicz, Igor
2
2014
Evaluation is MSOL-compatible. Zbl 1359.03015
Salvati, Sylvain; Walukiewicz, Igor
2
2013
Better abstractions for timed automata. Zbl 1360.68560
Herbreteau, Frédéric; Srivathsan, B.; Walukiewicz, Igor
2
2012
Efficient emptiness check for timed Büchi automata. Zbl 1247.68143
Herbreteau, Frédéric; Srivathsan, B.; Walukiewicz, Igor
2
2012
Wreath products of forest algebras, with applications to tree logics. Zbl 1258.03044
Bojańczyk, Mikolaj; Walukiewicz, Igor; Straubing, Howard
2
2012
A look at the control of asynchronous automata. Zbl 1194.68145
Muscholl, Anca; Walukiewicz, Igor; Zeitoun, Marc
2
2009
A lower bound on web services composition. Zbl 1147.68372
Muscholl, Anca; Walukiewicz, Igor
2
2008
Third-order Idealized Algol with iteration is decidable. Zbl 1134.68017
Murawski, Andrzej S.; Walukiewicz, Igor
2
2008
Pushdown games with unboundedness and regular conditions. Zbl 1205.68194
Bouquet, Alexis-Julien; Serre, Oliver; Walukiewicz, Igor
2
2003
Soundness in negotiations. Zbl 1392.68298
Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor
1
2016
Better abstractions for timed automata. Zbl 1353.68166
Herbreteau, Frédéric; Srivathsan, B.; Walukiewicz, Igor
1
2016
Typing weak MSOL properties. Zbl 1448.68315
Salvati, Sylvain; Walukiewicz, Igor
1
2015
An alternate proof of Statman’s finite completeness theorem. Zbl 1243.03017
Srivathsan, B.; Walukiewicz, Igor
1
2012
Weak alternating timed automata. Zbl 1248.03058
Parys, Pawel; Walukiewicz, Igor
1
2009
Difficult configurations – on the complexity of LTrL. Zbl 1075.68052
Walukiewicz, Igor
1
2005
Complexity of weak acceptance conditions in tree automata. Zbl 1042.68068
Neumann, Jakub; Szepietowski, Andrzej; Walukiewicz, Igor
1
2002
A note on the completeness of Kozen’s axiomatisation of the propositional \(\mu\)-calculus. Zbl 0868.03010
Walukiewicz, Igor
1
1996
The mu-calculus and model checking. Zbl 1392.68236
Bradfield, Julian; Walukiewicz, Igor
6
2018
The diagonal problem for higher-order recursion schemes is decidable. Zbl 1401.68158
Clemente, Lorenzo; Parys, Paweł; Salvati, Sylvain; Walukiewicz, Igor
3
2016
Deciding the topological complexity of Büchi languages. Zbl 1388.68181
Skrzypczak, Michal; Walukiewicz, Igor
3
2016
Simply typed fixpoint calculus and collapsible pushdown automata. Zbl 1364.68132
Salvati, Sylvain; Walukiewicz, Igor
2
2016
Soundness in negotiations. Zbl 1392.68298
Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor
1
2016
Better abstractions for timed automata. Zbl 1353.68166
Herbreteau, Frédéric; Srivathsan, B.; Walukiewicz, Igor
1
2016
Safety of parametrized asynchronous shared-memory systems is almost always decidable. Zbl 1374.68337
La Torre, Salvatore; Muscholl, Anca; Walukiewicz, Igor
3
2015
A model for behavioural properties of higher-order programs. Zbl 1373.68174
Salvati, Sylvain; Walukiewicz, Igor
2
2015
Ordered tree-pushdown systems. Zbl 1366.68141
Clemente, Lorenzo; Parys, Paweł; Salvati, Sylvain; Walukiewicz, Igor
2
2015
A note on monitors and Büchi automata. Zbl 06545718
Diekert, Volker; Muscholl, Anca; Walukiewicz, Igor
2
2015
Using models to model-check recursive schemes. Zbl 1391.68080
Salvati, Sylvain; Walukiewicz, Igor
2
2015
Typing weak MSOL properties. Zbl 1448.68315
Salvati, Sylvain; Walukiewicz, Igor
1
2015
Distributed synthesis for acyclic architectures. Zbl 1360.68594
Muscholl, Anca; Walukiewicz, Igor
10
2014
Krivine machines and higher-order schemes. Zbl 1309.68073
Salvati, Sylvain; Walukiewicz, Igor
2
2014
Asynchronous games over tree architectures. Zbl 1334.68150
Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor
10
2013
Using models to model-check recursive schemes. Zbl 1381.68179
Salvati, Sylvain; Walukiewicz, Igor
3
2013
Evaluation is MSOL-compatible. Zbl 1359.03015
Salvati, Sylvain; Walukiewicz, Igor
2
2013
Recursive schemes, Krivine machines, and collapsible pushdown automata. Zbl 1310.68138
Salvati, Sylvain; Walukiewicz, Igor
4
2012
Better abstractions for timed automata. Zbl 1360.68560
Herbreteau, Frédéric; Srivathsan, B.; Walukiewicz, Igor
2
2012
Efficient emptiness check for timed Büchi automata. Zbl 1247.68143
Herbreteau, Frédéric; Srivathsan, B.; Walukiewicz, Igor
2
2012
Wreath products of forest algebras, with applications to tree logics. Zbl 1258.03044
Bojańczyk, Mikolaj; Walukiewicz, Igor; Straubing, Howard
2
2012
An alternate proof of Statman’s finite completeness theorem. Zbl 1243.03017
Srivathsan, B.; Walukiewicz, Igor
1
2012
Krivine machines and higher-order schemes. Zbl 1333.68111
Salvati, S.; Walukiewicz, I.
4
2011
Using non-convex approximations for efficient analysis of timed automata. Zbl 1246.68145
Herbreteau, Frédéric; Kini, Dileep; Srivathsan, B.; Walukiewicz, Igor
3
2011
Optimal Zielonka-type construction of deterministic asynchronous automata. Zbl 1288.68154
Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor
9
2010
Choice functions and well-orderings over the infinite binary tree. Zbl 1215.03054
Carayol, Arnaud; Löding, Christof; Niwinski, Damian; Walukiewicz, Igor
4
2010
A look at the control of asynchronous automata. Zbl 1194.68145
Muscholl, Anca; Walukiewicz, Igor; Zeitoun, Marc
2
2009
Weak alternating timed automata. Zbl 1248.03058
Parys, Pawel; Walukiewicz, Igor
1
2009
Alternating timed automata. Zbl 1367.68172
Lasota, Slawomir; Walukiewicz, Igor
8
2008
Forest algebras. Zbl 1217.68123
Bojańczyk, Mikołaj; Walukiewicz, Igor
6
2008
Nondeterministic controllers of nondeterministic processes. Zbl 1215.93082
Arnold, André; Walukiewicz, Igor
6
2008
A lower bound on web services composition. Zbl 1147.68372
Muscholl, Anca; Walukiewicz, Igor
2
2008
Third-order Idealized Algol with iteration is decidable. Zbl 1134.68017
Murawski, Andrzej S.; Walukiewicz, Igor
2
2008
Minimizing variants of visibly pushdown automata. Zbl 1147.68555
Chervet, Patrick; Walukiewicz, Igor
9
2007
A lower bound on web services composition. Zbl 1195.68067
Muscholl, Anca; Walukiewicz, Igor
5
2007
Positional determinacy of games with infinitely many priorities. Zbl 1126.91012
Grädel, Erich; Walukiewicz, Igor
6
2006
Characterizing EF and EX tree logics. Zbl 1097.03013
Bojańczyk, Mikolaj; Walukiewicz, Igor
6
2006
Idealized Algol with ground recursion, and DPDA equivalence. Zbl 1085.68092
Murawski, A. S.; Ong, C.-H. L.; Walukiewicz, I.
7
2005
Unsafe grammars and panic automata. Zbl 1081.68054
Knapik, Teodor; Niwiński, Damian; Urzyczyn, Paweł; Walukiewicz, Igor
7
2005
Third-order Idealized Algol with iteration is decidable. Zbl 1118.68398
Murawski, Andrzej S.; Walukiewicz, Igor
7
2005
Alternating timed automata. Zbl 1119.68109
Lasota, Sławomir; Walukiewicz, Igor
4
2005
An NP-complete fragment of LTL. Zbl 1161.03303
Muscholl, Anca; Walukiewicz, Igor
3
2005
Difficult configurations – on the complexity of LTrL. Zbl 1075.68052
Walukiewicz, Igor
1
2005
Characterizing EF and EX tree logics. Zbl 1097.03504
Bojańczyk, Mikołaj; Walukiewicz, Igor
6
2004
Games for synthesis of controllers with partial observation. Zbl 1175.93148
Arnold, A.; Vincent, A.; Walukiewicz, I.
32
2003
Distributed games. Zbl 1205.68089
Mohalik, Swarup; Walukiewicz, Igor
13
2003
A gap property of deterministic tree languages. Zbl 1044.68120
Niwiński, Damian; Walukiewicz, Igor
11
2003
Pushdown games with unboundedness and regular conditions. Zbl 1205.68194
Bouquet, Alexis-Julien; Serre, Oliver; Walukiewicz, Igor
2
2003
Monadic second-order logic on tree-like structures. Zbl 1026.68087
Walukiewicz, Igor
17
2002
An expressively complete linear time temporal logic for Mazurkiewicz traces. Zbl 1096.03015
Thiagarajan, P. S.; Walukiewicz, I.
15
2002
Permissive strategies: From parity games to safety games. Zbl 1090.91514
Bernet, Julien; Janin, David; Walukiewicz, Igor
10
2002
Local logics for traces. Zbl 1030.03025
Walukiewicz, Igor
4
2002
Deciding low levels of tree-automata hierarchy. Zbl 1261.68082
Walukiewicz, Igor
3
2002
Complexity of weak acceptance conditions in tree automata. Zbl 1042.68068
Neumann, Jakub; Szepietowski, Andrzej; Walukiewicz, Igor
1
2002
Pushdown processes: Games and model-checking. Zbl 1003.68072
Walukiewicz, Igor
54
2001
Completeness of Kozen’s axiomatisation of the propositional \(\mu\)-calculus. Zbl 1046.68628
Walukiewicz, Igor
42
2000
Model checking CTL properties of pushdown systems. Zbl 1044.68111
Walukiewicz, Igor
21
2000
Relating hierarchies of word and tree automata. Zbl 0892.68067
Niwiński, Damian; Walukiewicz, Igor
12
1998
Monadic second-order logic, graph coverings and unfoldings of transition systems. Zbl 0929.03036
Courcelle, Bruno; Walukiewicz, Igor
10
1998
Difficult configurations – on the complexity of LTrL. (Extended abstract). Zbl 0909.03024
Walukiewicz, Igor
10
1998
The Horn mu-calculus. Zbl 0945.03541
Charatonik, Witold; McAllester, David; Niwiński, Damian; Podelski, Andreas; Walukiewicz, Igor
4
1998
Games for the \(\mu\)-calculus. Zbl 0872.03017
Niwiński, Damian; Walukiewicz, Igor
16
1996
Monadic second order logic on tree-like structures. Zbl 1434.03105
Walukiewicz, Igor
8
1996
A note on the completeness of Kozen’s axiomatisation of the propositional \(\mu\)-calculus. Zbl 0868.03010
Walukiewicz, Igor
1
1996
Automata for the modal \(\mu \)-calculus and related results. Zbl 1193.68163
Janin, David; Walukiewicz, Igor
42
1995
Gentzen-type axiomatization for PAL. Zbl 0783.68084
Walukiewicz, Igor
3
1993
all top 5

Cited by 480 Authors

19 Walukiewicz, Igor
9 Kucera, Antonin
8 Bouyer, Patricia
8 Gastin, Paul
8 Kupferman, Orna
8 Lohrey, Markus
8 Santocanale, Luigi
7 Murawski, Andrzej S.
7 Muscholl, Anca
7 Skrzypczak, Michał
7 Venema, Yde
6 Bozzelli, Laura
6 Chatterjee, Krishnendu
6 Lange, Martin
6 Pinchinat, Sophie
6 Studer, Thomas
5 Berwanger, Dietmar
5 Courcelle, Bruno
5 D’Agostino, Giovanna
5 Diekert, Volker
5 Ésik, Zoltán
5 Larsen, Kim Guldstrand
5 Markey, Nicolas
5 Niwiński, Damian
5 Salomaa, Kai T.
5 Salvati, Sylvain
5 Vardi, Moshe Y.
5 Zimmermann, Martín G.
4 Bojańczyk, Mikołaj
4 Facchini, Alessandro
4 Lenzi, Giacomo
4 Majumdar, Rupak
4 Mardare, Radu
4 Mayr, Richard M.
4 Murano, Aniello
4 Serre, Olivier
4 Worrell, James B.
3 Alur, Rajeev
3 Arnold, André
3 Bertrand, Nathalie
3 Blumensath, Achim
3 Brázdil, Tomáš
3 Demri, Stéphane P.
3 Esparza, Javier
3 Fecher, Harald
3 Feuillade, Guillaume
3 Finkbeiner, Bernd
3 Finkel, Olivier
3 Forejt, Vojtěch
3 Friedmann, Oliver
3 Gimbert, Hugo
3 Janin, David
3 Kamide, Norihiro
3 Kuske, Dietrich
3 Legay, Axel
3 Michalewski, Henryk
3 Niskanen, Reino
3 Okhotin, Alexander
3 Ouaknine, Joel O.
3 Parys, Paweł
3 Peled, Doron A.
3 Piterman, Nir
3 Potapov, Igor
3 Rabinovich, Alexander
3 Schmidt, Heiko A.
3 Schnoebelen, Philippe
3 Shilov, Nikolay V.
3 Thiagarajan, Pazhamaneri Subramaniam
3 Touili, Tayssir
3 van Ditmarsch, Hans Pieter
3 Willemse, Tim A. C.
2 Abramsky, Samson
2 Alberucci, Luca
2 Aminof, Benjamin
2 Antonopoulos, Timos
2 Baier, Christel
2 Balbiani, Philippe
2 Bárány, Vince
2 Bernet, Julien
2 Bezhanishvili, Nick
2 Bloem, Roderick
2 Bollig, Benedikt
2 Bouajjani, Ahmed
2 Bradfield, Julian Charles
2 Brim, Luboš
2 Brožek, Václav
2 Carayol, Arnaud
2 Cavallari, Filippo
2 Cheikh, Fahima
2 Cîrstea, Corina
2 Cranen, Sjoerd
2 Das, Anupam
2 Dewaskar, Miheer
2 Enqvist, Sebastian
2 Fahrenberg, Uli
2 Fontaine, Gaëlle
2 Fratani, Séverine
2 French, Tim
2 Gazda, Maciej W.
2 Genest, Blaise
...and 380 more Authors
all top 5

Cited in 49 Serials

67 Theoretical Computer Science
43 Information and Computation
18 Logical Methods in Computer Science
13 Annals of Pure and Applied Logic
12 Journal of Computer and System Sciences
12 Formal Methods in System Design
10 International Journal of Foundations of Computer Science
10 RAIRO. Theoretical Informatics and Applications
9 Information Processing Letters
8 Acta Informatica
7 Journal of Applied Non-Classical Logics
7 Theory of Computing Systems
6 Discrete Event Dynamic Systems
4 MSCS. Mathematical Structures in Computer Science
4 The Journal of Logic and Algebraic Programming
4 Journal of Logical and Algebraic Methods in Programming
3 Journal of Logic, Language and Information
3 ACM Transactions on Computational Logic
3 RAIRO. Theoretical Informatics and Applications
2 Artificial Intelligence
2 Automatica
2 The Journal of Symbolic Logic
2 Studia Logica
2 Formal Aspects of Computing
2 International Journal of Algebra and Computation
2 Mathematical Logic Quarterly (MLQ)
2 Journal of Applied Logic
1 Discrete Applied Mathematics
1 International Journal of General Systems
1 Information Sciences
1 Journal of Pure and Applied Algebra
1 Programming and Computer Software
1 Semigroup Forum
1 Siberian Mathematical Journal
1 Systems & Control Letters
1 Science of Computer Programming
1 Journal of Automated Reasoning
1 RAIRO. Informatique Théorique et Applications
1 International Journal of Robust and Nonlinear Control
1 Journal of Functional Programming
1 European Journal of Control
1 Soft Computing
1 Logica Universalis
1 Algorithms
1 Science China. Information Sciences
1 Frontiers of Computer Science
1 Axioms
1 Computer Science Review
1 ACM Transactions on Computation Theory

Citations by Year