Ugo Dal Lago
AuthID: R-00K-FXX
1
TITLE: Implicit recursion-theoretic characterizations of counting classes Full Text
AUTHORS: Dal Lago, Ugo; Reinhard Kahle ; Oitavem, Isabel ;
PUBLISHED: 2022, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 61, ISSUE: 7-8
AUTHORS: Dal Lago, Ugo; Reinhard Kahle ; Oitavem, Isabel ;
PUBLISHED: 2022, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 61, ISSUE: 7-8
2
TITLE: Tidy: Symbolic Verification of Timed Cryptographic Protocols
AUTHORS: Gilles Barthe ; Ugo Dal Lago; Giulio Malavolta; Itsaka Rakotonirina;
PUBLISHED: 2022, SOURCE: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022
AUTHORS: Gilles Barthe ; Ugo Dal Lago; Giulio Malavolta; Itsaka Rakotonirina;
PUBLISHED: 2022, SOURCE: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022
INDEXED IN: 
DBLP
DBLP3
TITLE: On Feller Continuity and Full Abstraction (Long Version)
AUTHORS: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2207.10590
AUTHORS: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2207.10590
INDEXED IN: DBLP
DBLP4
TITLE: On Feller continuity and full abstraction
AUTHORS: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLISHED: 2022, SOURCE: Proc. ACM Program. Lang., VOLUME: 6, ISSUE: ICFP
AUTHORS: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLISHED: 2022, SOURCE: Proc. ACM Program. Lang., VOLUME: 6, ISSUE: ICFP
INDEXED IN: DBLP
DBLP5
TITLE: A Recursion-Theoretic Characterization of the Probabilistic Class PP
AUTHORS: Ugo Dal Lago; Reinhard Kahle ; Isabel Oitavem ;
PUBLISHED: 2021, SOURCE: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia., VOLUME: 202
AUTHORS: Ugo Dal Lago; Reinhard Kahle ; Isabel Oitavem ;
PUBLISHED: 2021, SOURCE: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia., VOLUME: 202
INDEXED IN: 
Scopus DBLP
Scopus DBLP6
TITLE: On continuation-passing transformations and expected cost analysis
AUTHORS: Martin Avanzini; Gilles Barthe ; Ugo Dal Lago;
PUBLISHED: 2021, SOURCE: Proc. ACM Program. Lang., VOLUME: 5, ISSUE: ICFP
AUTHORS: Martin Avanzini; Gilles Barthe ; Ugo Dal Lago;
PUBLISHED: 2021, SOURCE: Proc. ACM Program. Lang., VOLUME: 5, ISSUE: ICFP
INDEXED IN: DBLP
DBLP7
TITLE: On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem
AUTHORS: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLISHED: 2020, SOURCE: Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12075
AUTHORS: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLISHED: 2020, SOURCE: Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12075
INDEXED IN: DBLP
DBLP8
TITLE: On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
AUTHORS: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2002.08489
AUTHORS: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2002.08489
INDEXED IN: DBLP
DBLP9
TITLE: Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
AUTHORS: Patrick Baillot; Gilles Barthe ; Ugo Dal Lago;
PUBLISHED: 2019, SOURCE: J. Autom. Reason., VOLUME: 63, ISSUE: 4
AUTHORS: Patrick Baillot; Gilles Barthe ; Ugo Dal Lago;
PUBLISHED: 2019, SOURCE: J. Autom. Reason., VOLUME: 63, ISSUE: 4
INDEXED IN: DBLP
DBLP10
TITLE: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
AUTHORS: Christel Baier; Ugo Dal Lago;
PUBLISHED: 2018, SOURCE: FoSSaCS, VOLUME: 10803
AUTHORS: Christel Baier; Ugo Dal Lago;
PUBLISHED: 2018, SOURCE: FoSSaCS, VOLUME: 10803
INDEXED IN: DBLP
DBLP