| 2008 |
|---|
| 22 | EE | Ugo Dal Lago,
Martin Hofmann:
A Semantic Proof of Polytime Soundness of Light Affine Logic.
CSR 2008: 134-145 |
| 2007 |
|---|
| 21 | EE | Patrick Baillot,
Paolo Coppola,
Ugo Dal Lago:
Light Logics and Optimal Reduction: Completeness and Complexity.
LICS 2007: 421-430 |
| 20 | EE | Ugo Dal Lago,
Angelo Montanari,
Gabriele Puppis:
On the Equivalence of Automaton-Based Representations of Time Granularities.
TIME 2007: 82-93 |
| 19 | EE | Patrick Baillot,
Paolo Coppola,
Ugo Dal Lago:
Light Logics and Optimal Reduction: Completeness and Complexity
CoRR abs/0704.2448: (2007) |
| 18 | EE | Ugo Dal Lago,
Andrea Masini,
Margherita Zorzi:
Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power
CoRR abs/cs/0703152: (2007) |
| 17 | EE | Ugo Dal Lago,
Angelo Montanari,
Gabriele Puppis:
Compact and tractable automaton-based representations of time granularities.
Theor. Comput. Sci. 373(1-2): 115-141 (2007) |
| 2006 |
|---|
| 16 | EE | Ugo Dal Lago,
Simone Martini:
An Invariant Cost Model for the Lambda Calculus.
CiE 2006: 105-114 |
| 15 | EE | Ugo Dal Lago:
Context Semantics, Linear Logic and Computational Complexity.
LICS 2006: 169-178 |
| 14 | EE | Patrick Baillot,
Ugo Dal Lago,
Jean-Yves Moyen:
On Quasi-Interpretations, Blind Abstractions and Implicit Complexity
CoRR abs/cs/0608030: (2006) |
| 2005 |
|---|
| 13 | EE | Ugo Dal Lago,
Martin Hofmann:
Quantitative Models and Implicit Complexity.
FSTTCS 2005: 189-200 |
| 12 | EE | Ugo Dal Lago:
The Geometry of Linear Higher-Order Recursion.
LICS 2005: 366-375 |
| 11 | EE | Paolo Coppola,
Ugo Dal Lago,
Simona Ronchi Della Rocca:
Elementary Affine Logic and the Call-by-Value Lambda Calculus.
TLCA 2005: 131-145 |
| 10 | EE | Ugo Dal Lago,
Martin Hofmann:
Quantitative Models and Implicit Complexity
CoRR abs/cs/0506079: (2005) |
| 9 | EE | Ugo Dal Lago:
The Geometry of Linear Higher-Order Recursion
CoRR abs/cs/0506080: (2005) |
| 8 | EE | Ugo Dal Lago:
Context Semantics, Linear Logic and Computational Complexity
CoRR abs/cs/0510092: (2005) |
| 7 | EE | Ugo Dal Lago,
Simone Martini:
An Invariant Cost Model for the Lambda Calculus
CoRR abs/cs/0511045: (2005) |
| 2004 |
|---|
| 6 | EE | Ugo Dal Lago,
Simone Martini:
Phase semantics and decidability of elementary affine logic.
Theor. Comput. Sci. 318(3): 409-433 (2004) |
| 2003 |
|---|
| 5 | EE | Ugo Dal Lago:
On the Expressive Power of Light Affine Logic.
ICTCS 2003: 216-227 |
| 4 | EE | Ugo Dal Lago,
Angelo Montanari,
Gabriele Puppis:
Towards Compact and Tractable Automaten-Based Representations of Time Granularities.
ICTCS 2003: 72-85 |
| 3 | EE | Ugo Dal Lago,
Simone Martini,
Luca Roversi:
Higher-Order Linear Ramified Recurrence.
TYPES 2003: 178-193 |
| 2002 |
|---|
| 2 | | Ugo Dal Lago,
Marco Pistore,
Paolo Traverso:
Planning with a Language for Extended Goals.
AAAI/IAAI 2002: 447-454 |
| 2001 |
|---|
| 1 | EE | Ugo Dal Lago,
Angelo Montanari:
Calendars, Time Granularities, and Automata.
SSTD 2001: 279-298 |
