Silvia Likavec

Amon Rapp

Inf. Syst. Frontiers, 2019

Sigmoid similarity - a new feature-based similarity measure.

[BibT_eX]

[DOI]

Ilaria Lombardi

Inf. Sci., 2019

2018

Envisioning the Future of Personalization Through Personal Informatics: A User Study.

[BibT_eX]

[DOI]

Int. J. Mob. Hum. Comput. Interact., 2018

2016

Should I Stay or Should I Go? Improving Event Recommendation in the Social Web.

[BibT_eX]

[DOI]

Interact. Comput., 2016

An ontology for quantified self: capturing the concepts behind the numbers.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2016 ACM International Symposium on Wearable Computers, 2016

2015

Property-based Semantic Similarity and Relatedness for Improving Recommendation Accuracy and Diversity.

[BibT_eX]

[DOI]

Int. J. Semantic Web Inf. Syst., 2015

Quantified self and modeling of human cognition.

[BibT_eX]

[DOI]

Amon Rapp

Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, 2015

Property-based Semantic Similarity: What Counts?

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, 2015

2014

Resource control and intersection types: an intrinsic connection.

[BibT_eX]

[DOI]

CoRR, 2014

Ontologies for Quantified Self: a Semantic Approach.

[BibT_eX]

[DOI]

Proceedings of the Hypertext 2014 Extended Proceedings: Late-breaking Results, 2014

TellEat: Sharing Experiences on the Move.

[BibT_eX]

[DOI]

Daniele Theseider Dupré

Proceedings of the Human-Computer Interaction. Applications and Services, 2014

2013

Interacting with social networks of intelligent things and people in the world of gastronomy.

[BibT_eX]

[DOI]

ACM Trans. Interact. Intell. Syst., 2013

Anisotropic propagation of user interests in ontology-based user models.

[BibT_eX]

[DOI]

Inf. Sci., 2013

A journey through resource control lambda calculi and explicit substitution using intersection types (an account).

[BibT_eX]

[DOI]

CoRR, 2013

Shapes as property restrictions and property-based similarity.

[BibT_eX]

[DOI]

Proceedings of the Second Interdisciplinary Workshop The Shape of Things, 2013

Granular Semantic User Similarity in the Presence of Sparse Data.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

Selection and Ranking of Activities in the Social Web.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012

Characterising Strongly Normalising Intuitionistic Terms.

[BibT_eX]

[DOI]

José Espírito Santo

Jelena Ivetic

Fundam. Informaticae, 2012

WantEat: interacting with social networks of smart objects for sharing and promoting cultural heritage.

[BibT_eX]

[DOI]

Proceedings of the Workshop and Poster Proceedings of the 20th Conference on User Modeling, 2012

Property-Based Interest Propagation in Ontology-Based User Model.

[BibT_eX]

[DOI]

Proceedings of the User Modeling, Adaptation, and Personalization, 2012

Wheeling around with Wanteat: exploring mixed social networks in the gastronomy domain.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Intelligent User Interfaces, 2012

Interacting with a Social Web of Smart Objects for Enhancing Tourist Experiences.

[BibT_eX]

[DOI]

Proceedings of the Information and Communication Technologies in Tourism 2012, 2012

WantEat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainability.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

2011

Resource control and strong normalisation

[BibT_eX]

[DOI]

CoRR, 2011

Intersection Types for the Resource Control Lambda Calculi.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

Semantic similarity in heterogeneous ontologies.

[BibT_eX]

[DOI]

Daniele Theseider Dupré

Proceedings of the HT'11, 2011

Dynamic Interface Reconfiguration Based on Different Ontological Relations.

[BibT_eX]

[DOI]

Proceedings of the Human Interface and the Management of Information. Interacting with Information, 2011

Using Mobile Phone Cameras to Interact with Ontological Data.

[BibT_eX]

[DOI]

Pierluigi Grillo

Ilaria Lombardi

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

Propagating User Interests in Ontology-Based User Model.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

Synthesis of Collective Tag-Based Opinions in the Social Web.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

Threading Facts into a Collective Narrative World.

[BibT_eX]

[DOI]

Daniele Theseider Dupré

Proceedings of the Interactive Storytelling, 2010

2005

Types for object-oriented and functional programming languages.

[BibT_eX]

[DOI]

PhD thesis, 2005

Safe and Flexible Objects with Subtyping.

[BibT_eX]

[DOI]

J. Object Technol., 2005

Safe and flexible objects.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Strong Normalization of the Dual Classical Sequent Calculus.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

Safe Object Composition in the Presence of Subtyping.

[BibT_eX]

[DOI]

Mariangiola Dezani-Ciancaglini

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

2004

Behavioural inverse limit lambda-models.

[BibT_eX]

[DOI]

Silvia Ghilezan

Theor. Comput. Sci., 2004

A core calculus of higher-order mixins and classes.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A core calculus of mixins and incomplete objects.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

2002

Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types.

[BibT_eX]

[DOI]

Silvia Ghilezan