LANEVE, COSIMO

LANEVE, COSIMO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 72 (tempo di esecuzione: 0.038 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
A basic contract language for web services CARPINETI S.; LANEVE C. 2006-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
A Beginner's Guide to the DeadLock Analysis Model Elena Giachino;
Cosimo Laneve
2013-01-01 - - 4.01 Contributo in Atti di convegno -
A rude contract language for web services C. Laneve; S. Carpineti 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
A simple calculus for proteins and cells C. Laneve; F. Tarissan 2008-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
A simple calculus with proteins and cells C. Laneve; F. Tarissan 2007-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Actors may synchronize, safely! Giachino, Elena; Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo 2016-01-01 - Association for Computing Machinery, Inc 4.01 Contributo in Atti di convegno -
An algebraic theory for web service contracts Laneve, Cosimo; Padovani, Luca 2015-01-01 FORMAL ASPECTS OF COMPUTING - 1.01 Articolo in rivista ifm2013full.pdf
An Algebraic Theory for Web Service Contracts. Cosimo Laneve;
Luca Padovani
2013-01-01 - - 4.01 Contributo in Atti di convegno -
Analysis of Deadlocks in Object Groups Elena Giachino; Cosimo Laneve 2011-01-01 - Springer 4.01 Contributo in Atti di convegno -
Analysis of SLA compliance in the cloud: An automated, model-based approach de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G. 2019-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association 4.01 Contributo in Atti di convegno 1908.10040v1.pdf
Analysis of smart contracts balances Cosimo Laneve; Claudio Sacerdoti Coen 2021-01-01 BLOCKCHAIN: RESEARCH AND APPLICATIONS - 1.01 Articolo in rivista ana.pdf
Analysis of synchronisations in stateful active objects Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo 2017-01-01 - Springer 4.01 Contributo in Atti di convegno -
BoPi: a distributed machine for experimenting web-services technologies S. Carpineti; C. Laneve; P. Milazzo 2005-01-01 - IEEE Computer Society Press 4.01 Contributo in Atti di convegno -
Deadlock Analysis of Concurrent Objects: Theory and Practice Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt; Peter Y. H. Wong 2013-01-01 - - 4.01 Contributo in Atti di convegno -
Deadlock Analysis of Unbounded Process Networks Elena Giachino;Naoki Kobayashi;Cosimo Laneve 2014-01-01 - - 4.01 Contributo in Atti di convegno -
Deadlock analysis of unbounded process networks Kobayashi, Naoki; Laneve, Cosimo 2017-01-01 INFORMATION AND COMPUTATION - 1.01 Articolo in rivista concur2014.pdf
Deadlock Analysis of Wait-Notify Coordination Laneve C.; Padovani L. 2019-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno LNCS11760-2019.pdf
Deadlock Detection in Linear Recursive Programs Elena Giachino;Cosimo Laneve 2014-01-01 - Springer 2.01 Capitolo / saggio in libro -
Deadlock detection of java bytecode Laneve, Cosimo*; Garcia, Abel 2018-01-01 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Springer Verlag 4.01 Contributo in Atti di convegno -
Decidability Problems for Actor Systems Frank S. Boer;Mahdi M. Jaghoori;Cosimo Laneve;Gianluigi Zavattaro 2012-01-01 - Springer 4.01 Contributo in Atti di convegno -