CRIS Current Research Information System

DAL LAGO, UGO

DAL LAGO, UGO  

DISI - 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 141 (tempo di esecuzione: 0.047 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages Colledan, Andrea; Dal Lago, Ugo 2025-01-01 PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - 4.01 Contributo in Atti di convegno 3704883.pdf
Towards Quantum Multiparty Session Types Lanese, I.; Dal Lago, U.; Choudhury, V. 2025-01-01 - - 4.01 Contributo in Atti di convegno published.pdf
Circuit Width Estimation via Effect Typing and Linear Dependency Colledan, Andrea; Dal Lago, Ugo 2024-01-01 - - 4.01 Contributo in Atti di convegno 978-3-031-57267-8_1.pdf
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 Computational Indistinguishability and Logical Relations Lago, Ugo Dal; Galal, Zeinab; Giusti, Giulia 2024-01-01 - Springer Science and Business Media Deutschland GmbH 4.01 Contributo in Atti di convegno -
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 popl2024.pdf
On the Almost-Sure Termination of Binary Sessions Dal Lago, Ugo; Padovani, Luca 2024-01-01 - ACM 4.01 Contributo in Atti di convegno -
Reasonable Space for the Lambda-Calculus, Logarithmically Accattoli, Beniamino; Lago, Ugo Dal; Vanoni, Gabriele 2024-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
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 -