Generalization of binary search: Searching in trees and forest-like partial orders K Onak, P Parys 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06 …, 2006 | 67 | 2006 |

Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games W Czerwiński, L Daviaud, N Fijalkow, M Jurdziński, R Lazić, P Parys Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete …, 2019 | 52 | 2019 |

XPath evaluation in linear time M Bojańczyk, P Parys Journal of the ACM (JACM) 58 (4), 17, 2011 | 51 | 2011 |

XPath evaluation in linear time M Bojańczyk, P Parys Journal of the ACM (JACM) 58 (4), 17, 2011 | 51 | 2011 |

On the significance of the collapse operation P Parys 2012 27th Annual IEEE Symposium on Logic in Computer Science, 521-530, 2012 | 38 | 2012 |

Parity games: Zielonka's algorithm in quasi-polynomial time P Parys arXiv preprint arXiv:1904.12446, 2019 | 36 | 2019 |

The diagonal problem for higher-order recursion schemes is decidable L Clemente, P Parys, S Salvati, I Walukiewicz Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 36 | 2016 |

The MSO+ U theory of (N,<) is undecidable M Bojańczyk, P Parys, S Toruńczyk arXiv preprint arXiv:1502.04578, 2015 | 33 | 2015 |

Strictness of the collapsible pushdown hierarchy A Kartzow, P Parys International Symposium on Mathematical Foundations of Computer Science, 566-577, 2012 | 23 | 2012 |

A recursive approach to solving parity games in quasipolynomial time K Lehtinen, P Parys, S Schewe, D Wojtczak Logical Methods in Computer Science 18, 2022 | 20 | 2022 |

Collapse operation increases expressive power of deterministic higher order pushdown automata P Parys 28th International Symposium on Theoretical Aspects of Computer Science …, 2011 | 20 | 2011 |

Ordered tree-pushdown systems L Clemente, P Parys, S Salvati, I Walukiewicz arXiv preprint arXiv:1510.03278, 2015 | 19 | 2015 |

The (almost) complete guide to tree pattern containment W Czerwiński, W Martens, P Parys, M Przybylko Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2015 | 19 | 2015 |

XPath evaluation in linear time with polynomial combined complexity P Parys Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on …, 2009 | 19 | 2009 |

Two-way cost automata and cost logics over infinite trees A Blumensath, T Colcombet, D Kuperberg, P Parys, MV Boom Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 18 | 2014 |

A pumping lemma for pushdown graphs of any level P Parys 29th International Symposium on Theoretical Aspects of Computer Science …, 2012 | 18 | 2012 |

The complexity of the diagonal problem for recursion schemes P Parys 37th IARCS Annual Conference on Foundations of Software Technology and …, 2018 | 13 | 2018 |

A quasi-polynomial black-box algorithm for fixed point evaluation A Arnold, D Niwiński, P Parys 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021 | 11 | 2021 |

Minimization of tree patterns W CzerwiŃski, W Martens, M Niewerth, P Parys Journal of the ACM (JACM) 65 (4), 1-46, 2018 | 11 | 2018 |

Recursion schemes and the WMSO+ U logic P Parys 35th Symposium on Theoretical Aspects of Computer Science (STACS 2018), 2018 | 10 | 2018 |