Georg Zetzsche
Max Planck Institute for Software Systems(DE)
Publications by Year
Research Areas
semigroups and automata theory, Formal Methods in Verification, Logic, programming, and type systems, DNA and Biological Computing, Machine Learning and Algorithms
Most-Cited Works
- → An Approach to Computing Downward Closures(2015)35 cited
- → Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups(2016)34 cited
- → Decidability, complexity, and expressiveness of first-order logic over the subword ordering(2017)33 cited
- → Languages Ordered by the Subword Order(2019)26 cited
- → Properties of Multiset Language Classes Defined by Multiset Pushdown Automata(2009)25 cited
- → Multiset Pushdown Automata(2009)25 cited
- → Knapsack in Graph Groups(2017)22 cited
- → Silent Transitions in Automata with Storage(2013)17 cited
- → Rational subsets and submonoids of wreath products(2014)15 cited