Silvia Likavec

	2012
18		Fabrizio Antonelli, Giulia Biamino, Francesca Carmagnola, Federica Cena, Elisa Chiabrando, Luca Console, Vincenzo Cuciti, Matteo Demichelis, Franco Fassio, Fabrizio Franceschi, Roberto Furnari, Cristina Gena, Marina Geymonat, Piercarlo Grimaldi, Pierluigi Grillo, Elena Guercio, Silvia Likavec, Ilaria Lombardi, Dario Mana, Alessandro Marcengo, Michele Mioli, Mario Mirabelli, Monica Perrero, Claudia Picardi, Federica Protti, Amon Rapp, Roberta Sandon, Rossana Simeoni, Daniele Theseider Dupré, Ilaria Torre, Andrea Toso, Fabio Torta, Fabiana Vernero: Wheeling around with Wanteat: exploring mixed social networks in the gastronomy domain. IUI 2012: 321-322
	2011
17		Federica Cena, Silvia Likavec, Ilaria Lombardi, Claudia Picardi: Synthesis of Collective Tag-Based Opinions in the Social Web. AI*IA 2011: 286-298
16		Federica Cena, Silvia Likavec, Francesco Osborne: Propagating User Interests in Ontology-Based User Model. AI*IA 2011: 299-311
15		Pierluigi Grillo, Silvia Likavec, Ilaria Lombardi: Using Mobile Phone Cameras to Interact with Ontological Data. EUROCAST (2) 2011: 568-576
14		Elisa Chiabrando, Roberto Furnari, Pierluigi Grillo, Silvia Likavec, Ilaria Lombardi: Dynamic Interface Reconfiguration Based on Different Ontological Relations. HCI (11) 2011: 538-547
13		Elisa Chiabrando, Silvia Likavec, Ilaria Lombardi, Claudia Picardi, Daniele Theseider Dupré: Semantic similarity in heterogeneous ontologies. HT 2011: 153-160
12		Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec: Intersection Types for the Resource Control Lambda Calculi. ICTAC 2011: 116-134
11		Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec: Resource control and strong normalisation CoRR abs/1112.3455: (2011)
	2010
10		Silvia Likavec, Ilaria Lombardi, Alberto Nantiat, Claudia Picardi, Daniele Theseider Dupré: Threading Facts into a Collective Narrative World. ICIDS 2010: 86-97
	2005
9		Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe Object Composition in the Presence of Subtyping. ICTCS 2005: 128-142
8		Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec: Strong Normalization of the Dual Classical Sequent Calculus. LPAR 2005: 169-183
7		Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe and flexible objects. SAC 2005: 1258-1263
6		Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe and Flexible Objects with Subtyping. Journal of Object Technology 4(10): 5-29 (2005)
	2004
5		Lorenzo Bettini, Viviana Bono, Silvia Likavec: A core calculus of mixins and incomplete objects. OOPSLA Companion 2004: 208-209
4		Lorenzo Bettini, Viviana Bono, Silvia Likavec: A core calculus of higher-order mixins and classes. SAC 2004: 1508-1509
3		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec: Behavioural inverse limit lambda-models. Theor. Comput. Sci. 316(1): 49-74 (2004)
	2003
2		Lorenzo Bettini, Viviana Bono, Silvia Likavec: A Core Calculus of Higher-Order Mixins and Classes. TYPES 2003: 83-98
	2002
1		Silvia Ghilezan, Silvia Likavec: Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. Electr. Notes Theor. Comput. Sci. 70(1): 106-123 (2002)

Coauthor Index

1	Fabrizio Antonelli	[18]
2	Lorenzo Bettini	[2] [4] [5] [6] [7] [9]
3	Giulia Biamino	[18]
4	Viviana Bono	[2] [4] [5] [6] [7] [9]
5	Francesca Carmagnola	[18]
6	Federica Cena	[16] [17] [18]
7	Elisa Chiabrando	[13] [14] [18]
8	Luca Console	[18]
9	Vincenzo Cuciti	[18]
10	Matteo Demichelis	[18]
11	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[3]
12	Daniel J. Dougherty	[8]
13	Daniele Theseider Dupré	[10] [13] [18]
14	Franco Fassio	[18]
15	Fabrizio Franceschi	[18]
16	Roberto Furnari	[14] [18]
17	Cristina Gena	[18]
18	Marina Geymonat	[18]
19	Silvia Ghilezan	[1] [3] [8] [11] [12]
20	Pierluigi Grillo	[14] [15] [18]
21	Piercarlo Grimaldi	[18]
22	Elena Guercio	[18]
23	Jelena Ivetic	[11] [12]
24	Pierre Lescanne	[8] [11] [12]
25	Ilaria Lombardi	[10] [13] [14] [15] [17] [18]
26	Dario Mana	[18]
27	Alessandro Marcengo	[18]
28	Michele Mioli	[18]
29	Mario Mirabelli	[18]
30	Alberto Nantiat	[10]
31	Francesco Osborne	[16]
32	Monica Perrero	[18]
33	Claudia Picardi	[10] [13] [17] [18]
34	Federica Protti	[18]
35	Amon Rapp	[18]
36	Roberta Sandon	[18]
37	Rossana Simeoni	[18]
38	Ilaria Torre	[18]
39	Fabio Torta	[18]
40	Andrea Toso	[18]
41	Fabiana Vernero	[18]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page