Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt, SDA - Static Deadlock Analyzer for ABS, 2013. [Software]
Frank S. Boer;Mahdi M. Jaghoori;Cosimo Laneve;Gianluigi Zavattaro, Decidability Problems for Actor Systems, in: Proceedings of CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Berlin, Springer, 2012, 7454, pp. 562 - 577 (atti di: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012) [Contribution to conference proceedings]
Elena Giachino; Cosimo Laneve, Analysis of Deadlocks in Object Groups, in: Lecture Notes in Computer Science, Springer, 2011, 6722, pp. 168 - 182 (atti di: r Distributed Systems, Reykjavik, June 6-9, 2011) [Contribution to conference proceedings]
Luca Cardelli; Cosimo Laneve, Reversibility in Massive Concurrent Systems, «SCIENTIFIC ANNALS OF COMPUTER SCIENCE», 2011, 21, pp. 175 - 198 [Scientific article]
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) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
C. Laneve;
T. Lascu;
V. Sordoni, The Interval Analysis of Multilinear Expressions, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2010, 267, pp. 43 - 53 (atti di: Tools for Automatic Program AnalysiS (TAPAS), Perpignan, France, 17 September 2010) [Contribution to conference proceedings]
C. Laneve; J. Su, Web Services and Formal Methods, 6th International Workshop, AMSTERDAM, Springer, 2010, pp. 195 (Lecture Notes in Computer Science). [Editorship]
C. Laneve; S. Pradalier; G. Zavattaro, From Biochemistry to Stochastic Processes, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2009, 253(3), pp. 167 - 185 (atti di: Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009), York, UK, March 28-29, 2009) [Contribution to conference proceedings]
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]
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]
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]
