The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sanjai Narain: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sanjai Narain
    A Technique for Doing Lazy Evaluation in Logic. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1986, v:3, n:3, pp:259-276 [Journal]
  2. Philip Klahr, David McArthur, Sanjai Narain
    SWIRL: An Object-Oriented Air Battle Simulator. [Citation Graph (0, 0)][DBLP]
    AAAI, 1982, pp:331-334 [Conf]
  3. Sanjai Narain
    MYCIN in a Logic Programming Environment. [Citation Graph (0, 0)][DBLP]
    COMPCON, 1984, pp:192-199 [Conf]
  4. William Stephens, Brian A. Coan, Sanjai Narain, Vikram Kaul, Kirthika Parmeswaran, Thanh Cheng
    A Toolkit For Building Secure, Fault-Tolerant Virtual Private Networks Technology Description. [Citation Graph (0, 0)][DBLP]
    DISCEX (2), 2003, pp:55-57 [Conf]
  5. Sanjai Narain, Orville Cockings, Ritu Chadha
    A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:235-250 [Conf]
  6. Sanjai Narain
    Proofs from Temporal Hypotheses by Symbolic Simulation. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:327-339 [Conf]
  7. Sanjai Narain
    Lazy Evaluation in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICCL, 1990, pp:218-227 [Conf]
  8. Sanjai Narain, Thanh Cheng, Brian A. Coan, Vikram Kaul, Kirthika Parmeswaran, William Stephens
    Building Autonomic Systems Via Configuration. [Citation Graph (0, 0)][DBLP]
    Active Middleware Services, 2003, pp:77-85 [Conf]
  9. Sanjai Narain, David McArthur, Philip Klahr
    Large-Scale System Development in Several Lisp Environments. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:859-861 [Conf]
  10. Sanjai Narain, Ravichander Vaidyanathan, Stanley Moyer, William Stephens, Kirthika Parmeswaran, Abdul-Rahim Shareef
    Middleware For Building Adaptive Systems Via Configuration. [Citation Graph (0, 0)][DBLP]
    LCTES/OM, 2001, pp:188-195 [Conf]
  11. Xiaohu Qie, Sanjai Narain
    Using Service Grammar to Diagnose BGP Configuration Errors. [Citation Graph (0, 0)][DBLP]
    LISA, 2003, pp:237-246 [Conf]
  12. Sanjai Narain
    Network Configuration Management via Model Finding. [Citation Graph (0, 0)][DBLP]
    LISA, 2005, pp:155-168 [Conf]
  13. R. C. Sekar, Yow-Jian Lin, Sanjai Narain
    On Modelling and Reasoning About Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1992, pp:115-129 [Conf]
  14. Sanjai Narain
    Optimization by Non-Deterministic, Lazy Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:326-342 [Conf]
  15. Sanjai Narain
    A Technique for Doing Lazy Evaluation in Logic. [Citation Graph (0, 0)][DBLP]
    SLP, 1985, pp:261-269 [Conf]
  16. Sanjai Narain
    An axiomatic basis for general discrete-event modeling. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 1991, pp:1073-1082 [Conf]
  17. Sanjai Narain, Jeff Rothenberg
    A logic for simulating discontinous systems. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 1989, pp:692-701 [Conf]
  18. Sanjai Narain, Jeff Rothenberg
    Proving temporal properties of hybrid systems. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 1990, pp:250-256 [Conf]
  19. Xiaohu Qie, Sanjai Narain
    Using service grammar to diagnose BGP configuration errors. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:53, n:2, pp:125-141 [Journal]

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