Browsing eNauka
Browsing by Author Likavec, Silvia
Showing results 1 to 20 of 67
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2004 | A Core Calculus of Higher-Order Mixins and Classes | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia   | Book parts | Mp. category will be shown later |
| 2004 | A core calculus of higher-order mixins and classes | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2004 | A core calculus of mixin-based incomplete objects | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2004 | A core calculus of mixins and incomplete objects | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Article | Mp. category will be shown later |
| 2016 | An ontology for quantified self: capturing the concepts behind the numbers | Likavec, Silvia ; F. Cena; A. Rapp; A. Marcengo | Conference Paper | Mp. category will be shown later |
| 2013 | Anisotropic propagation of user interests in ontology-based user models | Cena, Federica; Likavec, Silvia ; Osborne, Francesco | Article | 21a+M21a+ |
| 2014 | Approaching substructural term calculi via the resource control calculus | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |
| 2004 | Behavioural inverse limit λ-models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Article | 22M22 |
| 2012 | Characterising Strongly Normalising Intuitionistic Terms | Santo, José Espírito; Ivetić, Jelena ; Likavec, Silvia | Article | 22M22 |
| 2009 | Computational interpretations of logics | Ghilezan, Silvia ; Likavec, Silvia | Article | Mp. category will be shown later |
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2011 | Dynamic Interface Reconfiguration Based on Different Ontological Relations | Likavec, Silvia ; Elisa Chiabrando; Roberto Furnari; Pierluigi Grillo; Ilaria Lombardi | Conference Paper | Mp. category will be shown later |
| 2017 | Envisioning the Future of Personalization through Personal Informatics: A User Study | Likavec, Silvia Lj. ; F. Cena; A. Rapp; A. Marcengo | Article | 22M22 |
| 2003 | Extensions of the reducibility method | Ghilezan, Silvia ; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2013 | Granular semantic user similarity in the presence of sparse data | Likavec, Silvia ; Francesco Osborne; Federica Cena | Conference Paper | Mp. category will be shown later |
| 2023 | How Personality Traits can be Used to Shape Itinerary Factors in Recommender Systems for Young Travellers | Cena, Federica; Console, Luca; Likavec, Silvia ; Micheli, Marta; Vernero, Fabiana | Article | 21M21 |
| 2017 | How to improve Jaccard’s feature-based similarity measure | Likavec, Silvia ; Lombardi, Ilaria; Cena, Federica | Article | 21aM21a |
| 2013 | Interacting with social networks of intelligent things and people in the world of gastronomy | Likavec, Silvia ; Luca Console et al. | Article | Mp. category will be shown later |
| 2015 | Intersection Types Fit Well with Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |