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

Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems., und . LFCS, Volume 7734 von Lecture Notes in Computer Science, Seite 234-251. Springer, (2013)Adapt-Flow: A Flexible DNN Accelerator Architecture for Heterogeneous Dataflow Implementation., , und . ACM Great Lakes Symposium on VLSI, Seite 287-292. ACM, (2022)A Communication-Centric Observability Selection for Post-Silicon System-on-Chip Integration Debug., , und . ISQED, Seite 278-283. IEEE, (2019)Exploring Scalable WorkSpace Based on Virtual and Physical Movable Wall., , , , und . VR, Seite 862-863. IEEE, (2019)Enhancing Observability for Post-Silicon Debug with On-chip Communication Monitors., , , und . ISVLSI, Seite 602-607. IEEE Computer Society, (2018)Stream-Monitoring Automata., , , und . ICSCA, Seite 313-320. ACM, (2020)Chariot: A High Compatible Architecture to Improve Virtual Machine Reliability., , , , , und . NAS, Seite 131-140. IEEE Computer Society, (2013)Architectural Synthesis of Timed Asynchronous Systems., , und . ICCD, Seite 354-363. IEEE Computer Society, (1999)Versatile Medical Image Segmentation Learned from Multi-Source Datasets via Model Self-Disambiguation., , , , , , und . CoRR, (2023)A pneumatic variable Series elastic actuator-Powered transtibial prosthesis., , und . Int. J. Robotics Autom., (2020)