dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Cosimo Laneve (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamuele Carpineti, Cosimo Laneve, Luca Padovani: PiDuce - A project for experimenting Web services technologies. Sci. Comput. Program. 74(10): 777-811 (2009)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosimo Laneve, Luca Padovani: The Pairing of Contracts and Session Types. Concurrency, Graphs and Models 2008: 681-700
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosimo Laneve, Luca Padovani: The Must Preorder Revisited. CONCUR 2007: 212-225
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosimo Laneve, Luca Padovani: Smooth Orchestrators. FoSSaCS 2006: 32-46
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani: A Formal Account of Contracts for Web Services. WS-FM 2006: 148-162

Selection of 5 from 65 records - Cosimo Laneve has 42 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page