Researchers
Likavec, Silvia
Type
Date issued
Results 41-60 of 66
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2011 | Semantic similarity in heterogeneous ontologies | Likavec, Silvia   ; Elisa Chiabrando; Ilaria Lombardi; Claudia Picardi; Daniele Theseider Dupre | Conference Paper | Mp. category will be shown later |
| 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.;
Furnari R.; Gena C.; Geymonat M.; Grimaldi P.; Grillo P.; Guercio E.; Likavec, Silvia
; Lombardi I.; Mana D.; Marcengo A.; Mioli M.; Mirabelli M.; Perrero M.; Picardi C.; Protti F.; Rapp A.; Reviglio O.; Sandon R.; Simeoni R.; Daniele Theseider Dupre; Torre I.; Toso A.; Torta F.; Vernero F.; | Conference Paper | Mp. category will be shown later |
| 2011 | Intersection types for the resource control lambda calculi | Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne | 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 |
| 2010 | Threading Facts into a Collective Narrative World | Likavec, Silvia ; Ilaria Lombardi; Alberto Nantiat; Claudia Picardi; Daniele Theseider Dupre` | Conference Paper | Mp. category will be shown later |
| 2010 | Shapes as property restrictions and property-based similarity | Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2009 | Computational interpretations of logics | Ghilezan, Silvia ; Likavec, Silvia | Article | Mp. category will be shown later |
| 2008 | Poslovna matematika | Likavec, Silvia ; Žunić, Dragiša ; Carić, Biljana | Text book | Mp. category will be shown later |
| 2006 | On untyped Curien-Herbelin calculus | Likavec, Silvia ; Lescanne, Pierre | Book parts | Mp. category will be shown later |
| 2005 | Safe and Flexible Objects with Subtyping | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia | Article | Mp. category will be shown later |
| 2005 | Safe Object Composition in the Presence of Subtyping | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia | Book parts | Mp. category will be shown later |
| 2005 | Types for object-oriented and functional programming languages | Likavec, Silvia | Doctoral theses | 70M70 |
| 2005 | Metod redukcije u lambda racunu sa tipovima sa presekom - magistarski rad | Likavec, Silvia | Other | Mp. category will be shown later |
| 2005 | Safe and flexible objects | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2005 | Strong normalization of the dual classical sequent calculus | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia | Article | 23M23 |
| 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 mixin-based incomplete objects | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2004 | Behavioural inverse limit λ-models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Article | 22M22 |
| 2004 | Zbirka rešenih zadataka iz Matematike I | Грбић, Татјана ; Likavec, Silvia ; Лукић, Тибор ; Пантовић, Јованка ; Сладоје, Наташа ; Теофанов, Љиљана | Text book | Mp. category will be shown later |
| 2004 | Zbirka rešenih zadataka iz Matematike I - 2. izd. | Grbić, Tatjana ; Likavec, Silvia ; Lukić, Tibor ; Pantović, Jovanka ; Sladoje, Nataša ; Teofanov, Ljiljana | Text book | Mp. category will be shown later |