| 2026 | CONCUR | Coinductive Reasoning for Parametrized Functors and Monads. | Ugo Dal Lago, Zeinab Galal |
| 2026 | LICS | On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic. | Ugo Dal Lago, Guido Fiorillo, Paolo Pistone |
| 2026 | MFCS | On Jumps, Interactions, and Intersection Types. | Stefano Catozi, Ugo Dal Lago, Gabriele Vanoni |
| 2025 | FSCD | On the Metric Nature of (Differential) Logical Relations. | Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone |
| 2025 | PPDP | Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages. | Ugo Dal Lago |
| 2024 | APLAS | On Computational Indistinguishability and Logical Relations. | Ugo Dal Lago, Zeinab Galal, Giulia Giusti |
| 2024 | CSL | Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. | Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone |
| 2024 | ESOP | Circuit Width Estimation via Effect Typing and Linear Dependency. | Andrea Colledan, Ugo Dal Lago |
| 2024 | FOSSACS | On Basic Feasible Functionals and the Interpretation Method. | Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale |
| 2024 | PPDP | On the Almost-Sure Termination of Binary Sessions. | Ugo Dal Lago, Luca Padovani |
| 2024 | SEFM | Towards Quantum Multiparty Session Types. | Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury |
| 2023 | CONCUR | Contextual Behavioural Metrics. | Ugo Dal Lago, Maurizio Murgia |
| 2023 | CSL | Open Higher-Order Logic. | Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen |
| 2023 | FSCD | On the Lattice of Program Metrics. | Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone |
| 2022 | CCS | Tidy: Symbolic Verification of Timed Cryptographic Protocols. | Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, Itsaka Rakotonirina |
| 2022 | CONCUR | On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments. | Ugo Dal Lago, Giulia Giusti |
| 2022 | FSCD | On Quantitative Algebraic Higher-Order Theories. | Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone |
| 2022 | LICS | Reasonable Space for the λ-Calculus, Logarithmically. | Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
| 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 | FSCD | Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. | Ugo Dal Lago, Francesco Gavazzo |
| 2021 | LICS | The Space of Interaction. | Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
| 2021 | MFCS | A Recursion-Theoretic Characterization of the Probabilistic Class PP. | Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem |
| 2020 | ESOP | On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. | Gilles Barthe, Raphalle Crubill, Ugo Dal Lago, Francesco Gavazzo |
| 2020 | FOSSACS | Decomposing Probabilistic Lambda-Calculi. | Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes |
| 2020 | FSCD | Solvability in a Probabilistic Setting (Invited Talk). | Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian |
| 2020 | ICALP | On Higher-Order Cryptography. | Boaz Barak, Raphalle Crubill, Ugo Dal Lago |
| 2020 | PPDP | The Machinery of Interaction. | Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
| 2019 | ESOP | Effectful Normal Form Bisimulation. | Ugo Dal Lago, Francesco Gavazzo |
| 2019 | ICALP | Differential Logical Relations, Part I: The Simply-Typed Case. | Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu |
| 2019 | LICS | Type-Based Complexity Analysis of Probabilistic Functional Programs. | Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen |
| 2019 | LICS | On the Termination Problem for Probabilistic Higher-Order Recursive Programs. | Naoki Kobayashi, Ugo Dal Lago, Charles Grellois |
| 2019 | LICS | The Geometry of Bayesian Programming. | Ugo Dal Lago, Naohiko Hoshino |
| 2018 | FLOPS | On Probabilistic Term Rewriting. | Martin Avanzini, Ugo Dal Lago, Akihisa Yamada |
| 2018 | PPDP | On Intersection Types and Probabilistic Lambda Calculi. | Flavien Breuvart, Ugo Dal Lago |
| 2017 | ESOP | Metric Reasoning About \lambda -Terms: The General Case. | Raphalle Crubill, Ugo Dal Lago |
| 2017 | ESOP | Probabilistic Termination by Monadic Affine Sized Typing. | Ugo Dal Lago, Charles Grellois |
| 2017 | FOSSACS | On Higher-Order Probabilistic Subrecursion. | Flavien Breuvart, Ugo Dal Lago, Agathe Herrou |
| 2017 | LICS | Effectful applicative bisimilarity: Monads, relators, and Howe's method. | Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy |
| 2017 | LICS | The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens. | Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu |
| 2017 | POPL | The geometry of parallelism: classical, probabilistic, and quantum effects. | Ugo Dal Lago, Claudia Faggian, Benot Valiron, Akira Yoshimizu |
| 2016 | ICFP | A lambda-calculus foundation for universal probabilistic programming. | Johannes Borgstrm, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak |
| 2016 | LICS | Infinitary Lambda Calculi from a Linear Perspective. | Ugo Dal Lago |
| 2015 | CONCUR | On Coinduction and Quantum Lambda Calculi. | Yuxin Deng, Yuan Feng, Ugo Dal Lago |
| 2015 | FCT | On Equivalences, Metrics, and Polynomial Time. | Alberto Cappai, Ugo Dal Lago |
| 2015 | ICFP | Analysing the complexity of functional programs: higher-order meets first-order. | Martin Avanzini, Ugo Dal Lago, Georg Moser |
| 2015 | LICS | Metric Reasoning about λ-Terms: The Affine Case. | Raphalle Crubill, Ugo Dal Lago |
| 2015 | LICS | Parallelism and Synchronization in an Infinitary Context. | Ugo Dal Lago, Claudia Faggian, Benot Valiron, Akira Yoshimizu |
| 2015 | LPAR | Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. | Patrick Baillot, Gilles Barthe, Ugo Dal Lago |
| 2015 | STACS | On Sharing, Memoization, and Polynomial Time. | Martin Avanzini, Ugo Dal Lago |
| 2014 | CSL | Beta reduction is invariant, indeed. | Beniamino Accattoli, Ugo Dal Lago |
| 2014 | CSL | The geometry of synchronization. | Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu |
| 2014 | ESOP | On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. | Raphalle Crubill, Ugo Dal Lago |
| 2014 | ESOP | Measurements in Proof Nets as Higher-Order Quantum Circuits. | Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago |
| 2014 | ICTAC | Probabilistic Recursion Theory and Implicit Computational Complexity. | Ugo Dal Lago, Sara Zuppiroli |
| 2014 | POPL | On coinductive equivalences for higher-order probabilistic functional programs. | Ugo Dal Lago, Davide Sangiorgi, Michele Alberti |
| 2013 | LPAR | Complexity Analysis in Presence of Control Operators and Higher-Order Functions. | Ugo Dal Lago, Giulio Pellitta |
| 2013 | POPL | The geometry of types. | Ugo Dal Lago, Barbara Petit |
| 2012 | CSL | Higher-Order Interpretations and Program Complexity. | Patrick Baillot, Ugo Dal Lago |
| 2012 | PPDP | Linear dependent types in a call-by-value scenario. | Ugo Dal Lago, Barbara Petit |
| 2011 | LICS | Linear Dependent Types and Relative Completeness. | Ugo Dal Lago, Marco Gaboardi |
| 2010 | APLAS | Type Inference for Sublinear Space Functional Programming. | Ugo Dal Lago, Ulrich Schpp |
| 2010 | ESOP | Functional Programming in Sublinear Space. | Ugo Dal Lago, Ulrich Schpp |
| 2009 | ICALP | On Constructor Rewrite Systems and the Lambda-Calculus. | Ugo Dal Lago, Simone Martini |
| 2009 | LFCS | Taming Modal Impredicativity: Superlazy Reduction. | Ugo Dal Lago, Luca Roversi, Luca Vercelli |
| 2008 | CSL | Quantitative Game Semantics for Linear Logic. | Ugo Dal Lago, Olivier Laurent |
| 2008 | CSR | A Semantic Proof of Polytime Soundness of Light Affine Logic. | Ugo Dal Lago, Martin Hofmann |
| 2007 | LICS | Light Logics and Optimal Reduction: Completeness and Complexity. | Patrick Baillot, Paolo Coppola, Ugo Dal Lago |
| 2007 | TIME | On the Equivalence of Automaton-Based Representations of Time Granularities. | Ugo Dal Lago, Angelo Montanari, Gabriele Puppis |
| 2006 | CiE | An Invariant Cost Model for the Lambda Calculus. | Ugo Dal Lago, Simone Martini |
| 2006 | LICS | Context Semantics, Linear Logic and Computational Complexity. | Ugo Dal Lago |
| 2005 | LICS | The Geometry of Linear Higher-Order Recursion. | Ugo Dal Lago |
| 2002 | AAAI | Planning with a Language for Extended Goals. | Ugo Dal Lago, Marco Pistore, Paolo Traverso |