Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael Schaper
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2016 profile
Not registered as user
Name:
Michael Schaper
Affiliation:
University of Innsbruck
Contributions
2019
DICE-FOPARA
Author of Modular Runtime Complexity Analysis of Probabilistic While Programs within the DICE-FOPARA-track
2016
POPL
Author of Automated Complexity Analysis of Programs within the SRC-track
Share
x
Thu 19 Dec 08:04