Scholar
Dominique Unruh
Google Scholar ID: EROP4tsAAAAJ
University of Tartu
Quantum Cryptography
Post-Quantum Cryptography
Verification
Cryptography
#unitartucs
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,700
H-index
35
i10-index
65
Publications
20
Co-authors
27
list available
Contact
No contact links provided.
Publications
3 items
Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
2026
Cited
0
Complex Bounded Operators in Isabelle/HOL
2025
Cited
0
Bayesian Inference in Quantum Programs
2025
Cited
0
Resume (English only)
Co-authors
27 total
Michael Backes
Chairman and Founding Director of the CISPA Helmholtz Center for Information Security
Co-author 2
Co-author 3
Co-author 4
Andris Ambainis
Professor, University of Latvia
Matteo Maffei
Full Professor at TU Wien, Co-Director TU Wien Cybersecurity Center
Co-author 7
Kathrin Hövelmanns
Eindhoven University of Technology
