Foto del docente

Ugo Dal Lago

Full Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Publications

Dal Lago U.; Guerrieri G.; Heijltjes W., Decomposing Probabilistic Lambda-Calculi, in: Foundations of Software Science and Computation Structures. 23rd International Conference, FOSSACS 2020., Cham, Springer, 2020, 12077, pp. 136 - 156 (atti di: 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, irl, 2020) [Contribution to conference proceedings]Open Access

Dal Lago U.; Gavazzo F.; Tanaka R., Effectful applicative similarity for call-by-name lambda calculi, «THEORETICAL COMPUTER SCIENCE», 2020, 813, pp. 234 - 247 [Scientific article]

Barak B.; Crubille R.; Dal Lago U., On higher-order cryptography, in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2020, 168, pp. 1 - 16 (atti di: 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, deu, 2020) [Contribution to conference proceedings]Open Access

Avanzini M.; Dal Lago U.; Yamada A., On probabilistic term rewriting, «SCIENCE OF COMPUTER PROGRAMMING», 2020, 185, pp. 1 - 19 [Scientific article]Open Access

Dal Lago U.; Vanoni G., On randomised strategies in the λ-calculus, «THEORETICAL COMPUTER SCIENCE», 2020, 813, pp. 100 - 116 [Scientific article]

Barthe G.; Crubille R.; Dal Lago U.; Gavazzo F., On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem, in: Programming Languages and Systems. 29th European Symposium on Programming, ESOP 2020., Cham, Springer, 2020, 12075, pp. 56 - 83 (atti di: 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, irl, 2020) [Contribution to conference proceedings]Open Access

Kobayashi N.; Dal Lago U.; Grellois C., On the termination problem for probabilistic higher-order recursive programs, «LOGICAL METHODS IN COMPUTER SCIENCE», 2020, 16, pp. 1 - 57 [Scientific article]Open Access

Ronchi Della Rocca S.; Dal Lago U.; Faggian C., Solvability in a probabilistic setting, in: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2020, 167, pp. 1 - 17 (atti di: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, fra, 2020) [Contribution to conference proceedings]Open Access

Accattoli B.; Dal Lago U.; Vanoni G., The machinery of interaction, in: ACM International Conference Proceeding Series, New York, Association for Computing Machinery, 2020, pp. 1 - 15 (atti di: 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of 2020 Bologna Federated Conference on Programming Languages, BOPL 2020, ita, 2020) [Contribution to conference proceedings]Open Access

Dal Lago U.; Gavazzo F.; Yoshimizu A., Differential logical relations, Part I: The simply-typed case, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019, 132, pp. 1 - 14 (atti di: 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, Patras, Greece, 2019) [Contribution to conference proceedings]Open Access

Dal Lago U.; Gavazzo F., Effectful Normal Form Bisimulation, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2019, 11423, pp. 263 - 292 (atti di: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, cze, 2019) [Contribution to conference proceedings]

Baillot P.; Barthe G.; Dal Lago U., Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs, «JOURNAL OF AUTOMATED REASONING», 2019, 63, pp. 813 - 855 [Scientific article]

Dal Lago, Ugo; de Visme, Marc; Mazza, Damiano; Yoshimizu, Akira, Intersection types and runtime errors in the pi-calculus, in: Proceedings of the 2019 Symposium on Principles of Programming Languages (POPL), «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2019, 3, pp. 1 - 29 (atti di: ACM-SIGACT Symposium on Principles of Programming Languages (POPL), Cascais, Portogallo, 13-19 Gennaio 2019) [Contribution to conference proceedings]

Lago, Ugo Dal; Gavazzo, Francesco, On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice, in: Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019., «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2019, 347, pp. 121 - 141 (atti di: Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, London, UK, June 4-7, 2019) [Contribution to conference proceedings]

Dal Lago U.; Leventis T., On the Taylor expansion of probabilistic λ-terms, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019, 131, pp. 1 - 16 (atti di: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Dortmund, Germany, 2019) [Contribution to conference proceedings]Open Access

Latest news

At the moment no news are available.