 | 2011 |
| 16 |  | Sara Capecchi,
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini:
Information Flow Safety in Multiparty Sessions
EXPRESS 2011: 16-30 |
| 2010 |
| 15 |  | Sara Capecchi,
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
Tamara Rezk:
Session Types for Access and Information Flow Control.
CONCUR 2010: 237-252 |
| 14 |  | Sara Capecchi,
Angelo Troina:
Types for BioAmbients
FBTC 2010: 103-115 |
| 13 |  | Sara Capecchi,
Elena Giachino,
Nobuko Yoshida:
Global Escape in Multiparty Sessions.
FSTTCS 2010: 338-351 |
| 2009 |
| 12 |  | Lorenzo Bettini,
Sara Capecchi,
Betti Venneri:
A Safe Implementation of Dynamic Overloading in Java-Like Languages.
FSEN 2009: 455-462 |
| 11 |  | Franco Barbanera,
Sara Capecchi,
Ugo de'Liguoro:
Typing Asymmetric Client-Server Interaction.
FSEN 2009: 97-112 |
| 10 |  | Lorenzo Bettini,
Sara Capecchi,
Betti Venneri:
Dynamic overloading with copy semantics in object-oriented languages: a formal account.
ITA 43(3): 517-565 (2009) |
| 9 |  | Lorenzo Bettini,
Sara Capecchi,
Betti Venneri:
Featherweight Java with dynamic and static overloading.
Sci. Comput. Program. 74(5-6): 261-278 (2009) |
| 8 |  | 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 |
| 7 |  | 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 |
| 6 |  | Lorenzo Bettini,
Sara Capecchi,
Elena Giachino:
Featherweight Wrap Java: wrapping objects and methods.
Journal of Object Technology 7(2): 5-29 (2008) |
| 2007 |
| 5 |  | Lorenzo Bettini,
Sara Capecchi,
Betti Venneri:
Featherweight Java with multi-methods.
PPPJ 2007: 83-92 |
| 4 |  | Lorenzo Bettini,
Sara Capecchi,
Elena Giachino:
Featherweight wrap Java.
SAC 2007: 1094-1100 |
| 2006 |
| 3 |  | Lorenzo Bettini,
Sara Capecchi,
Betti Venneri:
Double dispatch in C++.
Softw., Pract. Exper. 36(6): 581-613 (2006) |
| 2005 |
| 2 |  | Lorenzo Bettini,
Sara Capecchi,
Betti Venneri:
Translating Double Dispatch into Single Dispatch.
Electr. Notes Theor. Comput. Sci. 138(2): 59-78 (2005) |
| 2003 |
| 1 |  | Lorenzo Bettini,
Sara Capecchi,
Betti Venneri:
Extending Java to dynamic object behaviors.
Electr. Notes Theor. Comput. Sci. 82(7): 33-52 (2003) |