Statistics
Publications
8
Citations
264
H-Index
8
Active since
1982
Affiliations
Princeton University(Current)
Sanjai Narain is an author at Princeton University specializing in engineering, systems engineering, and computer engineering.
Publications per year
1982–2012
8
8
Network configuration management via model finding
Sanjai Narain · 2005 · 79 citations
Verification and synthesis of firewalls using SAT and QBF
Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik et al. · 2012 · 27 citations
Knowledge-Based Simulation: An Interim Report
Jeff Rothenberg, Sanjai Narain, Randall Steeb et al. · 1988 · 22 citations
Knowledge Representation, Engineering, Knowledge Modeling +9
Building autonomic systems via configuration
Sanjai Narain, Thanh Cheng, Brian Coan et al. · 2003 · 16 citations
1–5 of 8