Dominik Leichtle
Scholar

Dominik Leichtle

Google Scholar ID: avkSkqQAAAAJ
Laboratory for Foundations of Computer Science, University of Edinburgh
Quantum CryptographyQuantum Verification and Benchmarking
Google Scholar↗
Citations & Impact
All-time
Citations
242
 
H-index
7
 
i10-index
7
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
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
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)