Skip to content. | Skip to navigation

RAJAGOPAL NAGARAJAN

Publications

Books and Journal Volumes Edited

  1. R. Lazic and R. Nagarajan, (Guest Editors)
    2. Formal Aspects of Computing Special Issue based on selected papers from AVOCS '05, volume 19(3), Springer Verlag.
  2. R. Lazic and R. Nagarajan, (Editors)
    3. AVOCS '05: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems Electronic Notes in Theoretical Computer Science 145, 218 pages, Elsevier, January 2006.
  3. C. L. Hankin, I. C. Mackie, R. Nagarajan, (Editors)
    4. Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Department of Computing Theory and Formal Methods Section Workshop Cambridge, September 1994. IC Press, 1995.

Journal Papers and Contribution to Books

  1. T. Davidson, S. J. Gay, H. Mlnařík, R. Nagarajan and N. Papanikolaou
    2. Model Checking for Communicating Quantum Processes International Journal of Unconventional Computing (to appear).
  2. S. J. Gay, R. Nagarajan and N. Papanikolaou
    3. Specification and Verification of Quantum Protocols Semantic Techniques in Quantum Computation, 68 pages, Cambridge University Press, 2010.
  3. M. Muller, C. Rogers, and R. Nagarajan
    4. Lossless Quantum Prefix Compression for Communication Channels that are Always Open Physical Review A, volume 79, issue 1, 2009.
  4. C. Rogers, V. Vedral, and R. Nagarajan
    5. Second Quantized Kolmogorov Complexity International Journal of Quantum Information, volume 6, number 4, 2008.
  5. S. J. Gay and R. Nagarajan
    6. Type System and Type Checking for Communicating Quantum Processes Mathematical Structures in Computer Science, volume 16, number 3, 2006.
  6. G. Bowen and R. Nagarajan
    7. On Feedback and the Classical Capacity of a Noisy Quantum Channel IEEE Transactions on Information Theory, volume 51, number 1, 2005. (Short Version)
  7. S. J. Gay and R. Nagarajan
    8. Intensional and Extensional Semantics of Dataflow Programs Formal Aspects of Computing, volume 15, pp 299--318, 2003.
  8. C. Hankin, R. Nagarajan, P. Sampath
    9. Flow Analysis: Games and Nets The Essence of Computation: Complexity, Analysis, Transformation, Springer Lecture Notes in Computer Science, number 2566, 2002. (postscript,pdf)
  9. S. Abramsky, S. J. Gay, R. Nagarajan
    10. A specification structure for deadlock-freedom of synchronous processes Theoretical Computer Science, volume 222(1--2), pp 1--53, 1999. (Science Direct)
  10. S. Abramsky, S. J. Gay, and R. Nagarajan
    11. Specification Structures and Propositions-as-Types for Concurrency Logics for Concurrency: Structure vs. Automata---Proceedings of the VIIIth Banff Higher Order Workshop, (G. Birtwistle and F. Moller, ed.), Springer-Verlag Lecture Notes in Computer Science, number 1043, 1996.
  11. S. Abramsky, S. J. Gay, R. Nagarajan
    12. Interaction Categories and the Foundations of Typed Concurrent Programming Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School, (M. Broy, ed.), NATO ASI Series F, Springer-Verlag, 1996. (postscript)

Conference and Workshop Papers

  1. S. J. Gay, R. Nagarajan and N. Papanikolaou
    2. QMC: A Model-Checker for Quantum Systems CAV '08: Proceedings of the 20th International Conference on Computer Aided Verification, Lecture Notes in Computer Science (LNCS), number 5123, pages 543--547, Springer Verlag, 2008.
  2. P. Baltazar, P. Mateus, R. Nagarajan and N. Papanikolaou
    3. Exogenous Probabilistic Computation Tree Logic QAPL '07: Proceedings of the 5th Workshop on the Quantitative Aspects of Programming Languages, Electronic Notes in Theoretical Computer Science (ENTCS), volume 190, Issue 3, pages 95--110, Elsevier, 2007.
  3. S. J. Gay, R. Nagarajan and N. Papanikolaou
    4. Probabilistic Model-Checking of Quantum Protocols DCM '06: Proceedings of the 2nd International Workshop on Developments in Computational Models (ICALP satellite event), Venice, Italy, July 2006.
  4. R. Nagarajan, N. Papanikolaou, G. Bowen and S. J. Gay
    5. An Automated Analysis of the Security of Quantum Key Distribution SecCo '05: Proceedings of the 3rd International Workshop on Security Issues in Concurrency, San Francisco, USA, August 2005.
  5. R. Nagarajan, N. Papanikolaou and D. Williams
    6. Simulating and Compiling Code for the Sequential Quantum Random Access Machine QPL '05: Proceedings of the 3rd International Workshop on Quantum Programming Languages, Chicago, USA, June 2005. To appear in Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier.
  6. R.Nagarajan
    7. Is Unconditionally Secure Quantum Cryptography Unbreakable? Position Paper, International Workshop on the Grand Challenge in Non-Classical Computation, University of York, UK, April 2005.
  7. S. J. Gay and R. Nagarajan
    8. Communicating Quantum Processes POPL '05: Proceedings of the 32nd ACM Symposium on Principles of Programming Languages, Long Beach, California, January 2005. Earlier version appeared in QPL '04: Proceedings of the Second International Workshop on Quantum Programming Languages, Turku, Finland, July 2004.
  8. G. Bowen and R. Nagarajan
    9. On Feedback and the Classical Capacity of a Noisy Quantum Channel ISIT '04: Proceedings of IEEE International Symposium on Information Theory, Chicago, USA, June 2004.
  9. R. Nagarajan and S. J. Gay
    10. Formal Verification of Quantum Protocols 2002. (Short version)
  10. C. Rogers and R. Nagarajan
    11. Transmission of Unknown Variable Length Quantum Strings EQIS '03: Proceedings of the ERATO Conference on Quantum Information Science, Niijima-kaikan, Kyoto, Japan, September 2003.
  11. W. Luk, Y. Sherif, and R. Nagarajan
    12. Incremental Engineering of Hardware Packet Filters ERSA'01: Proceedings of the First International Conference on Engineering of Reconfigurable Systems and Algorithms, Las Vegas, USA, July 2001.
  12. D. J. Clark, C. L. Hankin, S. Hunt, R. Nagarajan
    13. Possibilistic Information Flow is safe for Probabilistic Non-Interference WITS '00: Proceedings of the Workshop on Issues in the Theory of Security, Geneva, Switzerland, July 2000. (postscript)
  13. S. Abramsky, S. J. Gay, R. Nagarajan
    14. A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems TACS '97: Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, (M. Abadi and T. Ito, ed.), Sendai, Japan, September 1997. Springer-Verlag Lecture Notes in Computer Science, number 1281, 1997. (postscript)
  14. S. J. Gay, R. Nagarajan
    15. A Typed Calculus of Synchronous Processes LICS '95: Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, June 1995. IEEE Computer Society Press, 1995. (postscript, pdf)
  15. R. L. Crole, S. J. Gay, R. Nagarajan
    16. An Internal Language for Interaction Categories Theory and Formal Methods 94: Proceedings of the Second Imperial College Department of Computing Theory and Formal Methods Section Workshop, (C. L. Hankin, I. C. Mackie, and R. Nagarajan, ed.), IC Press, 1995. (postscript)
  16. S. J. Gay, R. Nagarajan
    17. Modelling SIGNAL in Interaction Categories Proceedings of the First Imperial College Department of Computing Theory and Formal Methods Section Workshop, (G. L. Burn, S. J. Gay, and M. D. Ryan, ed.), Springer Verlag Workshops in Computing, 1993. (postscript)

Theses

  1. R. Nagarajan
    2. Typed Concurrent Programs: Specification & Verification PhD thesis, University of London, 1998. (postscript)
  2. R. Nagarajan
    3. Subsumption-related Strategies for Reducing the Search Space generated during Resolution in Automatic Theorem Proving Master's thesis, University of Delaware, 1987.

Technical Reports

  1. R. Nagarajan, (ed.)
    2. Proceedings of the Fifth CONFER (EU Basic Research Action CONcurrency and Functions: Evaluation and Reduction) Workshop Imperial College, London, October 1995. Imperial College Department of Computing Technical Report No. 95-6, February 1995.
  2. R. Nagarajan
    3. Reasoning about Asynchronous Circuits in an Implementation of CCS in HOL Research Report No. 92/485/23, University of Calgary, August 1992.
  3. J. Aldwinkle, R. Nagarajan, G. Birtwistle
    4. An Introduction to Modal Logics and its Applications on the Concurrency Workbench (Preliminary Version) Research Report No. 92/467/05,University of Calgary, February 1992.