Rudiments of calculus A Arnold, D Niwinski Elsevier, 2001 | 390 | 2001 |

Higher-order pushdown trees are easy T Knapik, D Niwiński, P Urzyczyn Foundations of Software Science and Computation Structures: 5th …, 2002 | 235 | 2002 |

On fixed-point clones D Niwiński International Colloquium on Automata, Languages, and Programming, 464-473, 1986 | 170 | 1986 |

Games for the μ-calculus D Niwiński, I Walukiewicz Theoretical Computer Science 163 (1-2), 99-116, 1996 | 141 | 1996 |

Fixed points vs. infinite generation D Niwinski Proceedings Third Annual Symposium on Logic in Computer Science, 402,403,404 …, 1988 | 109 | 1988 |

Fixed point characterization of infinite behavior of finite-state systems D Niwiński Theoretical Computer Science 189 (1-2), 1-69, 1997 | 95 | 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 | 86 | 1993 |

Fixed point characterization of weak monadic logic definable sets of trees A Arnold, D Niwinski Tree automata and Languages 10, 159-188, 1992 | 75 | 1992 |

Unsafe grammars and panic automata T Knapik, D Niwiński, P Urzyczyn, I Walukiewicz Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005 | 74 | 2005 |

Relating hierarchies of word and tree automata D Niwiński, I Walukiewicz STACS 98: 15th Annual Symposium on Theoretical Aspects of Computer Science …, 1998 | 70 | 1998 |

A gap property of deterministic tree languages D Niwiński, I Walukiewicz Theoretical Computer Science 303 (1), 215-231, 2003 | 67 | 2003 |

Deciding monadic theories of hyperalgebraic trees T Knapik, D Niwiński, P Urzyczyn International Conference on Typed Lambda Calculi and Applications, 253-267, 2001 | 61 | 2001 |

First-order queries over temporal databases inexpressible in temporal logic D Toman, D Niwiński International Conference on Extending Database Technology, 305-324, 1996 | 50 | 1996 |

Deciding nondeterministic hierarchy of deterministic tree automata D Niwiński, I Walukiewicz Electronic Notes in Theoretical Computer Science 123, 195-208, 2005 | 45 | 2005 |

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 | 39 | 1991 |

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 | 38 | 2010 |

On the positional determinacy of edge-labeled games T Colcombet, D Niwiński Theoretical Computer Science 352 (1-3), 190-196, 2006 | 34 | 2006 |

Equational μ-calculus D Niwiński Symposium on Computation Theory, 169-176, 1984 | 32* | 1984 |

Continuous separation of game languages A Arnold, D Niwiński Fundamenta Informaticae 81 (1-3), 19-28, 2007 | 31 | 2007 |

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 | 26 | 1998 |