Ugo Dal Lago
AuthID: R-00K-FXX
1
TÃTULO: Implicit recursion-theoretic characterizations of counting classes Full Text
AUTORES: Dal Lago, Ugo; Reinhard Kahle ; Oitavem, Isabel ;
PUBLICAÇÃO: 2022, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 61, NÚMERO: 7-8
AUTORES: Dal Lago, Ugo; Reinhard Kahle ; Oitavem, Isabel ;
PUBLICAÇÃO: 2022, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 61, NÚMERO: 7-8
2
TÃTULO: Tidy: Symbolic Verification of Timed Cryptographic Protocols
AUTORES: Gilles Barthe ; Ugo Dal Lago; Giulio Malavolta; Itsaka Rakotonirina;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022
AUTORES: Gilles Barthe ; Ugo Dal Lago; Giulio Malavolta; Itsaka Rakotonirina;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022
INDEXADO EM: 
DBLP
DBLP3
TÃTULO: On Feller Continuity and Full Abstraction (Long Version)
AUTORES: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2207.10590
AUTORES: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2207.10590
INDEXADO EM: DBLP
DBLP4
TÃTULO: On Feller continuity and full abstraction
AUTORES: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLICAÇÃO: 2022, FONTE: Proc. ACM Program. Lang., VOLUME: 6, NÚMERO: ICFP
AUTORES: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLICAÇÃO: 2022, FONTE: Proc. ACM Program. Lang., VOLUME: 6, NÚMERO: ICFP
INDEXADO EM: DBLP
DBLP5
TÃTULO: On continuation-passing transformations and expected cost analysis
AUTORES: Martin Avanzini; Gilles Barthe ; Ugo Dal Lago;
PUBLICAÇÃO: 2021, FONTE: Proc. ACM Program. Lang., VOLUME: 5, NÚMERO: ICFP
AUTORES: Martin Avanzini; Gilles Barthe ; Ugo Dal Lago;
PUBLICAÇÃO: 2021, FONTE: Proc. ACM Program. Lang., VOLUME: 5, NÚMERO: ICFP
INDEXADO EM: DBLP
DBLP6
TÃTULO: On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem
AUTORES: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLICAÇÃO: 2020, FONTE: 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
AUTORES: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: DBLP
DBLP7
TÃTULO: On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
AUTORES: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2002.08489
AUTORES: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2002.08489
INDEXADO EM: DBLP
DBLP8
TÃTULO: Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
AUTORES: Patrick Baillot; Gilles Barthe ; Ugo Dal Lago;
PUBLICAÇÃO: 2019, FONTE: J. Autom. Reason., VOLUME: 63, NÚMERO: 4
AUTORES: Patrick Baillot; Gilles Barthe ; Ugo Dal Lago;
PUBLICAÇÃO: 2019, FONTE: J. Autom. Reason., VOLUME: 63, NÚMERO: 4
INDEXADO EM: DBLP
DBLP9
TÃTULO: 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
AUTORES: Christel Baier; Ugo Dal Lago;
PUBLICAÇÃO: 2018, FONTE: FoSSaCS, VOLUME: 10803
AUTORES: Christel Baier; Ugo Dal Lago;
PUBLICAÇÃO: 2018, FONTE: FoSSaCS, VOLUME: 10803
INDEXADO EM: DBLP
DBLP10
TÃTULO: Foundations of Software Science and Computation Structures. 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ...
AUTORES: Christel Baier; Ugo Dal Lago;
PUBLICAÇÃO: 2018
AUTORES: Christel Baier; Ugo Dal Lago;
PUBLICAÇÃO: 2018
INDEXADO EM: 
Openlibrary
Openlibrary