| 2026 | LICS | On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic. | Ugo Dal Lago, Guido Fiorillo, Paolo Pistone |
| 2025 | CSL | The Lambda Calculus Is Quantifiable. | Valentin Maestracci, Paolo Pistone |
| 2025 | FSCD | On the Metric Nature of (Differential) Logical Relations. | Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone |
| 2024 | CSL | Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. | Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone |
| 2024 | CSL | Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs. | Davide Barbarossa, Paolo Pistone |
| 2023 | FSCD | On the Lattice of Program Metrics. | Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone |
| 2022 | FSCD | On Quantitative Algebraic Higher-Order Theories. | Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone |
| 2022 | LICS | Curry and Howard Meet Borel. | Melissa Antonelli, Ugo Dal Lago, Paolo Pistone |
| 2021 | CiE | On Measure Quantifiers in First-Order Arithmetic. | Melissa Antonelli, Ugo Dal Lago, Paolo Pistone |
| 2021 | CSL | A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations. | Guillaume Geoffroy, Paolo Pistone |
| 2021 | CSL | The Yoneda Reduction of Polymorphic Types. | Paolo Pistone, Luca Tranchini |
| 2021 | FSCD | What's Decidable About (Atomic) Polymorphism? | Paolo Pistone, Luca Tranchini |
| 2021 | KR | The Yoneda Reduction of Polymorphic Types (Abstract). | Paolo Pistone, Luca Tranchini |
| 2021 | LICS | On Generalized Metric Spaces for the Simply Typed Lambda-Calculus. | Paolo Pistone |
| 2014 | APLAS | Logic Programming and Logarithmic Space. | Clment Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller |