Towards Automatic Design and Verification for Level 3 of the European Train Control System. - Robert Wille; Tom Peham; Judith Przigoda; Nils Przigoda (DATE, 2021)

Equivalence checking paradigms in quantum circuit design: a case study. - Tom Peham; Lukas Burgholzer; Robert Wille (DAC, 2022)

The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus. - Robert Wille; Lukas Burgholzer; Stefan Hillmich; Thomas Grurl; Alexander Ploier; Tom Peham (DAC, 2022)

Optimal Railway Routing Using Virtual Subsections. - Tom Peham; Judith Przigoda; Nils Przigoda; Robert Wille (RSSRail, 2022)

On Optimal Subarchitectures for Quantum Circuit Mapping. - Tom Peham; Lukas Burgholzer; Robert Wille (CoRR, 2022)

Equivalence Checking of Quantum Circuits With the ZX-Calculus. - Tom Peham; Lukas Burgholzer; Robert Wille (IEEE J. Emerg. Sel. Topics Circuits Syst., 2022)

Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. - Tom Peham; Lukas Burgholzer; Robert Wille (ASP-DAC, 2023)

A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy. - Stefan Engels; Tom Peham; Robert Wille (ATMOS, 2023)

Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. - Tom Peham; Nina Brandl; Richard Kueng; Robert Wille; Lukas Burgholzer (QCE, 2023)

Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System. - Stefan Engels; Tom Peham; Judith Przigoda; Nils Przigoda; Robert Wille (CoRR, 2023)

The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing. - Robert Wille; Lucas Berent; Tobias Forster; Jagatheesan Kunasaikaran; Kevin Mato; Tom Peham; Nils Quetschlich; Damian Rovara; Aaron Sander; Ludwig Schmid; Daniel Schönberger; Yannick Stade; et al. (QSW, 2024)

Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes. - Tom Peham; Ludwig Schmid; Lucas Berent; Markus Müller; Robert Wille (CoRR, 2024)

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability. - Ludwig Schmid; Tom Peham; Lucas Berent; Markus Müller; Robert Wille (DATE, 2025)

MQT Core: The Backbone of the Munich Quantum Toolkit (MQT). - Lukas Burgholzer; Yannick Stade; Tom Peham; Robert Wille (J. Open Source Softw., 2025)