Foto del docente

Cosimo Laneve

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

Luca Cardelli; Cosimo Laneve, Reversibility in Massive Concurrent Systems, «SCIENTIFIC ANNALS OF COMPUTER SCIENCE», 2011, 21, pp. 175 - 198 [articolo]

Cardelli Luca; Cosimo Laneve, Reversible structures, in: Computational Methods in Systems Biology, 9th International Conference, ACM, 2011, pp. 131 - 140 (atti di: Computational Methods in Systems Biology, 9th International Conference, CMSB 2011, Parigi, September 21-23, 2011) [Contributo in Atti di convegno]

C. Laneve; A. Vitale, The Expressive Power of Synchronizations, in: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, NY, IEEE Computer Society, 2010, --, pp. 382 - 391 (atti di: 25th Annual IEEE Symposium on Logic in Computer Science, Edimburgo, 11-14 July 2010) [Contributo in Atti di convegno]

C. Laneve; T. Lascu; V. Sordoni, The Interval Analysis of Multilinear Expressions, in: , 2010, 267, pp. 43 - 53 (atti di: Tools for Automatic Program AnalysiS (TAPAS), Perpignan, France, 17 September 2010) [Contributo in Atti di convegno]

C. Laneve; J. Su, Web Services and Formal Methods, 6th International Workshop, AMSTERDAM, Springer, 2010, pp. 195 (Lecture Notes in Computer Science). [curatela]

C. Laneve; S. Pradalier; G. Zavattaro, From Biochemistry to Stochastic Processes, in: , 2009, 253(3), pp. 167 - 185 (atti di: Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009), York, UK, March 28-29, 2009) [Contributo in Atti di convegno]

S. Carpineti; C. Laneve; L. Padovani, PiDuce - A project for experimenting Web services technologies, «SCIENCE OF COMPUTER PROGRAMMING», 2009, 74/10, pp. 777 - 811 [articolo]

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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2009, 5688, pp. 158 - 178 (atti di: Computational Methods in Systems Biology, 7th International Conference, {CMSB} 2009, Bologna, August 31-September 1, 2009) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

C. Laneve; F. Tarissan, A simple calculus for proteins and cells, «THEORETICAL COMPUTER SCIENCE», 2008, 404, pp. 127 - 141 [articolo]

C. Laneve; A. Vitale, Expressivity in the kappa Family, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2008, 218, pp. 97 - 109 [articolo]

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 [articolo]

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) [capitolo di libro]

C. Laneve; F. Tarissan, A simple calculus with proteins and cells, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2007, 171(2), pp. 139 - 154 [articolo]

P. Gardner; C. Laneve; L. Wischik, Linear forwarders, «INFORMATION AND COMPUTATION», 2007, 205(10), pp. 1526 - 1550 [articolo]