Researchers
Likavec, Silvia
Results 41-60 of 66
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2011 | Synthesis of Collective Tag-based Opinions in the Social Web | Likavec, Silvia   ; Federica Cena; Ilaria Lombardi; Claudia Picardi | 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 |
| 2011 | Propagating User Interests in Ontology-Based User Model | Cena, Federica; Likavec, Silvia ; Osborne, Francesco | Conference Paper | Mp. category will be shown later |
| 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 |
| 2010 | Shapes as property restrictions and property-based similarity | Likavec, Silvia | 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 |
| 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 | 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 | Safe Object Composition in the Presence of Subtyping | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia | 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 | Strong normalization of the dual classical sequent calculus | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia | Article | 23M23 |
| 2004 | A core calculus of mixins and incomplete objects | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2004 | Understanding untyped λµµ calculus | Lescanne, Pierre; Likavec, Silvia | Report works | Mp. category will be shown later |
| 2004 | A core calculus of higher-order mixins and classes | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 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 |