GIACHINO, ELENA

GIACHINO, ELENA  

ARTEC - AREA RAPPORTI IMPRESE, TERZA MISSIONE E COMUNICAZIONE WEB  

Personale tecnico amm.vo  

Mostra records
Risultati 1 - 20 di 39 (tempo di esecuzione: 0.03 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
A Beginner's Guide to the DeadLock Analysis Model Elena Giachino;
Cosimo Laneve
2013-01-01 - - 4.01 Contributo in Atti di convegno -
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 type safe state abstraction for coordination in Java-like languages Damiani, F.; Giachino, Elena; Giannini, P.; Drossopoulou, S. 2008-01-01 ACTA INFORMATICA - 1.01 Articolo in rivista -
A Type System for Components Ornela Dardha;Elena Giachino;Michaël Lienhardt 2013-01-01 - - 4.01 Contributo in Atti di convegno -
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 -
Alias Types and effects for “environment-aware” computations F. Damiani; E. Giachino; P. Giannini 2008-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
Amalgamating Sessions and Methods in Object Oriented Languages with Generics S. Capecchi; M. Coppo; M. Dezani-Ciancaglini; S. Drossopoulou; E. Giachino 2009-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
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
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-01-01 FOUNDATIONS AND TRENDS® IN PROGRAMMING LANGUAGES - 1.01 Articolo in rivista BETTY_WG3_SOAR.pdf
Bounded Session Types for Object-Oriented Languages Dezani Ciancaglini, M.; Giachino, Elena; Drossopoulou, S.; Yoshida, N. 2007-01-01 - SPRINGER-VERLAG BERLIN 4.01 Contributo in Atti di convegno -
CaReDeb Elena Giachino; Ivan Lanese; Claudio Antares Mezzina 2014-01-01 - - 7.04 Software -
Causal-consistent reversibility in a tuple-based language Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco 2015-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno -
Causal-Consistent Reversible Debugging Elena Giachino;Ivan Lanese;Claudio Antares Mezzina 2014-01-01 - Springer Berlin Heidelberg 4.01 Contributo in Atti di convegno -
Causal-consistent rollback in a tuple-based language Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco 2017-01-01 THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING - 1.01 Articolo in rivista -
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 Detection in Linear Recursive Programs Elena Giachino;Cosimo Laneve 2014-01-01 - Springer 2.01 Capitolo / saggio in libro -
Deriving session and union types for objects LORENZO BETTINI;SARA CAPECCHI;MARIANGIOLA DEZANI-CIANCAGLINI;ELENA GIACHINO;BETTI VENNERI 2013-01-01 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
DF4ABS - Deadlock Framework for ABS Garcia, Abel; Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael 2014-01-01 - - 7.04 Software -