Georg Moser
Scholar

Georg Moser

Google Scholar ID: nT0BZ_AAAAAJ
Professor for Computer Science, University of Innsbruck
LogicProof TheoryProgram AnalysisAutomationQuantum Computation
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
482
 
H-index
13
 
i10-index
18
 
Publications
20
 
Co-authors
21
list available
Contact
No contact links provided.
Publications
5 items
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
Resume (English only)
Co-authors
21 total
Martin Avanzini
Martin Avanzini
Centre Inria d'Université Côte d'Azur
Ugo Dal Lago
Ugo Dal Lago
University of Bologna and INRIA Sophia Antipolis
Co-author 3
Co-author 3
Florian Zuleger
Florian Zuleger
Associate Professor, TU Wien
Sarah Winkler
Sarah Winkler
postdoctoral researcher, Free University Bolzano
Aart Middeldorp
Aart Middeldorp
University of Innsbruck
Co-author 7
Co-author 7
Co-author 8
Co-author 8