David L. Dill

عدد مرات الاقتباسات

	الكل	قبل 2020
اقتباسات	48921	8903
h-index	85	35
i10-index	206	71

2000

1000

500

1500

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025189 312 516 672 807 980 1009 1157 1349 1281 1295 1449 1550 1763 1758 1731 1951 1860 1885 1721 1633 1586 1679 1616 1447 1458 1292 1556 1624 1788 1716 1752 1751 1637 259

عدد المنشورات المتاحة للجميع

عرض المجموعة جميعها

35 مقالة

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
Steven NowickProfessor Emeritus of Computer Science, Columbia Universityبريد إلكتروني تم التحقق منه على cs.columbia.edu
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAبريد إلكتروني تم التحقق منه على gatech.edu
Sylvia K. PlevritisProfessor of Biomedical Data Science, Stanford Universityبريد إلكتروني تم التحقق منه على stanford.edu
Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston Collegeبريد إلكتروني تم التحقق منه على bc.edu
Guy KatzThe Hebrew University of Jerusalemبريد إلكتروني تم التحقق منه على cs.huji.ac.il
Ulrich SternNo affiliationبريد إلكتروني تم التحقق منه على cs.stanford.edu
Mykel J. KochenderferAssociate Professor, Stanford Universityبريد إلكتروني تم التحقق منه على stanford.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
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
Robert TibshiraniProfessor of Biomedical Data Sciences, and of Statistics, 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‏	10342	1994
Symbolic Model Checking: 1020 states and beyond‏ JR Burch, EM Clarke, KL McMillan, DL Dill, LJ Hwang‏ Information and Computation 98 (2), 1992‏	4729	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‏	2426	2017
Automata for modeling real-time systems‏ R Alur, D Dill‏ Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990‏	1664	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‏	1657	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‏	1454	1990
Model-checking in dense real-time‏ R Alur, C Courcoubetis, D Dill‏ Information and computation 104 (1), 2-34, 1993‏	1407	1993
Timing assumptions and verification of finite-state concurrent systems‏ DL Dill‏ Automatic Verification Methods for Finite State Systems: International …, 1990‏	1160	1990
A decision procedure for bit-vectors and arrays‏ V Ganesh, DL Dill‏ International conference on computer aided verification, 519-531, 2007‏	893	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‏	865	1994
Trace theory for automatic hierarchical verification of speed-independent circuits‏ DL Dill‏ MIT press, 1989‏	842	1989
Automatic verification of pipelined microprocessor control‏ JR Burch, DL Dill‏ Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994‏	840	1994
Better verification through symmetry‏ C Norris Ip, DL Dill‏ Formal methods in system design 9, 41-75, 1996‏	811*	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‏	735	1991
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‏	706	2019
Protocol verification as a hardware design aid.‏ DL Dill, AJ Drexler, AJ Hu, CH Yang‏ ICCD 92, 522-525, 1992‏	674	1992
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‏	562	2002
The Mur ϕ verification system‏ DL Dill‏ Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996‏	533	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‏	529	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‏	501	2014

يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.

مقالات 1–20

عدد الاقتباسات في العام

اقتباسات مكررة

الاقتباسات المدمجة

إضافة مؤلفين مشاركينالمؤلفون المشاركون

متابعة

عدد مرات الاقتباسات

المؤلفون المشاركون