Optimizing Quantum Space Using Spooky Pebble Games. - Arend-Jan Quist; Alfons Laarman (RC, 2023)

Advancing Quantum Computing with Formal Methods. - Arend-Jan Quist; Jingyi Mei; Tim Coopmans; Alfons Laarman (FM (2), 2024)

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

Trade-offs between classical and quantum space using spooky pebbling. - Arend-Jan Quist; Alfons Laarman (CoRR, 2024)