Tom Peham

21 papers A* 2A 2C 1Misc 1Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Optimizing Fault-tolerant Cat State Preparation.
CoRR
Tom Peham, Erik Weilandt, Robert Wille
2025 A conf
Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability.
DATE
Ludwig Schmid, Tom Peham, Lucas Berent, Markus Müller, Robert Wille
2025 J jnl
MQT Core: The Backbone of the Munich Quantum Toolkit (MQT).
J. Open Source Softw.
Lukas Burgholzer, Yannick Stade, Tom Peham, Robert Wille
2024 J jnl
Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes.
CoRR
Tom Peham, Ludwig Schmid, Lucas Berent, Markus Müller, Robert Wille
2024 — conf
The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing.
QSW
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
2024 J jnl
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing.
CoRR
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
2023 C conf
A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy.
ATMOS
Stefan Engels, Tom Peham, Robert Wille
2023 Misc conf
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers.
QCE
Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
2023 J jnl
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers.
CoRR
Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
2023 J jnl
Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System.
CoRR
Stefan Engels, Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille
2023 — conf
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms.
ASP-DAC
Tom Peham, Lukas Burgholzer, Robert Wille
2023 J jnl
On Optimal Subarchitectures for Quantum Circuit Mapping.
ACM Trans. Quantum Comput.
Tom Peham, Lukas Burgholzer, Robert Wille
2023 J jnl
The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus.
CoRR
Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham
2022 J jnl
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms.
CoRR
Tom Peham, Lukas Burgholzer, Robert Wille
2022 J jnl
Equivalence Checking of Quantum Circuits With the ZX-Calculus.
IEEE J. Emerg. Sel. Topics Circuits Syst.
Tom Peham, Lukas Burgholzer, Robert Wille
2022 J jnl
Equivalence Checking of Quantum Circuits with the ZX-Calculus.
CoRR
Tom Peham, Lukas Burgholzer, Robert Wille
2022 A* conf
Equivalence checking paradigms in quantum circuit design: a case study.
DAC
Tom Peham, Lukas Burgholzer, Robert Wille
2022 J jnl
On Optimal Subarchitectures for Quantum Circuit Mapping.
CoRR
Tom Peham, Lukas Burgholzer, Robert Wille
2022 — conf
Optimal Railway Routing Using Virtual Subsections.
RSSRail
Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille
2022 A* conf
The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus.
DAC
Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham
2021 A conf
Towards Automatic Design and Verification for Level 3 of the European Train Control System.
DATE
Robert Wille, Tom Peham, Judith Przigoda, Nils Przigoda