List of Publications: Invariance
-
M. Avanzini and U. Dal Lago. “On Sharing, Memoization, and Polynomial Time”. Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, volume 30 of Leibnitz International Proceedings in Informatics, pages 62–75, 2015. Leibnitz Zentrum für Informatik. © Creative Commons License - ND.
-
M. Avanzini. “Verifying Polytime Computability Automatically”. PhD thesis, University of Innsbruck, 2013.
-
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.