default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSanjai Narain
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j8]Yewei Huang
, Xi Lin, Mariana Hernandez-Rocha, Sanjai Narain, Kishore Pochiraju, Brendan J. Englot:
Mission-Oriented Gaussian Process Motion Planning for UUVs Over Complex Seafloor Terrain and Current Flows. IEEE Robotics Autom. Lett. 9(2): 1780-1787 (2024)- 2023
- [c26]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, Emil Pitz, Sean Rooney, Yewei Huang:
AIMED: AI-Mediated Exploration of Design: An Experience Report. CPS-IoT Week Workshops 2023: 136-140 - 2022
- [j7]Sanjai Narain, Emily Mak, Dana Chee, Brendan J. Englot, Kishore Pochiraju, Niraj K. Jha, Karthik S. Narayan:
Fast Design Space Exploration of Nonlinear Systems: Part I. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(9): 2970-2983 (2022) - 2021
- [i2]Sanjai Narain, Emily Mak, Dana Chee, Brendan J. Englot, Kishore Pochiraju, Niraj K. Jha, Karthik S. Narayan:
Fast Design Space Exploration of Nonlinear Systems: Part I. CoRR abs/2104.01747 (2021) - 2020
- [i1]Sanjai Narain, Emily Mak, Dana Chee, Todd Huster, Jeremy E. J. Cohen, Kishore Pochiraju, Brendan J. Englot, Niraj K. Jha, Karthik S. Narayan:
Robot Design With Neural Networks, MILP Solvers and Active Learning. CoRR abs/2010.09842 (2020)
2010 – 2019
- 2015
- [c25]Kishore Pochiraju, Sanjai Narain:
Cyber Physical System Integration and Configuration Guided by Satisfiability Modulo Theories. IRI 2015: 589-592 - 2014
- [c24]Shuyuan Zhang, Sharad Malik, Sanjai Narain, Laurent Vanbever:
In-Band Update for Network Routing Policy Migration. ICNP 2014: 356-361 - 2013
- [c23]Sanjai Narain:
ConfigAssure: A Science of Configuration. MILCOM 2013: 1497-1498 - 2012
- [c22]Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, Sanjai Narain:
Verification and synthesis of firewalls using SAT and QBF. ICNP 2012: 1-6 - 2011
- [c21]Sanjai Narain, Sharad Malik, Ehab Al-Shaer:
Towards Eliminating Configuration Errors in Cyber Infrastructure. SafeConfig 2011
2000 – 2009
- 2009
- [j6]Paul Anderson, Carl A. Gunter, Charles R. Kalmanek, Sanjai Narain, Jonathan M. Smith, Rajesh Talpade, Geoffrey G. Xie:
Guest editorial network infrastructure configuration. IEEE J. Sel. Areas Commun. 27(3): 249-252 (2009) - [e1]Ehab Al-Shaer, Mohamed G. Gouda, Jorge Lobo, Sanjai Narain, Felix Wu:
Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, SafeConfig 2009, Chicago, IL, USA, November 9, 2009. ACM 2009, ISBN 978-1-60558-778-3 [contents] - 2008
- [j5]Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul:
Declarative Infrastructure Configuration Synthesis and Debugging. J. Netw. Syst. Manag. 16(3): 235-258 (2008) - 2005
- [c20]Sanjai Narain:
Network Configuration Management via Model Finding. LISA 2005: 155-168 - 2004
- [j4]Xiaohu Qie, Sanjai Narain:
Using service grammar to diagnose BGP configuration errors. Sci. Comput. Program. 53(2): 125-141 (2004) - 2003
- [c19]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 - [c18]Sanjai Narain, Thanh Cheng, Brian A. Coan, Vikram Kaul, Kirthika Parmeswaran, William Stephens:
Building Autonomic Systems Via Configuration. Active Middleware Services 2003: 77-85 - [c17]Xiaohu Qie, Sanjai Narain:
Using Service Grammar to Diagnose BGP Configuration Errors. LISA 2003: 237-246 - 2002
- [c16]Melbourne Barton, Derek Atkins, John Lee, Sanjai Narain, Deidra Ritcherson, Kemal E. Tepe, K. Daniel Wong:
Integration of IP mobility and security for secure wireless communications. ICC 2002: 1045-1049 - 2001
- [c15]Sanjai Narain, M. Rangadurai, Abdul-Rahim Shareef:
Diagnosing configuration errors in virtual private networks. ICC 2001: 189-193 - [c14]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 - [c13]Sanjai Narain, Ravichander Vaidyanathan, Stanley Moyer, William Stephens, Kirthika Parmeswaran, Abdul-Rahim Shareef:
Middleware For Building Adaptive Systems Via Configuration. OM@PLDI 2001: 188-195
1990 – 1999
- 1996
- [j3]Robert D. Doverspike, Mari Maeda, Sanjai Narain, Jorge L. Pastor, Chien-Chung Shen, Ned G. Stoffel, Yukun Tsai, Brian J. Wilson:
Network management research in ATDNet. IEEE Netw. 10(4): 30-41 (1996) - 1995
- [c12]Sanjai Narain:
Proofs from Temporal Hypotheses by Symbolic Simulation. Hybrid Systems 1995: 327-339 - 1993
- [c11]Sanjai Narain, Orville Cockings, Ritu Chadha:
A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. FORTE 1993: 235-250 - 1992
- [c10]R. C. Sekar, Yow-Jian Lin, Sanjai Narain:
On Modelling and Reasoning About Hybrid Systems. PSTV 1992: 115-129 - 1991
- [c9]Sanjai Narain:
An axiomatic basis for general discrete-event modeling. WSC 1991: 1073-1082 - 1990
- [c8]Sanjai Narain:
Lazy Evaluation in Logic Programming. ICCL 1990: 218-227 - [c7]Sanjai Narain, Jeff Rothenberg:
Proving temporal properties of hybrid systems. WSC 1990: 250-256
1980 – 1989
- 1989
- [c6]Sanjai Narain:
Optimization by Non-Deterministic, Lazy Rewriting. RTA 1989: 326-342 - [c5]Sanjai Narain, Jeff Rothenberg:
A logic for simulating discontinous systems. WSC 1989: 692-701 - 1988
- [b1]Sanjai Narain:
LOG(F): An Optimal Combination of Logic Programming, Rewriting and Lazy Evaluation. University of California at Los Angeles, 1988 - 1986
- [j2]Sanjai Narain:
A Technique for Doing Lazy Evaluation in Logic. J. Log. Program. 3(3): 259-276 (1986) - 1985
- [j1]Sanjai Narain:
Special Feature Mycin: Implementing the Expert System in Loglisp. IEEE Softw. 2(3): 83-88 (1985) - [c4]Sanjai Narain:
A Technique for Doing Lazy Evaluation in Logic. SLP 1985: 261-269 - 1984
- [c3]Sanjai Narain:
MYCIN in a Logic Programming Environment. COMPCON 1984: 192-199 - 1983
- [c2]Sanjai Narain, David McArthur, Philip Klahr:
Large-Scale System Development in Several Lisp Environments. IJCAI 1983: 859-861 - 1982
- [c1]Philip Klahr, David McArthur, Sanjai Narain:
SWIRL: An Object-Oriented Air Battle Simulator. AAAI 1982: 331-334
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
