Dimitrios Thanos

According to our database, Dimitrios Thanos authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

2025

Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs.

Muhammad Osama, Dimitrios Thanos, Alfons Laarman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

Automated Reasoning in Quantum Circuit Compilation.

Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman

Proceedings of the Model Checking Software - 30th International Symposium, 2024

2023

Fast Equivalence Checking of Quantum Circuits of Clifford Gates.

Dimitrios Thanos, Tim Coopmans, Alfons Laarman

Proceedings of the Automated Technology for Verification and Analysis, 2023