Lorenzo Bettini

	2009
49		Alexandre Bergel, Lorenzo Bettini: Reverse Generics - Parametrization after the Fact. ICSOFT (1) 2009: 39-46
48		Lorenzo Bettini, Viviana Bono, Erica Turin: I-Java: An Extension of Java with Incomplete Objects and Object Composition. Software Composition 2009: 27-44
47		Lorenzo Bettini, Sara Capecchi, Betti Venneri: Dynamic overloading with copy semantics in object-oriented languages: a formal account. ITA 43(3): 517-565 (2009)
46		Lorenzo Bettini, Sara Capecchi, Betti Venneri: Featherweight Java with dynamic and static overloading. Sci. Comput. Program. 74(5-6): 261-278 (2009)
	2008
45		Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida: Global Progress in Dynamically Interleaved Multiparty Sessions. CONCUR 2008: 418-433
44		Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Session Centered Calculi. COORDINATION 2008: 17-32
43		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
42		Lorenzo Bettini, Viviana Bono, Marco Naddeo: A trait based re-engineering technique for Java hierarchies. PPPJ 2008: 149-158
41		Lorenzo Bettini, Viviana Bono: Type safe dynamic object delegation in class-based languages. PPPJ 2008: 171-180
40		Lorenzo Bettini, Viviana Bono, Betti Venneri: Object Incompleteness and Dynamic Composition in Java-Like Languages. TOOLS (46) 2008: 198-217
39		Lorenzo Bettini: Timed buffers: A technique for update propagation in nomadic environments. Computer Communications 31(14): 3209-3222 (2008)
38		Viviana Bono, Betti Venneri, Lorenzo Bettini: A typed lambda calculus with intersection types. Theor. Comput. Sci. 398(1-3): 95-113 (2008)
	2007
37		Lorenzo Bettini, Sara Capecchi, Betti Venneri: Featherweight Java with multi-methods. PPPJ 2007: 83-92
36		Lorenzo Bettini, Sara Capecchi, Elena Giachino: Featherweight wrap Java. SAC 2007: 1094-1100
35		Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti: Implementing a Distributed Mobile Calculus Using the IMC Framework. Electr. Notes Theor. Comput. Sci. 181: 63-79 (2007)
	2006
34		Lorenzo Bettini, Sara Capecchi, Betti Venneri: Double dispatch in C++. Softw., Pract. Exper. 36(6): 581-613 (2006)
	2005
33		Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti: A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. DAIS 2005: 181-193
32		Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe Object Composition in the Presence of Subtyping. ICTCS 2005: 128-142
31		Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe and flexible objects. SAC 2005: 1258-1263
30		Lorenzo Bettini, Rocco De Nicola: Mobile Distributed Programming in X-Klaim. SFM 2005: 29-68
29		Lorenzo Bettini, Betti Venneri, Viviana Bono: MOMI: a calculus for mobile mixins. Acta Inf. 42(2-3): 143-190 (2005)
28		Lorenzo Bettini: Data Privacy in Tuple Space Based Mobile Agent Systems. Electr. Notes Theor. Comput. Sci. 128(5): 3-16 (2005)
27		Lorenzo Bettini, Sara Capecchi, Betti Venneri: Translating Double Dispatch into Single Dispatch. Electr. Notes Theor. Comput. Sci. 138(2): 59-78 (2005)
26		Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe and Flexible Objects with Subtyping. Journal of Object Technology 4(10): 5-29 (2005)
	2004
25		Lorenzo Bettini, Viviana Bono, Betti Venneri: O'Klaim: A Coordination Language with Mobile Mixins. COORDINATION 2004: 20-38
24		Lorenzo Bettini: A Java Package for Transparent Code Mobility. FIDJI 2004: 112-122
23		Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos: A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. Global Computing 2004: 179-207
22		Lorenzo Bettini, Pilu Crescenzi, Gaia Innocenti, Michele Loreti, Leonardo Cecchi: An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses. ICALT 2004
21		Lorenzo Bettini, Viviana Bono, Betti Venneri: Subtyping-Inheritance Conflicts: The Mobile Mixin Case. IFIP TCS 2004: 451-464
20		Lorenzo Bettini, Viviana Bono, Silvia Likavec: A core calculus of mixins and incomplete objects. OOPSLA Companion 2004: 208-209
19		Lorenzo Bettini, Viviana Bono, Silvia Likavec: A core calculus of higher-order mixins and classes. SAC 2004: 1508-1509
18		Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Autom. Softw. Eng. 11(3): 245-288 (2004)
	2003
17		Lorenzo Bettini: A Java Package for Class and Mixin Mobility in a Distributed Setting. FIDJI 2003: 12-22
16		Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri: The Klaim Project: Theory and Practice. Global Computing 2003: 88-150
15		Lorenzo Bettini, Viviana Bono, Silvia Likavec: A Core Calculus of Higher-Order Mixins and Classes. TYPES 2003: 83-98
14		Lorenzo Bettini, Sara Capecchi, Betti Venneri: Extending Java to dynamic object behaviors. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
	2002
13		Lorenzo Bettini, Viviana Bono, Betti Venneri: Coordinating Mobile Object-Oriented Code. COORDINATION 2002: 56-71
12		Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87
11		Lorenzo Bettini, Rocco De Nicola: A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. FIDJI 2002: 175-184
10		Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Software update via mobile agent based programming. SAC 2002: 32-36
9		Lorenzo Bettini, Michele Loreti, Rosario Pugliese: An infrastructure language for open nets. SAC 2002: 373-377
8		Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese: Klava: a Java package for distributed and mobile applications. Softw., Pract. Exper. 32(14): 1365-1394 (2002)
	2001
7		Lorenzo Bettini, Rocco De Nicola: Translating Strong Mobility into Weak Mobility. Mobile Agents 2001: 182-197
6		Lorenzo Bettini, Michele Loreti, Rosario Pugliese: Modelling Node Connectivity in Dynamically Evolving Networks. Electr. Notes Theor. Comput. Sci. 54: (2001)
5		Lorenzo Bettini, Viviana Bono, Betti Venneri: Towards Object-Oriented Klaim. Electr. Notes Theor. Comput. Sci. 62: (2001)
4		Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese: XKlaim and Klava: Programming Mobile Code. Electr. Notes Theor. Comput. Sci. 62: (2001)
	2000
3		Lorenzo Bettini, Michele Loreti, Rosario Pugliese: Structured Nets in KLAIM. SAC (1) 2000: 174-180
2		Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Mobile Applications in X-KLAIM. WOA 2000: 1-6
	1998
1		Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian Luigi Ferrari: Interactive Mobile Agents in X-Klaim. WETICE 1998: 110-117

Coauthor Index

1	Alexandre Bergel	[49]
2	Viviana Bono	[5] [13] [15] [16] [19] [20] [21] [25] [26] [29] [31] [32] [38] [40] [41] [42] [48]
3	Sara Capecchi	[14] [27] [34] [36] [37] [43] [46] [47]
4	Leonardo Cecchi	[22]
5	Mario Coppo	[45]
6	Pierluigi Crescenzi (Pilu Crescenzi)	[22]
7	Loris D'Antoni	[45]
8	Mariangiola Dezani-Ciancaglini	[43] [45]
9	Daniele Falassi	[23] [33] [35]
10	Gian Luigi Ferrari (GianLuigi Ferrari)	[1] [2] [16]
11	Elena Giachino	[36] [43]
12	Daniele Gorla	[16]
13	Gaia Innocenti	[22]
14	Marc Lacoste	[23] [33]
15	Silvia Likavec	[15] [19] [20] [26] [31] [32]
16	Luís M. B. Lopes	[23]
17	Michele Loreti	[3] [6] [9] [10] [12] [16] [18] [22] [33] [35] [44]
18	Marco De Luca	[45]
19	Eugenio Moggi	[16]
20	Marco Naddeo	[42]
21	Rocco De Nicola	[1] [2] [4] [7] [8] [10] [11] [12] [16] [18] [23] [30] [33] [35] [44]
22	Licínio Oliveira	[23]
23	Hervé Paulino	[23]
24	Rosario Pugliese	[1] [2] [3] [4] [6] [8] [9] [16]
25	Emilio Tuosto	[16]
26	Erica Turin	[48]
27	Vasco Thudichum Vasconcelos	[23]
28	Betti Venneri	[5] [13] [14] [16] [21] [25] [27] [29] [34] [37] [38] [40] [43] [46] [47]
29	Nobuko Yoshida	[45]

Colors in the list of coauthors