Christensen, René Bødker
- Analysis and Verification of Quantum Communication Protocols in UPPAAL Artifact
2025/02/05 by Walsted, Loke, Mikučionis, Marius, Sanderson, Conrad +5 · 7 citations
Computer Science · #Matrix Theory and Algorithms
- A [[58,21,9]] Binary Quantum Stabilizer Code: Improving the Best Known Minimum Distance for [[58,21]] from 8 to 9
2024/10/23 by Jaron Skovsted Gundersen, Gundersen, Jaron Skovsted, René Bødker Christensen +6 · 2 citations
Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #Information Theory (cs.IT) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Rings and Algebras (math.RA)