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

Triangular Geometrized Sampling Heuristics for Fast Optimal Motion Planning, , , , , und . International Journal of Advanced Robotic Systems, (Februar 2015)On the Formalization of Importance Measures using HOL Theorem Proving., , , und . CoRR, (2019)Decision Tree-based Adaptive Approximate Accelerators for Enhanced Quality., , , und . SysCon, Seite 1-5. IEEE, (2020)Yield aware inter-logic-layer communication in 3-D ICs: Early design stage recommendations., , und . MWSCAS, Seite 222-225. IEEE, (2014)A Generic Virtual Reality Training Simulator for Intracytoplasmic Sperm Injection., , und . ICCCS, Seite 400-403. IEEE, (2019)Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency., , und . IEEE Access, (2019)UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks., , , und . CoRR, (2023)Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach., und . SETTA, Volume 9984 von Lecture Notes in Computer Science, Seite 264-279. (2016)A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis., , und . SMACD, Seite 1-4. IEEE, (2022)Formal Verification of a Fully Automated Out-of-Plane Cell Injection System., und . ISQED, Seite 111-116. IEEE, (2020)