Sanjai Narain

2009
22	EE	Paul 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
21	EE	Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul: Declarative Infrastructure Configuration Synthesis and Debugging. J. Network Syst. Manage. 16(3): 235-258 (2008)
2005
20	EE	Sanjai Narain: Network Configuration Management via Model Finding. LISA 2005: 155-168
2004
19	EE	Xiaohu Qie, Sanjai Narain: Using service grammar to diagnose BGP configuration errors. Sci. Comput. Program. 53(2): 125-141 (2004)
2003
18	EE	Sanjai Narain, Thanh Cheng, Brian A. Coan, Vikram Kaul, Kirthika Parmeswaran, William Stephens: Building Autonomic Systems Via Configuration. Active Middleware Services 2003: 77-85
17	EE	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. DISCEX (2) 2003: 55-57
16	EE	Xiaohu 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
11	EE	Sanjai 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
9	EE	Sanjai Narain, Jeff Rothenberg: Proving temporal properties of hybrid systems. Winter Simulation Conference 1990: 250-256
1989
8		Sanjai Narain: Optimization by Non-Deterministic, Lazy Rewriting. RTA 1989: 326-342
7	EE	Sanjai 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

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

Colors in the list of coauthors