Silvia Likavec
Silvia Likavec
Post doc at Universita di Torino, Italy
Verified email at di.unito.it
Title
Cited by
Cited by
Year
Behavioural inverse limit λ-models
M Dezani-Ciancaglini, S Ghilezan, S Likavec
Theoretical Computer Science 316 (1-3), 49-74, 2004
372004
Propagating user interests in ontology-based user model
F Cena, S Likavec, F Osborne
Congress of the Italian Association for Artificial Intelligence, 299-311, 2011
302011
Interacting with social networks of intelligent things and people in the world of gastronomy
L Console, F Antonelli, G Biamino, F Carmagnola, F Cena, E Chiabrando, ...
ACM Transactions on Interactive Intelligent Systems (TiiS) 3 (1), 1-38, 2013
292013
Strong normalization of the dual classical sequent calculus
D Dougherty, S Ghilezan, P Lescanne, S Likavec
International Conference on Logic for Programming Artificial Intelligence …, 2005
292005
Intersection types for the resource control lambda calculi
S Ghilezan, J Ivetić, P Lescanne, S Likavec
International Colloquium on Theoretical Aspects of Computing, 116-134, 2011
252011
Real world user model: Evolution of user modeling triggered by advances in wearable and ubiquitous computing
F Cena, S Likavec, A Rapp
Information Systems Frontiers 21 (5), 1085-1110, 2019
222019
A core calculus of mixin-based incomplete objects
L Bettini, V Bono, S Likavec
Procs. of FOOL Workshop, 29-41, 2004
212004
A core calculus of higher-order mixins and classes
L Bettini, V Bono, S Likavec
International Workshop on Types for Proofs and Programs, 83-98, 2003
192003
Characterising strongly normalising intuitionistic terms
JE Santo, J Ivetić, S Likavec
Fundamenta informaticae 121 (1-4), 83-120, 2012
182012
Characterising strongly normalising intuitionistic terms
JE Santo, J Ivetić, S Likavec
Fundamenta informaticae 121 (1-4), 83-120, 2012
182012
Should i stay or should i go? Improving event recommendation in the social web
F Cena, S Likavec, I Lombardi, C Picardi
Interacting with Computers 28 (1), 55-72, 2016
172016
Property-based semantic similarity and relatedness for improving recommendation accuracy and diversity
S Likavec, F Osborne, F Cena
International Journal on Semantic Web and Information Systems (IJSWIS) 11 (4 …, 2015
162015
Anisotropic propagation of user interests in ontology-based user models
F Cena, S Likavec, F Osborne
Information Sciences 250, 40-60, 2013
162013
Reducibility: A ubiquitous method in lambda calculus with intersection types
S Ghilezan, S Likavec
Electronic Notes in Theoretical Computer Science 70 (1), 106-123, 2003
162003
Property-based interest propagation in ontology-based user model
F Cena, S Likavec, F Osborne
International Conference on User Modeling, Adaptation, and Personalization …, 2012
152012
Safe and flexible objects with subtyping
L Bettini, V Bono, S Likavec
152005
Semantic similarity in heterogeneous ontologies
E Chiabrando, S Likavec, I Lombardi, C Picardi, D Theseider Dupré
Proceedings of the 22nd ACM conference on Hypertext and hypermedia, 153-160, 2011
132011
Types for object-oriented and functional programming languages
S Likavec
PhD thesis, Universita di Torino, Italy, ENS Lyon, France, 2005
122005
Computational Interrpretations of Logics
S Ghilezan, S Likavec
Zbornik radova, 159-215, 2009
112009
Threading facts into a collective narrative world
S Likavec, I Lombardi, A Nantiat, C Picardi, DT Dupré
Joint International Conference on Interactive Digital Storytelling, 86-97, 2010
102010
The system can't perform the operation now. Try again later.
Articles 1–20