Titolo	Data di pubblicazione	Autore(i)
1	Session and Union Types for Object Oriented Programming	2008	Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani; Elena Giachino; Betti Venneri
2	Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse	2007	V. BONO; F. DAMIANI; E. GIACHINO
3	On Traits and Types in a Java-like Setting	2008	Viviana Bono; Ferruccio Damiani; Elena Giachino
4	On state classes and their dynamic semantics	2006	F. Damiani;E. Giachino;P. Giannini;E. Cazzola
5	On State Classes and Their Dynamic Semantics	2008	Ferruccio Damiani; Elena Giachino; Paola Giannini; Emanuele Cazzola
6	Global escape in multiparty sessions	2016	Capecchi, Sara; Giachino, Elena; Yoshida, Nobuko
7	Foundations of Session Types	2009	Giuseppe, Castagna; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca
8	Featherweight Wrap Java: wrapping objects and methods	2008	L. BETTINI; S. CAPECCHI; E. GIACHINO
9	Featherweight Wrap Java	2007	L. BETTINI; S. CAPECCHI; E. GIACHINO
10	Deriving Session and Union Types for Objects	2013	L. Bettini; S. Capecchi; Mariangiola Dezani; E. Giachino; B. Venneri
11	Bounded Session Types for Object-Oriented Languages	2007	M. DEZANI; E. GIACHINO; S. DROSSOPOULOU; N. YOSHIDA
12	Amalgamating Sessions and Methods in Object Oriented Languages with Generics	2009	Sara Capecchi; Mario Coppo; Mariangiola Dezani; Sophia Drossopoulou; Elena Giachino
13	Alias Types and Effects for "Environment-aware" Computations.	2008	Ferruccio Damiani; Elena Giachino; Paola Giannini
14	A type safe state abstraction for coordination in Java -like languages	2008	Ferruccio Damiani; Elena Giachino; Paola Giannini; Sophia Drossopoulou
15	A State Abstraction for Coordination in Java-like Languages	2006	F. DAMIANI; E. GIACHINO; P. GIANNINI; N. CAMERON; S. DROSSOPOULOU