Tim Coopmans
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | A Knowledge Compilation Map for Quantum Information. | Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman |
| 2026 | CAV | Quokka#: Quantum Computing with #SAT. | Jingyi Mei, Dekel Zak, Muhammad Osama, Tim Coopmans, Alfons Laarman |
| 2024 | FM | Advancing Quantum Computing with Formal Methods. | Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman |
| 2024 | IJCAR | Equivalence Checking of Quantum Circuits by Model Counting. | Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman |
| 2023 | ATVA | Fast Equivalence Checking of Quantum Circuits of Clifford Gates. | Dimitrios Thanos, Tim Coopmans, Alfons Laarman |
| 2023 | SAT | Quantum Graph-State Synthesis with SAT. | Sebastiaan Brand, Tim Coopmans, Alfons Laarman |
| 2020 | QCE | Efficient Optimization of Cut-offs in Quantum Repeater Chains. | Boxi Li, Tim Coopmans, David Elkouss |
| 2019 | SIGCOMM | 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 |