Tom Peham

According to our database, Tom Peham authored at least 12 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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, Lukas Burgholzer

Proceedings of the IEEE International Conference on Quantum Software, 2024

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

Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers.

Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy.

Stefan Engels, Tom Peham, Robert Wille

Proceedings of the 23rd Symposium on Algorithmic Approaches for Transportation Modelling, 2023

Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms.

Tom Peham, Lukas Burgholzer, Robert Wille

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

Equivalence Checking of Quantum Circuits With the ZX-Calculus.

Tom Peham, Lukas Burgholzer, Robert Wille

IEEE J. Emerg. Sel. Topics Circuits Syst., 2022

On Optimal Subarchitectures for Quantum Circuit Mapping.

Tom Peham, Lukas Burgholzer, Robert Wille

CoRR, 2022

Optimal Railway Routing Using Virtual Subsections.

Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 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

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Equivalence checking paradigms in quantum circuit design: a case study.

Tom Peham, Lukas Burgholzer, Robert Wille

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

Towards Automatic Design and Verification for Level 3 of the European Train Control System.

Robert Wille, Tom Peham, Judith Przigoda, Nils Przigoda

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021