Samuele Carpineti

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

University of Bologna, Italy (PHD)

Education History

University of Bologna, Italy

PHD

Publications

Samuele Carpineti, Cosimo Laneve, Luca Padovani
PiDuce - A project for experimenting Web services technologies. Sci. Comput. Program. 74 (10) (2009)
Samuele Carpineti, Cosimo Laneve
A Basic Contract Language for Web Services. ESOP (2006)
Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani
A Formal Account of Contracts for Web Services. WS-FM (2006)
Samuele Carpineti, Cosimo Laneve
A Rude Contract Language for Web Services. Electron. Notes Theor. Comput. Sci. 162 (2006)
Samuele Carpineti, Cosimo Laneve, Paolo Milazzo
BoPi - A Distributed Machine for Experimenting Web Services Technologies. ACSD (2005)