CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 38
Titolo Autore(i) Anno Periodico Editore Tipo File
On state classes and their dynamic semantics F. Damiani; E. Giachino; P. Giannini; E. Cazzola 2006-01-01 - INSTICC Press 4.01 Contributo in Atti di convegno -
Featherweight Wrap Java L. Bettini; S. Capecchi; E. Giachino 2007-01-01 - ACM Press 4.01 Contributo in Atti di convegno -
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 -
Featherweight Wrap Java: wrapping objects and methods L. Bettini; S. Capecchi; E. Giachino 2008-01-01 JOURNAL OF OBJECT TECHNOLOGY - 1.01 Articolo in rivista -
On Traits and Types in a Java-like Setting V. Bono; F. Damiani; E. Giachino 2008-01-01 - Springer 4.01 Contributo in Atti di convegno -
On state classes and their dynamic semantics F. Damiani; E. Giachino; P. Giannini; E. Cazzola 2008-01-01 - Springer 2.01 Capitolo / saggio in libro -
Session and Union Types for Object Oriented Programming Bettini, L.; Capecchi, S.; Dezani Ciancaglini, M.; Giachino, Elena; Venneri, B. 2008-01-01 - - 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 -
Foundations of Session Types G. Castagna; M. Dezani-Ciancaglini; E. Giachino; L. Padovani 2009-01-01 - ACM Press 4.01 Contributo in Atti di convegno -
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 -
Global Escape in Multiparty Sessions Capecchi, S.; Giachino, E.; Yoshida, N. 2010-01-01 - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 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 -
Session types revisited Ornela Dardha;Elena Giachino;Davide Sangiorgi 2012-01-01 - ACM 4.01 Contributo in Atti di convegno -
A Type System for Components Ornela Dardha;Elena Giachino;Michaël Lienhardt 2013-01-01 - - 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 -
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 -
SDA - Static Deadlock Analyzer for ABS Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt 2013-01-01 - - 7.04 Software -
Formal Methods for Components and Objects Elena Giachino;Reiner Hähnle;Frank S. de Boer;Marcello M. Bonsangue 2013-01-01 - Springer 3.02 Curatela -
A Beginner's Guide to the DeadLock Analysis Model Elena Giachino;
Cosimo Laneve 		2013-01-01 - - 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 -
Mostrati risultati da 1 a 20 di 38
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile