Minimizing the Number of Teleportations in Distributed Quantum Computing Using Alloy. - Ali Ebnenasir; Kieran Young (CoRR, 2024)

Distributing Quantum Circuits Using Formal Methods. - Ali Ebnenasir; Kieran Young; Ronald Stempien (FSEN, 2025)