Natarajan Shankar

Dikutip oleh

	Semua	Sejak 2020
Kutipan	14200	1755
indeks-h	58	20
indeks-i10	123	36

680

340

170

510

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202544 69 130 298 409 391 504 520 509 529 540 585 566 656 609 671 592 464 462 408 381 440 436 397 385 345 399 362 349 348 348 357 316 36

Akses publik

Lihat semua

24 artikel

5 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Sam OwreSRI InternationalEmail yang diverifikasi di sri.com
John RushbySRI InternationalEmail yang diverifikasi di csl.sri.com
Harald RuessfortissEmail yang diverifikasi di fortiss.org
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftEmail yang diverifikasi di csl.sri.com
patrick lincolnSRIEmail yang diverifikasi di sri.com
Leonardo de MouraAmazon Web ServicesEmail yang diverifikasi di amazon.com
Wenchao LiAssociate Professor, Boston UniversityEmail yang diverifikasi di bu.edu
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalEmail yang diverifikasi di csl.sri.com
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail yang diverifikasi di eecs.berkeley.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryEmail yang diverifikasi di jpl.nasa.gov
Stéphane Graham-LengrandSRI InternationalEmail yang diverifikasi di csl.sri.com
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaEmail yang diverifikasi di math.upenn.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGEmail yang diverifikasi di univ-grenoble-alpes.fr
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAEmail yang diverifikasi di gatech.edu
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalEmail yang diverifikasi di sri.com
Gary T. LeavensProfessor, University of Central FloridaEmail yang diverifikasi di cs.ucf.edu
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaEmail yang diverifikasi di univr.it
Eli SingermanIntel Corp.Email yang diverifikasi di intel.com
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityEmail yang diverifikasi di princeton.edu
Pramod SubramanyanIndian Institute of Technology KanpurEmail yang diverifikasi di cse.iitk.ac.in

Ikuti

Natarajan Shankar

SRI International Computer Science Laboratory

Email yang diverifikasi di csl.sri.com

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


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
PVS: A prototype verification system S Owre, J Rushby, N Shankar Automated Deduction—CADE-11, 748-752, 1992	2480	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	819	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	732	1996
A tutorial introduction to PVS J Crow, S Owre, J Rushby, N Shankar, M Srivas Wift, 1995	463	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	413	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	378	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	329	1999
An integration of model checking with automated proof checking S Rajan, N Shankar, M Srivas Computer Aided Verification, 84-97, 1995	308	1995
Abstract and model check while you prove H Saïdi, N Shankar Computer Aided Verification, 681-682, 1999	256	1999
An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000	242	2000
Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar International Symposium of Formal Methods Europe, 662-681, 1996	240	1996
Subtypes for specifications: Predicate subtyping in PVS J Rushby, S Owre, N Shankar IEEE Transactions on Software Engineering 24 (9), 709-720, 1998	236	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	226	2001
The PVS proof checker: A reference manual N Shankar, S Owre, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 3, 1993	225	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	205	1999
The PVS specification language S Owre, N Shankar, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993	199	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	188	2001
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	176	2013
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 42, 1993	172	1993
System and method using information-based indicia for securing and authenticating transactions PD Lincoln, N Shankar US Patent 6,820,201, 2004	169	2004

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama