| Equivalence checking of quantum circuits with the ZX-calculus T Peham, L Burgholzer, R Wille IEEE Journal on Emerging and Selected Topics in Circuits and Systems 12 (3 …, 2022 | 46 | 2022 |
| On optimal subarchitectures for quantum circuit mapping T Peham, L Burgholzer, R Wille ACM Transactions on Quantum Computing 4 (4), 1-20, 2023 | 29 | 2023 |
| The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing R Wille, L Berent, T Forster, J Kunasaikaran, K Mato, T Peham, ... arXiv preprint arXiv:2405.17543, 2024 | 20 | 2024 |
| Depth-optimal synthesis of Clifford circuits with SAT solvers T Peham, N Brandl, R Kueng, R Wille, L Burgholzer 2023 IEEE International Conference on Quantum Computing and Engineering (QCE …, 2023 | 19 | 2023 |
| Equivalence checking of parameterized quantum circuits: Verifying the compilation of variational quantum algorithms T Peham, L Burgholzer, R Wille Proceedings of the 28th Asia and South Pacific Design Automation Conference …, 2023 | 16 | 2023 |
| Equivalence checking paradigms in quantum circuit design: A case study T Peham, L Burgholzer, R Wille Proceedings of the 59th ACM/IEEE Design Automation Conference, 517-522, 2022 | 13 | 2022 |
| The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus R Wille, L Burgholzer, S Hillmich, T Grurl, A Ploier, T Peham Proceedings of the 59th ACM/IEEE Design Automation Conference, 1367-1370, 2022 | 12 | 2022 |
| Optimal railway routing using virtual subsections T Peham, J Przigoda, N Przigoda, R Wille International Conference on Reliability, Safety, and Security of Railway …, 2022 | 8 | 2022 |
| Towards automatic design and verification for level 3 of the European train control system R Wille, T Peham, J Przigoda, N Przigoda 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 974-979, 2021 | 8 | 2021 |
| A symbolic design method for ETCS Hybrid Level 3 at different degrees of accuracy S Engels, T Peham, R Wille 23rd Symposium on Algorithmic Approaches for Transportation Modelling …, 2023 | 6 | 2023 |
| Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes T Peham, L Schmid, L Berent, M Müller, R Wille arXiv preprint arXiv:2408.11894, 2024 | 3 | 2024 |
| Design tasks and their complexity for the European Train Control System with hybrid train detection S Engels, T Peham, J Przigoda, N Przigoda, R Wille Design tasks and their complexity for the European Train Control System with …, 2024 | 2 | 2024 |
| Design tasks and their complexity for Hybrid Level 3 of the European Train Control System S Engels, T Peham, J Przigoda, N Przigoda, R Wille arXiv preprint arXiv:2308.02572, 2023 | 2 | 2023 |
| Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability L Schmid, T Peham, L Berent, M Müller, R Wille arXiv preprint arXiv:2501.05527, 2025 | | 2025 |
| Quantum Computing T Peham, L Burgholzer, R Wille, A Nayak, H Yuen, S Perriello, A Barenghi, ... ACM Transactions on 4 (4), 2023 | | 2023 |
| Equivalence Checking of Quantum Circuits with the ZX-Calculus/Author Tom Peham T Peham | | 2022 |
Robert WilleTechnical University of Munich and SCCH GmbHVerified email at tum.de