Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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