| Decidability, complexity, and expressiveness of first-order logic over the subword ordering S Halfon, P Schnoebelen, G Zetzsche 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 66 | 2017 |
| An approach to computing downward closures G Zetzsche International Colloquium on Automata, Languages, and Programming, 440-451, 2015 | 66 | 2015 |
| Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups D König, M Lohrey, G Zetzsche arXiv preprint arXiv:1507.05145, 2015 | 65 | 2015 |
| The complexity of downward closure comparisons G Zetzsche arXiv preprint arXiv:1605.03149, 2016 | 44 | 2016 |
| Rational subsets and submonoids of wreath products M Lohrey, B Steinberg, G Zetzsche Information and Computation 243, 191-204, 2015 | 32 | 2015 |
| Languages ordered by the subword order D Kuske, G Zetzsche arXiv preprint arXiv:1901.02194, 2019 | 31 | 2019 |
| Knapsack in graph groups M Lohrey, G Zetzsche Theory of Computing Systems 62 (1), 192-246, 2018 | 31 | 2018 |
| Multiset pushdown automata M Kudlek, P Totzke, G Zetzsche Fundamenta Informaticae 93 (1-3), 221-233, 2009 | 31 | 2009 |
| Properties of multiset language classes defined by multiset pushdown automata M Kudlek, P Totzke, G Zetzsche Fundamenta Informaticae 93 (1-3), 235-244, 2009 | 30 | 2009 |
| Silent transitions in automata with storage G Zetzsche International Colloquium on Automata, Languages, and Programming, 434-445, 2013 | 29 | 2013 |
| On erasing productions in random context grammars G Zetzsche International Colloquium on Automata, Languages, and Programming, 175-186, 2010 | 28 | 2010 |
| Separability by piecewise testable languages and downward closures beyond subwords G Zetzsche Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 26 | 2018 |
| A Characterization for Decidable Separability by Piecewise Testable Languages G Zetzsche, M Zeitoun, L van Rooijen, W Martens, W Czerwiński Discrete Mathematics & Theoretical Computer Science 19, 2017 | 26* | 2017 |
| Computing downward closures for stacked counter automata G Zetzsche arXiv preprint arXiv:1409.7922, 2014 | 26 | 2014 |
| Rational subsets of Baumslag-Solitar groups M Cadilhac, D Chistikov, G Zetzsche arXiv preprint arXiv:2006.11898, 2020 | 25 | 2020 |
| Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests C Haase, G Zetzsche 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019 | 24 | 2019 |
| Knapsack problems for wreath products M Ganardi, D König, M Lohrey, G Zetzsche arXiv preprint arXiv:1709.09598, 2017 | 24 | 2017 |
| The emptiness problem for valence automata over graph monoids G Zetzsche Information and Computation 277, 104583, 2021 | 23* | 2021 |
| Semilinearity and context-freeness of languages accepted by valence automata P Buckheister, G Zetzsche International Symposium on Mathematical Foundations of Computer Science, 231-242, 2013 | 23 | 2013 |
| Toward understanding the generative capacity of erasing rules in matrix grammars G Zetzsche International Journal of Foundations of Computer Science 22 (02), 411-426, 2011 | 21* | 2011 |
Patrick TotzkeUniversity of LiverpoolVerified email at liverpool.ac.uk
