Tim Coopmans

According to our database, Tim Coopmans authored at least 12 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Data Management in the Noisy Intermediate-Scale Quantum Era.

Rihan Hai, Shih-Han Hung, Tim Coopmans, Floris Geerts

CoRR, 2024

A Knowledge Compilation Map for Quantum Information.

Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman

CoRR, 2024

Automated Reasoning in Quantum Circuit Compilation.

Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman

Proceedings of the Model Checking Software - 30th International Symposium, 2024

Equivalence Checking of Quantum Circuits by Model Counting.

Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Advancing Quantum Computing with Formal Methods.

Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States.

Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman

Quantum, September, 2023

Quantum Graph-State Synthesis with SAT.

Sebastiaan Brand, Tim Coopmans, Alfons Laarman

Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023

Fast Equivalence Checking of Quantum Circuits of Clifford Gates.

Dimitrios Thanos, Tim Coopmans, Alfons Laarman

Proceedings of the Automated Technology for Verification and Analysis, 2023

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

Tools for quantum network design.

Koji Azuma, Stefan Bäuml, Tim Coopmans, David Elkouss, Boxi Li

CoRR, 2020

Efficient Optimization of Cut-offs in Quantum Repeater Chains.

Boxi Li, Tim Coopmans, David Elkouss

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2020

2019

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

Proceedings of the ACM Special Interest Group on Data Communication, 2019