LIKAVEC, Silvia
LIKAVEC, Silvia
PSICOLOGIA
A core calculus of higher-order mixins and classes
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
An ontology for quantified self: Capturing the concepts behind the numbers
2016-01-01 Cena, Federica; Likavec, Silvia; Rapp, Amon; Marcengo, Alessandro
Dynamic Interface Reconfiguration Based on Different Ontological Relations
2011-01-01 Elisa Chiabrando; Roberto Furnari; Pierluigi Grillo; Silvia Likavec; Ilaria Lombardi
Granular Semantic User Similarity in the Presence of Sparse Data
2013-01-01 F. Osborne; S. Likavec; F. Cena
Interacting with a Social Web of Smart Objects for Enhancing Tourist Experiences
2012-01-01 Federica Cena; Fabrizio Antonelli; Giulia Biamino; Francesca Carmagnola; 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
Intersection Types for the Resource Control Lambda Calculi
2011-01-01 Silvia Ghilezan; Jelena Ivetić; Pierre Lescanne; Silvia Likavec
Ontologies for Quantified Self: a Semantic Approach
2014-01-01 Federica Cena; Silvia Likavec; Amon Rapp; Martina Deplano; Alessandro Marcengo
Propagating user interests in ontology-based user model
2011-01-01 F. Cena; S. Likavec; F. Osborne
Property-Based Interest Propagation in Ontology-Based User Model
2012-01-01 Cena, Federica; Likavec, Silvia; Osborne, Francesco
Property-based Semantic Similarity: What Counts?
2015-01-01 Likavec, Silvia; Cena, Federica
Quantified Self and Modeling of Human Cognition
2015-01-01 Cena, F.; Likavec, S.; Rapp. A.
Reducibility method for termination properties of typed lambda terms
2001-01-01 S. Ghilezan; V. Kuncak; S. Likavec
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types
2003-01-01 Silvia Ghilezan; Silvia Likavec
Safe object composition in the presence of subtyping
2005-01-01 L. BETTINI; V. BONO; S. LIKAVEC
Selection and ranking of activities in the social web
2013-01-01 Ilaria Lombardi; Silvia Likavec; Claudia Picardi; Elisa Chiabrando
Semantic similarity in heterogeneous ontologies
2011-01-01 Elisa Chiabrando; Silvia Likavec; Ilaria Lombardi; Claudia Picardi; Daniele Theseider Dupré
Shapes as property restrictions and property-based similarity
2013-01-01 Silvia Likavec
Strong Normalization of the Dual Classical Sequent Calculus
2005-01-01 S. GHILEZAN; S. LIKAVEC; P. LESCANNE; D. DOUGHERTY
Synthesis of collective tag-based opinions in the social web
2011-01-01 F. Cena; S. Likavec; I. Lombardi; C. Picardi
Telleat: Sharing experiences on the move
2014-01-01 Elisa Chiabrando; Roberto Furnari; Silvia Likavec; Francesco Osborne; Claudia Picardi; Daniele Theseider Dupre'
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A core calculus of higher-order mixins and classes | 2004 | L. BETTINI; V. BONO; S. LIKAVEC | |
| An ontology for quantified self: Capturing the concepts behind the numbers | 2016 | Cena, Federica; Likavec, Silvia; Rapp, Amon; Marcengo, Alessandro | |
| Dynamic Interface Reconfiguration Based on Different Ontological Relations | 2011 | Elisa Chiabrando; Roberto Furnari; Pierluigi Grillo; Silvia Likavec; Ilaria Lombardi | |
| Granular Semantic User Similarity in the Presence of Sparse Data | 2013 | F. Osborne; S. Likavec; F. Cena | |
| Interacting with a Social Web of Smart Objects for Enhancing Tourist Experiences | 2012 | Federica Cena; Fabrizio Antonelli; Giulia Biamino; Francesca Carmagnola; 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 | |
| Intersection Types for the Resource Control Lambda Calculi | 2011 | Silvia Ghilezan; Jelena Ivetić; Pierre Lescanne; Silvia Likavec | |
| Ontologies for Quantified Self: a Semantic Approach | 2014 | Federica Cena; Silvia Likavec; Amon Rapp; Martina Deplano; Alessandro Marcengo | |
| Propagating user interests in ontology-based user model | 2011 | F. Cena; S. Likavec; F. Osborne | |
| Property-Based Interest Propagation in Ontology-Based User Model | 2012 | Cena, Federica; Likavec, Silvia; Osborne, Francesco | |
| Property-based Semantic Similarity: What Counts? | 2015 | Likavec, Silvia; Cena, Federica | |
| Quantified Self and Modeling of Human Cognition | 2015 | Cena, F.; Likavec, S.; Rapp. A. | |
| Reducibility method for termination properties of typed lambda terms | 2001 | S. Ghilezan; V. Kuncak; S. Likavec | |
| Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types | 2003 | Silvia Ghilezan; Silvia Likavec | |
| Safe object composition in the presence of subtyping | 2005 | L. BETTINI; V. BONO; S. LIKAVEC | |
| Selection and ranking of activities in the social web | 2013 | Ilaria Lombardi; Silvia Likavec; Claudia Picardi; Elisa Chiabrando | |
| Semantic similarity in heterogeneous ontologies | 2011 | Elisa Chiabrando; Silvia Likavec; Ilaria Lombardi; Claudia Picardi; Daniele Theseider Dupré | |
| Shapes as property restrictions and property-based similarity | 2013 | Silvia Likavec | |
| Strong Normalization of the Dual Classical Sequent Calculus | 2005 | S. GHILEZAN; S. LIKAVEC; P. LESCANNE; D. DOUGHERTY | |
| Synthesis of collective tag-based opinions in the social web | 2011 | F. Cena; S. Likavec; I. Lombardi; C. Picardi | |
| Telleat: Sharing experiences on the move | 2014 | Elisa Chiabrando; Roberto Furnari; Silvia Likavec; Francesco Osborne; Claudia Picardi; Daniele Theseider Dupre' |