Search the dblp DataBase

Publications of Author

1. Ugo Dal Lago, Marco Pistore, Paolo Traverso
   Planning with a Language for Extended Goals. [Citation Graph (0, 0)][DBLP]
   AAAI/IAAI, 2002, pp:447-454 [Conf]
   
2. Ugo Dal Lago, Simone Martini
   An Invariant Cost Model for the Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   CiE, 2006, pp:105-114 [Conf]
   
3. Ugo Dal Lago, Martin Hofmann
   Quantitative Models and Implicit Complexity. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2005, pp:189-200 [Conf]
   
4. Ugo Dal Lago
   On the Expressive Power of Light Affine Logic. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2003, pp:216-227 [Conf]
   
5. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
   Towards Compact and Tractable Automaten-Based Representations of Time Granularities. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2003, pp:72-85 [Conf]
   
6. Ugo Dal Lago
   The Geometry of Linear Higher-Order Recursion. [Citation Graph (0, 0)][DBLP]
   LICS, 2005, pp:366-375 [Conf]
   
7. Ugo Dal Lago
   Context Semantics, Linear Logic and Computational Complexity. [Citation Graph (0, 0)][DBLP]
   LICS, 2006, pp:169-178 [Conf]
   
8. Ugo Dal Lago, Angelo Montanari
   Calendars, Time Granularities, and Automata. [Citation Graph (0, 0)][DBLP]
   SSTD, 2001, pp:279-298 [Conf]
   
9. Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
   Elementary Affine Logic and the Call-by-Value Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   TLCA, 2005, pp:131-145 [Conf]
   
10. Ugo Dal Lago, Simone Martini, Luca Roversi
    Higher-Order Linear Ramified Recurrence. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:178-193 [Conf]
    
11. Ugo Dal Lago, Simone Martini
    Phase semantics and decidability of elementary affine logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:318, n:3, pp:409-433 [Journal]
    
12. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
    Compact and tractable automaton-based representations of time granularities. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:1-2, pp:115-141 [Journal]
    
13. Patrick Baillot, Paolo Coppola, Ugo Dal Lago
    Light Logics and Optimal Reduction: Completeness and Complexity. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:421-430 [Conf]
    
14. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
    On the Equivalence of Automaton-Based Representations of Time Granularities. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:82-93 [Conf]
    
15. Ugo Dal Lago, Andrea Masini, Margherita Zorzi
    Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
16. Patrick Baillot, Paolo Coppola, Ugo Dal Lago
    Light Logics and Optimal Reduction: Completeness and Complexity [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
17. Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen
    On Quasi-Interpretations, Blind Abstractions and Implicit Complexity [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
18. 
    Quantitative Game Semantics for Linear Logic. [Citation Graph (, )][DBLP]
    
    
19. 
    A Semantic Proof of Polytime Soundness of Light Affine Logic. [Citation Graph (, )][DBLP]
    
    
20. 
    Functional Programming in Sublinear Space. [Citation Graph (, )][DBLP]
    
    
21. 
    On Constructor Rewrite Systems and the Lambda-Calculus. [Citation Graph (, )][DBLP]
    
    
22. 
    Taming Modal Impredicativity: Superlazy Reduction. [Citation Graph (, )][DBLP]
    
    
23. 
    Bounded Linear Logic, Revisited. [Citation Graph (, )][DBLP]
    
    
24. 
    Quantitative Models and Implicit Complexity [Citation Graph (, )][DBLP]
    
    
25. 
    The Geometry of Linear Higher-Order Recursion [Citation Graph (, )][DBLP]
    
    
26. 
    Context Semantics, Linear Logic and Computational Complexity [Citation Graph (, )][DBLP]
    
    
27. 
    An Invariant Cost Model for the Lambda Calculus [Citation Graph (, )][DBLP]
    
    
28. 
    Light Logics and the Call-by-Value Lambda Calculus [Citation Graph (, )][DBLP]
    
    
29. 
    Taming Modal Impredicativity: Superlazy Reduction [Citation Graph (, )][DBLP]
    
    
30. 
    Bounded Linear Logic, Revisited [Citation Graph (, )][DBLP]
    
    
31. 
    On Constructor Rewrite Systems and the Lambda-Calculus [Citation Graph (, )][DBLP]
    
    
32. 
    Confluence Results for a Quantum Lambda Calculus with Measurements [Citation Graph (, )][DBLP]
    
    
33. 
    General Ramified Recurrence is Sound for Polynomial Time [Citation Graph (, )][DBLP]