CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
ItalianoLANEVE, COSIMO
Pubblicazioni
Risultati 1 - 20 di 59 (tempo di esecuzione: 0.001 secondi).
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | |
|---|---|---|---|---|---|---|
| 1 | A basic contract language for web services | CARPINETI S.; LANEVE C. | 2006 | Springer Verlag | 4.01 Contributo in Atti di convegno | |
| 2 | A Beginner's Guide to the DeadLock Analysis Model | Elena Giachino; Cosimo Laneve | 2013 | 4.01 Contributo in Atti di convegno | ||
| 3 | A rude contract language for web services | C. Laneve; S. Carpineti | 2006 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 1.01 Articolo in rivista | |
| 4 | A simple calculus for proteins and cells | C. Laneve; F. Tarissan | 2008 | THEORETICAL COMPUTER SCIENCE | 1.01 Articolo in rivista | |
| 5 | A simple calculus with proteins and cells | C. Laneve; F. Tarissan | 2007 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 1.01 Articolo in rivista | |
| 6 | Actors may synchronize, safely! | Giachino, Elena; Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo | 2016 | Association for Computing Machinery, Inc | 4.01 Contributo in Atti di convegno | |
| 7 | An algebraic theory for web service contracts | Laneve, Cosimo; Padovani, Luca | 2015 | FORMAL ASPECTS OF COMPUTING | 1.01 Articolo in rivista | |
| 8 | An Algebraic Theory for Web Service Contracts. | Cosimo Laneve; Luca Padovani | 2013 | 4.01 Contributo in Atti di convegno | ||
| 9 | Analysis of Deadlocks in Object Groups | Elena Giachino; Cosimo Laneve | 2011 | Springer | 4.01 Contributo in Atti di convegno | |
| 10 | 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 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno |
| 11 | Analysis of synchronisations in stateful active objects | Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo | 2017 | Springer | 4.01 Contributo in Atti di convegno | |
| 12 | BoPi: a distributed machine for experimenting web-services technologies | S. Carpineti; C. Laneve; P. Milazzo | 2005 | IEEE Computer Society Press | 4.01 Contributo in Atti di convegno | |
| 13 | Deadlock Analysis of Concurrent Objects: Theory and Practice | Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt; Peter Y. H. Wong | 2013 | 4.01 Contributo in Atti di convegno | ||
| 14 | Deadlock analysis of unbounded process networks | Kobayashi, Naoki; Laneve, Cosimo | 2017 | INFORMATION AND COMPUTATION | 1.01 Articolo in rivista | |
| 15 | Deadlock Analysis of Unbounded Process Networks | Elena Giachino;Naoki Kobayashi;Cosimo Laneve | 2014 | 4.01 Contributo in Atti di convegno | ||
| 16 | Deadlock Analysis of Wait-Notify Coordination | Laneve C.; Padovani L. | 2019 | Springer Verlag | 4.01 Contributo in Atti di convegno | |
| 17 | Deadlock Detection in Linear Recursive Programs | Elena Giachino;Cosimo Laneve | 2014 | Springer | 2.01 Capitolo / saggio in libro | |
| 18 | Deadlock detection of java bytecode | Laneve, Cosimo*; Garcia, Abel | 2018 | LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | Springer Verlag | 4.01 Contributo in Atti di convegno |
| 19 | Decidability Problems for Actor Systems | Frank S. Boer;Mahdi M. Jaghoori;Cosimo Laneve;Gianluigi Zavattaro | 2012 | Springer | 4.01 Contributo in Atti di convegno | |
| 20 | Decidability problems for actor systems | de Boer, F.S.; Jaghoori, M.M.; Laneve, C.; Zavattaro, G. | 2014 | LOGICAL METHODS IN COMPUTER SCIENCE | 1.01 Articolo in rivista |
Dettaglio
LANEVE, COSIMO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Copyright © 2020