Georg Moser
Universität Innsbruck
H-index: 21
Europe-Austria
Top articles of Georg Moser
On the Hardness of Analyzing Quantum Programs Quantitatively
2024/4/5
Herbrand complexity and the epsilon calculus with equality
Archive for Mathematical Logic
2024/2
Georg Moser
H-Index: 11
A Voting Approach for Explainable Classification with Rule Learning
arXiv preprint arXiv:2311.07323
2023/11/13
Tobias Hell
H-Index: 8
Georg Moser
H-Index: 11
Automated expected value analysis of recursive programs
Proceedings of the ACM on Programming Languages
2023/6/6
α-Avoidance
2023
Georg Moser
H-Index: 11
Rule Learning by Modularity
arXiv preprint arXiv:2212.12335
2022/12/23
Tobias Hell
H-Index: 8
Georg Moser
H-Index: 11
Automated expected amortised cost analysis of probabilistic data structures
2022/8/6
Georg Moser
H-Index: 11
Florian Zuleger
H-Index: 17
Quantum expectation transformers for cost analysis
2022/8/2
Type-based analysis of logarithmic amortised complexity
Mathematical Structures in Computer Science
2022/6
Average reward adjusted discounted reinforcement learning
Proc. of the Adaptive and Learning Agents Workshop (ALA 2022)
2022
Manuel Schneckenreither
H-Index: 3
Georg Moser
H-Index: 11
ATLAS: automated amortised complexity analysis of self-adjusting data structures
2021
Georg Moser
H-Index: 11
Florian Zuleger
H-Index: 17
Runtime complexity analysis of logically constrained rewriting
2021
Sarah Winkler
H-Index: 5
Georg Moser
H-Index: 11
A modular cost analysis for probabilistic programs
Proceedings of the ACM on Programming Languages
2020/11/13
Automated amortised resource analysis for term rewrite systems
Science of Computer Programming
2020/1/1
Georg Moser
H-Index: 11
Manuel Schneckenreither
H-Index: 3
Co-Authors
