Likavec, Silvia

Тип

Година

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 41-60 од 66 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
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.;	Конференцијски рад	Мп категорија ће бити приказана накнадно.
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	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2011	Dynamic Interface Reconfiguration Based on Different Ontological Relations	Likavec, Silvia ; Elisa Chiabrando; Roberto Furnari; Pierluigi Grillo; Ilaria Lombardi	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2010	Threading Facts into a Collective Narrative World	Likavec, Silvia ; Ilaria Lombardi; Alberto Nantiat; Claudia Picardi; Daniele Theseider Dupre`	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2010	Shapes as property restrictions and property-based similarity	Likavec, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2009	Computational interpretations of logics	Ghilezan, Silvia ; Likavec, Silvia	Научни чланак	Мп категорија ће бити приказана накнадно.
2008	Poslovna matematika	Likavec, Silvia ; Žunić, Dragiša ; Carić, Biljana	Уџбеник	Мп категорија ће бити приказана накнадно.
2006	On untyped Curien-Herbelin calculus	Likavec, Silvia ; Lescanne, Pierre	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2005	Safe Object Composition in the Presence of Subtyping	Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2005	Safe and Flexible Objects with Subtyping	Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia	Научни чланак	Мп категорија ће бити приказана накнадно.
2005	Types for object-oriented and functional programming languages	Likavec, Silvia	Докторска дисертација	70M70 - Одбрањена докторска дисертација
2005	Metod redukcije u lambda racunu sa tipovima sa presekom - magistarski rad	Likavec, Silvia	Остало	Мп категорија ће бити приказана накнадно.
2005	Safe and flexible objects	Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2005	Strong normalization of the dual classical sequent calculus	Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia	Научни чланак	23M23 - Међународни часопис категорије M23
2004	Zbirka rešenih zadataka iz Matematike I - 2. izd.	Grbić, Tatjana ; Likavec, Silvia ; Lukić, Tibor ; Pantović, Jovanka ; Sladoje, Nataša ; Teofanov, Ljiljana	Уџбеник	Мп категорија ће бити приказана накнадно.
2004	Behavioural inverse limit λ-models	Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia	Научни чланак	22M22 - Међународни часопис категорије M22
2004	Zbirka rešenih zadataka iz Matematike I	Грбић, Татјана ; Likavec, Silvia ; Лукић, Тибор ; Пантовић, Јованка ; Сладоје, Наташа ; Теофанов, Љиљана	Уџбеник	Мп категорија ће бити приказана накнадно.
2004	A core calculus of mixin-based incomplete objects	Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2004	A Core Calculus of Higher-Order Mixins and Classes	Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia	Поглавље у монографији	Мп категорија ће бити приказана накнадно.