Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Georg Moser
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2017 profile
ICFP 2023 profile
PLDI 2023 profile
POPL 2016 profile
SPLASH 2020 profile
Not registered as user yet
Name:
Georg Moser
Affiliation:
University of Innsbruck
Contributions
2023
HOPE
Author of Semantic foundations of potential-synthesis for expected amortised-cost analysis within the HOPE 2023-track
PLDI
Author of Automated Expected Value Analysis of Recursive Programs within the PLDI Research Papers-track
2020
SPLASH
Author of A Modular Cost Analysis for Probabilistic Programs within the OOPSLA-track
2019
DICE-FOPARA
Author of Modular Runtime Complexity Analysis of Probabilistic While Programs within the DICE-FOPARA-track
2017
FSCD
Author of Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses within the FSCD 2017-track
2016
POPL
Author of The Complexity of Interaction within the Research Papers-track
Share
x
Sat 9 Dec 19:37