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, New York, Association for Computing Machinery, 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]Open Access
Antonelli, Melissa; DAL LAGO, Ugo; Davoli, Davide; Oitavem, Isabel; Pistone, Paolo, Towards Randomized Bounded Arithmetic, in: Proceedings of XXVII AILA, 2022, pp. 1 - 2 (atti di: AILA, Caserta, 12-15 September 2022) [atti di convegno-abstract]
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, Article number: 25, pp. 1 - 35 [articolo]Open Access
Antonelli M.; Dal Lago U.; Pistone P., On Measure Quantifiers in First-Order Arithmetic, in: Connecting with Computability. 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings, Cham, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12813, pp. 12 - 24 (atti di: 17th Conference on Computability in Europe, CiE 2021, Online, 2021) [Contributo in Atti di convegno]Open Access
Dal Lago U.; Gavazzo F., Resource transition systems and full abstraction for linear higher-order effectful programs, in: 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2021, 195, pp. 1 - 19 (atti di: 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, arg, 2021) [Contributo in Atti di convegno]Open Access
Dal Lago U.; Hoshino N., The geometry of Bayesian programming, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2021, 31, pp. 633 - 681 [articolo]Open Access
Accattoli B.; Dal Lago U.; Vanoni G., The (In)Efficiency of interaction, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2021, 5, Article number: 51, pp. 1 - 33 [articolo]Open Access
Accattoli B.; Dal Lago U.; Vanoni G., The Space of Interaction, in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2021, 2021, pp. 1 - 13 (atti di: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Online, 2021) [Contributo in Atti di convegno]Open Access
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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 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) [Contributo in Atti di convegno]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 [articolo]Open Access
