Site

Home Publications Software CV Contact

Links

GitHub DBLP Research Gate

Groups

CBR @ UIBK FoCUS @ INRIA

List of Publications: Term Rewriting

• M. Avanzini and G. Moser. “A Combination Framework for Complexity”. Information and Computation 248:22–55, 2016. Elsevier. © Elsevier.

• M. Avanzini and G. Moser and M. Schaper. “TcT: Tyrolean Complexity Tool”. (Preprint). Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 9636 of Lecture Notes in Computer Science, pages 407–423, 2016. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.

• M. Avanzini and U. Dal Lago. “On Sharing, Memoization, and Polynomial Time”. Accepted for publication in Information and Computation.

• M. Avanzini and U. Dal Lago and G. Moser. “Higher-Order Complexity Analysis: Harnessing First-Order Tools.”. Proceedings of the 6th International Workshop on Developments in Implicit Complexity, 2015.

• M. Avanzini and U. Dal Lago and G. Moser. “Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order”. Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, pages 152–164, 2015. Association for Computing Machinery. © Association for Computing Machinery.

• M. Avanzini and N. Eguchi and G. Moser. “A new Order-theoretic Characterisation of the Polytime Computable Functions”. Theoretical Computer Science 585:3–24, 2015. Elsevier. © Elsevier.

• M. Avanzini and C. Sternagel and R. Thiemann. “Certification of Complexity Proofs using CeTA”. Proceedings of the 26th International Conference on Rewriting Techniques and Applications, volume 36 of Leibnitz International Proceedings in Informatics, pages 23–39, 2015. Leibnitz Zentrum für Informatik. © Creative Commons License - ND.

• M. Avanzini and N. Eguchi. “A New Term Rewriting Characterisation of ETIME functions”. Proceedings of the 5th International Workshop on Developments in Implicit Complexity, 2014.

• M. Avanzini and B. Felgenhauer. “Type Introduction for Runtime Complexity Analysis”. Proceedings of the 14th Workshop on Termination, 2014.

• M. Avanzini and G. Moser. “Polynomial Path Orders”. Logical Methods in Computer Science 9 (4), 2013. Leibnitz Zentrum für Informatik. © Creative Commons License - ND.

• M. Avanzini and G.Moser. “A Combination Framework for Complexity”. Proceedings of the 24th International Conference on Rewriting Techniques and Applications, volume 21 of Leibnitz International Proceedings in Informatics, pages 55–70, 2013. Leibnitz Zentrum für Informatik. © Creative Commons License - ND.

• M. Avanzini and G.Moser. “Tyrolean Complexity Tool: Features and Usage”. Proceedings of the 24th International Conference on Rewriting Techniques and Applications, volume 21 of Leibnitz International Proceedings in Informatics, pages 71–80, 2013. Leibnitz Zentrum für Informatik. © Creative Commons License - ND.

• M. Avanzini and M. Schaper and G. Moser. “Small Polynomial Path Orders in TcT”. Proceedings of the 12th Workshop on Termination, pages 3–7, 2013.

• M. Avanzini. “Verifying Polytime Computability Automatically”. PhD thesis, University of Innsbruck, 2013.

• M. Avanzini and N. Eguchi and G. Moser. “A New Order-theoretic Characterisation of the Polytime Computable Functions”. Proceedings of the 10th Asian Symposium on Programming Languages and Systems, volume 7705 of Lecture Notes in Computer Science, pages 280–295, 2012. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.

• M. Avanzini and N. Eguchi and G. Moser. “On a Correspondence between Predicative Recursion and Register Machines”. Proceedings of the 12th Workshop on Termination, pages 15–19, 2012.

• M. Avanzini and N. Eguchi and G. Moser. “A Path Order for Rewrite Systems that Compute Exponential Time Functions”. Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, volume 10 of Leibnitz International Proceedings in Informatics, pages 123–138, 2011. Leibnitz Zentrum für Informatik. © Creative Commons License - ND.

• M. Avanzini and N. Eguchi. “A New Path Order for Exponential Time”. Proceedings of the 11th Workshop on Termination, 2010.

• M. Avanzini and G. Moser. “Complexity Analysis by Graph Rewriting”. (Preprint). Proceedings of the 10th International Symposium on Functional and Logic Programming, volume 6009 of Lecture Notes in Computer Science, pages 257–271, 2010. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.

• M. Avanzini and G.Moser. “Closing the Gap Between Runtime Complexity and Polytime Computability”. Proceedings of the 21st International Conference on Rewriting Techniques and Applications, volume 6 of Leibnitz International Proceedings in Informatics, pages 33–48, 2010. Leibnitz Zentrum für Informatik. © Creative Commons License - ND.

• M. Avanzini. “POP* and Semantic Labeling Using SAT”. (Preprint). Interfaces: Explorations in Logic, Language and Computation, ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers., volume 6211 of Lecture Notes in Computer Science, 2010. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.

• M. Avanzini and G.Moser. “Dependency Pairs and Polynomial Path Orders”. (Preprint). Proceedings of the 20th International Conference on Rewriting Techniques and Applications, volume 5595 of Lecture Notes in Computer Science, pages 48–62, 2009. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.

• M. Avanzini and G. Moser. “Polynomial Path Orders and the Rules of Predicative Recursion with Parameter Substitution”. Proceedings of the 10th Workshop on Termination, pages 16–20, 2009.

• M. Avanzini. “Automation of Polynomial Path Orders”. Masters thesis, University of Innsbruck, 2009.

• M. Avanzini and G. Moser. “Complexity Analysis by Rewriting”. (Preprint). Proceedings of the 9th International Symposium on Functional and Logic Programming, volume 5989 of Lecture Notes in Computer Science, pages 130–146, 2008. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.

• M. Avanzini and G. Moser and A. Schnabl. “Automated Implicit Computational Complexity Analysis (System Description)”. (Preprint). Proceedings of the 4th International Joint Conference on Automated Reasoning, volume 5195 of Lecture Notes in Computer Science, pages 132-138, 2008. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.

all...