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

A Low-Complexity Mixed-Radix FFT Rotator Architecture., , und . APCCAS, Seite 183-186. IEEE, (2018)Reconfigurable Radix-2k×3 Feedforward FFT Architectures., , und . ISCAS, Seite 1-5. IEEE, (2019)Solving Not-Substring Constraint withFlat Abstraction., , , , , , , , und . APLAS, Volume 13008 von Lecture Notes in Computer Science, Seite 305-320. Springer, (2021)Generating Construction Safety Observations via CLIP-Based Image-Language Embedding., , und . ECCV Workshops (7), Volume 13807 von Lecture Notes in Computer Science, Seite 366-381. Springer, (2022)AGM and Jellyfish Swarms of Elliptic Curves., , , und . Am. Math. Mon., 130 (4): 355-369 (April 2023)An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits., , , , , und . Proc. ACM Program. Lang., 7 (PLDI): 1218-1243 (2023)AutoQ: An Automata-Based Quantum Circuit Verifier., , , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 139-153. Springer, (2023)SEMU: A Framework of Simulation Environment for Wireless Sensor Networks with Co-simulation Model., , , , , und . GPC, Volume 4459 von Lecture Notes in Computer Science, Seite 672-677. Springer, (2007)A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification)., , und . CADE, Volume 14132 von Lecture Notes in Computer Science, Seite 170-189. Springer, (2023)PyCT: A Python Concolic Tester., , , , und . APLAS, Volume 13008 von Lecture Notes in Computer Science, Seite 38-46. Springer, (2021)