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
Registered user since Tue 29 Jan 2019
Name:
Georg Zetzsche
Country:
Germany
Affiliation:
MPI-SWS
Personal website:
http://zetzsche.xyz/
Contributions
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
Thu 21 Nov 13:23
