Passer à la navigation principale Passer à la recherche Passer au contenu principal
Aucune photo de Damiano Mazza

Voir le profil Scopus

Damiano Mazza

  • 412
    Citations
20052025

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Damiano Mazza est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau
  • 17 Contribution à une conférence
  • 13 Article
  • 1 Commentaire/débat
  • 1 Article de conférence

  • Unifying Boolean and Algebraic Descriptive Complexity

    Chanus, B., Mazza, D. & Rogers, M., 7 juil. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Böhm and Taylor for All!

    Dufour, A. & Mazza, D., 1 juil. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    3 Citations (Scopus)

  • Automatic differentiation in PCF

    Mazza, D. & Pagani, M., 1 janv. 2021, Dans: Proceedings of the ACM on Programming Languages. 5, POPL, 28.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert
    47 Citations (Scopus)

  • Backpropagation in the simply typed lambda-calculus with linear negation

    Brunel, A., Mazza, D. & Pagani, M., 1 janv. 2020, Dans: Proceedings of the ACM on Programming Languages. 4, POPL, 64.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert
    26 Citations (Scopus)

  • Polynomial Time over the Reals with Parsimony

    Hainry, E., Mazza, D. & Péchoux, R., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    2 Citations (Scopus)

  • Intersection types and runtime errors in the pi-calculus

    Dal Lago, U., De Visme, M., Mazza, D. & Yoshimizu, A., 1 janv. 2019, Dans: Proceedings of the ACM on Programming Languages. 3, POPL, 7.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert
    9 Citations (Scopus)

  • Polyadic approximations, fibrations and intersection types

    Mazza, D., Pellissier, L. & Vial, P., 1 janv. 2018, Dans: Proceedings of the ACM on Programming Languages. 2, POPL, 6.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert
    28 Citations (Scopus)

  • The true concurrency of differential interaction nets

    Mazza, D., 1 août 2018, Dans: Mathematical Structures in Computer Science. 28, 7, p. 1097-1125 29 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    4 Citations (Scopus)

  • Infinitary affine proofs

    Mazza, D., 1 juin 2017, Dans: Mathematical Structures in Computer Science. 27, 5, p. 581-602 22 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    2 Citations (Scopus)

  • Church Meets Cook and Levin

    Mazza, D., 5 juil. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    1 Citation (Scopus)
Tout afficher 32 résultat de recherche