AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Martin Avanzini

Martin Avanzini

Universität Innsbruck - Innsbruck / Austria
Others
AD Scientific Index ID: 1422901
University of Innsbruck
person_outline Martin Avanzini's MOST POPULAR ARTICLES
1-) Analysing the complexity of functional programs: higher-order meets first-order Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
2-) A combination framework for complexity Information and Computation 248, 22-55, 2016
3-) Closing the gap between runtime complexity and polytime computability Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010
4-) Complexity analysis by rewriting International Symposium on Functional and Logic Programming, 130-146, 2008
5-) A modular cost analysis for probabilistic programs Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020