Tom Peham
Orcid: 0000-0003-3434-7881
According to our database1,
Tom Peham
authored at least 10 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System.
CoRR, 2023
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
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.
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023
2022
IEEE J. Emerg. Sel. Topics Circuits Syst., 2022
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.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
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.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021