LIKAVEC, Silvia
LIKAVEC, Silvia
PSICOLOGIA
A core calculus of higher-order mixins and classes
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of higher-order mixins and classes [poster abstract]
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixin-based incomplete objects
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixins and incomplete objects
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
Anisotropic propagation of user interests in ontology-based user models
2013-01-01 F. Cena; S. Likavec; F. Osborne
Behavioural inverse limit λ-models
2004-01-01 Dezani M.; Ghilezan S.; Likavec S.
Characterising Strongly Normalising Intuitionistic Terms
2012-01-01 J. E. Santo; J. Ivetic; S. Likavec
Computational Interpretations of Logics
2009-01-01 Silvia Ghilezan; Silvia Likavec
Constructive approach to relevant and affine term calculi
2013-01-01 Silvia Ghilezan; Jelena Ivetic; Pierre Lescanne; Silvia Likavec
Differentiation for single variable calculus
2009-01-01 Silvia Likavec
Dynamic Interface Reconfiguration Based on Different Ontological Relations
2011-01-01 Elisa Chiabrando; Roberto Furnari; Pierluigi Grillo; Silvia Likavec; Ilaria Lombardi
Envisioning the future of personalization through personal informatics: A user study
2018-01-01 Cena, Federica; Rapp, Amon; Likavec, Silvia; Marcengo, Alessandro
Extensions of the reducibility method
2004-01-01 Silvia Ghilezan; Silvia Likavec
Granular Semantic User Similarity in the Presence of Sparse Data
2013-01-01 F. Osborne; S. Likavec; F. Cena
How Personality Traits can be Used to Shape Itinerary Factors in Recommender Systems for Young Travellers
2023-01-01 Cena, F; Console, L; Likavec, S; Micheli, M; Vernero, F
Integralni racun (Calcolo integrale per funzioni di una variabile)
2008-01-01 Silvia Likavec
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
Interacting With Social Networks of Intelligent Things and People in the World of Gastronomy
2013-01-01 Luca Console; Fabrizio Antonelli; Giulia Biamino; Francesca Carmagnola; Federica Cena; Elisa Chiabrando; Vincenzo Cuciti; Matteo Demichelis; Franco Fassio; Fabrizio Franceschi; Roberto Furnari; Cristina Gena; Marina Geymonat; Piercarlo Grimaldi; Pierluigi Grillo; Silvia Likavec; Ilaria Lombardi; Dario Mana; Alessandro Marcengo; Michele Mioli; Mario Mirabelli; Monica Perrero; Claudia Picardi; Federica Protti; Amon Rapp; Rossana Simeoni; Daniele Theseider Dupré; Ilaria Torre; Andrea Toso; Fabio Torta; Fabiana Vernero
Intersection type assignment systems for intuitionistic sequent calculus
2008-01-01 José Espírito Santo; Jelena Ivetic; Silvia Likavec
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A core calculus of higher-order mixins and classes | 2004 | L. BETTINI; V. BONO; S. LIKAVEC | |
| A core calculus of higher-order mixins and classes [poster abstract] | 2004 | L. BETTINI; V. BONO; S. LIKAVEC | |
| A core calculus of mixin-based incomplete objects | 2004 | L. BETTINI; V. BONO; S. LIKAVEC | |
| A core calculus of mixins and incomplete objects | 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 | |
| Anisotropic propagation of user interests in ontology-based user models | 2013 | F. Cena; S. Likavec; F. Osborne | |
| Behavioural inverse limit λ-models | 2004 | Dezani M.; Ghilezan S.; Likavec S. | |
| Characterising Strongly Normalising Intuitionistic Terms | 2012 | J. E. Santo; J. Ivetic; S. Likavec | |
| Computational Interpretations of Logics | 2009 | Silvia Ghilezan; Silvia Likavec | |
| Constructive approach to relevant and affine term calculi | 2013 | Silvia Ghilezan; Jelena Ivetic; Pierre Lescanne; Silvia Likavec | |
| Differentiation for single variable calculus | 2009 | Silvia Likavec | |
| Dynamic Interface Reconfiguration Based on Different Ontological Relations | 2011 | Elisa Chiabrando; Roberto Furnari; Pierluigi Grillo; Silvia Likavec; Ilaria Lombardi | |
| Envisioning the future of personalization through personal informatics: A user study | 2018 | Cena, Federica; Rapp, Amon; Likavec, Silvia; Marcengo, Alessandro | |
| Extensions of the reducibility method | 2004 | Silvia Ghilezan; Silvia Likavec | |
| Granular Semantic User Similarity in the Presence of Sparse Data | 2013 | F. Osborne; S. Likavec; F. Cena | |
| How Personality Traits can be Used to Shape Itinerary Factors in Recommender Systems for Young Travellers | 2023 | Cena, F; Console, L; Likavec, S; Micheli, M; Vernero, F | |
| Integralni racun (Calcolo integrale per funzioni di una variabile) | 2008 | Silvia Likavec | |
| 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 | |
| Interacting With Social Networks of Intelligent Things and People in the World of Gastronomy | 2013 | Luca Console; Fabrizio Antonelli; Giulia Biamino; Francesca Carmagnola; Federica Cena; Elisa Chiabrando; Vincenzo Cuciti; Matteo Demichelis; Franco Fassio; Fabrizio Franceschi; Roberto Furnari; Cristina Gena; Marina Geymonat; Piercarlo Grimaldi; Pierluigi Grillo; Silvia Likavec; Ilaria Lombardi; Dario Mana; Alessandro Marcengo; Michele Mioli; Mario Mirabelli; Monica Perrero; Claudia Picardi; Federica Protti; Amon Rapp; Rossana Simeoni; Daniele Theseider Dupré; Ilaria Torre; Andrea Toso; Fabio Torta; Fabiana Vernero | |
| Intersection type assignment systems for intuitionistic sequent calculus | 2008 | José Espírito Santo; Jelena Ivetic; Silvia Likavec |