The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Neelam Soundararajan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu
    A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof. [Citation Graph (2, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:10, pp:1443-1452 [Journal]
  2. Ashok K. Goel, N. Soundararajan, B. Chandrasekaran
    Complexity in Classificatory Reasoning. [Citation Graph (0, 0)][DBLP]
    AAAI, 1987, pp:421-425 [Conf]
  3. Neelam Soundararajan, Roger L. Costello
    Responsive Sequential Processes. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1988, pp:131-133 [Conf]
  4. V. Ashok, Neelam Soundararajan, Roger L. Costello
    : Distributed Discrete Event Simulation using Dataflow. [Citation Graph (0, 0)][DBLP]
    ICPP, 1985, pp:503-510 [Conf]
  5. Ann E. Kelley Sobel, N. Soundararajan
    A Proof System for Distributed Processes. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:343-358 [Conf]
  6. Ann E. Kelley Sobel, N. Soundararajan
    A Proof System for Distributed Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1988, v:25, n:3, pp:305-332 [Journal]
  7. N. Soundararajan
    Total Correctness of CSP Programs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1986, v:23, n:2, pp:193-215 [Journal]
  8. Mathai Joseph, Abha Moitra, Neelam Soundararajan
    Proof Rules for Fault Tolerant Distributed Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1987, v:8, n:1, pp:43-67 [Journal]
  9. Neelam Soundararajan, Roger L. Costello
    Responsive sequential processes. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1988, v:23, n:3, pp:53-62 [Journal]

Search in 0.002secs, Finished in 0.003secs
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