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

Higher-order pushdown trees are easy T Knapik, D Niwiński, P Urzyczyn International Conference on Foundations of Software Science and Computation …, 2002 | 228 | 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 | 117 | 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 | 97 | 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 | 82 | 1993 |

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

Unsafe grammars and panic automata T Knapik, D Niwiński, P Urzyczyn, I Walukiewicz International Colloquium on Automata, Languages, and Programming, 1450-1461, 2005 | 71 | 2005 |

Relating hierarchies of word and tree automata D Niwiński, I Walukiewicz Annual Symposium on Theoretical Aspects of Computer Science, 320-331, 1998 | 66 | 1998 |

A gap property of deterministic tree languages D Niwiński, I Walukiewicz Theoretical Computer Science 303 (1), 215-231, 2003 | 64 | 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 | 59 | 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 | 47 | 1996 |

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

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

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

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 | 28 | 2007 |

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

On the topological complexity of tree languages. A Arnold, J Duparc, F Murlak, D Niwinski Logic and automata 2, 2008 | 22 | 2008 |