S. Carpineti;
C. Laneve;
L. Padovani, PiDuce - A project for experimenting Web services technologies, «SCIENCE OF COMPUTER PROGRAMMING», 2009, 74/10, pp. 777 - 811 [Scientific article]
Padovani, Luca, Session Types at the Mirror, in: Proceedings of the 2nd Workshop on Interaction and Concurrency Experience, Waterloo, Open Publishing Association, 2009, 12, pp. 71 - 86 (atti di: 2nd Workshop on Interaction and Concurrency Experience, Bologna, Italy, 31 august 2009) [Contribution to conference proceedings]
G., Castagna; N., Gesbert; Padovani, Luca, A Theory of Contracts for Web Services, in: Conference Record of the Annual ACM Symposium on Principles of Programming Languages, USA, ACM, 2008, 43, pp. 261 - 272 (atti di: The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, 10-12 january 2008) [Contribution to conference proceedings]
Castagna, Giuseppe; Gesbert, Nils; Padovani, Luca, A theory of contracts for web services, in: Conference Record of the Annual ACM Symposium on Principles of Programming Languages, New York, ACM, 2008, pp. 261 - 272 (atti di: 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'08, San Francisco, CA, usa, 2008) [Contribution to conference proceedings]
Padovani, Luca, Contract-directed Synthesis of Simple Orchestrators, in: CONCUR 2008 - Concurrency Theory, DEU, Springer, 2008, LNCS 5201, pp. 131 - 146 (atti di: 19th International Conference on Concurrency Theory, Toronto, Canada, 19-22 august 2008) [Contribution to conference proceedings]
C. Laneve; L. Padovani, The Pairing of Contracts and Session Types, in: Concurrency, Graphs and Models, Heidelberg, Springer, 2008, pp. 681 - 700 (Lecture notes in computer science) [Chapter or essay]
Bernardo, Marco; Padovani, Luca, Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders, in: Proceedings of the 9th IFIP international conference on formal methods for open object-based distributed systems (FMOODS’07), DEU, Springer, 2007, LNCS 4468, pp. 269 - 284 (atti di: 9th IFIP international conference on formal methods for open object-based distributed systems (FMOODS’07), Cyprus, June 6-8 2007) [Contribution to conference proceedings]
C. Laneve; L. Padovani, The must preorder revisited, in: CONCUR 2007 – Concurrency Theory, 2007, 4703, pp. 212 - 225 (atti di: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007) [Contribution to conference proceedings]
Carpineti, Samuele; Castagna, G.; Laneve, Cosimo; Padovani, L., A formal account of contracts for web services, in: Web Services and Formal Methods, Third International Workshop, WS-FM 2006, Proceedings, Heidelberg, Springer, 2006, 4184, pp. 148 - 162 (atti di: Web Services and Formal Methods, Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006) [Contribution to conference proceedings]
Padovani, Luca; S., Zacchiroli, From Notation to Semantics: There and Back Again, in: Proceedings of the 5th international conference on mathematical knowledge management (MKM’06), DEU, Springer, 2006, LNAI 4108, pp. 194 - 207 (atti di: Mathematical Knowledge Management 2006, Wokingham, August 11-12, 2006) [Contribution to conference proceedings]
C. Laneve;
L. Padovani;
S. Carpineti, PiDuce, 2006. [Software]
Laneve C.; Padovani L., Smooth Orchestrators, in: Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, BERLIN / HEIDELBERG, Springer Verrlag, 2006, 3921, pp. 32 - 46 (atti di: Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Vienna, Marzo 2006) [Contribution to conference proceedings]
N. Busi; L. Padovani, A Distributed Implementation of Mobile Nets as Mobile Agents, in: Formal Methods for Open Object-Based Distributed Systems, Berlin, Springer, 2005, 3535, pp. 259 - 274 (atti di: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005) [Contribution to conference proceedings]
Padovani, Luca, Compilation of Generic Regular Path Expressions Using C++ Class Templates, in: Proceedings of the 14th International Conference on Compiler Construction, DEU, Springer, 2005, LNCS 3443, pp. 27 - 42 (atti di: 14th Conference on Compiler Construction, Edinburgh, 2-10 April 2005) [Contribution to conference proceedings]
L.Padovani; C.Sacerdoti Coen; S.Zacchiroli, A Generative Approach to the Implementation of Language Bindings for the Document Object Model, in: GABOR KARSAI, EELCO VISSER, Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings, s.l, Springer, 2004, 3286, pp. 469 - 487 [Contribution to conference proceedings]
