Sanjit A. Seshia
University of California, Berkeley
Professor
Department of Electrical Engineering and Computer Sciences
Group in Logic and the Methodology of Science
Research Area
#Computer science#Theoretical computer science#Artificial intelligence#Scalability#Robot#Temporal logic#Engineering#Mathematical optimization#Distributed computing#Control theory
SCIE paper information
Papers relevant to ‘Computer science’: 15
Research performance of SCIE papers matching with ‘Computer science’
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Mining Requirements From Closed-Loop Control Models
2015/04 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 1.181 Impact Factor 225 citations
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
2017/03 IEEE TRANSACTIONS ON AUTOMATIC CONTROL 5.007 Impact Factor 185 citations
Papers for author ‘Sanjit A. Seshia’: 18
Number of published SCIE papers by year
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Mining Requirements From Closed-Loop Control Models
2015/04 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 1.181 Impact Factor 225 citations
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
2017/03 IEEE TRANSACTIONS ON AUTOMATIC CONTROL 5.007 Impact Factor 185 citations
conference information
Papers relevant to ‘Computer science’: 24
Research performance of Top-tier Conference matching with ‘Computer science’
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Moat: Verifying Confidentiality of Enclave Programs
2015/10 CCS Top-tier Conference 110 citations
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior
2014/01 AAAI Top-tier Conference 91 citations
Papers for author ‘Sanjit A. Seshia’: 26
Number of published Top-tier Conference by year
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Moat: Verifying Confidentiality of Enclave Programs
2015/10 CCS Top-tier Conference 110 citations
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior
2014/01 AAAI Top-tier Conference 91 citations
Log in to PhD.GO
Access the Bookmarks
Add or remove professors and programs of interest from your Bookmarks
Subscribe to the graduate program newsletters that you've bookmarked
Enter your test results to ensure you meet the minimum for each graduate program at Bookmarks
At a glance, see program deadlines you've bookmarked on your calendar