51 citations · 166 across the 13 of their papers we have counts for
13 papers
Formalization of Quantum Protocols using Coq
Jaap Boender, Florian Kammüller, Rajagopal Nagarajan
Quantum Information Processing, which is an exciting area of research at the intersection of physics and computer science, has great potential for influencing the future developmen…
Automated Verification of Quantum Protocols by Equivalence Checking
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
In this paper we introduce a technique and a tool for formal verification of various quantum information processing protocols. The tool uses stabilizer formalism and is capable of…
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan +1
We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer sc…
Formal Analysis of Quantum Systems using Process Calculus
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan
Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on…
Second Quantized Kolmogorov Complexity
Caroline Rogers, Vlatko Vedral, Rajagopal Nagarajan
The Kolmogorov complexity of a string is the length of its shortest description. We define a second quantised Kolmogorov complexity where the length of a description is defined to…
Lossless Quantum Prefix Compression for Communication Channels that are Always Open
Markus Mueller, Caroline Rogers, Rajagopal Nagarajan
We describe a method for lossless quantum compression if the output of the information source is not known. We compute the best possible compression rate, minimizing the expected b…