Martin Avanzini
Universität Innsbruck
H-index: 15
Europe-Austria
Top articles of Martin Avanzini
On the Hardness of Analyzing Quantum Programs Quantitatively
2024/4/5
Automated expected value analysis of recursive programs
Proceedings of the ACM on Programming Languages
2023/6/6
Quantum expectation transformers for cost analysis
2022/8/2
On continuation-passing transformations and expected cost analysis
Proceedings of the ACM on Programming Languages
2021/8/18
Martin Avanzini
H-Index: 10
Ugo Dal Lago
H-Index: 22
A modular cost analysis for probabilistic programs
Proceedings of the ACM on Programming Languages
2020/11/13
On probabilistic term rewriting
Science of Computer Programming
2020/1/1
Martin Avanzini
H-Index: 10
Ugo Dal Lago
H-Index: 22