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

Gleipnir: toward practical error analysis for Quantum programs., , , , , und . PLDI, Seite 48-64. ACM, (2021)The Sparse Synchronous Model., und . FDL, Seite 1-8. IEEE, (2020)The Sparse Synchronous Model on Real Hardware., und . ACM Trans. Embed. Comput. Syst., 23 (5): 69:1-69:30 (September 2024)Towards Sparse Synchronous Programming in Lua., und . CPS-IoT Week Workshops, Seite 361-366. ACM, (2023)A novel substrate-triggered ESD protection structure for a bus switch IC with on-chip substrate-pump., , , , und . ISCAS (2), Seite 1190-1193. IEEE, (2005)Creating a Language for Writing Real-Time Applications for the Internet of Things., , , , und . MEMOCODE, Seite 1-20. IEEE, (2022)Timestamp Peripherals for Precise Real-Time Programming., , und . MEMOCODE, Seite 137-147. ACM / IEEE, (2023)A Secure and Formally Verified Linux KVM Hypervisor., , , , und . SP, Seite 1782-1799. IEEE, (2021)Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor., , , , und . USENIX Security Symposium, Seite 3953-3970. USENIX Association, (2021)How Peers Communicate Without Words-An Exploratory Study of Hand Movements in Collaborative Learning Using Computer-Vision-Based Body Recognition Techniques., , , , und . AIED, Volume 13916 von Lecture Notes in Computer Science, Seite 316-326. Springer, (2023)