List of Publications: TCT
-
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 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. “Verifying Polytime Computability Automatically”. PhD thesis, University of Innsbruck, 2013.