pith. sign in

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