← authors · overview

• Advanced Equivalence Checking for Quantum Circuits
  2020 · 105 citations
• Wire Recycling for Quantum Circuit Optimization
  2016 · 22 citations
• Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations
  2019 · 15 citations
• Synthesis of Arbitrary Quantum Circuits to Topological Assembly: Systematic, Online and Compact
  2017 · 12 citations
• How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing
  2019 · 7 citations
• Compilation of Entangling Gates for High-Dimensional Quantum Systems
  2023 · 6 citations
• Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware
  2024 · 4 citations
• Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers
  2023 · 2 citations