Scholar
Dominik Leichtle
Google Scholar ID: avkSkqQAAAAJ
Laboratory for Foundations of Computer Science, University of Edinburgh
Quantum Cryptography
Quantum Verification and Benchmarking
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
242
H-index
7
i10-index
7
Publications
20
Co-authors
0
Publications
4 items
Quantum Orchestras: a Concrete Semantics for Recursive Hybrid Programs
2026
Cited
0
Composing Quantum Instruments
2026
Cited
0
Quantitative quantum soundness for all multipartite compiled nonlocal games
2025
Cited
0
Bounding the asymptotic quantum value of all multipartite compiled non-local games
2025
Cited
0
