Tim Coopmans

18 papers A* 2B 1Misc 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2026 A* conf
A Knowledge Compilation Map for Quantum Information.
AAAI
Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman
2025 J jnl
On noise in swap ASAP repeater chains: exact analytics, distributions and tight approximations.
Quantum
Kenneth Goodenough, Tim Coopmans, Don Towsley
2025 J jnl
Optimising entanglement distribution policies under classical communication constraints assisted by reinforcement learning.
Mach. Learn. Sci. Technol.
Jan Li, Tim Coopmans, Patrick Emonts, Kenneth Goodenough, Jordi Tura, Evert P. L. van Nieuwenburg
2025 J jnl
Quantum Data Management in the NISQ Era.
Proc. VLDB Endow.
Rihan Hai, Shih-Han Hung, Tim Coopmans, Tim Littau, Floris Geerts
2024 J jnl
A Knowledge Compilation Map for Quantum Information.
CoRR
Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman
2024 — conf
Advancing Quantum Computing with Formal Methods.
FM (2)
Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman
2024 — conf
Automated Reasoning in Quantum Circuit Compilation.
SPIN
Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman
2024 J jnl
Data Management in the Noisy Intermediate-Scale Quantum Era.
CoRR
Rihan Hai, Shih-Han Hung, Tim Coopmans, Floris Geerts
2024 — conf
Equivalence Checking of Quantum Circuits by Model Counting.
IJCAR (2)
Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman
2023 B conf
Fast Equivalence Checking of Quantum Circuits of Clifford Gates.
ATVA
Dimitrios Thanos, Tim Coopmans, Alfons Laarman
2023 J jnl
LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States.
Quantum
Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman
2023 — conf
Quantum Graph-State Synthesis with SAT.
POS@SAT
Sebastiaan Brand, Tim Coopmans, Alfons Laarman
2023 J jnl
Quantum Graph-State Synthesis with SAT.
CoRR
Sebastiaan Brand, Tim Coopmans, Alfons Laarman
2021 J jnl
LIMDD A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States.
CoRR
Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman
2020 J jnl
Efficient Computation of the Waiting Time and Fidelity in Quantum Repeater Chains.
IEEE J. Sel. Areas Commun.
Sebastiaan Brand, Tim Coopmans, David Elkouss
2020 Misc conf
Efficient Optimization of Cut-offs in Quantum Repeater Chains.
QCE
Boxi Li, Tim Coopmans, David Elkouss
2020 J jnl
Tools for quantum network design.
CoRR
Koji Azuma, Stefan Bäuml, Tim Coopmans, David Elkouss, Boxi Li
2019 A* conf
A link layer protocol for quantum networks.
SIGCOMM
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