# Martin Avanzini

According to our database

Collaborative distances:

^{1}, Martin Avanzini authored at least 31 papers between 2008 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Sci. Comput. Program., 2020

Proc. ACM Program. Lang., 2020

2019

CoRR, 2019

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Inf. Comput., 2018

2017

Proc. ACM Program. Lang., 2017

Proceedings of the Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, 2017

CoRR, 2017

2016

Inf. Comput., 2016

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2015

Theor. Comput. Sci., 2015

Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version).

CoRR, 2015

CoRR, 2015

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2013

CoRR, 2013

Log. Methods Comput. Sci., 2013

CoRR, 2013

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

CoRR, 2012

2011

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010

A Path Order for Rewrite Systems that Compute Exponential Time Functions (Technical Report)

CoRR, 2010

CoRR, 2010

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

Proceedings of the Interfaces: Explorations in Logic, Language and Computation, 2009

2008

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008