Ugo Dal Lago

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
c31		Ugo Dal Lago, Barbara Petit: The geometry of types. POPL 2013: 167-178
	2012
j18		Ugo Dal Lago, Simone Martini: On Constructor Rewrite Systems and the Lambda Calculus. Logical Methods in Computer Science 8(3) (2012)
j17		Ugo Dal Lago, Margherita Zorzi: Probabilistic operational semantics for the lambda calculus. RAIRO - Theor. Inf. and Applic. 46(3): 413-450 (2012)
j16		Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen: On quasi-interpretations, blind abstractions and implicit complexity. Mathematical Structures in Computer Science 22(4): 549-580 (2012)
c30		Patrick Baillot, Ugo Dal Lago: Higher-Order Interpretations and Program Complexity. CSL 2012: 62-76
c29		Ugo Dal Lago, Barbara Petit: Linear dependent types in a call-by-value scenario. PPDP 2012: 115-126
c28		Beniamino Accattoli, Ugo Dal Lago: On the Invariance of the Unitary Cost Model for Head Reduction. RTA 2012: 22-37
i18		Beniamino Accattoli, Ugo Dal Lago: On the Invariance of the Unitary Cost Model for Head Reduction (Long Version). CoRR abs/1202.1641 (2012)
i17		Ugo Dal Lago, Paolo Parisen Toldin: An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version). CoRR abs/1202.3317 (2012)
i16		Ugo Dal Lago, Barbara Petit: Linear Dependent Types in a Call-by-Value Scenario (Long Version). CoRR abs/1207.5592 (2012)
i15		Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca: Computational Complexity of Interactive Behaviors. CoRR abs/1209.0663 (2012)
i14		Ugo Dal Lago, Barbara Petit: The Geometry of Types (Long Version). CoRR abs/1210.6857 (2012)
	2011
j15		Ugo Dal Lago, Marco Gaboardi: Linear Dependent Types and Relative Completeness. Logical Methods in Computer Science 8(4) (2011)
j14		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)
j13		Patrick Baillot, Paolo Coppola, Ugo Dal Lago: Light logics and optimal reduction: Completeness and complexity. Inf. Comput. 209(2): 118-142 (2011)
j12		Ugo Dal Lago, Martin Hofmann: Realizability models and implicit complexity. Theor. Comput. Sci. 412(20): 2029-2047 (2011)
c27		Ugo Dal Lago: A Short Introduction to Implicit Computational Complexity. ESSLLI 2011: 89-109
c26		Ugo Dal Lago, Paolo Parisen Toldin: A Higher-Order Characterization of Probabilistic Polynomial Time. FOPARA 2011: 1-18
c25		Ugo Dal Lago, Marco Gaboardi: Linear Dependent Types and Relative Completeness. LICS 2011: 133-142
c24		Ugo Dal Lago, Claudia Faggian: On Multiplicative Linear Logic, Modality and Quantum Circuits. QPL 2011: 55-66
c23		Ugo Dal Lago, Paolo Di Giamberardino: Soft Session Types. EXPRESS 2011: 59-73
i13		Ugo Dal Lago, Margherita Zorzi: Probabilistic Operational Semantics for the Lambda Calculus. CoRR abs/1104.0195 (2011)
i12		Ugo Dal Lago, Paolo Di Giamberardino: Soft Session Types (Long Version). CoRR abs/1107.4478 (2011)
	2010
j11		Ugo Dal Lago, Martin Hofmann: Bounded Linear Logic, Revisited. Logical Methods in Computer Science 6(4) (2010)
j10		Ugo Dal Lago, Martin Hofmann: A Semantic Proof of Polytime Soundness of Light Affine Logic. Theory Comput. Syst. 46(4): 673-689 (2010)
j9		Ugo Dal Lago, Andrea Masini, Margherita Zorzi: Quantum implicit computational complexity. Theor. Comput. Sci. 411(2): 377-409 (2010)
c22		Ugo Dal Lago, Ulrich Schöpp: Type Inference for Sublinear Space Functional Programming. APLAS 2010: 376-391
c21		Ugo Dal Lago, Ulrich Schöpp: Functional Programming in Sublinear Space. ESOP 2010: 205-225
c20		Ugo Dal Lago, Simone Martini, Davide Sangiorgi: Light Logics and Higher-Order Processes. EXPRESS'10 2010: 46-60
c19		Ugo Dal Lago, Simone Martini, Margherita Zorzi: General Ramified Recurrence is Sound for Polynomial Time. DICE 2010: 47-62
	2009
j8		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)
j7		Ugo Dal Lago: The geometry of linear higher-order recursion. ACM Trans. Comput. Log. 10(2) (2009)
j6		Ugo Dal Lago: Context semantics, linear logic, and computational complexity. ACM Trans. Comput. Log. 10(4) (2009)
c18		Ugo Dal Lago, Simone Martini: Derivational Complexity Is an Invariant Cost Model. FOPARA 2009: 100-113
c17		Ugo Dal Lago, Simone Martini: On Constructor Rewrite Systems and the Lambda-Calculus. ICALP (2) 2009: 163-174
c16		Ugo Dal Lago, Luca Roversi, Luca Vercelli: Taming Modal Impredicativity: Superlazy Reduction. LFCS 2009: 137-151
c15		Ugo Dal Lago, Martin Hofmann: Bounded Linear Logic, Revisited. TLCA 2009: 80-94
i11		Ugo Dal Lago, Simone Martini: On Constructor Rewrite Systems and the Lambda-Calculus. CoRR abs/0904.4120 (2009)
i10		Ugo Dal Lago, Andrea Masini, Margherita Zorzi: Confluence Results for a Quantum Lambda Calculus with Measurements. CoRR abs/0905.4567 (2009)
	2008
j5		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)
j4		Ugo Dal Lago, Simone Martini: The weak lambda calculus as a reasonable machine. Theor. Comput. Sci. 398(1-3): 32-50 (2008)
c14		Ugo Dal Lago, Olivier Laurent: Quantitative Game Semantics for Linear Logic. CSL 2008: 230-245
c13		Ugo Dal Lago, Martin Hofmann: A Semantic Proof of Polytime Soundness of Light Affine Logic. CSR 2008: 134-145
i9		Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Light Logics and the Call-by-Value Lambda Calculus. CoRR abs/0809.0195 (2008)
i8		Ugo Dal Lago, Luca Roversi, Luca Vercelli: Taming Modal Impredicativity: Superlazy Reduction. CoRR abs/0810.2891 (2008)
	2007
j3		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)
c12		Patrick Baillot, Paolo Coppola, Ugo Dal Lago: Light Logics and Optimal Reduction: Completeness and Complexity. LICS 2007: 421-430
c11		Ugo Dal Lago, Angelo Montanari, Gabriele Puppis: On the Equivalence of Automaton-Based Representations of Time Granularities. TIME 2007: 82-93
i7		Patrick Baillot, Paolo Coppola, Ugo Dal Lago: Light Logics and Optimal Reduction: Completeness and Complexity. CoRR abs/0704.2448 (2007)
i6		Ugo Dal Lago, Andrea Masini, Margherita Zorzi: Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power. CoRR abs/cs/0703152 (2007)
	2006
j2		Ugo Dal Lago, Patrick Baillot: On light logics, uniform encodings and polynomial time. Mathematical Structures in Computer Science 16(4): 713-733 (2006)
c10		Ugo Dal Lago, Simone Martini: An Invariant Cost Model for the Lambda Calculus. CiE 2006: 105-114
c9		Ugo Dal Lago: Context Semantics, Linear Logic and Computational Complexity. LICS 2006: 169-178
i5		Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen: On Quasi-Interpretations, Blind Abstractions and Implicit Complexity. CoRR abs/cs/0608030 (2006)
	2005
c8		Ugo Dal Lago, Martin Hofmann: Quantitative Models and Implicit Complexity. FSTTCS 2005: 189-200
c7		Ugo Dal Lago: The Geometry of Linear Higher-Order Recursion. LICS 2005: 366-375
c6		Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Elementary Affine Logic and the Call-by-Value Lambda Calculus. TLCA 2005: 131-145
i4		Ugo Dal Lago, Martin Hofmann: Quantitative Models and Implicit Complexity. CoRR abs/cs/0506079 (2005)
i3		Ugo Dal Lago: The Geometry of Linear Higher-Order Recursion. CoRR abs/cs/0506080 (2005)
i2		Ugo Dal Lago: Context Semantics, Linear Logic and Computational Complexity. CoRR abs/cs/0510092 (2005)
i1		Ugo Dal Lago, Simone Martini: An Invariant Cost Model for the Lambda Calculus. CoRR abs/cs/0511045 (2005)
	2004
j1		Ugo Dal Lago, Simone Martini: Phase semantics and decidability of elementary affine logic. Theor. Comput. Sci. 318(3): 409-433 (2004)
	2003
c5		Ugo Dal Lago, Angelo Montanari, Gabriele Puppis: Towards Compact and Tractable Automaten-Based Representations of Time Granularities. ICTCS 2003: 72-85
c4		Ugo Dal Lago: On the Expressive Power of Light Affine Logic. ICTCS 2003: 216-227
c3		Ugo Dal Lago, Simone Martini, Luca Roversi: Higher-Order Linear Ramified Recurrence. TYPES 2003: 178-193
	2002
c2		Ugo Dal Lago, Marco Pistore, Paolo Traverso: Planning with a Language for Extended Goals. AAAI/IAAI 2002: 447-454
	2001
c1		Ugo Dal Lago, Angelo Montanari: Calendars, Time Granularities, and Automata. SSTD 2001: 279-298

Coauthor Index

1	Beniamino Accattoli	[c28] [i18]
2	Patrick Baillot	[j16] [c30] [j13] [c12] [i7] [j2] [i5]
3	Paolo Coppola	[j13] [j5] [i9] [c12] [i7] [c6]
4	Claudia Faggian	[c24]
5	Marco Gaboardi	[j15] [c25]
6	Paolo Di Giamberardino	[c23] [i12]
7	Tobias Heindel	[i15]
8	Martin Hofmann	[j12] [j11] [j10] [c15] [c13] [c8] [i4]
9	Olivier Laurent	[c14]
10	Simone Martini	[j18] [c20] [c19] [c18] [c17] [i11] [j4] [c10] [i1] [j1] [c3]
11	Andrea Masini	[j14] [j9] [j8] [i10] [i6]
12	Damiano Mazza	[i15]
13	Angelo Montanari	[j3] [c11] [c5] [c1]
14	Jean-Yves Moyen	[j16] [i5]
15	Barbara Petit	[c31] [c29] [i16] [i14]
16	Marco Pistore	[c2]
17	Gabriele Puppis	[j3] [c11] [c5]
18	Simona Ronchi Della Rocca	[j5] [i9] [c6]
19	Luca Roversi	[c16] [i8] [c3]
20	Davide Sangiorgi	[c20]
21	Ulrich Schöpp	[c22] [c21]
22	Paolo Parisen Toldin	[i17] [c26]
23	Paolo Traverso	[c2]
24	Daniele Varacca	[i15]
25	Luca Vercelli	[c16] [i8]
26	Margherita Zorzi	[j17] [j14] [i13] [j9] [c19] [j8] [i10] [i6]

Colors in the list of coauthors

Last update Tue May 21 06:56:16 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page