Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus. - Agustín Borgna; Simon Perdrix; Benoît Valiron (APLAS, 2021)

Encoding High-level Quantum Programs as SZX-diagrams. - Agustín Borgna; Rafael Romero 002 (QPL, 2022)

Towards a formal compilation stack-frame in quantum computing. (Vers une formalisation d'une chaîne de compilation pour un ordinateur quantique). - Agustín Borgna (2023)