Martin Avanzini

About Martin Avanzini

Martin Avanzini, With an exceptional h-index of 15 and a recent h-index of 7 (since 2020), a distinguished researcher at Universität Innsbruck, specializes in the field of Computational Complexity.

His recent articles reflect a diverse array of research interests and contributions to the field:

On the Hardness of Analyzing Quantum Programs Quantitatively

Automated expected value analysis of recursive programs

Quantum expectation transformers for cost analysis

On continuation-passing transformations and expected cost analysis

A modular cost analysis for probabilistic programs

On probabilistic term rewriting

Martin Avanzini Information

University

Position

___

Citations(all)

690

Citations(since 2020)

275

Cited By

589

hIndex(all)

15

hIndex(since 2020)

7

i10Index(all)

18

i10Index(since 2020)

7

Email

University Profile Page

Google Scholar

Martin Avanzini Skills & Research Interests

Computational Complexity

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
Martin Avanzini

H-Index: 10

Ugo Dal Lago
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
Martin Avanzini

H-Index: 10

Ugo Dal Lago
Ugo Dal Lago

H-Index: 22

See List of Professors in Martin Avanzini University(Universität Innsbruck)