| On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic D Janin, I Walukiewicz International Conference on Concurrency Theory, 263-277, 1996 | 447 | 1996 |
| Pushdown processes: Games and model-checking I Walukiewicz Information and computation 164 (2), 234-263, 2001 | 332 | 2001 |
| Completeness of Kozen's axiomatisation of the propositional μ-calculus I Walukiewicz Information and Computation 157 (1-2), 142-182, 2000 | 327 | 2000 |
| Automata for the modal μ-calculus and related results D Janin, I Walukiewicz Mathematical Foundations of Computer Science 1995: 20th International …, 1995 | 298 | 1995 |
| Games for synthesis of controllers with partial observation A Arnold, A Vincent, I Walukiewicz Theoretical computer science 303 (1), 7-34, 2003 | 286 | 2003 |
| Pushdown processes: Games and model checking I Walukiewicz Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 251 | 1996 |
| Guarded fixed point logic E Gradel, I Walukiewicz Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 228 | 1999 |
| How much memory is needed to win infinite games? S Dziembowski, M Jurdzinski, I Walukiewicz Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997 | 192 | 1997 |
| Monadic second-order logic on tree-like structures I Walukiewicz Theoretical computer science 275 (1-2), 311-346, 2002 | 178 | 2002 |
| Games for the μ-calculus D Niwiński, I Walukiewicz Theoretical Computer Science 163 (1-2), 99-116, 1996 | 170 | 1996 |
| Permissive strategies: from parity games to safety games J Bernet, D Janin, I Walukiewicz RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2002 | 121 | 2002 |
| Model checking CTL properties of pushdown systems I Walukiewicz International Conference on Foundations of Software Technology and …, 2000 | 116 | 2000 |
| The mu-calculus and Model Checking J Bradfield, I Walukiewicz Handbook of Model Checking, 871-919, 2018 | 113 | 2018 |
| An expressively complete linear time temporal logic for Mazurkiewicz traces PS Thiagarajan, I Walukiewicz Information and Computation 179 (2), 230-249, 2002 | 113 | 2002 |
| Forest algebras M laj Bojanczyk, I Walukiewicz Automata and logic: history and perspectives, 107-132, 2008 | 111 | 2008 |
| Monadic second-order logic, graph coverings and unfoldings of transition systems B Courcelle, I Walukiewicz Annals of Pure and Applied Logic 92 (1), 35-62, 1998 | 106 | 1998 |
| On completeness of the mu-calculus I Walukiewicz [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993 | 102 | 1993 |
| Monadic second order logic on tree-like structures I Walukiewicz Annual Symposium on Theoretical Aspects of Computer Science, 399-413, 1996 | 97 | 1996 |
| Distributed games S Mohalik, I Walukiewicz International Conference on Foundations of Software Technology and …, 2003 | 93 | 2003 |
| Alternating timed automata S Lasota, I Walukiewicz ACM Transactions on Computational Logic (TOCL) 9 (2), 1-27, 2008 | 82 | 2008 |
