Doron A. Peled 个人学术档案

引用次数

	总计	2019 年至今
引用	27258	3704
h 指数	51	22
i10 指数	120	38

1600

800

400

1200

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024251 269 288 307 451 662 777 1008 1163 1436 1349 1480 1538 1404 1323 1344 1336 1273 1235 1179 1042 856 905 787 694 738 613 570 301

开放获取的出版物数量

查看全部

14 篇文章

2 篇文章

可查看的文章

无法查看的文章

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

合著作者

Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
Gerard HolzmannNimble Research在 nimbleresearch.com 的电子邮件经过验证
Moshe Y. VardiRice University在 cs.rice.edu 的电子邮件经过验证
Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratory在 jpl.nasa.gov 的电子邮件经过验证
Anca MuschollLaBRI, Univ. of Bordeaux在 labri.fr 的电子邮件经过验证
Saddek BensalemUniversité Grenoble Alpes, VERIMAG在 univ-grenoble-alpes.fr 的电子邮件经过验证
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - Champaign在 illinois.edu 的电子邮件经过验证
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia University在 cs.columbia.edu 的电子邮件经过验证
Marius MineaAssociate Professor, Politehnica University of Timisoara在 cs.upt.ro 的电子邮件经过验证
Pierre WolperProfessor of Computer Science, Université de Liège, Belgium在 ulg.ac.be 的电子邮件经过验证
Orna GrumbergProfessor of Computer Science, Technion在 cs.technion.ac.il 的电子邮件经过验证
Shmuel KatzComputer Science在 cs.technion.ac.il 的电子邮件经过验证
Husnu YenigunProfessor of Computer Science, Sabanci University在 sabanciuniv.edu 的电子邮件经过验证
Sven ScheweProfessor of Computer Science, University of Liverpool在 liverpool.ac.uk 的电子邮件经过验证
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)在 ipipan.waw.pl 的电子邮件经过验证
Hongyang QuResearch Fellow, University of Sheffield在 sheffield.ac.uk 的电子邮件经过验证
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel University在 ti.informatik.uni-kiel.de 的电子邮件经过验证
Alex GroceAssociate Professor of Computer Science, Northern Arizona University在 nau.edu 的电子邮件经过验证
Edith ElkindUniversity of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
Kousha EtessamiUniversity of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证

关注

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

在 cs.biu.ac.il 的电子邮件经过验证 - 首页

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Model checking EM Clarke Foundations of Software Technology and Theoretical Computer Science: 17th …, 1997	15884	1997
Simple on-the-fly automatic verification of linear temporal logic R Gerth, D Peled, MY Vardi, P Wolper International Conference on Protocol Specification, Testing and Verification …, 1995	1230	1995
All from one, one for all: on model checking using representatives D Peled Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993	802	1993
An improvement in formal verification GJ Holzmann, D Peled Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995	506	1995
Combining partial order reductions with on-the-fly model-checking D Peled Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994	456	1994
Software reliability methods DA Peled Springer Science & Business Media, 2001	447	2001
Black box checking D Peled, MY Vardi, M Yannakakis International Conference on Protocol Specification, Testing and Verification …, 1999	402	1999
An analyzer for message sequence charts R Alur, GJ Holzmann, D Peled Tools and Algorithms for the Construction and Analysis of Systems: Second …, 1996	388	1996
On nested depth first search. GJ Holzmann, DA Peled, M Yannakakis The Spin Verification System 32, 81-89, 1996	341	1996
Combining partial order reductions with on-the-fly model-checking D Peled Formal Methods in System Design 8, 39-64, 1996	282	1996
State space reduction using partial order techniques EM Clarke, O Grumberg, M Minea, D Peled International Journal on Software Tools for Technology Transfer 2, 279-287, 1999	275	1999
Ten years of partial order reduction D Peled Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	260	1998
A partial order approach to branching time logic model checking R Gerth, R Kuiper, D Peled, W Penczek Information and Computation 150 (2), 132-152, 1999	241	1999
Stutter-invariant temporal properties are expressible without the next-time operator D Peled, T Wilke Information Processing Letters 63 (5), 243-246, 1997	195	1997
Defining conditional independence using collapses S Katz, D Peled Theoretical Computer Science 101 (2), 337-359, 1992	185	1992
Adaptive model checking A Groce, D Peled, M Yannakakis Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	176	2002
Model-checking of correctness conditions for concurrent objects R Alur, K McMillan, D Peled Information and Computation 160 (1-2), 167-188, 2000	168	2000
Deciding properties for message sequence charts A Muscholl, D Peled, Z Su International Conference on Foundations of Software Science and Computation …, 1998	158	1998
Message sequence graphs and decision problems on Mazurkiewicz traces A Muscholl, D Peled Mathematical Foundations of Computer Science 1999: 24th International …, 1999	153	1999
Static partial order reduction R Kurshan, V Levin, M Minea, D Peled, H Yenigün International Conference on Tools and Algorithms for the Construction and …, 1998	150	1998

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用