Browsing eNauka

Browsing by Author Likavec, Silvia

Showing results 1 to 20 of 67  next >
Issue DateTitleAuthor(s)TypeМp-cat.
2004A Core Calculus of Higher-Order Mixins and ClassesBettini, Lorenzo; Bono, Viviana; Likavec, Silvia  Book parts
Mp. category will be shown later
2004A core calculus of higher-order mixins and classesBettini, Lorenzo; Bono, Viviana; Likavec, Silvia  Conference Paper
Mp. category will be shown later
2004A core calculus of mixin-based incomplete objectsBettini, Lorenzo; Bono, Viviana; Likavec, Silvia  Conference Paper
Mp. category will be shown later
2004A core calculus of mixins and incomplete objectsBettini, Lorenzo; Bono, Viviana; Likavec, Silvia  Conference Paper
Mp. category will be shown later
2012A journey through resource control lambda calculi and explicit substitution using intersection typesGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Article
Mp. category will be shown later
2016An ontology for quantified self: capturing the concepts behind the numbersLikavec, Silvia  ; F. Cena; A. Rapp; A. MarcengoConference Paper
Mp. category will be shown later
2013Anisotropic propagation of user interests in ontology-based user modelsCena, Federica; Likavec, Silvia  ; Osborne, FrancescoArticle
21a+M21a+
2014Approaching substructural term calculi via the resource control calculusGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneConference Paper
Mp. category will be shown later
2004Behavioural inverse limit λ-modelsDezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  ; Likavec, Silvia  Article
22M22
2012Characterising Strongly Normalising Intuitionistic TermsSanto, José Espírito; Ivetić, Jelena  ; Likavec, Silvia  Article
22M22
2009Computational interpretations of logicsGhilezan, Silvia  ; Likavec, Silvia  Article
Mp. category will be shown later
2013Constructive approach to relevant and affine term calculiGilezan, Silvia  ; Ivetić, Jelena  ; Pierre Lescanne; Likavec, Silvia  Conference Paper
Mp. category will be shown later
2011Dynamic Interface Reconfiguration Based on Different Ontological RelationsLikavec, Silvia  ; Elisa Chiabrando; Roberto Furnari; Pierluigi Grillo; Ilaria LombardiConference Paper
Mp. category will be shown later
2017Envisioning the Future of Personalization through Personal Informatics: A User StudyLikavec, Silvia Lj.  ; F. Cena; A. Rapp; A. MarcengoArticle
22M22
2003Extensions of the reducibility methodGhilezan, Silvia  ; Likavec, Silvia  Conference Paper
Mp. category will be shown later
2013Granular semantic user similarity in the presence of sparse dataLikavec, Silvia  ; Francesco Osborne; Federica CenaConference Paper
Mp. category will be shown later
2023How Personality Traits can be Used to Shape Itinerary Factors in Recommender Systems for Young TravellersCena, Federica; Console, Luca; Likavec, Silvia  ; Micheli, Marta; Vernero, FabianaArticle
21M21
2017How to improve Jaccard’s feature-based similarity measureLikavec, Silvia  ; Lombardi, Ilaria; Cena, FedericaArticle
21aM21a
2013Interacting with social networks of intelligent things and people in the world of gastronomyLikavec, Silvia  ; Luca Console et al.Article
Mp. category will be shown later
2015Intersection Types Fit Well with Resource ControlGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneConference Paper
Mp. category will be shown later