Scholar
Georg Moser
Google Scholar ID: nT0BZ_AAAAAJ
Professor for Computer Science, University of Innsbruck
Logic
Proof Theory
Program Analysis
Automation
Quantum Computation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
482
H-index
13
i10-index
18
Publications
20
Co-authors
21
list available
Publications
6 items
Inferring Empirical Sound Resource Bounds via Symbolic Execution and Linear Programming (Extended Version)
2026
Cited
0
A Cost-Aware Probability Monad for Liquid Haskell
2026
Cited
0
Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
2026
Cited
0
Automated Expected Cost Analysis for Quantum Programs
2026
Cited
0
Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
2025
Cited
0
To Zip Through the Cost Analysis of Probabilistic Programs
2025
Cited
0
Co-authors
13 total
Martin Avanzini
Centre Inria d'Université Côte d'Azur
Ugo Dal Lago
University of Bologna and INRIA Sophia Antipolis
Florian Zuleger
Associate Professor, TU Wien
Sarah Winkler
postdoctoral researcher, Free University Bolzano
Aart Middeldorp
University of Innsbruck
Simon Perdrix
Senior Researcher, Inria-Mocqua, LORIA
Chris Fermüller
Professor of Computer Science, Vienna University of Technology
Andrei Voronkov
The University of Manchester; EasyChair
