Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Georg Moser
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2017 profile
POPL 2016 profile
SPLASH 2020 profile
Not registered as user yet
Name:
Georg Moser
Affiliation:
University of Innsbruck
Contributions
SPLASH 2020
Author of A Modular Cost Analysis for Probabilistic Programs within the OOPSLA-track
DICE-FOPARA 2019
Author of Modular Runtime Complexity Analysis of Probabilistic While Programs within the DICE-FOPARA-track
FSCD 2017
Author of Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses within the FSCD 2017-track
POPL 2016
Author of The Complexity of Interaction within the Research Papers-track
Share
x
Fri 19 Aug 10:32