Tom Peham

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 15

Top Topics

Decision Diagrams

Propositional Satisfiability

Top Venues

IEEE J. Emerg. Sel. Topics Circuits Syst.

Publications

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
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing. CoRR (2024)
Stefan Engels, Tom Peham, Robert Wille
A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy. ATMOS (2023)
Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham
The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus. CoRR (2023)
Tom Peham, Lukas Burgholzer, Robert Wille
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. ASP-DAC (2023)
Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. QCE (2023)
Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. CoRR (2023)
Stefan Engels, Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille
Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System. CoRR (2023)
Tom Peham, Lukas Burgholzer, Robert Wille
Equivalence Checking of Quantum Circuits With the ZX-Calculus. IEEE J. Emerg. Sel. Topics Circuits Syst. 12 (3) (2022)
Tom Peham, Lukas Burgholzer, Robert Wille
Equivalence checking paradigms in quantum circuit design: a case study. DAC (2022)
Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille
Optimal Railway Routing Using Virtual Subsections. RSSRail (2022)
Tom Peham, Lukas Burgholzer, Robert Wille
Equivalence Checking of Quantum Circuits with the ZX-Calculus. CoRR (2022)
Tom Peham, Lukas Burgholzer, Robert Wille
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. CoRR (2022)
Tom Peham, Lukas Burgholzer, Robert Wille
On Optimal Subarchitectures for Quantum Circuit Mapping. CoRR (2022)
Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham
The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus. DAC (2022)
Robert Wille, Tom Peham, Judith Przigoda, Nils Przigoda
Towards Automatic Design and Verification for Level 3 of the European Train Control System. DATE (2021)