| Rudiments of calculus A Arnold, D Niwinski Elsevier, 2001 | 411 | 2001 |
| Higher-order pushdown trees are easy T Knapik, D Niwiński, P Urzyczyn International Conference on Foundations of Software Science and Computation …, 2002 | 244 | 2002 |
| On fixed-point clones D Niwiński International Colloquium on Automata, Languages, and Programming, 464-473, 1986 | 178 | 1986 |
| Games for the μ-calculus D Niwiński, I Walukiewicz Theoretical Computer Science 163 (1-2), 99-116, 1996 | 175 | 1996 |
| Fixed points vs. infinite generation D Niwinski Proceedings Third Annual Symposium on Logic in Computer Science, 402,403,404 …, 1988 | 114 | 1988 |
| Fixed point characterization of infinite behavior of finite-state systems D Niwiński Theoretical Computer Science 189 (1-2), 1-69, 1997 | 98 | 1997 |
| On the feasibility of checking temporal integrity constraints J Chomicki, D Niwiński Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1993 | 87 | 1993 |
| Relating hierarchies of word and tree automata D Niwiński, I Walukiewicz STACS 98: 15th Annual Symposium on Theoretical Aspects of Computer Science …, 1998 | 80 | 1998 |
| A gap property of deterministic tree languages D Niwiński, I Walukiewicz Theoretical Computer Science 303 (1), 215-231, 2003 | 77 | 2003 |
| Fixed point characterization of weak monadic logic definable sets of trees A Arnold, D Niwinski Tree automata and Languages 10, 159-188, 1992 | 77 | 1992 |
| Unsafe grammars and panic automata T Knapik, D Niwiński, P Urzyczyn, I Walukiewicz Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005 | 71 | 2005 |
| Deciding monadic theories of hyperalgebraic trees T Knapik, D Niwiński, P Urzyczyn International Conference on Typed Lambda Calculi and Applications, 253-267, 2001 | 64 | 2001 |
| Deciding nondeterministic hierarchy of deterministic tree automata D Niwiński, I Walukiewicz Electronic Notes in Theoretical Computer Science 123, 195-208, 2005 | 52 | 2005 |
| First-order queries over temporal databases inexpressible in temporal logic D Toman, D Niwiński International Conference on Extending Database Technology, 305-324, 1996 | 47 | 1996 |
| Choice functions and well-orderings over the infinite binary tree A Carayol, C Löding, D Niwinski, I Walukiewicz Open Mathematics 8 (4), 662-682, 2010 | 44 | 2010 |
| On the positional determinacy of edge-labeled games T Colcombet, D Niwiński Theoretical Computer Science 352 (1-3), 190-196, 2006 | 41 | 2006 |
| Fixed point characterization of Buchi automata on infinite trees A Arnold, D Niwinski Journal of Information Processing and Cybernetics 26 (8-9), 451-459, 1991 | 40 | 1991 |
| Continuous separation of game languages A Arnold, D Niwiński Fundamenta Informaticae 81 (1-3), 19-28, 2007 | 35 | 2007 |
| Equational μ-calculus D Niwiński Symposium on Computation Theory, 169-176, 1984 | 34* | 1984 |
| The Horn mu-calculus W Charatonik, D McAllester, D Niwinski, A Podelski, I Walukiewicz Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998 | 30 | 1998 |
Igor WalukiewiczCNRS, LaBRI, Bordeaux UniversityEmail được xác minh tại labri.fr
