@inproceedings{SSTD2001,
editor = {Christian S. Jensen and
Markus Schneider and
Bernhard Seeger and
Vassilis J. Tsotras},
author = {Dal Lago, Ugo and Montanari, Angelo},
title = {Calendars, Time Granularities and Automata},
booktitle = {Advances in Spatial and Temporal Databases, 7th International
Symposium, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2121},
year = {2001},
pages = {279--298},
ps = {sstd2001.ps},
pdf = {sstd2001.pdf}
}
@inproceedings{AAAI2002,
author = {Dal Lago, Ugo and Pistore, Marco and Traverso, Paolo},
title = {Planning with a Language for Extended Goals},
booktitle = {Eighteenth National Conference of Artificial
Intelligence, Proceedings},
year = {2002},
publisher = {AAAI Press},
pages = {447--454}
}
@inproceedings{ICTCS2003DLU,
editor = {Carlo Blundo and
Cosimo Laneve},
author = {Dal Lago, Ugo},
title = {On the Expressive Power of Light Affine Logic},
booktitle = {Eight Italian Conference on Theoretical Computer Science, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2841},
year = {2003},
pages = {216--227},
ps = {ictcs2003dl.ps},
pdf = {ictcs2003dl.pdf}
}
@inproceedings{ICTCS2003DMP,
editor = {Carlo Blundo and
Cosimo Laneve},
author = {Dal Lago, Ugo and Montanari, Angelo and Puppis, Gabriele},
title = {Towards a Compact and Tractable Automaton-based Representations
of Time Granularities},
booktitle = {Eight Italian Conference on Theoretical Computer Science, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2841},
year = {2003},
pages = {72--85},
ps = {ictcs2003dms.ps},
pdf = {ictcs2003dms.pdf}
}
@inproceedings{PDDL2003,
author = {Bertoli, Piergiorgio and Cimatti, Alessandro and Dal Lago, Ugo and
Pistore, Marco},
title = {Extending {PDDL} to nondeterminism, limited sensing and
iterative conditional plans},
booktitle = {ICAPS Workshop on PDDL, Informal Proceedings},
year = {2003},
pages = {15--24}
}
@inproceedings{TYPES2003,
author = {Dal Lago, Ugo and Martini, Simone and Roversi, Luca},
title = {Higher Order Linear Ramified Recurrence},
booktitle = {Types for Proofs and Programs, Post-Workshop Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2003},
pages = {178--193},
volume = {3085}
}
@article{TCS2004,
author = {Dal Lago, Ugo and Martini, Simone},
title = {Phase Semantics and Decidability of Elementary Affine Logic},
journal = {Theoretical Computer Science},
year = {2004},
volume = {318},
number = {3},
pages = {409--433}
}
@inproceedings{TLCA2005,
author = {Coppola, Paolo and Dal Lago, Ugo and Ronchi Della Rocca, Simona},
title = {Elementary Affine Logic and Call-by-value Lambda-Calculus},
booktitle = {Typed Lambda Calculi and Applications, 7th International Conference, Proceedings},
year = {2005},
note = {To appear}
}
@unpublished{UNPUBLISHED2005a,
author = {Dal Lago, Ugo},
title = {The Geometry of Linear Higher-Order Recursion},
note = {Extended Version of [LICS2005]},
year = {2005},
ps = {http://arxiv.org/ps/cs.LO/0506080},
pdf = {http://arxiv.org/pdf/cs.LO/0506080}
}
@unpublished{UNPUBLISHED2005b,
author = {Dal Lago, Ugo and Hofmann, Martin},
title = {Quantitative Models and Implicit Complexity},
note = {Extedend Version of [FSTTCS2005]},
year = {2005},
ps = {http://arxiv.org/ps/cs.LO/0506079},
pdf = {http://arxiv.org/ps/cs.LO/0506079}
}
@inproceedings{LICS2005,
author = {Dal Lago, Ugo},
title = {The Geometry of Linear Higher-Order Recursion},
booktitle = {Logic in Computer Science, 20th International Symposium, Proceedings},
year = {2005},
pages = {366-375},
publisher = {IEEE Computer Society}
}
@inproceedings{FSTTCS2005,
editor = {Ramanujam, R. and Sen, Sandeep},
author = {Dal Lago, Ugo and Hofmann, Martin},
title = {Quantitative Models and Implicit Complexity},
booktitle = {Foundations of Software Technology and Theoretical Computer Science, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3821},
year = {2005},
pages = {189--200}
}
@unpublished{UNPUBLISHED2005c,
author = {Dal Lago, Ugo and Martini, Simone},
title = {An Invariant Cost Model for the Lambda Calculus},
note = {Extedend Version of [CIE2006]},
year = {2005},
ps = {http://arxiv.org/ps/cs.LO/0511045},
pdf = {http://arxiv.org/pdf/cs.LO/0511045}
}
@unpublished{UNPUBLISHED2005d,
author = {Dal Lago, Ugo},
title = {Context Semantics, Linear Logic and Computational Complexity},
note = {Extedend Version of [LICS2006]},
year = {2005},
ps = {http://arxiv.org/ps/cs.LO/0510092},
pdf = {http://arxiv.org/pdf/cs.LO/0510092}
}
@article{MSCS2006,
author = {Dal Lago, Ugo and Baillot, Patrick},
title = {Light Affine Logic, Uniform Encodings and Polynomial Time},
journal = {Mathematical Structures in Computer Science},
year = {2006},
pages = {713-733},
volume = {16},
number = {4},
publisher = {Cambridge University Press}
}
@inproceedings{LICS2006,
author = {Dal Lago, Ugo},
title = {Context Semantics, Linear Logic and Computational Complexity.},
booktitle = {Logic in Computer Science, 20th International Symposium, Proceedings},
year = {2006},
pages = {169-178},
publisher = {IEEE Computer Society}
}
@inproceedings{CIE2006,
editor = {Arnold Beckmann and
Ulrich Berger and
Benedikt L{\"o}we and
John V. Tucker},
author = {Dal Lago, Ugo and
Simone Martini},
title = {An Invariant Cost Model for the Lambda Calculus.},
booktitle = {Logical Approaches to Computational Barriers, Second Conference
on Computability in Europe, CiE 2006, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3988},
year = {2006},
pages = {105-114}
}
@unpublished{UNPUBLISHED2006,
author = {Baillot, Patrick and Dal Lago, Ugo and Moyen, Jean-Yves},
title = {On Quasi-Interpretations, Blind Abstractions and Implicit Complexity},
year = {2006},
ps = {http://arxiv.org/ps/cs.PL/0608030},
pdf = {http://arxiv.org/pdf/cs.PL/0608030}
}
This file was generated by bibtex2html 1.94.