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

Teleworking. NCC Blackwell, Manchester u.a., (1994)Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes.. IFL, Volume 1595 von Lecture Notes in Computer Science, Seite 186-199. Springer, (1998)A Semantics for Imprecise Exceptions., , , , und . PLDI, Seite 25-36. ACM, (1999)Static and dynamic structure in design patterns., , , und . ICSE, Seite 208-218. ACM, (2002)Implementing Fudgets with Standard Widget Sets., und . Functional Programming, Seite 222-235. Springer, (1993)Designing Data Structures.. Functional Programming, Seite 170-181. Springer, (1989)HOIST: a system for automatically deriving static analyzers for embedded systems., und . ASPLOS, Seite 133-143. ACM, (2004)Evolving real-time systems using hierarchical scheduling and concurrency analysis., , , , und . RTSS, Seite 25-36. IEEE Computer Society, (2003)Prototyping Real-Time Vision Systems: An Experiment in DSL Design., , , und . ICSE, Seite 484-493. ACM, (1999)End-to-End Verification of Processors with ISA-Formal., , , , , , , , , und . CAV (2), Volume 9780 von Lecture Notes in Computer Science, Seite 42-58. Springer, (2016)