CRIS Current Research Information System

DAL LAGO, UGO

DAL LAGO, UGO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

U. DAL LAGO; Ugo Dal Lago; DAL LAGO U.  

Mostra records
Risultati 1 - 20 di 136 (tempo di esecuzione: 0.05 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone 2024-01-01 - - 4.01 Contributo in Atti di convegno csl2024.pdf
On Model-Checking Higher-Order Effectful Programs Dal Lago, Ugo; Ghyselen, Alexis 2024-01-01 PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - 1.01 Articolo in rivista -
On the Almost-Sure Termination of Binary Sessions Dal Lago, Ugo; Padovani, Luca 2024-01-01 - ACM 4.01 Contributo in Atti di convegno -
Towards logical foundations for probabilistic computation Antonelli M.; Dal Lago U.; Pistone P. 2024-01-01 ANNALS OF PURE AND APPLIED LOGIC - 1.01 Articolo in rivista -
(Not So) Boring Abstract Machines Ugo Dal Lago;
Gabriele Vanoni 		2023-01-01 - CEUR-WS 4.01 Contributo in Atti di convegno ictcs2023.pdf
Contextual Behavioural Metrics Ugo Dal Lago; Maurizio Murgia 2023-01-01 - Schloss Dagstuhl - Leibniz Center for Informatic 4.01 Contributo in Atti di convegno concur2023.pdf
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories Melissa Antonelli,
Ugo Dal Lago,
Davide Davoli,
Paolo Pistone,
Isabel Oitavem 		2023-01-01 - - 4.02 Riassunto (Abstract) -
On Counting Propositional Logic and Wagner's Hierarchy Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo 2023-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista 1-s2.0-S0304397523002414-main.pdf
On Dynamic Lifting and Effect Typing in Circuit Description Languages Andrea Colledan; Ugo Dal Lago 2023-01-01 - Schloss-Dagstuhl - Leibniz Zentrum für Informatik 4.01 Contributo in Atti di convegno LIPIcs.TYPES.2022.3.pdf
On the Lattice of Program Metrics Ugo Dal Lago; Naohiko Hoshino; Paolo Pistone 2023-01-01 - Schloss Dagstuhl Leibniz 4.01 Contributo in Atti di convegno LIPIcs-FSCD-2023-20.pdf
Open Higher-Order Logic Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen 2023-01-01 - Klin, Bartek and Pimentel, Elaine 4.01 Contributo in Atti di convegno LIPIcs-CSL-2023-17.pdf
A Relational Theory of Effects and Coeffects Dal Lago, U; Gavazzo, F 2022-01-01 PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - 1.01 Articolo in rivista 3498692.pdf
Curry and Howard Meet Borel Melissa Antonelli; Ugo Dal Lago; Paolo Pistone 2022-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno lics2022a.pdf
Effectful program distancing Ugo Dal Lago; Francesco Gavazzo 2022-01-01 PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - 1.01 Articolo in rivista popl2022a.pdf
Implicit recursion-theoretic characterizations of counting classes Ugo Dal Lago; Reinhard Kahle; Isabel Oitavem 2022-01-01 ARCHIVE FOR MATHEMATICAL LOGIC - 1.01 Articolo in rivista -
Multi Types and Reasonable Space Accattoli, B; Dal Lago, U; Vanoni, G 2022-01-01 PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - 1.01 Articolo in rivista icfp2022b.pdf
On Feller Continuity and Full Abstraction Barthe, G; Crubille, R; Dal Lago, U; Gavazzo, F 2022-01-01 PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - 1.01 Articolo in rivista icfp2022a.pdf
On Quantitative Algebraic Higher-Order Theories Ugo Dal Lago; Furio Honsell; Marina Lenisa; Paolo Pistone 2022-01-01 - - 4.01 Contributo in Atti di convegno fscd2022.pdf
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments Ugo Dal Lago; Giulia Giusti 2022-01-01 - Schloss Dagstuhl -- Leibniz-Zentrum für Informatik 4.01 Contributo in Atti di convegno concur2022.pdf
Reasonable Space for the Lambda-Calculus, Logarithmically Beniamino Accattoli; Ugo Dal Lago; Gabriele Vanoni 2022-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno lics2022b.pdf