dblp.uni-trier.dewww.uni-trier.de

Sanjai Narain Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
22EEPaul Anderson, Carl A. Gunter, Charles R. Kalmanek, Sanjai Narain, Jonathan M. Smith, Rajesh Talpade, Geoffrey G. Xie: Guest editorial network infrastructure configuration. IEEE Journal on Selected Areas in Communications 27(3): 249-252 (2009)
2008
21EESanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul: Declarative Infrastructure Configuration Synthesis and Debugging. J. Network Syst. Manage. 16(3): 235-258 (2008)
2005
20EESanjai Narain: Network Configuration Management via Model Finding. LISA 2005: 155-168
2004
19EEXiaohu Qie, Sanjai Narain: Using service grammar to diagnose BGP configuration errors. Sci. Comput. Program. 53(2): 125-141 (2004)
2003
18EESanjai Narain, Thanh Cheng, Brian A. Coan, Vikram Kaul, Kirthika Parmeswaran, William Stephens: Building Autonomic Systems Via Configuration. Active Middleware Services 2003: 77-85
17EEWilliam Stephens, Brian A. Coan, Sanjai Narain, Vikram Kaul, Kirthika Parmeswaran, Thanh Cheng: A Toolkit For Building Secure, Fault-Tolerant Virtual Private Networks Technology Description. DISCEX (2) 2003: 55-57
16EEXiaohu Qie, Sanjai Narain: Using Service Grammar to Diagnose BGP Configuration Errors. LISA 2003: 237-246
2001
15 Sanjai Narain, Ravichander Vaidyanathan, Stanley Moyer, William Stephens, Kirthika Parmeswaran, Abdul-Rahim Shareef: Middleware For Building Adaptive Systems Via Configuration. LCTES/OM 2001: 188-195
1995
14 Sanjai Narain: Proofs from Temporal Hypotheses by Symbolic Simulation. Hybrid Systems 1995: 327-339
1993
13 Sanjai Narain, Orville Cockings, Ritu Chadha: A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. FORTE 1993: 235-250
1992
12 R. C. Sekar, Yow-Jian Lin, Sanjai Narain: On Modelling and Reasoning About Hybrid Systems. PSTV 1992: 115-129
1991
11EESanjai Narain: An axiomatic basis for general discrete-event modeling. Winter Simulation Conference 1991: 1073-1082
1990
10 Sanjai Narain: Lazy Evaluation in Logic Programming. ICCL 1990: 218-227
9EESanjai Narain, Jeff Rothenberg: Proving temporal properties of hybrid systems. Winter Simulation Conference 1990: 250-256
1989
8EESanjai Narain: Optimization by Non-Deterministic, Lazy Rewriting. RTA 1989: 326-342
7EESanjai Narain, Jeff Rothenberg: A logic for simulating discontinous systems. Winter Simulation Conference 1989: 692-701
1988
6 Sanjai Narain: LOG(F): An Optimal Combination of Logic Programming, Rewriting and Lazy Evaluation. University of California at Los Angeles 1988
1986
5 Sanjai Narain: A Technique for Doing Lazy Evaluation in Logic. J. Log. Program. 3(3): 259-276 (1986)
1985
4 Sanjai Narain: A Technique for Doing Lazy Evaluation in Logic. SLP 1985: 261-269
1984
3 Sanjai Narain: MYCIN in a Logic Programming Environment. COMPCON 1984: 192-199
1983
2 Sanjai Narain, David McArthur, Philip Klahr: Large-Scale System Development in Several Lisp Environments. IJCAI 1983: 859-861
1982
1 Philip Klahr, David McArthur, Sanjai Narain: SWIRL: An Object-Oriented Air Battle Simulator. AAAI 1982: 331-334

Coauthor Index

1Paul Anderson [22]
2Ritu Chadha [13]
3Thanh Cheng [17] [18]
4Brian A. Coan [17] [18]
5Orville Cockings [13]
6Carl A. Gunter [22]
7Charles R. Kalmanek [22]
8Vikram Kaul [17] [18] [21]
9Philip Klahr [1] [2]
10Gary Levin [21]
11Yow-Jian Lin [12]
12Sharad Malik [21]
13David McArthur [1] [2]
14Stanley Moyer [15]
15Kirthika Parmeswaran [15] [17] [18]
16Xiaohu Qie [16] [19]
17Jeff Rothenberg [7] [9]
18R. C. Sekar [12]
19Abdul-Rahim Shareef [15]
20Jonathan M. Smith [22]
21William Stephens [15] [17] [18]
22Rajesh Talpade [22]
23Ravichander Vaidyanathan [15]
24Geoffrey G. Xie [22]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)