Concepedia

Author

Natarajan Shankar

SRI InternationalORCID

Also Known As

Hutchison, David, N. Shankar, N.RAVI SHANKAR, Natarajan Shankar, Shankar, Natarajan

152

Publications

4.8K

Citations

38

H-Index

90

Concepts

All Affiliations

SRI InternationalMenlo SchoolStanford UniversityUniversity of California, BerkeleyUniversity of Pennsylvania
NS

About

Natarajan Shankar is an author at SRI International specializing in engineering, computer science, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

24

29

2.2K

2

Social Sciences

3

3

71

3

Language Studies

2

2

116

4

Cognitive Science

2

2

33

5

Management

1

1

40

Natarajan Shankar

×

35

Publications

2.4K

Citations

24

H-Index

YearCitations

Formal verification for fault-tolerant architectures: prolegomena to the design of PVS

Sam Owre, John Rushby, Natarajan Shankar,

IEEE Transactions on Software Engineering

1995

493

Decision problems for propositional linear logic

Patrick Lincoln, John C. Mitchell, Andre Scedrov,

Annals of Pure and Applied Logic

1992

221

A Tutorial Introduction to PVS

Judy Crow, Sam Owre, John Rushby,

1998

215

An Overview of SAL

Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech,

Formal Methods

2000

167

Subtypes for specifications: predicate subtyping in PVS

John Rushby, Sam Owre, Natarajan Shankar

IEEE Transactions on Software Engineering

1998

138

Reverse Engineering Digital Circuits Using Structural and Functional Analyses

Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li,

IEEE Transactions on Emerging Topics in Computing

2014

136

The SAL Language Manual

Leonardo de Moura, Sam Owre, Natarajan Shankar

2003

96

WordRev: Finding word-level structures in a sea of bit-level gates

Wenchao Li, Adrià Gascón, Pramod Subramanyan,

2013

88

Deconstructing Shostak

Natarajan Shankar

2002

72

A mechanical proof of the Church-Rosser theorem

Natarajan Shankar

Journal of the ACM

1988

68

Page 1