| |
| 2008 | ||
|---|---|---|
| 4 | EE | Giuseppe Castagna, Nils Gesbert, Luca Padovani: A theory of contracts for web services. POPL 2008: 261-272 |
| 2007 | ||
| 3 | EE | Giuseppe Castagna, Nils Gesbert, Luca Padovani: A Theory of Contracts for Web Services. PLAN-X 2007: 37-48 |
| 2004 | ||
| 2 | EE | 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] |
| 2 | Luca Padovani | [3] [4] |