Search the dblp DataBase

Publications of Author

1. Luca Padovani
   Compilation of Generic Regular Path Expressions Using C++ Class Templates. [Citation Graph (0, 0)][DBLP]
   CC, 2005, pp:27-42 [Conf]
   
2. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
   XML, Stylesheets and the Re-mathematization of Formal Content. [Citation Graph (0, 0)][DBLP]
   Extreme Markup Languages®, 2001, pp:- [Conf]
   
3. Paolo Casarini, Luca Padovani
   The Gnome DOM Engine. [Citation Graph (0, 0)][DBLP]
   Extreme Markup Languages®, 2001, pp:- [Conf]
   
4. Nadia Busi, Luca Padovani
   A Distributed Implementation of Mobile Nets as Mobile Agents. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2005, pp:259-274 [Conf]
   
5. Cosimo Laneve, Luca Padovani
   Smooth Orchestrators. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2006, pp:32-46 [Conf]
   
6. Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli
   A Generative Approach to the Implementation of Language Bindings for the Document Object Model. [Citation Graph (0, 0)][DBLP]
   GPCE, 2004, pp:469-487 [Conf]
   
7. Luca Padovani, Alessandro Provetti
   Qsmodels: ASP Planning in Interactive Gaming Environment. [Citation Graph (0, 0)][DBLP]
   JELIA, 2004, pp:689-692 [Conf]
   
8. Luca Padovani, Stefano Zacchiroli
   From Notation to Semantics: There and Back Again. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:194-207 [Conf]
   
9. Luca Padovani
   On the Roles of L^AT_EX and MathML in Encoding and Processing Mathematical Expressions. [Citation Graph (0, 0)][DBLP]
   MKM, 2003, pp:66-79 [Conf]
   
10. Luca Padovani, Riccardo Solmi
    An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:302-316 [Conf]
    
11. Giuseppe Castagna, Nils Gesbert, Luca Padovani
    A Theory of Contracts for Web Services. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2007, pp:37-48 [Conf]
    
12. Luca Padovani
    Interactive Editing of MathML Markup Using TEX Syntax. [Citation Graph (0, 0)][DBLP]
    TEX, XML, and Digital Typography, 2004, pp:125-138 [Conf]
    
13. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
    HELM and the Semantic Math-Web. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:59-74 [Conf]
    
14. Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani
    A Formal Account of Contracts for Web Services. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:148-162 [Conf]
    
15. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena
    Mathematical Knowledge Management in HELM. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:27-46 [Journal]
    
16. Cosimo Laneve, Luca Padovani
    The Must Preorder Revisited. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:212-225 [Conf]
    
17. Marco Bernardo, Luca Padovani
    Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:269-284 [Conf]
    
18. 
    The Pairing of Contracts and Session Types. [Citation Graph (, )][DBLP]
    
    
19. 
    Contract-Directed Synthesis of Simple Orchestrators. [Citation Graph (, )][DBLP]
    
    
20. 
    Contracts for Mobile Processes. [Citation Graph (, )][DBLP]
    
    
21. 
    A theory of contracts for web services. [Citation Graph (, )][DBLP]
    
    
22. 
    Foundations of session types. [Citation Graph (, )][DBLP]
    
    
23. 
    Contract-Based Discovery and Adaptation of Web Services. [Citation Graph (, )][DBLP]
    
    
24. 
    Session Types at the Mirror [Citation Graph (, )][DBLP]