Rajagopal Nagarajan

Identifiers

• name variant Rajagopal Nagarajan 0.60 · backfill

Papers (9)

1. Automated Verification of Quantum Protocols by Equivalence Checking cs.LO · 2013 · author #3
2. Second Quantized Kolmogorov Complexity quant-ph · 2008 · author #3
3. Lossless Quantum Prefix Compression for Communication Channels that are Always Open quant-ph · 2008 · author #3
4. QMC: A Model Checker for Quantum Systems quant-ph · 2007 · author #2
5. Lossless Quantum Compression quant-ph · 2005 · author #2
6. Probabilistic Model--Checking of Quantum Protocols quant-ph · 2005 · author #2
7. An Automated Analysis of the Security of Quantum Key Distribution cs.CR · 2005 · author #1
8. Communicating Quantum Processes quant-ph · 2004 · author #2
9. On Feedback and the Classical Capacity of a Noisy Quantum Channel quant-ph · 2003 · author #2

Mentions

• 1312.5951 #3 · backfill · confidence 0.70 Rajagopal Nagarajan
• 0809.2642 #3 · backfill · confidence 0.70 Rajagopal Nagarajan
• 0808.2003 #3 · backfill · confidence 0.70 Rajagopal Nagarajan
• 0704.3705 #2 · backfill · confidence 0.70 Rajagopal Nagarajan

Frequent Coauthors

• Simon Gay 4 shared papers
• Caroline Rogers 3 shared papers
• Nikolaos Papanikolaou 3 shared papers
• Garry Bowen 2 shared papers
• Ebrahim Ardeshir-Larijani 1 shared papers
• Markus Mueller 1 shared papers
• Simon J. Gay 1 shared papers
• Vlatko Vedral 1 shared papers