2020

• M. Avanzini and G. Moser and M. Schaper. “A Modular Cost Analysis for Probabilistic Programs”.

2019

• M. Avanzini and U. Dal Lago and A. Yamada. “On Probabilistic Term Rewriting”. (Preprint). Science of Computer Programming 185:102338, 2019. Elsevier. © Creative Commons License - ND.

• M. Avanzini and A. Ghyselen and U. Dal Lago. “Type-Based Complexity Analysis of Probabilistic Functional Programs”. (Preprint). Proceedings of the 34th Logics in Computer Science Symposium, pages 1–13, 2019. IEEE.

• M. Avanzini and M. Schaper and G. Moser. “Modular Runtime Complexity Analysis of Probabilistic While Programs”. Proceedings of the Workshop on Developments in Implicit Computational complExity and Workshop on Foundational and Practical Aspects of Resource Analysis 2019, 2019.

2018

• M. Avanzini and U. Dal Lago and A. Yamada. “On Probabilistic Term Rewriting”. (Preprint). Proceedings of the 14th International Symposium on Functional and Logic Programming, volume 10818 of Lecture Notes in Computer Science, pages 132–148, 2018. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.