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 | 18 | 2022 |
On optimal subarchitectures for quantum circuit mapping T Peham, L Burgholzer, R Wille ACM Transactions on Quantum Computing 4 (4), 1-20, 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 | 10 | 2022 |
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 | 8 | 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 | 7 | 2023 |
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 | 5 | 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 | 5 | 2021 |
Optimal railway routing using virtual subsections T Peham, J Przigoda, N Przigoda, R Wille International Conference on Reliability, Safety, and Security of Railway …, 2022 | 4 | 2022 |
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 |
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 | 1 | 2023 |
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 |