CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
ItalianoDAL LAGO, UGO
Dettaglio
DAL LAGO, UGO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
U. DAL LAGO; Ugo Dal Lago; DAL LAGO U.
Pubblicazioni
Risultati 1 - 20 di 100 (tempo di esecuzione: 0.001 secondi).
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
|---|---|---|---|---|---|---|---|
| 1 | A Higher-Order Characterization of Probabilistic Polynomial Time | Ugo Dal Lago;Paolo Parisen Toldin | 2012 | 4.01 Contributo in Atti di convegno | - | ||
| 2 | A Semantic Proof of Polytime Soundness of Light Affine Logic | U. Dal Lago; M. Hofmann | 2008 | SPRINGER | 4.01 Contributo in Atti di convegno | - | |
| 3 | A Semantic Proof of Polytime Soundness of Light Affine Logic | U. Dal Lago; M. Hofmann | 2010 | THEORY OF COMPUTING SYSTEMS | 1.01 Articolo in rivista | - | |
| 4 | A Short Introduction to Implicit Computational Complexity | Ugo Dal Lago | 2012 | Springer Berlin Heidelberg | 2.01 Capitolo / saggio in libro | - | |
| 5 | An invariant cost model for the lambda calculus | DAL LAGO, Ugo; Martini, Simone | 2006 | Springer Verlag | 4.01 Contributo in Atti di convegno | - | |
| 6 | Analysing the complexity of functional programs: Higher-order meets first-order | Avanzini, Martin; Dal Lago, Ugo; Moser, Georg | 2015 | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | - | |
| 7 | Applicative bisimulation and quantum λ-calculi | Dal Lago, Ugo; Rioli, Alessandro | 2015 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| 8 | Automating sized-type inference for complexity analysis | Avanzini, Martin; Dal Lago, Ugo | 2017 | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | 1.01 Articolo in rivista | - | |
| 9 | Beta reduction is invariant, indeed | Accattoli, Beniamino; Dal Lago, Ugo | 2014 | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | - | |
| 10 | Bounded Linear Logic, Revisited | U. Dal Lago; M. Hofmann | 2009 | Springer | 4.01 Contributo in Atti di convegno | - | |
| 11 | Bounded Linear Logic, Revisited | Ugo Dal Lago; Martin Hofmann | 2010 | LOGICAL METHODS IN COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
| 12 | Compact and Tractable Automaton-based Representations for Time Granularities | U. Dal Lago; A. Montanari; G. Puppis | 2007 | THEORETICAL COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
| 13 | Complexity Analysis in Presence of Control Operators and Higher-Order Functions | Ugo Dal Lago; Giulio Pellitta | 2013 | 4.01 Contributo in Atti di convegno | - | ||
| 14 | Computation by interaction for space-bounded functional programming | Dal Lago, Ugo; Schöpp, Ulrich | 2016 | INFORMATION AND COMPUTATION | 1.01 Articolo in rivista | - | |
| 15 | Confluence Results for a Quantum Lambda Calculus with Measurements | Ugo Dal Lago;Andrea Masini;Margherita Zorzi | 2011 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
| 16 | Context semantics, linear logic and computational complexity | DAL LAGO, Ugo | 2006 | IEEE Computer Society | 4.01 Contributo in Atti di convegno | - | |
| 17 | Context Semantics, Linear Logic and Computational Complexity | U. Dal Lago | 2009 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 1.01 Articolo in rivista | - | |
| 18 | Decomposing Probabilistic Lambda-Calculi | Dal Lago U.; Guerrieri G.; Heijltjes W. | 2020 | Springer | 4.01 Contributo in Atti di convegno | - | |
| 19 | Derivational Complexity is an Invariant Cost Model | U. Dal Lago; S. Martini | 2010 | Springer | 4.01 Contributo in Atti di convegno | - | |
| 20 | Differential logical relations, Part I: The simply-typed case | Dal Lago U.; Gavazzo F.; Yoshimizu A. | 2019 | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno |
Copyright © 2021