Autor der Publikation

QDB: From Quantum Algorithms Towards Correct Quantum Programs.

, und . PLATEAU@SPLASH, Volume 67 von OASIcs, Seite 4:1-4:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)

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

Urban Transportation Road Network Problems : Models, Methods and Application. (Problèmes du réseau de transport urbain : modèles, méthodes et application).. University of Technology of Troyes, France, (2018)Contrasting Mesoscale Convective System Features of Two Successive Warm-Sector Rainfall Episodes in Southeastern China: A Satellite Perspective., und . Remote. Sens., 14 (21): 5434 (2022)Learning Local Responses of Facial Landmarks with Conditional Variational Auto-Encoder for Face Alignment., , , und . FG, Seite 947-952. IEEE Computer Society, (2017)Statistical assertions for validating patterns and finding bugs in quantum programs., und . ISCA, Seite 541-553. ACM, (2019)RoboBench: Towards sustainable robotics system benchmarking., , , , und . ICRA, Seite 3383-3389. IEEE, (2016)A Histogram Publishing Method under Differential Privacy That Involves Balancing Small-Bin Availability First., , , , , , , , , und . Algorithms, 17 (7): 293 (Juli 2024)Trustworthy hardware from untrusted components., , , , und . Commun. ACM, 58 (9): 60-71 (2015)Logical abstractions for noisy variational Quantum algorithm simulation., , , , und . ASPLOS, Seite 456-472. ACM, (2021)Metric-Promoted Siamese Network for Gender Classification., , , und . FG, Seite 961-966. IEEE Computer Society, (2017)Continuous-time hybrid computation with programmable nonlinearities., , , , , , , und . ESSCIRC, Seite 279-282. IEEE, (2015)