Viviana Bono

2008
38	EE	Viviana Bono, Ferruccio Damiani, Elena Giachino: On Traits and Types in a Java-like Setting. IFIP TCS 2008: 367-382
37	EE	Lorenzo Bettini, Viviana Bono, Marco Naddeo: A trait based re-engineering technique for Java hierarchies. PPPJ 2008: 149-158
36	EE	Lorenzo Bettini, Viviana Bono: Type safe dynamic object delegation in class-based languages. PPPJ 2008: 171-180
35	EE	Lorenzo Bettini, Viviana Bono, Betti Venneri: Object Incompleteness and Dynamic Composition in Java-Like Languages. TOOLS (46) 2008: 198-217
34	EE	Viviana Bono, Betti Venneri, Lorenzo Bettini: A typed lambda calculus with intersection types. Theor. Comput. Sci. 398(1-3): 95-113 (2008)
2007
33	EE	Viviana Bono, Jaroslaw D. M. Kusmierek: FJMIP: A Calculus for a Modular Object Initialization. FCT 2007: 100-112
32	EE	Jaroslaw D. M. Kusmierek, Viviana Bono: Hygienic methods Ñ Introducing HygJava. Journal of Object Technology 6(9): 209-229 (2007)
31	EE	Viviana Bono, Jaroslaw D. M. Kusmierek: Modularizing constructors. Journal of Object Technology 6(9): 297-397 (2007)
2005
30	EE	Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe Object Composition in the Presence of Subtyping. ICTCS 2005: 128-142
29	EE	Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe and flexible objects. SAC 2005: 1258-1263
28	EE	Lorenzo Bettini, Betti Venneri, Viviana Bono: MOMI: a calculus for mobile mixins. Acta Inf. 42(2-3): 143-190 (2005)
27	EE	Viviana Bono, Michele Bugliesi, Sophia Drossopoulou: Preface. Electr. Notes Theor. Comput. Sci. 138(2): 1-2 (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		Lorenzo Bettini, Viviana Bono, Betti Venneri: Subtyping-Inheritance Conflicts: The Mobile Mixin Case. IFIP TCS 2004: 451-464
23	EE	Lorenzo Bettini, Viviana Bono, Silvia Likavec: A core calculus of mixins and incomplete objects. OOPSLA Companion 2004: 208-209
22	EE	Lorenzo Bettini, Viviana Bono, Silvia Likavec: A core calculus of higher-order mixins and classes. SAC 2004: 1508-1509
2003
21	EE	Viviana Bono: Extensible Objects: A Tutorial. Global Computing 2003: 57-87
20	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
19	EE	Lorenzo Bettini, Viviana Bono, Silvia Likavec: A Core Calculus of Higher-Order Mixins and Classes. TYPES 2003: 83-98
18	EE	Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn: Type Inference for Nested Self Types. TYPES 2003: 99-114
17	EE	Viviana Bono, Michele Bugliesi: First Workshop on Object Oriented Developments. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2002
16	EE	Lorenzo Bettini, Viviana Bono, Betti Venneri: Coordinating Mobile Object-Oriented Code. COORDINATION 2002: 56-71
15	EE	Viviana Bono, Michele Bugliesi, Silvia Crafa: Typed interpretations of extensible objects. ACM Trans. Comput. Log. 3(4): 562-603 (2002)
14	EE	Viviana Bono, Ferruccio Damiani, Paola Giannini: A Calculus for "Environment-Aware" Computation. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
13		Viviana Bono, Jerzy Tiuryn: Products and Polymorphic Subtypes. Fundam. Inform. 51(1-2): 13-41 (2002)
2001
12	EE	Viviana Bono, Ivano Salvo: A CuCh Interpretation of an Object-Oriented Language. Electr. Notes Theor. Comput. Sci. 50(2): (2001)
11	EE	Lorenzo Bettini, Viviana Bono, Betti Venneri: Towards Object-Oriented Klaim. Electr. Notes Theor. Comput. Sci. 62: (2001)
1999
10	EE	Viviana Bono, Amit Patel, Vitaly Shmatikov: A Core Calculus of Classes and Mixins. ECOOP 1999: 43-66
9	EE	Viviana Bono, Michele Bugliesi: Interpretations of Extensible Objects and Types. FCT 1999: 112-123
8	EE	Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov: A Core Calculus of Classes and Objects. Electr. Notes Theor. Comput. Sci. 20: (1999)
7		Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: A Subtyping for Extensible, Incomplete Objects. Fundam. Inform. 38(4): 325-364 (1999)
6	EE	Viviana Bono, Michele Bugliesi: Matching for the lambda Calculus of Objects. Theor. Comput. Sci. 212(1-2): 101-140 (1999)
1998
5	EE	Viviana Bono, Kathleen Fisher: An Imperative, First-Order Calculus with Object Extension. ECOOP 1998: 462-497
1997
4		Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT 1997: 465-477
3		Viviana Bono, Michele Bugliesi: Matching Constraints for the Lambda Calculus of Objects. TLCA 1997: 46-62
1996
2		Viviana Bono, Michele Bugliesi, Luigi Liquori: A Lambda Calculus of Incomplete Objects. MFCS 1996: 218-229
1994
1		Viviana Bono, Luigi Liquori: A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. CSL 1994: 16-30

Coauthor Index

1	Lorenzo Bettini	[11] [16] [19] [20] [22] [23] [24] [25] [26] [28] [29] [30] [34] [35] [36] [37]
2	Michele Bugliesi	[2] [3] [4] [6] [7] [9] [15] [17] [27]
3	Silvia Crafa	[15]
4	Ferruccio Damiani	[14] [38]
5	Mariangiola Dezani-Ciancaglini	[4] [7]
6	Sophia Drossopoulou	[27]
7	Gian Luigi Ferrari (GianLuigi Ferrari)	[20]
8	Kathleen Fisher	[5]
9	Elena Giachino	[38]
10	Paola Giannini	[14]
11	Daniele Gorla	[20]
12	Jaroslaw D. M. Kusmierek	[31] [32] [33]
13	Silvia Likavec	[19] [22] [23] [26] [29] [30]
14	Luigi Liquori	[1] [2] [4] [7]
15	Michele Loreti	[20]
16	John C. Mitchell	[8]
17	Eugenio Moggi	[20]
18	Marco Naddeo	[37]
19	Rocco De Nicola	[20]
20	Amit Patel	[8] [10]
21	Rosario Pugliese	[20]
22	Ivano Salvo	[12]
23	Vitaly Shmatikov	[8] [10]
24	Jerzy Tiuryn	[13] [18]
25	Emilio Tuosto	[20]
26	Pawel Urzyczyn	[18]
27	Betti Venneri	[11] [16] [20] [24] [25] [28] [34] [35]

Colors in the list of coauthors