MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ugo Dal Lago" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Context semantics, linear logic and computational complexity
by Ugo Dal Lago — 2006 — In Proc. 21th IEEE Syposium on Logic in Computer Science
… ∗ Ugo Dal Lago Laboratoire d’Informatique de Paris-Nord Université Paris 13, France dallago…
Cited by 3 (2 self) – Add To MetaCart

Calendars, time granularities, and automata
by Ugo Dal Lago, Angelo Montanari — 2001 — In Proceedings of the 7th International Symposium on Spatial and Temporal Databases (SSTD), volume 2121 of LNCS
…Calendars, Time Granularities, and Automata Ugo Dal Lago and Angelo Montanari Dipartimento di…
Cited by 11 (4 self) – Add To MetaCart

Higher-Order Linear Ramified Recurrence
by Ugo Dal Lago, Simone Martini, Luca Roversi — 2004
…Higher-Order Linear Ramied Recurrence ? Ugo Dal Lago 1 , Simone Martini 1 , and Luca Roversi…
Add To MetaCart

Towards compact and tractable automaton-based representations of time granularity
by Ugo Dal Lago, Angelo Montanari, Time Granularities — 2003 — In Proceedings of the 8th Italian Conference on Theoretical Computer Science (ICTCS), volume 2841 of LNCS
…Towards Compact and Tractable Automaton-based Representations of Time Granularities Ugo Dal Lago 1…
Cited by 6 (2 self) – Add To MetaCart

Extending PDDL to nondeterminism, limited sensing and iterative conditional
by Plans Piergiorgio Bertoli, Piergiorgio Bertoli, Alessandro Cimatti, Ugo Dal Lago, Marco Pistore
… Bertoli 1 , Alessandro Cimatti 1 , Ugo Dal Lago 2 , Marco Pistore 1,3 1 IRST - Istituto Trentino…
Cited by 7 (1 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB