Natarajan Shankar 个人学术档案

引用次数

	总计	2019 年至今
引用	13944	1882
h 指数	58	20
i10 指数	125	42

680

340

170

510

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202445 70 133 291 408 387 495 509 511 524 509 580 566 672 614 676 601 466 467 397 382 428 437 405 396 353 399 362 344 344 351 368 111

开放获取的出版物数量

查看全部

22 篇文章

4 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Sam OwreSRI International在 sri.com 的电子邮件经过验证
John RushbySRI International在 csl.sri.com 的电子邮件经过验证
Harald Ruessfortiss在 fortiss.org 的电子邮件经过验证
Ashish TiwariComputer Scientist, SRI International; Researcher Microsoft在 csl.sri.com 的电子邮件经过验证
patrick lincolnSRI在 sri.com 的电子邮件经过验证
Leonardo de MouraAmazon Web Services在 amazon.com 的电子邮件经过验证
Wenchao LiAssistant Professor, Boston University在 bu.edu 的电子邮件经过验证
Dr. Hassen SaidiSr Computer Scientist, SRI International在 csl.sri.com 的电子邮件经过验证
Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的电子邮件经过验证
Stéphane Graham-LengrandSRI International在 csl.sri.com 的电子邮件经过验证
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvania在 math.upenn.edu 的电子邮件经过验证
Saddek BensalemUniversité Grenoble Alpes, VERIMAG在 univ-grenoble-alpes.fr 的电子邮件经过验证
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USA在 gatech.edu 的电子邮件经过验证
Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratory在 jpl.nasa.gov 的电子邮件经过验证
Eli SingermanIntel Corp.在 intel.com 的电子邮件经过验证
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI International在 sri.com 的电子邮件经过验证
Gary T. LeavensProfessor, University of Central Florida在 cs.ucf.edu 的电子邮件经过验证
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di Verona在 univr.it 的电子邮件经过验证
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton University在 princeton.edu 的电子邮件经过验证
Pramod SubramanyanIndian Institute of Technology Kanpur在 cse.iitk.ac.in 的电子邮件经过验证

关注

Natarajan Shankar

SRI International Computer Science Laboratory

在 csl.sri.com 的电子邮件经过验证

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


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
PVS: A prototype verification system S Owre, J Rushby, N Shankar Automated Deduction—CADE-11, 748-752, 1992	2465	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	815	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	726	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	408	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	327	1999
An integration of model checking with automated proof checking S Rajan, N Shankar, M Srivas Computer Aided Verification, 84-97, 1995	302	1995
An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000	257	2000
Abstract and model check while you prove H Saïdi, N Shankar Computer Aided Verification, 681-682, 1999	249	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
PVS prover guide N Shankar, S Owre, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1, 11-12, 2001	227	2001
Subtypes for specifications: Predicate subtyping in PVS J Rushby, S Owre, N Shankar IEEE Transactions on Software Engineering 24 (9), 709-720, 1998	224	1998
The PVS proof checker: A reference manual N Shankar, S Owre, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 3, 1993	213	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	209	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	184	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	172	1993
System and method using information-based indicia for securing and authenticating transactions PD Lincoln, N Shankar US Patent 6,820,201, 2004	167	2004
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	161	2013

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用