GIACHINO, ELENA
Dettaglio
GIACHINO, ELENA
Personale tecnico amm.vo
Pubblicazioni
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.003 secondi).
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
---|---|---|---|---|---|---|---|
1 | A Beginner's Guide to the DeadLock Analysis Model | Elena Giachino; Cosimo Laneve | 2013 | 4.01 Contributo in Atti di convegno | - | ||
2 | A Type System for Components | Ornela Dardha;Elena Giachino;Michaël Lienhardt | 2013 | 4.01 Contributo in Atti di convegno | - | ||
3 | 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 | - | |
4 | Alias Types and effects for “environment-aware” computations | F. Damiani; E. Giachino; P. Giannini | 2008 | FUNDAMENTA INFORMATICAE | 1.01 Articolo in rivista | - | |
5 | Amalgamating Sessions and Methods in Object Oriented Languages with Generics | S. Capecchi; M. Coppo; M. Dezani-Ciancaglini; S. Drossopoulou; E. Giachino | 2009 | THEORETICAL COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
6 | Analysis of Deadlocks in Object Groups | Elena Giachino; Cosimo Laneve | 2011 | Springer | 4.01 Contributo in Atti di convegno | - | |
7 | 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 | |
8 | Behavioral Types in Programming Languages | Yoshida, Nobuko; Vasconcelos, Vasco T.; Padovani, Luca; Bono, Nicholas Ng; Neykova, Rumyana; Mont...esi, Fabrizio; Mascardi, Viviana; Martins, Francisco; Johnsen, Einar Broch; Hu, Raymond; Giachino, Elena; Gesbert, Nils; Gay, Simon J.; Deniélou, Pierre Malo; Castagna, Giuseppe; Campos, Joana; Bravetti, Mario; Bono, Viviana; Ancona, Davide | 2016 | FOUNDATIONS AND TRENDS® IN PROGRAMMING LANGUAGES | 1.01 Articolo in rivista | - | |
9 | Bounded Session Types for Object-Oriented Languages | Dezani Ciancaglini, M.; Giachino, Elena; Drossopoulou, S.; Yoshida, N. | 2007 | SPRINGER-VERLAG BERLIN | 4.01 Contributo in Atti di convegno | - | |
10 | CaReDeb | Elena Giachino; Ivan Lanese; Claudio Antares Mezzina | 2014 | 7.04 Software | - | ||
11 | Causal-consistent reversibility in a tuple-based language | Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco | 2015 | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - | |
12 | Causal-Consistent Reversible Debugging | Elena Giachino;Ivan Lanese;Claudio Antares Mezzina | 2014 | Springer Berlin Heidelberg | 4.01 Contributo in Atti di convegno | - | |
13 | Causal-consistent rollback in a tuple-based language | Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco | 2017 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 1.01 Articolo in rivista | - | |
14 | 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 | - | ||
15 | Deadlock Analysis of Unbounded Process Networks | Elena Giachino;Naoki Kobayashi;Cosimo Laneve | 2014 | 4.01 Contributo in Atti di convegno | - | ||
16 | Deadlock Detection in Linear Recursive Programs | Elena Giachino;Cosimo Laneve | 2014 | Springer | 2.01 Capitolo / saggio in libro | - | |
17 | Deriving session and union types for objects | LORENZO BETTINI;SARA CAPECCHI;MARIANGIOLA DEZANI-CIANCAGLINI;ELENA GIACHINO;BETTI VENNERI | 2013 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
18 | DF4ABS - Deadlock Framework for ABS | Garcia, Abel; Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael | 2014 | 7.04 Software | - | ||
19 | Dynamic Rebinding for Concurrent Object Groups: Theory and practice | Bravetti, Mario; Giachino, Elena; Lienhardt, Michael; Wong, Peter Y. H. | 2017 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 1.01 Articolo in rivista | - | |
20 | Featherweight Wrap Java | L. Bettini; S. Capecchi; E. Giachino | 2007 | ACM Press | 4.01 Contributo in Atti di convegno | - |