Georg Moser
Universität Innsbruck
H-index: 21
Europe-Austria
Top articles of Georg Moser
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
On the Hardness of Analyzing Quantum Programs Quantitatively | Martin Avanzini Georg Moser Romain Péchoux Simon Perdrix | 2024/4/5 | |
Herbrand complexity and the epsilon calculus with equality | Archive for Mathematical Logic | Kenji Miyamoto Georg Moser | 2024/2 |
α-Avoidance | Samuel Frontull Georg Moser Vincent van Oostrom | 2023 | |
A Voting Approach for Explainable Classification with Rule Learning | arXiv preprint arXiv:2311.07323 | Albert Nössig Tobias Hell Georg Moser | 2023/11/13 |
Automated expected value analysis of recursive programs | Proceedings of the ACM on Programming Languages | Martin Avanzini Georg Moser Michael Schaper | 2023/6/6 |
Rule Learning by Modularity | arXiv preprint arXiv:2212.12335 | Albert Nössig Tobias Hell Georg Moser | 2022/12/23 |
Automated expected amortised cost analysis of probabilistic data structures | Lorenz Leutgeb Georg Moser Florian Zuleger | 2022/8/6 | |
Quantum expectation transformers for cost analysis | Martin Avanzini Georg Moser Romain Péchoux Simon Perdrix Vladimir Zamdzhiev | 2022/8/2 | |
Type-based analysis of logarithmic amortised complexity | Mathematical Structures in Computer Science | Martin Hofmann Lorenz Leutgeb David Obwaller Georg Moser Florian Zuleger | 2022/6 |
Average reward adjusted discounted reinforcement learning | Proc. of the Adaptive and Learning Agents Workshop (ALA 2022) | Manuel Schneckenreither Georg Moser | 2022 |
ATLAS: automated amortised complexity analysis of self-adjusting data structures | Lorenz Leutgeb Georg Moser Florian Zuleger | 2021 | |
Runtime complexity analysis of logically constrained rewriting | Sarah Winkler Georg Moser | 2021 | |
A modular cost analysis for probabilistic programs | Proceedings of the ACM on Programming Languages | Martin Avanzini Georg Moser Michael Schaper | 2020/11/13 |
Diskrete Mathematik | Jörg Neunhäuserer | 2022/11/8 | |
Automated amortised resource analysis for term rewrite systems | Science of Computer Programming | Georg Moser Manuel Schneckenreither | 2020/1/1 |