120 citations
- Johannes Kepler University of LinzAT5 papers
- Technical University of MunichDE5 papers
- Universität InnsbruckAT3 papers
- Australian National UniversityAU2 papers
- Universidad Nacional de La MatanzaAR2 papers
- University of TartuEE2 papers
- Anstalt für Verbrennungskraftmaschinen List (Austria)AT1 paper
- Austrian Center for Medical Innovation and TechnologyAT1 paper
- Blekinge Institute of TechnologySE1 paper
- Ideko (Spain)ES1 paper
- Istanbul Technical UniversityTR1 paper
- Massey UniversityNZ1 paper
4 papers · 1 filter
Decision Diagrams for Quantum Computing
Robert Wille, Stefan Hillmich, Lukas Burgholzer
Quantum computing promises to solve some important problems faster than conventional computations ever could. Currently available NISQ devices on which first practical applications…
Compilation of Entangling Gates for High-Dimensional Quantum Systems
Kevin Mato, Martin Ringbauer, Stefan Hillmich +1
Most quantum computing architectures to date natively support multi-valued logic, albeit being typically operated in a binary fashion. Multi-valued, or qudit, quantum processors ha…
The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus
Robert Wille, Lukas Burgholzer, Stefan Hillmich +3
Quantum computers promise to efficiently solve important problems classical computers never will. However, in order to capitalize on these prospects, a fully automated quantum soft…
Equivalence Checking of Quantum Circuits with the ZX-Calculus
Tom Peham, Lukas Burgholzer, Robert Wille
As state-of-the-art quantum computers are capable of running increasingly complex algorithms, the need for automated methods to design and test potential applications rises. Equiva…