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

A Calculus for Boxes and Traits in a Java-Like Setting., , , , und . COORDINATION, Volume 6116 von Lecture Notes in Computer Science, Seite 46-60. Springer, (2010)Predicting resource consumption of Kubernetes container systems using resource models., , , , , und . J. Syst. Softw., (September 2023)Variability modules., , , , und . J. Syst. Softw., (2023)Conjunctive Types and Useless-code Elimination.. ICALP Satellite Workshops, Seite 271-286. Carleton Scientific, Waterloo, Ontario, Canada, (2000)Certifying delta-oriented programs., , und . Softw. Syst. Model., 18 (5): 2875-2906 (2019)FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts., , , und . ICSOFT (1), Seite 218-225. INSTICC Press, (2009)On State Classes and Their Dynamic Semantics., , , und . ICSOFT (Selected Papers), Volume 10 von Communications in Computer and Information Science, Seite 84-96. Springer, (2006)Distributed Real-Time Shortest-Paths Computations with the Field Calculus., , , und . RTSS, Seite 23-34. IEEE Computer Society, (2018)Functional Programming for Distributed Systems with XC., , , , und . ECOOP, Volume 222 von LIPIcs, Seite 20:1-20:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Re-classification and multi-threading: FickleMT., , und . SAC, Seite 1297-1304. ACM, (2004)