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

Semantics-directed machine architecture in ReWire., , , , und . FPT, Seite 446-449. IEEE, (2013)The Confinement Problem in the Presence of Faults., , und . ICFEM, Volume 7635 von Lecture Notes in Computer Science, Seite 182-197. Springer, (2012)The Design of a Practical Proof Checker for a Lazy Functional Language., , und . Trends in Functional Programming, Volume 7829 von Lecture Notes in Computer Science, Seite 117-132. Springer, (2012)A core calculus for secure hardware: its formal semantics and proof system., , , und . MEMOCODE, Seite 122-131. ACM, (2017)A Principled Approach to Secure Multi-core Processor Design with ReWire., , , , und . ACM Trans. Embed. Comput. Syst., 16 (2): 33:1-33:25 (2017)Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation., , , , und . ARC, Volume 9040 von Lecture Notes in Computer Science, Seite 41-52. Springer, (2015)Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewire., , und . RSP, Seite 114-120. IEEE, (2016)The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware., , , und . ACM Trans. Embed. Comput. Syst., 18 (1): 6:1-6:26 (2019)Making monads first-class with template haskell., , und . Haskell, Seite 99-110. ACM, (2008)Provably Correct Development of reconfigurable hardware designs via equational reasoning., , , und . FPT, Seite 160-171. IEEE, (2015)