Publications
Quantum networks
| 2026 | On the Specification and Analysis of Quantum Repeater Protocols [QCNC 2026] |
|---|---|
| Lorenzo La Corte, Anita Buckley, Pavel Chuprikov, Patrick Eugster | |
| to appear | |
| 2025 | A Language for Quantifying Quantum Network Behavior [OOPSLA 2025] |
| Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster | |
| DOI · long version | |
| 2024 | An Algebraic Language for Specifying Quantum Networks [PLDI 2024] |
| Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster | |
| DOI · long version | |
| 2023 | Towards an Algebraic Specification of Quantum Networks [QuNet'23] |
| Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster | |
| DOI |
Quantum information theory
| 2022 | New families of entanglement witnesses and entangled states on ℂ3 ⊗ ℂ3 foxfoxfoxfo |
|---|---|
| Anita Buckley | |
| arXiv | |
| 2021 | New examples of extremal positive linear maps [LAA] |
| Anita Buckley, Klemen Šivic | |
| DOI |