Georg Zetzsche
Scholar

Georg Zetzsche

Google Scholar ID: BHNdXKxbM-8C
MPI-SWS, Germany
VerificationAutomata TheoryLogicFormal LanguagesCombinatorial Group Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
737
 
H-index
15
 
i10-index
28
 
Publications
20
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
9 items
The complexity of downward closures of indexed languages
2026
Cited
0
Bounded treewidth, multiple context-free grammars, and downward closures
2025
Cited
0
General Decidability Results for Systems with Continuous Counters
2025
Cited
0
Softmax Transformers are Turing-Complete
2025
Cited
0
Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking)
2025
Cited
0
Presburger Functional Synthesis: Complexity and Tractable Normal Forms
2025
Cited
0
A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
2025
Cited
0
NoPE: The Counting Power of Transformers with No Positional Encodings
2025
Cited
0
Resume (English only)
Co-authors
11 total
Patrick Totzke
Patrick Totzke
University of Liverpool
Wojciech Czerwinski
Wojciech Czerwinski
University of Warsaw
Wim Martens
Wim Martens
University of Bayreuth
Piotrek Hofman
Piotrek Hofman
University of Warsaw
Benjamin Steinberg
Benjamin Steinberg
Professor of Mathematics, City College of New York
Co-author 6
Co-author 6
Mohamed Faouzi Atig
Mohamed Faouzi Atig
Uppsala University
Prakash Saivasan
Prakash Saivasan
Institute of Mathematical Sciences