275 citations · 860 across the 18 of their papers we have counts for
5 papers · 1 filter
Optimising entanglement distribution policies under classical communication constraints assisted by reinforcement learning
Jan Li, Tim Coopmans, Patrick Emonts +3
Quantum repeaters play a crucial role in the effective distribution of entanglement over long distances. The nearest-future type of quantum repeater requires two operations: entang…
Advancing Quantum Computing with Formal Methods
Arend-Jan Quist, Jingyi Mei, Tim Coopmans +1
This tutorial introduces quantum computing with a focus on the applicability of formal methods in this relatively new domain. We describe quantum circuits and convey an understandi…
On noise in swap ASAP repeater chains: exact analytics, distributions and tight approximations
Kenneth Goodenough, Tim Coopmans, Don Towsley
Losses are one of the main bottlenecks for the distribution of entanglement in quantum networks, which can be overcome by the implementation of quantum repeaters. The most basic fo…
Equivalence Checking of Quantum Circuits by Model Counting
Jingyi Mei, Tim Coopmans, Marcello Bonsangue +1
Verifying equivalence between two quantum circuits is a hard problem, that is nonetheless crucial in compiling and optimizing quantum algorithms for real-world devices. This paper…
A Knowledge Compilation Map for Quantum Information
Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman
Quantum computing is finding promising applications in optimization, machine learning and physics, leading to the development of various models for representing quantum information…