Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Georg Zetzsche
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
POPL 2026 profile
Registered user since Tue 29 Jan 2019
Name:
Georg Zetzsche
Country:
Germany
Affiliation:
MPI-SWS
Personal website:
http://zetzsche.xyz/
Contributions
2026
POPL
Author of Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures within the POPL-track
Author of General Decidability Results for Systems with Continuous Counters within the POPL-track
2024
POPL
Committee Member in Program Committee within the POPL-track
Author of Ramsey Quantifiers in Linear Arithmetics within the POPL-track
Author of Reachability in Continuous Pushdown VASS within the POPL-track
2023
POPL
Author of Context-Bounded Verification of Context-Free Specifications within the POPL-track
2022
POPL
Author of Context-Bounded Verification of Thread Pools within the POPL-track
2021
POPL
Author of Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs within the POPL-track
2019
FOSSACS
Author of Languages ordered by the subword order within the FOSSACS 2019-track
Share
x
Sun 28 Dec 06:58
