Lorenzo Bettini

2008
45	EE	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	EE	Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Session Centered Calculi. COORDINATION 2008: 17-32
43	EE	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	EE	Lorenzo Bettini, Viviana Bono, Marco Naddeo: A trait based re-engineering technique for Java hierarchies. PPPJ 2008: 149-158
41	EE	Lorenzo Bettini, Viviana Bono: Type safe dynamic object delegation in class-based languages. PPPJ 2008: 171-180
40	EE	Lorenzo Bettini, Viviana Bono, Betti Venneri: Object Incompleteness and Dynamic Composition in Java-Like Languages. TOOLS (46) 2008: 198-217
39	EE	Lorenzo Bettini: Timed buffers: A technique for update propagation in nomadic environments. Computer Communications 31(14): 3209-3222 (2008)
38	EE	Viviana Bono, Betti Venneri, Lorenzo Bettini: A typed lambda calculus with intersection types. Theor. Comput. Sci. 398(1-3): 95-113 (2008)
2007
37	EE	Lorenzo Bettini, Sara Capecchi, Betti Venneri: Featherweight Java with multi-methods. PPPJ 2007: 83-92
36	EE	Lorenzo Bettini, Sara Capecchi, Elena Giachino: Featherweight wrap Java. SAC 2007: 1094-1100
35	EE	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	EE	Lorenzo Bettini, Sara Capecchi, Betti Venneri: Double dispatch in C++. Softw., Pract. Exper. 36(6): 581-613 (2006)
2005
33	EE	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	EE	Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe Object Composition in the Presence of Subtyping. ICTCS 2005: 128-142
31	EE	Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe and flexible objects. SAC 2005: 1258-1263
30	EE	Lorenzo Bettini, Rocco De Nicola: Mobile Distributed Programming in X-Klaim. SFM 2005: 29-68
29	EE	Lorenzo Bettini, Betti Venneri, Viviana Bono: MOMI: a calculus for mobile mixins. Acta Inf. 42(2-3): 143-190 (2005)
28	EE	Lorenzo Bettini: Data Privacy in Tuple Space Based Mobile Agent Systems. Electr. Notes Theor. Comput. Sci. 128(5): 3-16 (2005)
27	EE	Lorenzo Bettini, Sara Capecchi, Betti Venneri: Translating Double Dispatch into Single Dispatch. Electr. Notes Theor. Comput. Sci. 138(2): 59-78 (2005)
26	EE	Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe and Flexible Objects with Subtyping. Journal of Object Technology 4(10): 5-29 (2005)
2004
25	EE	Lorenzo Bettini, Viviana Bono, Betti Venneri: O'Klaim: A Coordination Language with Mobile Mixins. COORDINATION 2004: 20-38
24	EE	Lorenzo Bettini: A Java Package for Transparent Code Mobility. FIDJI 2004: 112-122
23	EE	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	EE	Lorenzo Bettini, Viviana Bono, Silvia Likavec: A core calculus of mixins and incomplete objects. OOPSLA Companion 2004: 208-209
19	EE	Lorenzo Bettini, Viviana Bono, Silvia Likavec: A core calculus of higher-order mixins and classes. SAC 2004: 1508-1509
18	EE	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	EE	Lorenzo Bettini: A Java Package for Class and Mixin Mobility in a Distributed Setting. FIDJI 2003: 12-22
16	EE	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	EE	Lorenzo Bettini, Viviana Bono, Silvia Likavec: A Core Calculus of Higher-Order Mixins and Classes. TYPES 2003: 83-98
14	EE	Lorenzo Bettini, Sara Capecchi, Betti Venneri: Extending Java to dynamic object behaviors. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2002
13	EE	Lorenzo Bettini, Viviana Bono, Betti Venneri: Coordinating Mobile Object-Oriented Code. COORDINATION 2002: 56-71
12	EE	Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87
11	EE	Lorenzo Bettini, Rocco De Nicola: A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. FIDJI 2002: 175-184
10	EE	Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Software update via mobile agent based programming. SAC 2002: 32-36
9	EE	Lorenzo Bettini, Michele Loreti, Rosario Pugliese: An infrastructure language for open nets. SAC 2002: 373-377
8	EE	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	EE	Lorenzo Bettini, Rocco De Nicola: Translating Strong Mobility into Weak Mobility. Mobile Agents 2001: 182-197
6	EE	Lorenzo Bettini, Michele Loreti, Rosario Pugliese: Modelling Node Connectivity in Dynamically Evolving Networks. Electr. Notes Theor. Comput. Sci. 54: (2001)
5	EE	Lorenzo Bettini, Viviana Bono, Betti Venneri: Towards Object-Oriented Klaim. Electr. Notes Theor. Comput. Sci. 62: (2001)
4	EE	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	EE	Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian Luigi Ferrari: Interactive Mobile Agents in X-Klaim. WETICE 1998: 110-117

Coauthor Index

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