activity
20232026
most citedThe MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing

51 citations · 132 across the 13 of their papers we have counts for

collaborators
Showing 2026 · quant-phShow all

6 papers · 2 filters

quant-ph2026

Methods for Automated Equivalence Checking of Quantum Error-Correction Codes

Maxie Bichmann, Ludwig Schmid, Robert Wille

Quantum error-correction code and circuit construction is an active field of research, motivating automated methods for identifying equivalent designs. We develop and evaluate auto…

quant-ph2026

Fast Unitary Preparation of Surface-Code Logical States on Neutral-Atom Hardware

Ludwig Schmid, Robert Wille

Preparing logical states is a constantly recurring primitive at the start of any surface-code-based quantum computation. The standard measurement-based protocol is expensive on neu…

quant-ph2026

QECirc: A Community-Driven, FAIR Library of Quantum Error Correction Circuits

Ludwig Schmid, Tom Peham, Robert Wille

Quantum error correction (QEC) underpins fault-tolerant quantum computing, but the circuits that realize QEC codes (encoders, logical state-preparation and gate routines, and syndr…

quant-ph2026

Enabling Neutral Atom Integration: Redesigning Device Models for Universal Quantum Ecosystems

Yannick Stade, Lukas Burgholzer, Ludwig Schmid +1

Quantum computing is transitioning from an academic idea to a practical technology, driven by recent hardware advancements and clear paths toward real-world applications. Universal…

quant-ph2026

Routing Techniques for Error-Corrected Silicon Spin Qubit Quantum Architectures

Julian Shen, Ludwig Schmid, Robert Wille

Silicon spin qubits have emerged as a promising qubit technology due to their favorable scaling and fabrication properties. However, efficiently compiling quantum circuits onto spi…

quant-ph2026

Alternating ZX Circuit Extraction for Hardware-Adaptive Compilation

Ludwig Schmid, Korbinian Staudacher, Robert Wille

We present a novel quantum circuit extraction scheme that tightly integrates graph-like ZX diagrams with hardware-adaptive routing. The method utilizes the degrees of freedom durin…