| 2009 | ||
|---|---|---|
| 5 | Giuseppe Castagna, Nils Gesbert, Luca Padovani: A theory of contracts for Web services. ACM Trans. Program. Lang. Syst. 31(5): (2009) | |
| 2008 | ||
| 4 | Giuseppe Castagna, Nils Gesbert, Luca Padovani: A theory of contracts for web services. POPL 2008: 261-272 | |
| 2007 | ||
| 3 | Giuseppe Castagna, Nils Gesbert, Luca Padovani: A Theory of Contracts for Web Services. PLAN-X 2007: 37-48 | |
| 2004 | ||
| 2 | Nils Gesbert: Formalisation of Geographical Database Specifications. ADBIS (Local Proceedings) 2004 | |
| 1 | Nils Gesbert: Formalisation des spécifications de bases de données géographiques pour une meilleure compréhension des données. INFORSID 2004: 267-281 | |
| 1 | Giuseppe Castagna | [3] [4] [5] |
| 2 | Luca Padovani | [3] [4] [5] |