cv.bib

@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 Conference, Post-Workshop Proceedings},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  NOTE = {To appear},
  YEAR = {2004}
}

@ARTICLE{TCS2004,
  AUTHOR = {Dal Lago, Ugo and Martini, Simone},
  TITLE = {Phase Semantics and Decidability of Elementary Affine Logic},
  JOURNAL = {Theoretical Computer Science},
  YEAR = {2004},
  NOTE = {To appear}
}