logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
N

Natarajan Shankar

sri international

38H-index
151Paper Count
4.8KCitation Count
Published Papers 7
Publication Date
logo
It's the Specification; Stupid!
errCOMMUNICATIONS OF THE ACM
IF12.2
err2025-12-01
err0
PREAI
errBroy, Manfred; Ruess, Harald; Shankar, Natarajan
errShare
errSave
Reverse Engineering Digital Circuits Using Structural and Functional Analyses
errIEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING
IF5.4
err2014-03-01
err106
errOAAI
errSubramanyan, Pramod; Tsiskaridze, Nestan; Li, Wenchao; Gascon, Adria; Tan, Wei Yang; Tiwari, Ashish; Shankar, Natarajan; Seshia, Sanjit A.; Malik, Sharad
errShare
errSave
The Verified Software Initiative: A Manifesto
errACM COMPUTING SURVEYS
IF28
err2009-10-09
err16
PREAI
errHoare, C. A. R.; Misra, Jayadev; Leavens, Gary T.; Shankar, Natarajan
errShare
errSave
Automated Deduction for Verification
errACM COMPUTING SURVEYS
IF28
err2009-10-09
err22
PREAI
errShankar, Natarajan
errShare
errSave
Invisible formal methods for embedded control systems
errPROCEEDINGS OF THE IEEE
IF25.9
err2003-01-01
err25
PREAI
errTiwari, A; Shankar, N; Rushby, J
errShare
errSave
Subtypes for specifications: Predicate subtyping in PVS
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1998-01-01
err81
PREAI
errRushby, J; Owre, S; Shankar, N
errShare
errSave
ONTIC - A KNOWLEDGE REPRESENTATION SYSTEM FOR MATHEMATICS - MCALLESTER,DA
errartificial intelligence review
IF4.6
err1993-08-01
err0
PREAI
errSHANKAR, N
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
S
Sharad Malik
H-index: 65 · Papers: 417
S
Sanjit A. Seshia
H-index: 63 · Papers: 437
C
C. A. R. Hoare
H-index: 51 · Papers: 225
M
Manfred Broy
H-index: 49 · Papers: 716
A
Ashish Tiwari
H-index: 48 · Papers: 330
View more