Articles with public access mandates - Georg ZetzscheLearn more
Not available anywhere: 1
Knapsack in graph groups
M Lohrey, G Zetzsche
Theory of Computing Systems 62 (1), 192-246, 2018
Mandates: German Research Foundation
Available somewhere: 19
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
Mandates: UK Engineering and Physical Sciences Research Council
The complexity of regular abstractions of one-counter languages
MF Atig, D Chistikov, P Hofman, KN Kumar, P Saivasan, G Zetzsche
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
Mandates: Swedish Research Council
Knapsack and the power word problem in solvable Baumslag-Solitar groups
M Lohrey, G Zetzsche
45th International Symposium on Mathematical Foundations of Computer Science …, 2020
Mandates: German Research Foundation
Context-bounded verification of liveness properties for multithreaded shared-memory programs
P Baumann, R Majumdar, RS Thinniyam, G Zetzsche
Proceedings of the ACM on Programming Languages 5 (POPL), 1-31, 2021
Mandates: German Research Foundation, European Commission
An approach to regular separability in vector addition systems
W Czerwiński, G Zetzsche
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
Mandates: European Commission
General decidability results for asynchronous shared-memory programs: Higher-order and beyond
R Majumdar, RS Thinniyam, G Zetzsche
Logical Methods in Computer Science 18, 2022
Mandates: German Research Foundation, European Commission
Permutations of context-free, ET0L and indexed languages
T Brough, L Ciobanu, M Elder, G Zetzsche
Discrete Mathematics & Theoretical Computer Science 17 (Automata, Logic and …, 2016
Mandates: Swiss National Science Foundation, Australian Research Council
Context-bounded verification of context-free specifications
P Baumann, M Ganardi, R Majumdar, RS Thinniyam, G Zetzsche
Proceedings of the ACM on Programming Languages 7 (POPL), 2141-2170, 2023
Mandates: German Research Foundation, European Commission
Closure properties of knapsack semilinear groups
M Figelius, M Lohrey, G Zetzsche
Journal of Algebra 589, 437-482, 2022
Mandates: German Research Foundation
Coverability is undecidable in one-dimensional pushdown vector addition systems with resets
S Schmitz, G Zetzsche
International Conference on Reachability Problems, 193-201, 2019
Mandates: Agence Nationale de la Recherche
Context-bounded verification of thread pools
P Baumann, R Majumdar, RS Thinniyam, G Zetzsche
Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022
Mandates: German Research Foundation, European Commission
Ramsey quantifiers in linear arithmetics
P Bergsträßer, M Ganardi, AW Lin, G Zetzsche
Proceedings of the ACM on Programming Languages 8 (POPL), 1-32, 2024
Mandates: European Commission
The complexity of bidirected reachability in valence systems
M Ganardi, R Majumdar, G Zetzsche
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
Mandates: German Research Foundation
Context-Bounded Analysis of Concurrent Programs
P Baumann, M Ganardi, R Majumdar, R Thinniyam Srinivasan, ...
50th International Colloquium on Automata, Languages, and Programming, 1-16, 2023
Mandates: German Research Foundation, European Commission
Ramsey quantifiers over automatic structures: Complexity and applications to verification
P Bergsträßer, M Ganardi, A W. Lin, G Zetzsche
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
Mandates: European Commission
Reachability in continuous pushdown VASS
AR Balasubramanian, R Majumdar, RS Thinniyam, G Zetzsche
Proceedings of the ACM on Programming Languages 8 (POPL), 90-114, 2024
Mandates: European Commission
Regular separators for VASS coverability languages
C Köcher, G Zetzsche
43rd IARCS Annual Conference on Foundations of Software Technology and …, 2023
Mandates: European Commission
Extensions of ω-regular languages
M Bojańczyk, E Kelmendi, R Stefański, G Zetzsche
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
Mandates: European Commission
Counter machines with infrequent reversals
A Finkel, SN Krishna, K Madnani, R Majumdar, G Zetzsche
43rd IARCS Annual Conference on Foundations of Software Technology and …, 2023
Mandates: German Research Foundation, Agence Nationale de la Recherche
Publication and funding information is determined automatically by a computer program