Coopmans, Tim
41  Ergebnisse:
Personensuche X
?
1

Equivalence Checking of Quantum Circuits by Model Counting:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Mei, Jingyi ; Coopmans, Tim ; Bonsangue, Marcello. - p. 401-421 , 2024
 
?
4

Fast Equivalence Checking of Quantum Circuits of Clifford G..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
 
?
8

Efficient Optimization of Cutoffs in Quantum Repeater Chain:

Li, Boxi ; Coopmans, Tim ; Elkouss, David
IEEE Transactions on Quantum Engineering.  2 (2021)  - p. 1-15 , 2021
 
?
11

Efficient Optimization of Cut-offs in Quantum Repeater Chai..:

, In: 2020 IEEE International Conference on Quantum Computing and Engineering (QCE),
Li, Boxi ; Coopmans, Tim ; Elkouss, David - p. 158-168 , 2020
 
?
13

A link layer protocol for quantum networks:

, In: Proceedings of the ACM Special Interest Group on Data Communication,
Dahlberg, Axel ; Skrzypczyk, Matthew ; Coopmans, Tim... - p. 159-173 , 2019
 
?
 
1-15