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

Test generation games from formal specifications., , , , und . DAC, Seite 827-832. ACM, (2006)Performance Attacks on Branch Predictors in Embedded Processors with SMT Support., , , und . ICISS, Volume 10717 von Lecture Notes in Computer Science, Seite 313-322. Springer, (2017)Debugging Errors in Microfluidic Executions., , und . ACSS (2), Volume 996 von Advances in Intelligent Systems and Computing, Seite 143-158. Springer, (2019)Flexible Droplet Routing in Active Matrix-Based Digital Microfluidic Biochips., , , , , , und . ACM Trans. Design Autom. Electr. Syst., 23 (3): 37:1-37:25 (2018)On reliability hardening in cyber-physical digital-microfluidic biochips., , , , , und . ASP-DAC, Seite 518-523. IEEE, (2017)Efficient Generation of Dilution Gradients With Digital Microfluidic Biochips., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (5): 874-887 (2019)Reliability Hardening Mechanisms in Cyber-Physical Digital-Microfluidic Biochips., , , , und . ACM J. Emerg. Technol. Comput. Syst., 14 (3): 34:1-34:22 (2018)Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking., und . IEEE Trans. Dependable Secur. Comput., 20 (1): 797-812 (2023)Approximate computing for multithreaded programs in shared memory architectures., , und . MEMOCODE, Seite 11:1-11:9. ACM, (2019)Multitask Scheduling of Computer Vision Workload on Edge Graphical Processing Units., , , , , und . COMSNETS, Seite 588-593. IEEE, (2023)