SWIRL: An Object-Oriented Air Battle Simulator. - Philip Klahr; David McArthur; Sanjai Narain (AAAI, 1982)

Large-Scale System Development in Several Lisp Environments. - Sanjai Narain; David McArthur; Philip Klahr (IJCAI, 1983)

MYCIN in a Logic Programming Environment. - Sanjai Narain (COMPCON, 1984)

Special Feature Mycin: Implementing the Expert System in Loglisp. - Sanjai Narain (IEEE Softw., 1985)

A Technique for Doing Lazy Evaluation in Logic. - Sanjai Narain (J. Log. Program., 1986)

LOG(F): An Optimal Combination of Logic Programming, Rewriting and Lazy Evaluation. - Sanjai Narain (1988)

Optimization by Non-Deterministic, Lazy Rewriting. - Sanjai Narain (RTA, 1989)

A logic for simulating discontinous systems. - Sanjai Narain; Jeff Rothenberg (WSC, 1989)

Lazy Evaluation in Logic Programming. - Sanjai Narain (ICCL, 1990)

Proving temporal properties of hybrid systems. - Sanjai Narain; Jeff Rothenberg (WSC, 1990)

An axiomatic basis for general discrete-event modeling. - Sanjai Narain (WSC, 1991)

On Modelling and Reasoning About Hybrid Systems. - R. C. Sekar 001; Yow-Jian Lin; Sanjai Narain (PSTV, 1992)

A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. - Sanjai Narain; Orville Cockings; Ritu Chadha (FORTE, 1993)

Proofs from Temporal Hypotheses by Symbolic Simulation. - Sanjai Narain (Hybrid Systems, 1995)

Network management research in ATDNet. - Robert D. Doverspike; Mari Maeda; Sanjai Narain; Jorge L. Pastor; Chien-Chung Shen; Ned G. Stoffel; Yukun Tsai; Brian J. Wilson 001 (IEEE Netw., 1996)

Diagnosing configuration errors in virtual private networks. - Sanjai Narain; M. Rangadurai; Abdul-Rahim Shareef (ICC, 2001)

Middleware For Building Adaptive Systems Via Configuration. - Sanjai Narain; Ravichander Vaidyanathan; Stanley Moyer; William Stephens; Kirthika Parmeswaran; Abdul-Rahim Shareef (OM@PLDI, 2001)

Integration of IP mobility and security for secure wireless communications. - Melbourne Barton; Derek Atkins; John Lee 003; Sanjai Narain; Deidra Ritcherson; Kemal E. Tepe; K. Daniel Wong (ICC, 2002)

A Toolkit For Building Secure, Fault-Tolerant Virtual Private Networks Technology Description. - William Stephens; Brian A. Coan; Sanjai Narain; Vikram Kaul; Kirthika Parmeswaran; Thanh Cheng (DISCEX (2), 2003)

Building Autonomic Systems Via Configuration. - Sanjai Narain; Thanh Cheng; Brian A. Coan; Vikram Kaul; Kirthika Parmeswaran; William Stephens (Active Middleware Services, 2003)

Using service grammar to diagnose BGP configuration errors. - Xiaohu Qie; Sanjai Narain (Sci. Comput. Program., 2004)

Network Configuration Management via Model Finding. - Sanjai Narain (LISA, 2005)

Declarative Infrastructure Configuration Synthesis and Debugging. - Sanjai Narain; Gary Levin; Sharad Malik; Vikram Kaul (J. Netw. Syst. Manag., 2008)

Guest editorial network infrastructure configuration. - Paul Anderson 003; Carl A. Gunter; Charles R. Kalmanek; Sanjai Narain; Jonathan M. Smith; Rajesh Talpade; Geoffrey G. Xie (IEEE J. Sel. Areas Commun., 2009)

Towards Eliminating Configuration Errors in Cyber Infrastructure. - Sanjai Narain; Sharad Malik; Ehab Al-Shaer (SafeConfig, 2011)

Verification and synthesis of firewalls using SAT and QBF. - Shuyuan Zhang; Abdulrahman Mahmoud; Sharad Malik; Sanjai Narain (ICNP, 2012)

ConfigAssure: A Science of Configuration. - Sanjai Narain (MILCOM, 2013)

In-Band Update for Network Routing Policy Migration. - Shuyuan Zhang; Sharad Malik; Sanjai Narain; Laurent Vanbever (ICNP, 2014)

Cyber Physical System Integration and Configuration Guided by Satisfiability Modulo Theories. - Kishore Pochiraju; Sanjai Narain (IRI, 2015)

Robot Design With Neural Networks, MILP Solvers and Active Learning. - Sanjai Narain; Emily Mak; Dana Chee; Todd Huster; Jeremy E. J. Cohen; Kishore Pochiraju; Brendan J. Englot; Niraj K. Jha; Karthik S. Narayan (CoRR, 2020)

Fast Design Space Exploration of Nonlinear Systems: Part I. - Sanjai Narain; Emily Mak; Dana Chee; Brendan J. Englot; Kishore Pochiraju; Niraj K. Jha; Karthik S. Narayan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

AIMED: AI-Mediated Exploration of Design: An Experience Report. - Sanjai Narain; Dana Chee; Pranav Iyer; Emily Mak; Ricardo Valdez; Manli Zhu; Niraj K. Jha; Jaime F. Fisac; Kai-Chieh Hsu; Prerit Terway; Kishore Pochiraju; Brendan J. Englot; et al. (CPS-IoT Week Workshops, 2023)

Mission-Oriented Gaussian Process Motion Planning for UUVs Over Complex Seafloor Terrain and Current Flows. - Yewei Huang; Xi Lin 006; Mariana Hernandez-Rocha; Sanjai Narain; Kishore Pochiraju; Brendan J. Englot (IEEE Robotics Autom. Lett., 2024)