• 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

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
xTue 20 May 18:05
using conf.researchr.org (v1.69.0)
Support page
Sign Up