← authors · overview

• Advanced Equivalence Checking for Quantum Circuits
  2020 · 105 citations
• Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations
  2019 · 15 citations
• Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams
  2023 · 1 citations
• Quantum Hardware-Efficient Selection of Auxiliary Variables for QUBO Formulations
  2025
• Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow
  2020
• Random Stimuli Generation for the Verification of Quantum Circuits
  2020
• Efficient Construction of Functional Representations for Quantum Algorithms
  2021
• Simulation Paths for Quantum Circuit Simulation with Decision Diagrams
  2022
• The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus
  2023
• Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level
  2023
• Equivalence checking of quantum circuits via intermediary matrix product operator
  2024