Tim Coopmans

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Satisfiability Testing

Efficient Optimization

Top Venues

IEEE J. Sel. Areas Commun.

Publications

Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman
A Knowledge Compilation Map for Quantum Information. CoRR (2024)
Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman
Equivalence Checking of Quantum Circuits by Model Counting. IJCAR (2) (2024)
Sebastiaan Brand, Tim Coopmans, Alfons Laarman
Quantum Graph-State Synthesis with SAT. CoRR (2023)
Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman
LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States. Quantum 7 (2023)
Dimitrios Thanos, Tim Coopmans, Alfons Laarman
Fast Equivalence Checking of Quantum Circuits of Clifford Gates. ATVA (2023)
Sebastiaan Brand, Tim Coopmans, Alfons Laarman
Quantum Graph-State Synthesis with SAT. POS@SAT (2023)
Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman
LIMDD A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States. CoRR (2021)
Boxi Li, Tim Coopmans, David Elkouss
Efficient Optimization of Cut-offs in Quantum Repeater Chains. QCE (2020)
Sebastiaan Brand, Tim Coopmans, David Elkouss
Efficient Computation of the Waiting Time and Fidelity in Quantum Repeater Chains. IEEE J. Sel. Areas Commun. 38 (3) (2020)
Koji Azuma, Stefan Bäuml, Tim Coopmans, David Elkouss, Boxi Li
Tools for quantum network design. CoRR (2020)
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
A link layer protocol for quantum networks. SIGCOMM (2019)