 | 2011 |
|---|
| 12 |       | Elena Giachino,
Cosimo Laneve:
Analysis of Deadlocks in Object Groups.
FMOODS/FORTE 2011: 168-182 |
| 2010 |
|---|
| 11 | | Sara Capecchi,
Elena Giachino,
Nobuko Yoshida:
Global Escape in Multiparty Sessions.
FSTTCS 2010: 338-351 |
| 2009 |
|---|
| 10 | | Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
Elena Giachino,
Luca Padovani:
Foundations of session types.
PPDP 2009: 219-230 |
| 9 | | Sara Capecchi,
Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Sophia Drossopoulou,
Elena Giachino:
Amalgamating sessions and methods in object-oriented languages with generics.
Theor. Comput. Sci. 410(2-3): 142-167 (2009) |
| 2008 |
|---|
| 8 | | Lorenzo Bettini,
Sara Capecchi,
Mariangiola Dezani-Ciancaglini,
Elena Giachino,
Betti Venneri:
Session and Union Types for Object Oriented Programming.
Concurrency, Graphs and Models 2008: 659-680 |
| 7 | | Viviana Bono,
Ferruccio Damiani,
Elena Giachino:
On Traits and Types in a Java-like Setting.
IFIP TCS 2008: 367-382 |
| 6 | | Ferruccio Damiani,
Elena Giachino,
Paola Giannini,
Sophia Drossopoulou:
A type safe state abstraction for coordination in Java -like languages.
Acta Inf. 45(7-8): 479-536 (2008) |
| 5 | | Ferruccio Damiani,
Elena Giachino,
Paola Giannini:
Alias Types and Effects for "Environment-aware" Computations.
Fundam. Inform. 88(1-2): 63-107 (2008) |
| 4 | | Lorenzo Bettini,
Sara Capecchi,
Elena Giachino:
Featherweight Wrap Java: wrapping objects and methods.
Journal of Object Technology 7(2): 5-29 (2008) |
| 2007 |
|---|
| 3 | | Lorenzo Bettini,
Sara Capecchi,
Elena Giachino:
Featherweight wrap Java.
SAC 2007: 1094-1100 |
| 2006 |
|---|
| 2 | | Mariangiola Dezani-Ciancaglini,
Elena Giachino,
Sophia Drossopoulou,
Nobuko Yoshida:
Bounded Session Types for Object Oriented Languages.
FMCO 2006: 207-245 |
| 1 |  | Ferruccio Damiani,
Elena Giachino,
Paola Giannini,
Emanuele Cazzola:
On state classes and their dynamic semantics.
ICSOFT (1) 2006: 5-12 |
Data released under the ODC-BY 1.0 license — See also our legal information page