A link layer protocol for quantum networks. - Axel Dahlberg; Matthew Skrzypczyk; Tim Coopmans; Leon Wubben; Filip Rozpedek; Matteo Pompili; Arian Stolk; Przemyslaw Pawelczak; Robert Knegjens; Julio de Oliveira Filho; Ronald Hanson; Stephanie Wehner (SIGCOMM, 2019)

Efficient Optimization of Cut-offs in Quantum Repeater Chains. - Boxi Li; Tim Coopmans; David Elkouss (QCE, 2020)

Tools for quantum network design. - Koji Azuma; Stefan Bäuml; Tim Coopmans; David Elkouss; Boxi Li (CoRR, 2020)

Efficient Computation of the Waiting Time and Fidelity in Quantum Repeater Chains. - Sebastiaan Brand; Tim Coopmans; David Elkouss (IEEE J. Sel. Areas Commun., 2020)

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

Quantum Graph-State Synthesis with SAT. - Sebastiaan Brand; Tim Coopmans; Alfons Laarman (POS@SAT, 2023)

LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States. - Lieuwe Vinkhuijzen; Tim Coopmans; David Elkouss; Vedran Dunjko; Alfons Laarman (Quantum, 2023)

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

Equivalence Checking of Quantum Circuits by Model Counting. - Jingyi Mei; Tim Coopmans; Marcello M. Bonsangue; Alfons Laarman (IJCAR (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)

A Knowledge Compilation Map for Quantum Information. - Lieuwe Vinkhuijzen; Tim Coopmans; Alfons Laarman (CoRR, 2024)

Data Management in the Noisy Intermediate-Scale Quantum Era. - Rihan Hai 001; Shih-Han Hung; Tim Coopmans; Floris Geerts (CoRR, 2024)

On noise in swap ASAP repeater chains: exact analytics, distributions and tight approximations. - Kenneth Goodenough; Tim Coopmans; Don Towsley (Quantum, 2025)

Quantum Data Management in the NISQ Era. - Rihan Hai 001; Shih-Han Hung; Tim Coopmans; Tim Littau; Floris Geerts (Proc. VLDB Endow., 2025)