@inproceedings{ICALP2009,
author = {Dal Lago, Ugo and
Simone Martini},
title = {On Constructor Rewrite Systems and the Lambda-Calculus},
booktitle = {International Conference on Automata, Languages and Programming, Proceedings},
year = {2009},
pages = {163-174},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
volume = {5556}
}
@inproceedings{LFCS2009,
author = {Dal Lago, Ugo and
Luca Roversi and
Luca Vercelli},
title = {Taming Modal Impredicativity: Superlazy Reduction},
booktitle = {Logical Foundations of Computer Science, International Symposium, Proceedings},
year = {2009},
pages = {137-151},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
volume = {5407}
}
@inproceedings{TLCA2009,
author = {Dal Lago, Ugo and
Martin Hofmann},
title = {Bounded Linear Logic, Revisited},
booktitle = {Typed Lambda Calculi and Applications, 9th International
Conference, Proceedings},
year = {2009},
pages = {80-94},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5608}
}
@inproceedings{CSL2008,
author = {Dal Lago, Ugo and Laurent, Olivier},
title = {Quantitative Game Semantics for Linear Logic},
booktitle = {Computer Science Logic, 22nd International Workshop, Proceedings},
year = {2008},
pages = {230-245},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5213}
}
@inproceedings{CSR2008,
author = {Dal Lago, Ugo and Hofmann, Martin},
title = {A Semantic Proof of Polytime Soundness of Light Affine Logic},
booktitle = {Third International
Computer Science Symposium in Russia, Proceedings},
year = {2008},
pages = {134-145},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
volume = {5010}
}
@inproceedings{LICS2007,
author = {Baillot, Patrick and Coppola, Paolo and Dal Lago, Ugo},
title = {Light Logics and Optimal Reduction: Completeness and Complexity},
publisher = {IEEE Computer Society},
booktitle = {Logic in Computer Science, 22nd International Symposium, Proceedings},
year = {2007},
pages = {421-430}
}
@inproceedings{TIME2007,
author = {Dal Lago, Ugo and Montanari, Angelo and Puppis, Gabriele},
title = {On the Equivalence of Automaton-Based Representations of
Time Granularities},
booktitle = {14th International Symposium on Temporal Representation
and Reasoning, Proceedings},
year = {2007},
pages = {82-93},
publisher = {IEEE Computer Society}
}
@inproceedings{LICS2006,
author = {Dal Lago, Ugo},
title = {Context Semantics, Linear Logic and Computational Complexity},
booktitle = {Logic in Computer Science, 21th International Symposium, Proceedings},
year = {2006},
publisher = {IEEE Computer Society},
pages = {169-178},
note = {Winner of the 2006 Kleene Award for the best student paper presented at the LICS conference}
}
@inproceedings{CIE2006,
editor = {Arnold Beckmann, Ulrich Berger, Benedikt L\"owe and John Tucker},
author = {Dal Lago, Ugo and Martini, Simone},
title = {An Invariant Cost Model for the Lambda Calculus},
booktitle = {Logical Approaches to Computational Barriers, Second Conference on Computability in Europe},
year = {2006},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
volume = {3988},
pages = {105-114}
}
@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{TLCA2005,
editor = {Pawel Urzyczyn},
author = {Coppola, Paolo and
Dal Lago,Ugo and
Ronchi Della Rocca, Simona},
title = {Elementary Affine Logic and the Call-by-Value Lambda Calculus.},
booktitle = {Typed Lambda Calculi and Applications, 7th International Conference, Proceedings},
year = {2005},
pages = {131-145},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
volume = {3461}
}
@inproceedings{TYPES2003,
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
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}
}
@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}
}
@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}
}
@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{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}
}
@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}
}
This file was generated by bibtex2html 1.94.