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

Mechanical Support for Efficient Dissemination on the CAN Overlay Network, und . 8ème Conférence Francaise sur les Systèmes d'Exploitation (CFSE'11), Chapitre francais de l'ACM-SIGOPS, GDR ARP, (Mai 2011)On Reachability in Parameterized Phaser Programs., , , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 299-315. Springer, (2019)S4BXI: the MPI-ready Portals 4 Simulator., , , und . MASCOTS, Seite 1-8. IEEE, (2021)Promise Plus: Flexible Synchronization for Parallel Computations on Arrays., , und . FSEN, Volume 12818 von Lecture Notes in Computer Science, Seite 190-196. Springer, (2021)Active Objects with Deterministic Behaviour., , und . IFM, Volume 12546 von Lecture Notes in Computer Science, Seite 181-198. Springer, (2020)Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR., , und . CPP, Seite 283-298. ACM, (2025)Secured Information Flow for Asynchronous Sequential Processes., , , und . SecCO@CONCUR, Volume 180 von Electronic Notes in Theoretical Computer Science, Seite 17-34. Elsevier, (2005)Provably Fair Cooperative Scheduling., und . Art Sci. Eng. Program., (2024)Godot: All the Benefits of Implicit and Explicit Futures., , , , und . ECOOP, Volume 134 von LIPIcs, Seite 2:1-2:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Verification of Concurrent Design Patterns with Data., , und . COORDINATION, Volume 11533 von Lecture Notes in Computer Science, Seite 161-181. Springer, (2019)