LIKAVEC, Silvia

LIKAVEC, Silvia  

ECONOMIA E STATISTICA "COGNETTI DE MARTIIS"  

Mostra records
Risultati 1 - 20 di 56 (tempo di esecuzione: 0.028 secondi).
Titolo Data di pubblicazione Autore(i) File
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
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
A core calculus of higher-order mixins and classes 2004 L. BETTINI; V. BONO; S. 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
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
Intersection types for explicit substitution with resource control 2012 Silvia Ghilezan; Jelena Ivetic; Pierre Lescanne; Silvia Likavec
Intersection Types for the Resource Control Lambda Calculi 2011 Silvia Ghilezan; Jelena Ivetić; Pierre Lescanne; Silvia Likavec