| 2025 | DATE | Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability. | Ludwig Schmid, Tom Peham, Lucas Berent, Markus Mller, Robert Wille |
| 2023 | ASPDAC | Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. | Tom Peham, Lukas Burgholzer, Robert Wille |
| 2023 | ATMOS | A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy. | Stefan Engels, Tom Peham, Robert Wille |
| 2023 | QCE | Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. | Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer |
| 2022 | DAC | Equivalence checking paradigms in quantum circuit design: a case study. | Tom Peham, Lukas Burgholzer, Robert Wille |
| 2022 | DAC | 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 |
| 2021 | DATE | Towards Automatic Design and Verification for Level 3 of the European Train Control System. | Robert Wille, Tom Peham, Judith Przigoda, Nils Przigoda |