Enriching Diagrams with Algebraic Operations. - Alejandro Villoria; Henning Basold; Alfons Laarman (FoSSaCS (1), 2024)

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