Birs- 16w5029: Quantum Computer Science
-
Title: A framework for approximating qubit unitaries
Speaker:
Link:
-
Title: Small codes for magic state distillation
Speaker:
Link:
-
Title: Software demo: QGL
Speaker:
Link:
-
Title: Garbage collection for reversible circuit compilation
Speaker:
Link:
-
Title: Ancilla-free reversible logic synthesis using symbolic methods
Speaker:
Link:
-
Title: Toward automatic verification of quantum programs
Speaker:
Link:
-
Title: Software demo: Quantum++
Speaker:
Link:
-
Title: Software demo: meQuanics
Speaker:
Link:
-
Title: Software demo: ReVer
Speaker:
Link:
-
Title: Trees, buildings, and navigation in the unitary group
Speaker:
Link:
-
Title: Synthesis of quaternary quantum circuits using optimized gate realizations
Speaker:
Link:
-
Title: Software tutorial: A tutorial on Quipper
Speaker:
Link:
-
Title: Circuit diagrams with < q|pic >
Speaker:
Link:
-
Title: Topological circuit optimization
Speaker:
Link:
-
Title: Scalable quantum computing architectures based on trapped ions
Speaker:
Link:
-
Title: How to verify a quantum computation
Speaker:
Link:
-
Title: Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3
Speaker:
Link:
-
Title: The LIQUi|> simulator tutorial
Speaker:
Link:
-
Title: Automated, parametric gate count of quantum programs
Speaker:
Link:
-
Title: T-count optimization and Reed-Muller codes
Speaker:
Link: