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

Distributed Reactive Programming for Reactive Distributed Systems., , und . Art Sci. Eng. Program., 3 (3): 5 (2019)Parallel Actor Monitors: Disentangling task-level parallelism from data partitioning in the actor model, , und . Science of Computer Programming, (April 2013)Out-of-Place Debugging on Constraint Devices with the EDWARD Debugger (Demo)., , , und . DEBT@SIGMOD, Seite 3-4. ACM, (2023)Putting Order in Strong Eventual Consistency., , , , , und . DAIS, Volume 11534 von Lecture Notes in Computer Science, Seite 36-56. Springer, (2019)A CAPable distributed programming model., , und . Onward!, Seite 88-98. ACM, (2018)WebPie: A Tiny Slice of Dependent Typing.. ThEdu@CADE, Volume 400 von EPTCS, Seite 2-27. (2023)WARDuino: An embedded WebAssembly virtual machine., , und . J. Comput. Lang., (2024)Ambient Contracts: Verifying and Enforcing Ambient Object Compositions à la Carte, , , , und . Personal and Ubiquitous Computing, 15 (4): 341-351 (Januar 2011)I now pronounce you reactive and consistent: handling distributed and replicated state in reactive programming., , , und . REBLS@SPLASH, Seite 1-8. ACM, (2016)Blink: An Educational Software Debugger for Scratch., , und . ITiCSE (2), Seite 648. ACM, (2023)