Ugo Dal Lago

	2012
55		Beniamino Accattoli, Ugo Dal Lago: On the Invariance of the Unitary Cost Model for Head Reduction. RTA 2012: 22-37
54		Beniamino Accattoli, Ugo Dal Lago: On the Invariance of the Unitary Cost Model for Head Reduction (Long Version) CoRR abs/1202.1641: (2012)
53		Ugo Dal Lago, Paolo Parisen Toldin: An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version) CoRR abs/1202.3317: (2012)
	2011
52		Ugo Dal Lago, Paolo Di Giamberardino: Soft Session Types EXPRESS 2011: 59-73
51		Ugo Dal Lago, Marco Gaboardi: Linear Dependent Types and Relative Completeness. LICS 2011: 133-142
50		Ugo Dal Lago, Marco Gaboardi: Linear Dependent Types and Relative Completeness CoRR abs/1104.0193: (2011)
49		Ugo Dal Lago, Margherita Zorzi: Probabilistic Operational Semantics for the Lambda Calculus CoRR abs/1104.0195: (2011)
48		Ugo Dal Lago, Paolo Di Giamberardino: Soft Session Types (Long Version) CoRR abs/1107.4478: (2011)
47		Ugo Dal Lago, Andrea Masini, Margherita Zorzi: Confluence Results for a Quantum Lambda Calculus with Measurements. Electr. Notes Theor. Comput. Sci. 270(2): 251-261 (2011)
46		Patrick Baillot, Paolo Coppola, Ugo Dal Lago: Light logics and optimal reduction: Completeness and complexity. Inf. Comput. 209(2): 118-142 (2011)
45		Ugo Dal Lago, Martin Hofmann: Realizability models and implicit complexity. Theor. Comput. Sci. 412(20): 2029-2047 (2011)
	2010
44		Ugo Dal Lago, Ulrich Schöpp: Type Inference for Sublinear Space Functional Programming. APLAS 2010: 376-391
43		Ugo Dal Lago, Simone Martini, Margherita Zorzi: General Ramified Recurrence is Sound for Polynomial Time DICE 2010: 47-62
42		Ugo Dal Lago, Ulrich Schöpp: Functional Programming in Sublinear Space. ESOP 2010: 205-225
41		Ugo Dal Lago, Simone Martini, Davide Sangiorgi: Light Logics and Higher-Order Processes EXPRESS'10 2010: 46-60
40		Ugo Dal Lago, Martin Hofmann: Bounded Linear Logic, Revisited Logical Methods in Computer Science 6(4): (2010)
39		Ugo Dal Lago, Andrea Masini, Margherita Zorzi: Quantum implicit computational complexity. Theor. Comput. Sci. 411(2): 377-409 (2010)
38		Ugo Dal Lago, Martin Hofmann: A Semantic Proof of Polytime Soundness of Light Affine Logic. Theory Comput. Syst. 46(4): 673-689 (2010)
	2009
37		Ugo Dal Lago, Simone Martini: Derivational Complexity Is an Invariant Cost Model. FOPARA 2009: 100-113
36		Ugo Dal Lago, Simone Martini: On Constructor Rewrite Systems and the Lambda-Calculus. ICALP (2) 2009: 163-174
35		Ugo Dal Lago, Luca Roversi, Luca Vercelli: Taming Modal Impredicativity: Superlazy Reduction. LFCS 2009: 137-151
34		Ugo Dal Lago, Martin Hofmann: Bounded Linear Logic, Revisited. TLCA 2009: 80-94
33		Ugo Dal Lago: The geometry of linear higher-order recursion. ACM Trans. Comput. Log. 10(2): (2009)
32		Ugo Dal Lago: Context semantics, linear logic, and computational complexity. ACM Trans. Comput. Log. 10(4): (2009)
31		Ugo Dal Lago, Simone Martini: On Constructor Rewrite Systems and the Lambda-Calculus CoRR abs/0904.4120: (2009)
30		Ugo Dal Lago, Andrea Masini, Margherita Zorzi: Confluence Results for a Quantum Lambda Calculus with Measurements CoRR abs/0905.4567: (2009)
29		Ugo Dal Lago, Andrea Masini, Margherita Zorzi: On a measurement-free quantum lambda calculus with classical control. Mathematical Structures in Computer Science 19(2): 297-335 (2009)
	2008
28		Ugo Dal Lago, Olivier Laurent: Quantitative Game Semantics for Linear Logic. CSL 2008: 230-245
27		Ugo Dal Lago, Martin Hofmann: A Semantic Proof of Polytime Soundness of Light Affine Logic. CSR 2008: 134-145
26		Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Light Logics and the Call-by-Value Lambda Calculus CoRR abs/0809.0195: (2008)
25		Ugo Dal Lago, Luca Roversi, Luca Vercelli: Taming Modal Impredicativity: Superlazy Reduction CoRR abs/0810.2891: (2008)
24		Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Light Logics and the Call-by-Value Lambda Calculus. Logical Methods in Computer Science 4(4): (2008)
23		Ugo Dal Lago, Simone Martini: The weak lambda calculus as a reasonable machine. Theor. Comput. Sci. 398(1-3): 32-50 (2008)
	2007
22		Patrick Baillot, Paolo Coppola, Ugo Dal Lago: Light Logics and Optimal Reduction: Completeness and Complexity. LICS 2007: 421-430
21		Ugo Dal Lago, Angelo Montanari, Gabriele Puppis: On the Equivalence of Automaton-Based Representations of Time Granularities. TIME 2007: 82-93
20		Patrick Baillot, Paolo Coppola, Ugo Dal Lago: Light Logics and Optimal Reduction: Completeness and Complexity CoRR abs/0704.2448: (2007)
19		Ugo Dal Lago, Andrea Masini, Margherita Zorzi: Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power CoRR abs/cs/0703152: (2007)
18		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
17		Ugo Dal Lago, Simone Martini: An Invariant Cost Model for the Lambda Calculus. CiE 2006: 105-114
16		Ugo Dal Lago: Context Semantics, Linear Logic and Computational Complexity. LICS 2006: 169-178
15		Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen: On Quasi-Interpretations, Blind Abstractions and Implicit Complexity CoRR abs/cs/0608030: (2006)
14		Ugo Dal Lago, Patrick Baillot: On light logics, uniform encodings and polynomial time. Mathematical Structures in Computer Science 16(4): 713-733 (2006)
	2005
13		Ugo Dal Lago, Martin Hofmann: Quantitative Models and Implicit Complexity. FSTTCS 2005: 189-200
12		Ugo Dal Lago: The Geometry of Linear Higher-Order Recursion. LICS 2005: 366-375
11		Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Elementary Affine Logic and the Call-by-Value Lambda Calculus. TLCA 2005: 131-145
10		Ugo Dal Lago, Martin Hofmann: Quantitative Models and Implicit Complexity CoRR abs/cs/0506079: (2005)
9		Ugo Dal Lago: The Geometry of Linear Higher-Order Recursion CoRR abs/cs/0506080: (2005)
8		Ugo Dal Lago: Context Semantics, Linear Logic and Computational Complexity CoRR abs/cs/0510092: (2005)
7		Ugo Dal Lago, Simone Martini: An Invariant Cost Model for the Lambda Calculus CoRR abs/cs/0511045: (2005)
	2004
6		Ugo Dal Lago, Simone Martini: Phase semantics and decidability of elementary affine logic. Theor. Comput. Sci. 318(3): 409-433 (2004)
	2003
5		Ugo Dal Lago: On the Expressive Power of Light Affine Logic. ICTCS 2003: 216-227
4		Ugo Dal Lago, Angelo Montanari, Gabriele Puppis: Towards Compact and Tractable Automaten-Based Representations of Time Granularities. ICTCS 2003: 72-85
3		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		Ugo Dal Lago, Angelo Montanari: Calendars, Time Granularities, and Automata. SSTD 2001: 279-298

Coauthor Index

1	Beniamino Accattoli	[54] [55]
2	Patrick Baillot	[14] [15] [20] [22] [46]
3	Paolo Coppola	[11] [20] [22] [24] [26] [46]
4	Marco Gaboardi	[50] [51]
5	Paolo Di Giamberardino	[48] [52]
6	Martin Hofmann	[10] [13] [27] [34] [38] [40] [45]
7	Olivier Laurent	[28]
8	Simone Martini	[3] [6] [7] [17] [23] [31] [36] [37] [41] [43]
9	Andrea Masini	[19] [29] [30] [39] [47]
10	Angelo Montanari	[1] [4] [18] [21]
11	Jean-Yves Moyen	[15]
12	Marco Pistore	[2]
13	Gabriele Puppis	[4] [18] [21]
14	Simona Ronchi Della Rocca	[11] [24] [26]
15	Luca Roversi	[3] [25] [35]
16	Davide Sangiorgi	[41]
17	Ulrich Schöpp	[42] [44]
18	Paolo Parisen Toldin	[53]
19	Paolo Traverso	[2]
20	Luca Vercelli	[25] [35]
21	Margherita Zorzi	[19] [29] [30] [39] [43] [47] [49]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page