Lorenzo Bettini

	2011
60		Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani: Compositional type-checking for delta-oriented programming. AOSD 2011: 43-56
59		Lorenzo Bettini, Betti Venneri: Object reuse and behavior adaptation in Java-like languages. PPPJ 2011: 111-120
58		Lorenzo Bettini: A DSL for writing type systems for Xtext languages. PPPJ 2011: 31-40
57		Lorenzo Bettini, Viviana Bono, Betti Venneri: Delegation by object composition. Sci. Comput. Program. 76(11): 992-1014 (2011)
	2010
56		Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer: A Calculus for Boxes and Traits in a Java-Like Setting. COORDINATION 2010: 46-60
55		Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco: A prototypical Java-like language with records and traits. PPPJ 2010: 129-138
54		Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer: Implementing software product lines using traits. SAC 2010: 2096-2102
53		Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella: Delta-Oriented Programming of Software Product Lines. SPLC 2010: 77-91
	2009
52		Lorenzo Bettini, Sara Capecchi, Betti Venneri: A Safe Implementation of Dynamic Overloading in Java-Like Languages. FSEN 2009: 455-462
51		Alexandre Bergel, Lorenzo Bettini: Reverse Generics - Parametrization after the Fact. ICSOFT (1) 2009: 39-46
50		Lorenzo Bettini, Viviana Bono, Erica Turin: I-Java: An Extension of Java with Incomplete Objects and Object Composition. Software Composition 2009: 27-44
49		Lorenzo Bettini, Sara Capecchi, Betti Venneri: Dynamic overloading with copy semantics in object-oriented languages: a formal account. ITA 43(3): 517-565 (2009)
48		Lorenzo Bettini, Sara Capecchi, Betti Venneri: Featherweight Java with dynamic and static overloading. Sci. Comput. Program. 74(5-6): 261-278 (2009)
	2008
47		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
46		Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Session Centered Calculi. COORDINATION 2008: 17-32
45		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
44		Lorenzo Bettini, Viviana Bono, Marco Naddeo: A trait based re-engineering technique for Java hierarchies. PPPJ 2008: 149-158
43		Lorenzo Bettini, Viviana Bono: Type safe dynamic object delegation in class-based languages. PPPJ 2008: 171-180
42		Lorenzo Bettini, Viviana Bono, Betti Venneri: Object Incompleteness and Dynamic Composition in Java-Like Languages. TOOLS (46) 2008: 198-217
41		Lorenzo Bettini: Timed buffers: A technique for update propagation in nomadic environments. Computer Communications 31(14): 3209-3222 (2008)
40		Lorenzo Bettini, Sara Capecchi, Elena Giachino: Featherweight Wrap Java: wrapping objects and methods. Journal of Object Technology 7(2): 5-29 (2008)
39		Viviana Bono, Betti Venneri, Lorenzo Bettini: A typed lambda calculus with intersection types. Theor. Comput. Sci. 398(1-3): 95-113 (2008)
	2007
38		Lorenzo Bettini, Sara Capecchi, Betti Venneri: Featherweight Java with multi-methods. PPPJ 2007: 83-92
37		Lorenzo Bettini, Sara Capecchi, Elena Giachino: Featherweight wrap Java. SAC 2007: 1094-1100
36		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
35		Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Mobile and Distributed Applications in X-Klaim. Scalable Computing: Practice and Experience 7(4): (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: 0-
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): 33-52 (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: 81-91 (2001)
5		Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese: XKlaim and Klava: Programming Mobile Code. Electr. Notes Theor. Comput. Sci. 62: 24-37 (2001)
4		Lorenzo Bettini, Viviana Bono, Betti Venneri: Towards Object-Oriented Klaim. Electr. Notes Theor. Comput. Sci. 62: 38-51 (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	[51]
2	Viviana Bono	[4] [13] [15] [16] [19] [20] [21] [25] [26] [29] [31] [32] [39] [42] [43] [44] [50] [53] [57]
3	Sara Capecchi	[14] [27] [34] [37] [38] [40] [45] [48] [49] [52]
4	Leonardo Cecchi	[22]
5	Mario Coppo	[47]
6	Pierluigi Crescenzi (Pilu Crescenzi)	[22]
7	Loris D'Antoni	[47]
8	Ferruccio Damiani	[53] [54] [55] [56] [60]
9	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[45] [47]
10	Daniele Falassi	[23] [33] [36]
11	Gian Luigi Ferrari (GianLuigi Ferrari)	[1] [2] [16]
12	Kathrin Geilmann	[56]
13	Elena Giachino	[37] [40] [45]
14	Daniele Gorla	[16]
15	Gaia Innocenti	[22]
16	Marc Lacoste	[23] [33]
17	Silvia Likavec	[15] [19] [20] [26] [31] [32]
18	Luís M. B. Lopes	[23]
19	Michele Loreti	[3] [6] [9] [10] [12] [16] [18] [22] [33] [35] [36] [46]
20	Marco De Luca	[47] [56]
21	Eugenio Moggi	[16]
22	Marco Naddeo	[44]
23	Rocco De Nicola	[1] [2] [5] [7] [8] [10] [11] [12] [16] [18] [23] [30] [33] [35] [36] [46]
24	Licínio Oliveira	[23]
25	Hervé Paulino	[23]
26	Rosario Pugliese	[1] [2] [3] [5] [6] [8] [9] [16]
27	Ina Schaefer	[53] [54] [55] [60]
28	Jan Schäfer (Jan Schaefer)	[56]
29	Fabio Strocco	[55]
30	Nico Tanzarella	[53]
31	Emilio Tuosto	[16]
32	Erica Turin	[50]
33	Vasco Thudichum Vasconcelos	[23]
34	Betti Venneri	[4] [13] [14] [16] [21] [25] [27] [29] [34] [38] [39] [42] [45] [48] [49] [52] [57] [59]
35	Nobuko Yoshida	[47]

Colors in the list of coauthors

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