Luca Padovani

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Andrea Asperti [1] [2] [4]
2Marco Bernardo [16]
3Nadia Busi [10]
4Samuele Carpineti [12]
5Paolo Casarini [3]
6Giuseppe Castagna [12] [15] [18]
7Claudio Sacerdoti Coen [1] [2] [4] [9]
8Nils Gesbert [15] [18]
9Ferruccio Guidi [4]
10Cosimo Laneve [12] [14] [17] [19]
11Alessandro Provetti [8]
12Irene Schena [1] [2] [4]
13Riccardo Solmi [7]
14Stefano Zacchiroli [9] [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)