Natarajan Shankar

Cited by

	All	Since 2019
Citations	14086	2006
h-index	57	21
i10-index	125	44

680

340

170

510

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202444 69 130 295 410 389 498 515 507 527 529 585 572 673 613 677 596 466 462 404 380 435 433 395 390 343 397 357 344 343 356 366 238

Public access

View all

23 articles

5 articles

available

not available

Based on funding mandates

Co-authors

Sam OwreSRI InternationalVerified email at sri.com
John RushbySRI InternationalVerified email at csl.sri.com
Harald RuessfortissVerified email at fortiss.org
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com
patrick lincolnSRIVerified email at sri.com
Leonardo de MouraAmazon Web ServicesVerified email at amazon.com
Wenchao LiAssociate Professor, Boston UniversityVerified email at bu.edu
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalVerified email at csl.sri.com
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Stéphane Graham-LengrandSRI InternationalVerified email at csl.sri.com
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerified email at gatech.edu
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerified email at sri.com
Eli SingermanIntel Corp.Verified email at intel.com
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaVerified email at univr.it
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
Pramod SubramanyanIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in

Natarajan Shankar

SRI International Computer Science Laboratory

Verified email at csl.sri.com

Computational Logic Automated Reasoning Formal Methods Computer-Aided Verification Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
PVS: A prototype verification system S Owre, J Rushby, N Shankar Automated Deduction—CADE-11, 748-752, 1992	2478	1992
Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS S Owre, J Rushby, N Shankar, F Von Henke IEEE transactions on software engineering 21 (2), 107-125, 1995	814	1995
PVS: Combining specification, proof checking, and model checking S Owre, S Rajan, J Rushby, N Shankar, M Srivas Computer Aided Verification, 411-414, 1996	724	1996
A tutorial introduction to PVS J Crow, S Owre, J Rushby, N Shankar, M Srivas Wift, 1995	464	1995
Decision problems for propositional linear logic P Lincoln, J Mitchell, A Scedrov, N Shankar Annals of pure and applied logic 56 (1-3), 239-311, 1992	411	1992
SAL 2 L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	374	2004
PVS language reference S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1 (2), 21, 1999	330	1999
An integration of model checking with automated proof checking S Rajan, N Shankar, M Srivas Computer Aided Verification, 84-97, 1995	308	1995
An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000	259	2000
Abstract and model check while you prove H Saïdi, N Shankar Computer Aided Verification, 681-682, 1999	252	1999
Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar International Symposium of Formal Methods Europe, 662-681, 1996	241	1996
Subtypes for specifications: Predicate subtyping in PVS J Rushby, S Owre, N Shankar IEEE Transactions on Software Engineering 24 (9), 709-720, 1998	229	1998
PVS prover guide N Shankar, S Owre, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1, 11-12, 2001	228	2001
The PVS proof checker: A reference manual N Shankar, S Owre, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 3, 1993	219	1993
PVS system guide S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1 (5), 7, 1999	211	1999
The PVS specification language S Owre, N Shankar, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993	196	1993
ICS: Integrated Canonizer and Solver? JC Filliâtre, S Owre, H Rue* B, N Shankar Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	183	2001
User guide for the PVS specification and verification system (Beta release) S Owre, N Shankar, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993	173	1993
Reverse engineering digital circuits using structural and functional analyses P Subramanyan, N Tsiskaridze, W Li, A Gascón, WY Tan, A Tiwari, ... IEEE Transactions on Emerging Topics in Computing 2 (1), 63-80, 2013	169	2013
System and method using information-based indicia for securing and authenticating transactions PD Lincoln, N Shankar US Patent 6,820,201, 2004	168	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors