Concepedia
Statistics
Publications
15
Citations
394
H-Index
13
Active since
2008
Affiliations
Universität Innsbruck(Current)
University of Bologna
Institut national de recherche en sciences et technologies du numérique
Martin Avanzini is an author at Universität Innsbruck specializing in computer science, computing, and computational complexity.
Publications per year
2008–2022
Analysing the complexity of functional programs: higher-order meets first-order
Martin Avanzini, Ugo Dal Lago, Georg Moser · 2015 · 60 citations · Full text
Computing, Computer Science, Programming Languages +16
Closing the Gap Between Runtime Complexity and Polytime Computability
Martin Avanzini, Georg Moser · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 44 citations · Full text
Computing, Computer Science, Algorithms +14
A modular cost analysis for probabilistic programs
Martin Avanzini, Georg Moser, Michael Schaper · Proceedings of the ACM on Programming Languages · 2020 · 40 citations · Full text
Computing, Computer Engineering, Computer Science +11
Complexity analysis by rewriting
Martin Avanzini, Georg Moser · 2008 · 35 citations
Computing, Computer Science, Theory Of Computation +6
Automating sized-type inference for complexity analysis
Martin Avanzini, Ugo Dal Lago · Proceedings of the ACM on Programming Languages · 2017 · 33 citations · Full text
Computing, Computer Science, Formal Methods +13
1–5 of 15