| 2008 |
|---|
| 38 | EE | Lorenzo Bettini,
Rocco De Nicola,
Michele Loreti:
Implementing Session Centered Calculi.
COORDINATION 2008: 17-32 |
| 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 |
