Quantum PL & Verification Bibliography
About
Papers
People
Venues
Tags
Posts
Variants
BibLaTeX
BibTeX
bibtex2html
BibBase
Mailing List
Light
Dark
Automatic
Thomas Häner
Latest
QParallel: Explicit Parallelism for Programming Quantum Computers
QIRO: A Static Single Assignment-Based Quantum Program Representation for Optimization
Enabling Accuracy-Aware Quantum Compilers Using Symbolic Resource Estimation
ProjectQ: An Open Source Software Framework for Quantum Computing
Cite
×