Ugo Dal Lago
AuthID: R-00K-FXX
11
TITLE: Foundations of Software Science and Computation Structures. 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ...
AUTHORS: Christel Baier; Ugo Dal Lago;
PUBLISHED: 2018
AUTHORS: Christel Baier; Ugo Dal Lago;
PUBLISHED: 2018
INDEXED IN: Openlibrary
12
TITLE: Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
AUTHORS: Patrick Baillot; Gilles Barthe; Ugo Dal Lago;
PUBLISHED: 2015, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, VOLUME: 9450
AUTHORS: Patrick Baillot; Gilles Barthe; Ugo Dal Lago;
PUBLISHED: 2015, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, VOLUME: 9450
INDEXED IN: DBLP