G. Delzanno; C. Di Giusto; M. Gabbrielli; C. Laneve; G. Zavattaro, The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages, in: Computational Methods in Systems Biology. Proceedings, BERLIN, Springer, 2009, 5688, pp. 158 - 172 (atti di: 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, Bologna, Italy, August 31-September 1, 2009) [Contribution to conference proceedings]
Delzanno, G; Di Giusto, C; Gabbrielli, M; Laneve, C; Zavattaro, G, The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages, in: Computational Methods in Systems Biology, 7th International Conference, {CMSB} 2009, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY, SPRINGER-VERLAG BERLIN, 2009, 5688, pp. 158 - 178 (atti di: Computational Methods in Systems Biology, 7th International Conference, {CMSB} 2009, Bologna, August 31-September 1, 2009) [Contribution to conference proceedings]
C. Laneve; F. Tarissan, A simple calculus for proteins and cells, «THEORETICAL COMPUTER SCIENCE», 2008, 404, pp. 127 - 141 [Scientific article]
C. Laneve; A. Vitale, Expressivity in the kappa Family, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2008, 218, pp. 97 - 109 [Scientific article]
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]
A. Credi; M. Garavelli; C. Laneve; S. Pradalier; S. Silvi; G. Zavattaro, nanoK: a Calculus for the Modeling and Simulation of nano devices, «THEORETICAL COMPUTER SCIENCE», 2008, 408(1), pp. 17 - 30 [Scientific article]
C. Laneve; F. Tarissan, A simple calculus with proteins and cells, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2007, 171(2), pp. 139 - 154 [Scientific article]
P. Gardner; C. Laneve; L. Wischik, Linear forwarders, «INFORMATION AND COMPUTATION», 2007, 205(10), pp. 1526 - 1550 [Scientific article]
N. Busi; M. Gabbrielli; C. Laneve; G. Zavattaro, Linguaggi di Programmazione e Sistemi Software, in: Fondamenti di Informatica, BOLOGNA, Zanichelli, 2007, pp. 137 - 177 [Chapter or essay]
A. Credi; M. Garavelli; C. Laneve; S. Pradalier; S. Silvi; G. Zavattaro, Modelization and Simulation of Nano Devices in k-Calculus, in: Computational Methods in Systems Biology. Proceedings, BERLIN, Springer, 2007, 4695, pp. 168 - 183 (atti di: International Conference on Computational Methods in Systems Biology, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007) [Contribution to conference proceedings]
V. Danos
C. Laneve, Proceedings of the First Workshop on Concurrent Models in Molecular Biology (BioConcur 2003), AMSTERDAM, Elsevier, 2007, pp. 80 (Electronic Notes in Theoretical Computer Science -- vol 180(3)). [Editorship]
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 S.; LANEVE C., A basic contract language for web services, in: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, BERLIN / HEIDELBERG, Springer Verlag, 2006, 3924, pp. 197 - 213 (atti di: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Vienna, Marzo 2006) [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]
C. Laneve; S. Carpineti, A rude contract language for web services, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 162, pp. 147 - 152 [Scientific article]
