Research output per year
Research output per year
Fingerprint
Dive into the research topics where Damiano Mazza is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Unifying Boolean and Algebraic Descriptive Complexity
Chanus, B., Mazza, D. & Rogers, M., 7 Jul 2025, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025. Fernandez, M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 337).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Böhm and Taylor for All!
Dufour, A. & Mazza, D., 1 Jul 2024, 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024. Rehof, J. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 299).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Citations (Scopus) -
Automatic differentiation in PCF
Mazza, D. & Pagani, M., 1 Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, 28.Research output: Contribution to journal › Article › peer-review
Open Access47 Citations (Scopus) -
Backpropagation in the simply typed lambda-calculus with linear negation
Brunel, A., Mazza, D. & Pagani, M., 1 Jan 2020, In: Proceedings of the ACM on Programming Languages. 4, POPL, 64.Research output: Contribution to journal › Article › peer-review
Open Access26 Citations (Scopus) -
Polynomial Time over the Reals with Parsimony
Hainry, E., Mazza, D. & Péchoux, R., 1 Jan 2020, Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Proceedings. Nakano, K. & Sagonas, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 50-65 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12073 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Citations (Scopus) -
Intersection types and runtime errors in the pi-calculus
Dal Lago, U., De Visme, M., Mazza, D. & Yoshimizu, A., 1 Jan 2019, In: Proceedings of the ACM on Programming Languages. 3, POPL, 7.Research output: Contribution to journal › Article › peer-review
Open Access9 Citations (Scopus) -
Polyadic approximations, fibrations and intersection types
Mazza, D., Pellissier, L. & Vial, P., 1 Jan 2018, In: Proceedings of the ACM on Programming Languages. 2, POPL, 6.Research output: Contribution to journal › Article › peer-review
Open Access28 Citations (Scopus) -
The true concurrency of differential interaction nets
Mazza, D., 1 Aug 2018, In: Mathematical Structures in Computer Science. 28, 7, p. 1097-1125 29 p.Research output: Contribution to journal › Article › peer-review
4 Citations (Scopus) -
Infinitary affine proofs
Mazza, D., 1 Jun 2017, In: Mathematical Structures in Computer Science. 27, 5, p. 581-602 22 p.Research output: Contribution to journal › Article › peer-review
2 Citations (Scopus) -
Church Meets Cook and Levin
Mazza, D., 5 Jul 2016, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016. Institute of Electrical and Electronics Engineers Inc., p. 827-836 10 p. (Proceedings - Symposium on Logic in Computer Science; vol. 05-08-July-2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Citation (Scopus)