Natarajan Shankar

Cited by

	All	Since 2018
Citations	13484	1895
h-index	56	21
i10-index	121	45

700

350

175

525

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202338 61 113 288 395 377 470 532 501 534 517 569 539 697 619 665 602 466 475 398 391 421 449 401 390 356 396 351 345 330 340 133

Public access

View all

20 articles

4 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
patrick lincolnSRIVerified email at sri.com
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com
Leonardo de MouraAmazon Web ServicesVerified email at amazon.com
Wenchao LiAssistant 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
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 GaneshAssociate Professor, University of Waterloo, Ontario, CanadaVerified email at uwaterloo.ca
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Stéphane Graham-LengrandSRI InternationalVerified email at csl.sri.com
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerified email at sri.com
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaVerified email at univr.it
Vlad RusuInriaVerified email at inria.fr
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	2412	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	816	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	706	1996
A tutorial introduction to PVS J Crow, S Owre, J Rushby, N Shankar, M Srivas Wift, 1995	456	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	398	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	371	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	323	1999
An integration of model checking with automated proof checking S Rajan, N Shankar, M Srivas Computer Aided Verification, 84-97, 1995	310	1995
Abstract and model check while you prove H Saïdi, N Shankar Computer Aided Verification, 681-682, 1999	250	1999
An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... Lfm2000: Fifth NASA Langley Formal Methods Workshop, 2000	249	2000
Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar FME 96, 662-681, 1996	237	1996
PVS prover guide N Shankar, S Owre, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1, 11-12, 2001	221	2001
The PVS proof checker: A reference manual N Shankar, S Owre, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 3, 1993	214	1993
Subtypes for specifications: Predicate subtyping in PVS J Rushby, S Owre, N Shankar IEEE Transactions on Software Engineering 24 (9), 709-720, 1998	208	1998
PVS system guide S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1 (5), 7, 1999	206	1999
The PVS specification language S Owre, N Shankar, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993	191	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	169	1993
Metamathematics, machines and Gödel's proof N Shankar Cambridge University Press, 1997	160	1997
The SAL language manual L De Moura, S Owre, N Shankar Computer Science Laboratory, SRI International, Menlo Park, Tech. Rep. CSL-01-01, 2003	146	2003

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