Colledan, Andrea; Dal Lago, Ugo, Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages, in: 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025), 2025, 9, pp. 1386 - 1416 (atti di: POPL 2025, Denver, Colorado, Stati Uniti, 19-25 Gennaio 2025) [Contributo in Atti di convegno]Open Access
Lanese, I.; Dal Lago, U.; Choudhury, V., Towards Quantum Multiparty Session Types, in: Software Engineering and Formal Methods (SEFM 2024), «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15280, pp. 385 - 403 (atti di: SEFM, Aveiro, Portugal, 4-8/11/2024) [Contributo in Atti di convegno]Open Access
Colledan, Andrea; Dal Lago, Ugo, Circuit Width Estimation via Effect Typing and Linear Dependency, in: Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, pp. 3 - 30 (atti di: ESOP 2024, Luxembourg City, Luxembourg, April 6–11, 2024) [Contributo in Atti di convegno]Open Access
Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone, Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories, in: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2024, 288, pp. 1 - 19 (atti di: 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, Naples, Italy, February 19-23, 2024) [Contributo in Atti di convegno]Open Access
Lago, Ugo Dal; Galal, Zeinab; Giusti, Giulia, On Computational Indistinguishability and Logical Relations, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 152 BEACH ROAD, #21-01/04 GATEWAY EAST, SINGAPORE, 189721, SINGAPORE, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 15194, pp. 241 - 263 (atti di: 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, Japan, 2024) [Contributo in Atti di convegno]
Dal Lago, Ugo; Ghyselen, Alexis, On Model-Checking Higher-Order Effectful Programs, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2024, 8, Article number: 87, pp. 2610 - 2638 [articolo]Open Access
Dal Lago, Ugo; Padovani, Luca, On the Almost-Sure Termination of Binary Sessions, in: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, New York, ACM, 2024, pp. 1 - 12 (atti di: Principles and Practice of Declarative Programming, Milano, 10-11 Settembre 2024) [Contributo in Atti di convegno]
Accattoli, Beniamino; Lago, Ugo Dal; Vanoni, Gabriele, Reasonable Space for the Lambda-Calculus, Logarithmically, «LOGICAL METHODS IN COMPUTER SCIENCE», 2024, Volume 20, Issue 4, pp. 1 - 57 [articolo]
Antonelli M.; Dal Lago U.; Pistone P., Towards logical foundations for probabilistic computation, «ANNALS OF PURE AND APPLIED LOGIC», 2024, 175, Article number: 103341, pp. 1 - 51 [articolo]
Ugo Dal Lago; Maurizio Murgia, Contextual Behavioural Metrics, in: 34th International Conference on Concurrency Theory (CONCUR 2023), Dagstuhl, Schloss Dagstuhl - Leibniz Center for Informatic, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2023, 279, pp. 1 - 17 (atti di: 34th International Conference on Concurrency Theory, CONCUR 2023, Antwerp, Belgio, Settembre 2023) [Contributo in Atti di convegno]Open Access
Melissa Antonelli,
Ugo Dal Lago,
Davide Davoli,
Paolo Pistone,
Isabel Oitavem, Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories, in: Logic Colloquium 2023 - Book of Abstracts, 2023, pp. 45 - 46 (atti di: Logic Colloquium, Milan, 5-9 June 2023) [atti di convegno-abstract]
Ugo Dal Lago;
Gabriele Vanoni, (Not So) Boring Abstract Machines, in: Proceedings of the 24th Italian Conference on Theoretical Computer Science, Aachen, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2023, 3587, pp. 225 - 240 (atti di: 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, Settembre 2023) [Contributo in Atti di convegno]Open Access
Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo, On Counting Propositional Logic and Wagner's Hierarchy, «THEORETICAL COMPUTER SCIENCE», 2023, 966–967, Article number: 113928, pp. 1 - 34 [articolo]Open Access
Andrea Colledan; Ugo Dal Lago, On Dynamic Lifting and Effect Typing in Circuit Description Languages, in: 28th International Conference on Types for Proofs and Programs (TYPES 2022), Dagstuhl, Schloss-Dagstuhl - Leibniz Zentrum für Informatik, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2023, 269, pp. 1 - 21 (atti di: TYPES 2022, University of Nantes, France, June 20–25, 2022) [Contributo in Atti di convegno]Open Access
Ugo Dal Lago; Naohiko Hoshino; Paolo Pistone, On the Lattice of Program Metrics, in: Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)., Dagstuhl, Schloss Dagstuhl Leibniz, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2023, 260, pp. 1 - 19 (atti di: 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)., Roma, 3-6 Luglio 2023) [Contributo in Atti di convegno]Open Access
