LANEVE, COSIMO

LANEVE, COSIMO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 75 (tempo di esecuzione: 0.04 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 formal account of contracts for web services S. Carpineti; G. Castagna; C. Laneve; L. Padovani 2006-01-01 - Springer 4.01 Contributo in Atti di convegno -
A Formal Analysis of the Bitcoin Protocol Adele Veschetti,
Cosimo Laneve
2020-01-01 - Schloss Dagstuhl--Leibniz-Zentrum fur Informatik 4.01 Contributo in Atti di convegno laneve-veschetti.pdf
A framework for deadlock detection in core ABS Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael 2016-01-01 SOFTWARE AND SYSTEMS MODELING - 1.01 Articolo in rivista Giachino2016_Article_AFrameworkForDeadlockDetection.pdfSoSyM-Giachino-Laneve-Lienhardt.pdf
A lightweight deadlock analysis for programs with threads and reentrant locks Laneve, Cosimo* 2018-01-01 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Springer Verlag 4.01 Contributo in Atti di convegno -
A lightweight deadlock analysis for programs with threads and reentrant locks Laneve C. 2019-01-01 SCIENCE OF COMPUTER PROGRAMMING - 1.01 Articolo in rivista -
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 Kobayashi, Naoki; Laneve, Cosimo 2017-01-01 INFORMATION AND COMPUTATION - 1.01 Articolo in rivista concur2014.pdf