Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marcel Hark
conf.researchr.org general profile
POPL 2020 profile
SPLASH 2020 profile
Registered user since Wed 9 Oct 2019
Name:
Marcel Hark
Affiliation:
RWTH Aachen University, Germany
Contributions
2020
Static Analysis Symposium
Author of Termination of Polynomial Loops within the SAS-track
POPL
Author of Aiming Low Is Harder: Induction for Lower Bounds in Probabilistic Program Verification within the Research Papers-track
VMCAI
Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track
Share
x
Tue 20 May 18:05
