David L. Dill 个人学术档案

引用次数

	总计	2019 年至今
引用	47628	9381
h 指数	85	35
i10 指数	204	80

2000

1000

500

1500

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024190 302 507 664 802 1000 981 1161 1379 1288 1290 1391 1547 1748 1761 1725 1951 1862 1891 1726 1624 1583 1653 1623 1454 1452 1289 1529 1623 1773 1693 1776 1724 791

开放获取的出版物数量

查看全部

34 篇文章

3 篇文章

可查看的文章

无法查看的文章

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

合著作者

Rajeev AlurZisman Family Professor of Computer and Information Science, University of Pennsylvania在 seas.upenn.edu 的电子邮件经过验证
Clark BarrettStanford University在 cs.stanford.edu 的电子邮件经过验证
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
Jerry R. BurchSynopsys, Inc.在 fun-journey.com 的电子邮件经过验证
Kenneth McMillanMicrosoft Research在 microsoft.com 的电子邮件经过验证
Debashis SahooAssociate Professor of Pediatrics and Computer Science, University of California San Diego在 ucsd.edu 的电子邮件经过验证
Costas CourcoubetisProfessor in SDS, CUHK Shenzhen在 cuhk.edu.cn 的电子邮件经过验证
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USA在 gatech.edu 的电子邮件经过验证
Steven NowickProfessor Emeritus of Computer Science, Columbia University在 cs.columbia.edu 的电子邮件经过验证
Sylvia K. PlevritisProfessor of Biomedical Data Science, Stanford University在 stanford.edu 的电子邮件经过验证
Guy KatzThe Hebrew University of Jerusalem在 cs.huji.ac.il 的电子邮件经过验证
Ulrich SternNo affiliation在 cs.stanford.edu 的电子邮件经过验证
Aaron StumpProfessor of Computer Science, The University of Iowa在 uiowa.edu 的电子邮件经过验证
Alan J. HuProfessor of Computer Science, University of British Columbia在 cs.ubc.ca 的电子邮件经过验证
Irving WeissmanDirector, Institute of Stem Cell Biology and Regenerative Medicine在 stanford.edu 的电子邮件经过验证
Dawson EnglerAssociate Professor of Computer Science, Stanford University在 stanford.edu 的电子邮件经过验证
Mykel J. KochenderferAssociate Professor, Stanford University在 stanford.edu 的电子邮件经过验证
Kyle David JulianReceived Ph.D. at Stanford University在 stanford.edu 的电子邮件经过验证
Subarna SinhaComputer Science, Stanford University在 stanford.edu 的电子邮件经过验证
Dean FelsherProfessor of Medicine-Oncology, Pathology, Stanford University在 stanford.edu 的电子邮件经过验证

关注

David L. Dill

Professor, Emeritus, of Computer Science, Stanford University

在 stanford.edu 的电子邮件经过验证

formal verification voting technology computational biology


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
A theory of timed automata R Alur, DL Dill Theoretical computer science 126 (2), 183-235, 1994	10107	1994
Symbolic Model Checking: 1020 states and beyond JR Burch, EM Clarke, KL McMillan, DL Dill, LJ Hwang Information and Computation 98 (2), 1992	4656	1992
Reluplex: An efficient SMT solver for verifying deep neural networks G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	2174	2017
Automata for modeling real-time systems R Alur, D Dill Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990	1641	1990
EXE: Automatically generating inputs of death C Cadar, V Ganesh, PM Pawlowski, DL Dill, DR Engler ACM Transactions on Information and System Security (TISSEC) 12 (2), 1-38, 2008	1532	2008
Model-checking for real-time systems R Alur, C Courcoubetis, D Dill [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990	1429	1990
Model-checking in dense real-time R Alur, C Courcoubetis, D Dill Information and computation 104 (1), 2-34, 1993	1392	1993
Timing assumptions and verification of finite-state concurrent systems DL Dill Automatic Verification Methods for Finite State Systems: International …, 1990	1134	1990
A decision procedure for bit-vectors and arrays V Ganesh, DL Dill Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	871	2007
Symbolic model checking for sequential circuit verification JR Burch, EM Clarke, DE Long, KL McMillan, DL Dill IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1994	855	1994
Automatic verification of pipelined microprocessor control JR Burch, DL Dill Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994	822	1994
Trace theory for automatic hierarchical verification of speed-independent circuits DL Dill MIT press, 1989	820	1989
Better verification through symmetry C Norris Ip, DL Dill Formal methods in system design 9, 41-75, 1996	801*	1996
Sequential circuit verification using symbolic model checking JR Burch, EM Clarke, KL McMillan, DL Dill Proceedings of the 27th ACM/IEEE Design Automation Conference, 46-51, 1991	722	1991
Protocol verification as a hardware design aid. DL Dill, AJ Drexler, AJ Hu, CH Yang ICCD 92, 522-525, 1992	660	1992
The marabou framework for verification and analysis of deep neural networks G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ... Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	590	2019
CMC: A pragmatic approach to model checking real code M Musuvathi, DYW Park, A Chou, DR Engler, DL Dill ACM SIGOPS Operating Systems Review 36 (SI), 75-88, 2002	564	2002
The Mur ϕ verification system DL Dill Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996	529	1996
Learning a SAT solver from single-bit supervision D Selsam, M Lamm, B Bünz, P Liang, L de Moura, DL Dill arXiv preprint arXiv:1802.03685, 2018	476	2018
Automated identification of stratifying signatures in cellular subpopulations RV Bruggner, B Bodenmiller, DL Dill, RJ Tibshirani, GP Nolan Proceedings of the National Academy of Sciences 111 (26), E2770-E2777, 2014	470	2014

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用