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
SPLASH 2024 profile
Not registered as user yet
Name:
Georg Moser
Affiliation:
University of Innsbruck
Contributions
2024
SPLASH
Author of Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs within the OOPSLA 2024-track
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
Fri 8 Nov 22:53