Viviana Bono

	2012
45		Viviana Bono, Luca Padovani: Typing Copyless Message Passing Logical Methods in Computer Science 8(1): (2012)
	2011
44		Viviana Bono, Chiara Messa, Luca Padovani: Typing Copyless Message Passing. ESOP 2011: 57-76
43		Viviana Bono, Luca Padovani: Polymorphic Endpoint Types for Copyless Message Passing ICE 2011: 52-67
42		Lorenzo Bettini, Viviana Bono, Betti Venneri: Delegation by object composition. Sci. Comput. Program. 76(11): 992-1014 (2011)
	2010
41		Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella: Delta-Oriented Programming of Software Product Lines. SPLC 2010: 77-91
40		Jaroslaw D. M. Kusmierek, Viviana Bono: Big-step Operational Semantics Revisited. Fundam. Inform. 103(1-4): 137-172 (2010)
	2009
39		Lorenzo Bettini, Viviana Bono, Erica Turin: I-Java: An Extension of Java with Incomplete Objects and Object Composition. Software Composition 2009: 27-44
	2008
38		Viviana Bono, Ferruccio Damiani, Elena Giachino: On Traits and Types in a Java-like Setting. IFIP TCS 2008: 367-382
37		Lorenzo Bettini, Viviana Bono, Marco Naddeo: A trait based re-engineering technique for Java hierarchies. PPPJ 2008: 149-158
36		Lorenzo Bettini, Viviana Bono: Type safe dynamic object delegation in class-based languages. PPPJ 2008: 171-180
35		Lorenzo Bettini, Viviana Bono, Betti Venneri: Object Incompleteness and Dynamic Composition in Java-Like Languages. TOOLS (46) 2008: 198-217
34		Viviana Bono, Betti Venneri, Lorenzo Bettini: A typed lambda calculus with intersection types. Theor. Comput. Sci. 398(1-3): 95-113 (2008)
	2007
33		Viviana Bono, Jaroslaw D. M. Kusmierek: FJMIP: A Calculus for a Modular Object Initialization. FCT 2007: 100-112
32		Jaroslaw D. M. Kusmierek, Viviana Bono: Hygienic methods Ñ Introducing HygJava. Journal of Object Technology 6(9): 209-229 (2007)
31		Viviana Bono, Jaroslaw D. M. Kusmierek: Modularizing constructors. Journal of Object Technology 6(9): 297-397 (2007)
	2005
30		Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe Object Composition in the Presence of Subtyping. ICTCS 2005: 128-142
29		Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe and flexible objects. SAC 2005: 1258-1263
28		Lorenzo Bettini, Betti Venneri, Viviana Bono: MOMI: a calculus for mobile mixins. Acta Inf. 42(2-3): 143-190 (2005)
27		Viviana Bono, Michele Bugliesi, Sophia Drossopoulou: Preface. Electr. Notes Theor. Comput. Sci. 138(2): 1-2 (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, Viviana Bono, Betti Venneri: Subtyping-Inheritance Conflicts: The Mobile Mixin Case. IFIP TCS 2004: 451-464
23		Lorenzo Bettini, Viviana Bono, Silvia Likavec: A core calculus of mixins and incomplete objects. OOPSLA Companion 2004: 208-209
22		Lorenzo Bettini, Viviana Bono, Silvia Likavec: A core calculus of higher-order mixins and classes. SAC 2004: 1508-1509
	2003
21		Viviana Bono: Extensible Objects: A Tutorial. Global Computing 2003: 57-87
20		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		Lorenzo Bettini, Viviana Bono, Silvia Likavec: A Core Calculus of Higher-Order Mixins and Classes. TYPES 2003: 83-98
18		Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn: Type Inference for Nested Self Types. TYPES 2003: 99-114
17		Viviana Bono, Michele Bugliesi: First Workshop on Object Oriented Developments - Preface. Electr. Notes Theor. Comput. Sci. 82(7): 151-152 (2003)
	2002
16		Lorenzo Bettini, Viviana Bono, Betti Venneri: Coordinating Mobile Object-Oriented Code. COORDINATION 2002: 56-71
15		Viviana Bono, Michele Bugliesi, Silvia Crafa: Typed interpretations of extensible objects. ACM Trans. Comput. Log. 3(4): 562-603 (2002)
14		Viviana Bono, Ferruccio Damiani, Paola Giannini: A Calculus for "Environment-Aware" Computation. Electr. Notes Theor. Comput. Sci. 66(3): 98-115 (2002)
13		Viviana Bono, Jerzy Tiuryn: Products and Polymorphic Subtypes. Fundam. Inform. 51(1-2): 13-41 (2002)
	2001
12		Viviana Bono, Ivano Salvo: A CuCh Interpretation of an Object-Oriented Language. Electr. Notes Theor. Comput. Sci. 50(2): 159-177 (2001)
11		Lorenzo Bettini, Viviana Bono, Betti Venneri: Towards Object-Oriented Klaim. Electr. Notes Theor. Comput. Sci. 62: 38-51 (2001)
	1999
10		Viviana Bono, Amit Patel, Vitaly Shmatikov: A Core Calculus of Classes and Mixins. ECOOP 1999: 43-66
9		Viviana Bono, Michele Bugliesi: Interpretations of Extensible Objects and Types. FCT 1999: 112-123
8		Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov: A Core Calculus of Classes and Objects. Electr. Notes Theor. Comput. Sci. 20: 28-49 (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		Viviana Bono, Michele Bugliesi: Matching for the lambda Calculus of Objects. Theor. Comput. Sci. 212(1-2): 101-140 (1999)
	1998
5		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] [39] [41] [42]
2	Michele Bugliesi	[2] [3] [4] [6] [7] [9] [15] [17] [27]
3	Silvia Crafa	[15]
4	Ferruccio Damiani	[14] [38] [41]
5	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[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] [40]
13	Silvia Likavec	[19] [22] [23] [26] [29] [30]
14	Luigi Liquori	[1] [2] [4] [7]
15	Michele Loreti	[20]
16	Chiara Messa	[44]
17	John C. Mitchell	[8]
18	Eugenio Moggi	[20]
19	Marco Naddeo	[37]
20	Rocco De Nicola	[20]
21	Luca Padovani	[43] [44] [45]
22	Amit Patel	[8] [10]
23	Rosario Pugliese	[20]
24	Ivano Salvo	[12]
25	Ina Schaefer	[41]
26	Vitaly Shmatikov	[8] [10]
27	Nico Tanzarella	[41]
28	Jerzy Tiuryn	[13] [18]
29	Emilio Tuosto	[20]
30	Erica Turin	[39]
31	Pawel Urzyczyn	[18]
32	Betti Venneri	[11] [16] [20] [24] [25] [28] [34] [35] [42]

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