Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Resource control and strong normalisation, , , and . CoRR, (2011)How Personality Traits can be Used to Shape Itinerary Factors in Recommender Systems for Young Travellers., , , , and . IEEE Access, (2023)Selection and Ranking of Activities in the Social Web., , , and . AI*IA, volume 8249 of Lecture Notes in Computer Science, page 372-384. Springer, (2013)Dynamic Interface Reconfiguration Based on Different Ontological Relations., , , , and . HCI (11), volume 6771 of Lecture Notes in Computer Science, page 538-547. Springer, (2011)Strong Normalization of the Dual Classical Sequent Calculus., , , and . LPAR, volume 3835 of Lecture Notes in Computer Science, page 169-183. Springer, (2005)Intersection Types for the Resource Control Lambda Calculi., , , and . ICTAC, volume 6916 of Lecture Notes in Computer Science, page 116-134. Springer, (2011)TellEat: Sharing Experiences on the Move., , , , , and . HCI (3), volume 8512 of Lecture Notes in Computer Science, page 377-388. Springer, (2014)Resource control and intersection types: an intrinsic connection., , , and . CoRR, (2014)Should I Stay or Should I Go? Improving Event Recommendation in the Social Web., , , and . CoRR, (2014)A Core Calculus of Higher-Order Mixins and Classes., , and . TYPES, volume 3085 of Lecture Notes in Computer Science, page 83-98. Springer, (2003)