icona publicationsPublications

Silvia Likavec@dblp

International journals


  1. Federica Cena, Silvia Likavec, Ilaria Lombardi, and Claudia Picardi, Should I Stay or Should I Go? Improving Event Recommendation in the Social Web, Interacting with Computers, 28(1):55–72, 2016
  2. Silvia Likavec, Francesco Osborne, and Federica Cena, Property-based semantic similarity and relatedness for improving recommendation accuracy and diversity, International Journal on Semantic Web and Information Systems, 11(4):1–40, 2015
  3. Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, and Silvia Likavec, Structural rules and resource control in logic and computation, Collection of Papers, 18(26):79–109, 2015
  4. Federica Cena, Silvia Likavec, and Francesco Osborne, Anisotropic propagation of user interests in ontology-based user models, Information Sciences, 250:40–60, 2013
  5. L. Console, F. Antonelli, G. Biamino, F. Carmagnola, F. Cena, E. Chiabrando, V. Cuciti, M. Demichelis, F. Fassio, F. Franceschi, R. Furnari, C. Gena, M. Geymonat, P. Grimal- di, P. Grillo, E. Guercio, S. Likavec, I. Lombardi, D. Mana, A. Marcengo, M. Mioli, M. Mirabelli, M. Perrero, C. Picardi, F. Protti, A. Rapp, R. Sandon, R. Simeoni, D. Theseider Dupré, I. Torre, A. Toso, F. Torta, and F. Vernero, Interacting with social netnetworks of intelligent things and people in the world of gastronomy, ACM Transactions on Interactive Intelligent Systems, 3(1):4, 2013
  6. José Espírito Santo, Jelena Ivetic, and Silvia Likavec, Characterising strongly normalising intuitionistic terms, Fundamenta Informaticae, 121(1-4):83–120, 2012
  7. Silvia Likavec and Pierre Lescanne, On semantics of a term calculus for classical logic, PUBLICATIONS DE L’INSTITUT MATHÉMATIQUE, (N.S.) 92(106):79–95, 2012
  8. Silvia Ghilezan and Silvia Likavec, Computational interpretations of logics, Collection of Papers, 12(20):159–215, 2009
  9. Lorenzo Bettini, Viviana Bono, and Silvia Likavec, Safe and Flexible Objects with Subtyping, Journal of Object Technology - JOT, 4(10):5–29, 2005. Special Issue on “The 20th ACM SAC - March 2005”
  10. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, and Silvia Likavec, Behavioural inverse limit lambda-models, Theoretical Computer Science, 316(1):49–74, 2004

International conferences


  1. Elisa Chiabrando, Roberto Furnari, Silvia Likavec, Francesco Osborne, Claudia Picardi, and Daniele Theseider Dupré, Telleat: Sharing experiences on the move, In Masaaki Kurosu, editor, 16th International Conference on Human-Computer Interaction, HCII ’14, volume 8512 of LNCS, pages 377–388. Springer-Verlag, 2014
  2. Ilaria Lombardi, Silvia Likavec, Claudia Picardi, and Elisa Chiabrando, Selection and ranking of activities in the social web, In Matteo Baldoni, Cristina Baroglio, Guido Boella, and Roberto Micalizio, editors, AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, volume 8249 of LNCS, pages 372–384. Springer, 2013
  3. Francesco Osborne, Silvia Likavec, and Federica Cena, Granular semantic user similarity in the presence of sparse data, In Matteo Baldoni, Cristina Baroglio, Guido Boella, and Roberto Micalizio, editors, AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, volume 8249 of LNCS, pages 385–396. Springer, 2013
  4. Federica Cena, Silvia Likavec, and Francesco Osborne, Property-based interest propagation in ontology-based user model, In Judith Masthoff, Bamshad Mobasher, Michel C. Desmarais, and Roger Nkambou, editors, 20th International Conference on User Modeling, Adaptation, and Personalization, UMAP ’12, volume 7379 of LNCS, pages 38–50. Springer, 2012
  5. Federica Cena, Silvia Likavec, Ilaria Lombardi, and Claudia Picardi, Synthesis of collective tag-based opinions in the social web, In Roberto Pirrone and Filippo Sorbello, editors, AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, volume 6934 of LNCS, pages 286–298. Springer-Verlag, 2011
  6. Federica Cena, Silvia Likavec, and Francesco Osborne, Propagating user interests in ontology-based user model, In Roberto Pirrone and Filippo Sorbello, editors, AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, volume 6934 of LNCS, pages 299–311. Springer-Verlag, 2011
  7. Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, and Silvia Likavec, Intersection types for the resource control lambda calculi, In Antonio Cerone and Pekka Pihlajasaari, editors, 8th International Colloquium on Theoretical Aspects of Computing, ICTAC ’11, volume 6916 of LNCS, pages 116–134. Springer, 2011
  8. Pierluigi Grillo, Silvia Likavec, and Ilaria Lombardi, Using mobile phone cameras to interact with ontological data, In Roberto Moreno-Díaz, Franz Pichler, and Alexis Quesada-Arencibia, editors, 1st International Workshop on Mobile Computing Platforms and Technologies, MCPT ’11, part of 13th International Conference on Computer Aided Systems Theory - EUROCAST 2011, volume 6928 of LNCS, pages 569–577. Springer-Verlag, 2011
  9. Elisa Chiabrando, Roberto Furnari, Pierluigi Grillo, Silvia Likavec, and Ilaria Lombardi, Dynamic interface reconfiguration based on different ontological relations, In Michael J. Smith and Gavriel Salvendy, editors, 14th International Conference on Human-Computer Interaction, HCII ’11, volume 6771 of LNCS, pages 538–547. Springer-Verlag, 2011
  10. Silvia Likavec, Ilaria Lombardi, Alberto Nantiat, Claudia Picardi, and Daniele Theseider Dupré, Threading facts into a collective narrative world, In Ruth Aylett, Mei Yii Lim, Sandy Louchart, Paolo Petta, and Mark Riedl, editors, 3rd International Conference on Interactive Digital Storytelling, ICIDS ’10, volume 6432 of LNCS, pages 86–97. Springer-Verlag, 2010
  11. Dan Dougherty, Silvia Ghilezan, Pierre Lescanne, and Silvia Likavec, Strong Normalization of the Dual Classical Sequent Calculus, In Geoff Sutcliffe and Andrei Voronkov, editors, 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR ’05, volume 3835 of LNCS, pages 169–183. Springer-Verlag, 2005
  12. Lorenzo Bettini, Viviana Bono, and Silvia Likavec, Safe object composition in the presence of subtyping, In Mario Coppo, Elena Lodi, and G. Michele Pinna, editors, 9th Italian Conference on Theoretical Computer Science, ICTCS ’05, volume 3701 of LNCS, pages 128–142. Springer-Verlag, 2005
  13. Lorenzo Bettini, Viviana Bono, and Silvia Likavec, A core calculus of higher-order mixins and classes, In Stefano Berardi, Mario Coppo, and Ferruccio Damiani, editors, International Workshop TYPES ’03 (Selected Papers), volume 3085 of LNCS, pages 83–98. Springer-Verlag, 2004
  14. Federica Cena, Silvia Likavec, Amon Rapp, and Alessandro Marcengo, An ontology for quantified self: capturing the concepts behind the numbers, In Paul Lukowicz, Antonio Krüger, Andreas Bulling, Youn-Kyung Lim, and Shwetak N. Patel, editors, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp Adjunct 2016, pages 602–604. ACM, 2016
  15. Federica Cena, Silvia Likavec, and Amon Rapp, Quantified self and modeling of human cognition, In Kenji Mase, Marc Langheinrich, Daniel Gatica-Perez, Hans Gellersen, Tanzeem Choudhury, and Koji Yatani, editors, Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, UbiComp/ISWC Adjunct 2015, pages 1021–1026, 2015
  16. PIEMONTE Team, Interacting with a social web of smart objects for enhancing tourist experiences, In eTourism Present and Future Services and Applications - ENTER2012, 2012
  17. Elisa Chiabrando, Silvia Likavec, Ilaria Lombardi, Claudia Picardi, and Daniele Theseider Dupré, Semantic similarity in heterogeneous ontologies, In Paul De Bra and Kaj Grønbæk, editors, 22nd ACM Conference on Hypertext and Hypermedia, HYPERTEXT ’11, pages 153–160. ACM, 2011
  18. Lorenzo Bettini, Viviana Bono, and Silvia Likavec, Safe and Flexible Objects, In Hisham Haddad, Lorie M. Liebrock, Andrea Omicini, and Roger L. Wainwright, editors, 20th Annual ACM Symposium on Applied Computing, SAC ’05, In OOPS track, pages 1258–1263. ACM Press, 2005
  19. Lorenzo Bettini, Viviana Bono, and Silvia Likavec, A core calculus of mixins and incomplete objects [Poster Abstract], In John M. Vlissides and Douglas C. Schmidt, editors, Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, pages 208–209. ACM Press, 2004
  20. Lorenzo Bettini, Viviana Bono, and Silvia Likavec, A Core Calculus of Higher-Order Mixins and Classes [Poster Abstract], In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, and Lorie M. Liebrock, editors, 19th Annual ACM Symposium on Applied Computing, SAC ’04,In PL track, pages 1508– 1509. ACM Press, 2004.
  21. Silvia Ghilezan and Silvia Likavec, Extensions of the reducibility method, In 4th Panhellenic Logic Symposium, PLS4, pages 107–112, 2004

Books and book chapters


  1. S. Likavec, D. Zunic, B. Caric, , Poslovna matematika (Matematica per i studenti di management) (in serbo)
  2. T. Grbic, S. Likavec, T. Lukic, J. Pantovic, N. Sladoje, Lj. Teofanov, Zbirka rešenih zadataka iz Matematike I. (Collezione dei problemi in Matematica I) (in serbo)

Other

  1. Silvia Likavec and Federica Cena, Property-based semantic similarity: What counts?, In Antonio Lieto, Cristina Battaglino, Daniele P. Radicioni, and Manuela Sanguinetti, editors, Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, AIC ’15, volume 1510 of CEUR Workshop Proceedings. CEUR-WS.org, 2015
  2. Federica Cena, Silvia Likavec, Amon Rapp, Martina Deplano, and Alessandro Marcengo, Ontologies for quantified self: a semantic approach, In Federica Cena, Altigran Soares da Silva, and Christoph Trattner, editors, Hyper- text 2014 Extended Proceedings: Late-breaking Results, Doctoral Consortium and Workshop Proceedings of the 25th ACM Hypertext and Social Media Conference (Hypertext 2014), volume 1210 of CEUR Workshop Proceedings. CEUR-WS.org, 2014
  3. Silvia Likavec, Shapes as property restrictions and property-based similarity, In Oliver Kutz, Mehul Bhatt, Stefano Borgo, and Paulo Santos, editors, 2nd Interdisciplinary Workshop The Shape of Things, volume 1007 of CEUR Workshop Proceedings, pages 95–105. CEUR-WS.org, 2013
  4. Silvia Ghilezan and Silvia Likavec, Reducibility method and resource control, In 4th World Congress and School on Universal Logic, UNILOG 2013, 2013. in Abstract Proof Theory Workshop
  5. Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, and Silvia Likavec, Constructive approach to relevant and affine term calculi, In Constructive Mathematics: Foundations and Practice, CM:FP 2013, 2013
  6. Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, and Silvia Likavec, Intersection types for explicit substitution with resource control, In 6th Workshop on Intersection Types and Related Systems, ITRS ’12, 2012
  7. F. Antonelli, G. Biamino, F. Carmagnola, F. Cena, E. Chiabrando, L. Console, V. Cuciti, M. Demichelis, F. Fassio, F. Franceschi, R. Furnari, C. Gena, M. Geymonat, P. Grimaldi, P. Grillo, E. Guercio, S. Likavec, I. Lombardi, D. Mana, A. Marcengo, M. Mioli, M. Mirabelli, M. Perrero, C. Picardi, F. Protti, A. Rapp, R. Sandon, R. Simeoni, D. Theseider Dupré, I. Torre, A. Toso, F. Torta, and F. Vernero, Wheeling around with WantEat: exploring mixed social networks in the gastronomy domain[demo], In Carlos Duarte, Luís Carriço, Joaquim A. Jorge, Sharon L. Oviatt, and Daniel Gonçalves, editors, 17th International Conference on Intelligent User Interfaces, IUI ’12, pages 321–322. ACM, 2012
  8. L. Console, G. Biamino, F. Carmagnola, F. Cena, E. Chiabrando, R. Furnari, C. Gena, P. Grillo, S. Likavec, I. Lombardi, M. Mioli, C. Picardi, A. Rapp, F. Vernero, R. Simeoni, F. Antonelli, V. Cuciti, M. Demichelis, F. Franceschi, M. Geymonat, A. Marcengo, D. Mana, M. Mirabelli, M. Perrero, F. Protti, F. Fassio, P. Grimaldi, and F. Torta, Wanteat: interacting with social networks of smart objects for sharing and promoting cultural heritage, In Eelco Herder, Kalina Yacef, Li Chen, and Stephan Weibelzahl, editors, Workshop and Poster Proceedings of the 20th Conference on User Modeling, Adaptation, and Personalization, UMAP 2012, volume 872 of CEUR Workshop Proceedings. CEUR- WS.org, 2012
  9. L. Console, G. Biamino, F. Carmagnola, F. Cena, E. Chiabrando, R. Furnari, C. Gena, P. Grillo, S. Likavec, I. Lombardi, M. Mioli, C. Picardi, D. Theseider Dupré, F. Vernero, R. Simeoni, F. Antonelli, V. Cuciti, M. Demichelis, F. Franceschi, M. Geymonat, A. Marcengo, D. Mana, M. Mirabelli, M. Perrero, A. Rapp, F. Fassio, P. Grimaldi, and F. Torta, Wanteat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainability [Demo], In L. De Raedt, C. Bessière, D. Dubois, P. Doherty, P. Frasconi, F. Heintz, and P. J. F. Lucas, editors, ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, volume 242 of Frontiers in Artificial Intelligence and Applications, pages 1005–1006. IOS Press, 2012
  10. PIEMONTE Team, WantEat: interacting with social networks of intelligent things and people in the world of enogastronomy, In Interacting with Smart Objects Workshop 2011, at IUI 2011, 2011
  11. José Espírito Santo, Jelena Ivetic, and Silvia LikavecIntersection type assignment systems for intuitionistic sequent calculus, In 4th Workshop on Intersection Types and Related Systems, ITRS ’08, 2008
  12. Silvia Likavec and Pierre Lescanne, On untyped Curien-Herbelin calculus, In 1st workshop on Classical Logic and Computation, CLaC ’06, 2006
  13. Lorenzo Bettini, Viviana Bono, and Silvia Likavec, A core calculus of mixin-based incomplete objects, In 11th International Workshop on Foundations of Object-Oriented Languages, FOOL 11, 2004
  14. Silvia Ghilezan and Silvia Likavec, Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types, In Steffen van Bakel, editor, 2nd Workshop on Intersection Types and Related Systems, ITRS ’02, volume 70 of Electronic Notes in Theoretical Computer Science. Elsevier, 2003
  15. Silvia Ghilezan, Viktor Kuncak, and Silvia Likavec, Reducibility method for termination properties of typed lambda terms, In 5th International Workshop on Termination, WST ’01, pages 14–16, 2001
  16. Silvia Likavec, Types for object-oriented and functional programming languages, PhD thesis, Università di Torino, Italy, ENS Lyon, France, 2005
  17. Silvia Likavec, Reducibility method for lambda calculus with intersection types, Master’s thesis, Faculty of Engineering, University of Novi Sad, Serbia, 2005