Sara Capecchi

	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)

Coauthor Index

1	Franco Barbanera	[11]
2	Lorenzo Bettini	[1] [2] [3] [4] [5] [6] [7] [9] [10] [12]
3	Ilaria Castellani	[15] [16]
4	Mario Coppo	[8]
5	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[7] [8] [15] [16]
6	Sophia Drossopoulou	[8]
7	Elena Giachino	[4] [6] [7] [8] [13]
8	Tamara Rezk	[15]
9	Angelo Troina	[14]
10	Betti Venneri	[1] [2] [3] [5] [7] [9] [10] [12]
11	Nobuko Yoshida	[13]
12	Ugo de'Liguoro	[11]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page