Foto del docente

Ugo Dal Lago

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

Melissa Antonelli; Ugo Dal Lago; Paolo Pistone, Curry and Howard Meet Borel, in: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2022, pp. 1 - 13 (atti di: 37th Annual ACM/IEEE Symposium on Logic in Computer Science., Haifa, Israel., August 2 - 5, 2022.) [Contributo in Atti di convegno]

Ugo Dal Lago; Francesco Gavazzo, Effectful program distancing, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 1 - 30 [articolo]

Ugo Dal Lago; Reinhard Kahle; Isabel Oitavem, Implicit recursion-theoretic characterizations of counting classes, «ARCHIVE FOR MATHEMATICAL LOGIC», 2022, 61, pp. 1129 - 1144 [articolo]

Accattoli, B; Dal Lago, U; Vanoni, G, Multi Types and Reasonable Space, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, Article number: 119, pp. 799 - 825 [articolo]Open Access

Barthe, G; Crubille, R; Dal Lago, U; Gavazzo, F, On Feller Continuity and Full Abstraction, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 826 - 854 [articolo]

Ugo Dal Lago; Furio Honsell; Marina Lenisa; Paolo Pistone, On Quantitative Algebraic Higher-Order Theories, in: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel., «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 228, pp. 1 - 18 (atti di: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022., Haifa, Israel, August 2-5, 2022.) [Contributo in Atti di convegno]

Ugo Dal Lago; Giulia Giusti, On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments, in: 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland., «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 243, pp. 1 - 18 (atti di: 33rd International Conference on Concurrency Theory, CONCUR 2022., Warsaw, Poland, September 12-16, 2022) [Contributo in Atti di convegno]

Beniamino Accattoli; Ugo Dal Lago; Gabriele Vanoni, Reasonable Space for the Lambda-Calculus, Logarithmically, in: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2022, pp. 1 - 13 (atti di: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science., Haifa, Israel., August 2 - 5, 2022.) [Contributo in Atti di convegno]

Barthe, Gilles; Dal Lago, Ugo; Malavolta, Giulio; Rakotonirina, Itsaka, Tidy: Symbolic Verification of Timed Cryptographic Protocols, in: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022., 2022, pp. 263 - 276 (atti di: 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022) [Contributo in Atti di convegno]

Dal Lago U.; Kahle R.; Oitavem I., A Recursion-Theoretic Characterization of the Probabilistic Class PP, in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Dagstuhl, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2021, 202, pp. 1 - 12 (atti di: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, est, 2021) [Contributo in Atti di convegno]Open Access

Dal Lago U.; Gavazzo F., Differential logical relations, part II increments and derivatives, «THEORETICAL COMPUTER SCIENCE», 2021, 895, pp. 34 - 47 [articolo]Open Access

Dal Lago U.; Faggian C.; Ronchi Della Rocca S., Intersection types and (positive) almost-sure termination, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2021, 5, Article number: 32, pp. 1 - 32 [articolo]Open Access

Avanzini M.; Barthe G.; Dal Lago U., On continuation-passing transformations and expected cost analysis, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2021, 5, Article number: 3473592, pp. 1 - 30 [articolo]Open Access

Antonelli M.; Dal Lago U.; Pistone P., On Counting Propositional Logic and Wagner's Hierarchy, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2021, 3072, pp. 107 - 121 (atti di: 22nd Italian Conference on Theoretical Computer Science, ICTCS 2021, ita, 2021) [Contributo in Atti di convegno]Open Access

Flavien Breuvart; Ugo Dal Lago; Agathe Herrou, On Higher-Order Probabilistic Subrecursion, «LOGICAL METHODS IN COMPUTER SCIENCE», 2021, 17, pp. 1 - 35 [articolo]

Ultimi avvisi

Al momento non sono presenti avvisi.