The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rajagopal Nagarajan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
    Specification Structures and Propositions-as-Types for Concurrency. [Citation Graph (0, 0)][DBLP]
    Banff Higher Order Workshop, 1995, pp:5-40 [Conf]
  2. Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath
    Flow Analysis: Games and Nets. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:135-156 [Conf]
  3. Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan
    An Internal Language for Interaction Categories. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:85-104 [Conf]
  4. Simon J. Gay, Rajagopal Nagarajan
    Modelling SIGNAL in Interaction Categories. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:148-158 [Conf]
  5. Chris Hankin, Ian Mackie, Rajagopal Nagarajan
    Preface. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:- [Conf]
  6. Simon J. Gay, Rajagopal Nagarajan
    A Typed Calculus of Synchronous Processes [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:210-220 [Conf]
  7. Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
    Interaction categories and the foundations of typed concurrent programming. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:35-113 [Conf]
  8. Simon J. Gay, Rajagopal Nagarajan
    Communicating quantum processes. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:145-157 [Conf]
  9. Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
    A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:295-320 [Conf]
  10. Ranko Lazic, Rajagopal Nagarajan
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:1-2 [Journal]
  11. Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams
    Simulating and Compiling Code for the Sequential Quantum Random Access Machine. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:101-124 [Journal]
  12. Simon J. Gay, Rajagopal Nagarajan
    Intensional and Extensional Semantics of Dataflow Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:4, pp:299-318 [Journal]
  13. Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
    A Specification Structure for Deadlock-Freedom of Synchronous Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:222, n:1-2, pp:1-53 [Journal]
  14. Garry Bowen, Rajagopal Nagarajan
    On feedback and the classical capacity of a noisy quantum channel. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Theory, 2005, v:51, n:1, pp:320-324 [Journal]
  15. Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay
    An Automated Analysis of the Security of Quantum Key Distribution [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  16. Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
    Probabilistic Model-Checking of Quantum Protocols [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  17. Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou
    Exogenous Probabilistic Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:95-110 [Journal]
  18. Ranko Lazic, Rajagopal Nagarajan
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:3, pp:275- [Journal]

  19. QMC: A Model Checker for Quantum Systems. [Citation Graph (, )][DBLP]


Search in 0.073secs, Finished in 0.074secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002