Birs- 24w5307: Quantum Circuit Design Automation
-
Title: Modalities in Proto-Quipper
Speaker:
Link:
-
Title: Minimal entanglement for injecting diagonal gates
Speaker:
Link:
-
Title: Efficiency of quantum gate-sets and random t-designs
Speaker:
Link:
-
Title: Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algorithm
Speaker:
Link:
-
Title: Quantum circuit completeness
Speaker:
Link:
-
Title: Breaking the cubic barrier in the Solovay-Kitaev algorithm
Speaker:
Link:
-
Title: Efficiently achieving fault-tolerant qudit quantum computation via gate teleportation
Speaker:
Link:
-
Title: Verifying Graphical Quantum Calculi in a Proof Assistant
Speaker:
Link:
-
Title: Catalytic Embeddings
Speaker:
Link:
-
Title: The Munich Quantum Toolkit (MQT) - A Summary of Design Automation Tools and Software for Quantum Computing
Speaker:
Link:
-
Title: Improving the Fidelity of CNOT Circuits on NISQ Hardware
Speaker:
Link: