Fast Equivalence Checking of Quantum Circuits of Clifford Gates. - Dimitrios Thanos; Tim Coopmans; Alfons Laarman (ATVA, 2023)

Automated Reasoning in Quantum Circuit Compilation. - Dimitrios Thanos; Alejandro Villoria; Sebastiaan Brand; Arend-Jan Quist; Jingyi Mei; Tim Coopmans; Alfons Laarman (SPIN, 2024)

Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs. - Muhammad Osama 003; Dimitrios Thanos; Alfons Laarman (TACAS (3), 2025)