• Sign in
  • Sign up
conf.researchr.org / Marcel Hark
  • POPL 2020 profile
  • SPLASH 2020 profile
Marcel Hark

Registered user since Wed 9 Oct 2019

Name:Marcel Hark
Affiliation:RWTH Aachen University, Germany

Contributions

SAS 2020 Author of Termination of Polynomial Loops within the SAS-track
POPL 2020 Author of Aiming Low Is Harder: Induction for Lower Bounds in Probabilistic Program Verification within the Research Papers-track
VMCAI 2020 Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track

Share
xFri 2 Jun 16:44
using conf.researchr.org (v1.60.0)
Support page
Sign Up