Истраживачи
Likavec, Silvia
Година
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2013 | Shapes as property restrictions and property-based similarity (✓) | Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2013 | Anisotropic propagation of user interests in ontology-based user models (✓) | Cena, Federica; Likavec, Silvia ; Osborne, Francesco | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
2013 | Resource control and strong normalisation (✓) | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
2013 | Resource aware computing with proofs (✓) | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2013 | Constructive approach to relevant and affine term calculi (✓) | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2013 | Reducibility method and resource control (✓) | Gilezan, Silvia ; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2013 | Granular semantic user similarity in the presence of sparse data (✓) | Likavec, Silvia ; Francesco Osborne; Federica Cena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2013 | Interacting with social networks of intelligent things and people in the world of gastronomy (✓) | Likavec, Silvia ; Luca Console et al. | Научни чланак | Мп категорија ће бити приказана накнадно. |
2012 | WantEat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainability (✓) | Likavec, Silvia ; Luca Console; Giulia Biamino; Francesca Carmagnola; Federica Cena; Elisa Chiabrando; Roberto Furnari; Cristina Gena; Pierluigi Grillo; Ilaria Lombardi;
Michele Mioli; Claudia Picardi; Daniele Theseider Dupre; Fabiana Vernero; Rossana Simeoni; Fabrizio Antonelli; Vincenzo Cuciti; Matteo Demichelis; Fabrizio Franceschi; Marina Geymonat; Alessandro Marcengo; Dario Mana; Mario Mirabelli; Monica Perrero; Amon Rapp; Franco Fassio; Piercarlo Grimaldi; Fabio Torta;
| Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2012 | WantEat: interacting with social networks of smart objects for sharing and promoting cultural heritage (✓) | Luca Console; Giulia Biamino; Francesca Carmagnola; Federica Cena; Elisa Chiabrando; Roberto Furnari; Cristina Gena; Pierluigi Grillo; Likavec, Silvia ; Ilaria Lombardi;
Michele Mioli; Claudia Picardi; Amon Rapp; Fabiana Vernero; Rossana Simeoni; Fabrizio Antonelli; Vincenzo Cuciti; Matteo Demichelis; Fabrizio Franceschi; Marina Geymonat; Alessandro Marcengo; Dario Mana; Mario Mirabelli; Monica Perrero; Federica Protti; Franco Fassio; Piercarlo Grimaldi; Fabio Torta;
| Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2012 | Using mobile phone cameras to interact with ontological data (✓) | Likavec, Silvia ; Pierluigi Grillo; Ilaria Lombardi | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2012 | Intersection types for explicit substitution with resource control (✓) | Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2012 | Wheeling around with Wanteat: exploring mixed social networks in the gastronomy domain (✓) | Likavec, Silvia ; Fabrizio Antonelli; Giulia Biamino; Francesca Carmagnola; Federica Cena; Elisa Chiabrando; Luca Console; Vincenzo Cuciti; Matteo Demichelis; Franco Fassio;
Fabrizio Franceschi; Roberto Furnari; Cristina Gena; Marina Geymonat; Piercarlo Grimaldi; Pierluigi Grillo; Elena Guercio; Ilaria Lombardi; Dario Mana; Alessandro Marcengo; Michele Mioli; Mario Mirabelli; Monica Perrero; Claudia Picardi; Federica Protti; Amon Rapp; Roberta Sandon; Rossana Simeoni; Daniele Theseider Dupre; Ilaria Torre; Andrea Toso; Fabio Torta; Fabiana Vernero;
| Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2012 | A journey through resource control lambda calculi and explicit substitution using intersection types (✓) | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
2012 | Property-Based Interest Propagation in Ontology-Based User Model (✓) | Likavec, Silvia ; Federica Cena; Francesco Osborne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2012 | On semantics of a term calculus for classical logic (✓) | Likavec, Silvia ; Lescanne, Pierre | Научни чланак | 23M23 - Рад у међ. часопису |
2012 | Characterising Strongly Normalising Intuitionistic Terms (✓) | Santo, José Espírito; Ivetić, Jelena ; Likavec, Silvia | Научни чланак | 23M23 - Рад у међ. часопису |
2011 | Wanteat: interacting with “social” networks of intelligent things and people in the world of enogastronomy (✓) | Console L. ; Antonelli F.; Biamino G.; Carmagnola F.; Cena F.; Chiabrando E.; Cuciti V.; Demichelis M.; Fassio F.; Franceschi F.; | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2011 | Intersection types for the resource control lambda calculi (✓) | Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2011 | Semantic similarity in heterogeneous ontologies (✓) | Likavec, Silvia ; Elisa Chiabrando; Ilaria Lombardi; Claudia Picardi; Daniele Theseider Dupre | Конференцијски рад | Мп категорија ће бити приказана накнадно. |