David L. Dill

Viittaukset

	Kaikki	2020 lähtien
Sitaatit	48807	8808
h-indeksi	85	35
i10-indeksi	206	71

2000

1000

500

1500

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025189 312 516 672 801 985 1009 1157 1357 1280 1294 1434 1550 1757 1763 1730 1953 1857 1887 1717 1634 1589 1677 1615 1449 1459 1290 1555 1622 1787 1716 1751 1748 1612 194

Yleisessä käytössä

Näytä kaikki

35 artikkelia

3 artikkelia

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Muut kirjoittajat

Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVahvistettu sähköpostiosoite verkkotunnuksessa seas.upenn.edu
Clark BarrettStanford UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.stanford.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.cmu.edu
Jerry R. BurchSynopsys, Inc.Vahvistettu sähköpostiosoite verkkotunnuksessa fun-journey.com
Kenneth McMillanMicrosoft ResearchVahvistettu sähköpostiosoite verkkotunnuksessa microsoft.com
Debashis SahooAssociate Professor of Pediatrics and Computer Science, University of California San DiegoVahvistettu sähköpostiosoite verkkotunnuksessa ucsd.edu
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVahvistettu sähköpostiosoite verkkotunnuksessa cuhk.edu.cn
Steven NowickProfessor Emeritus of Computer Science, Columbia UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.columbia.edu
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVahvistettu sähköpostiosoite verkkotunnuksessa gatech.edu
Sylvia K. PlevritisProfessor of Biomedical Data Science, Stanford UniversityVahvistettu sähköpostiosoite verkkotunnuksessa stanford.edu
Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston CollegeVahvistettu sähköpostiosoite verkkotunnuksessa bc.edu
Guy KatzThe Hebrew University of JerusalemVahvistettu sähköpostiosoite verkkotunnuksessa cs.huji.ac.il
Ulrich SternNo affiliationVahvistettu sähköpostiosoite verkkotunnuksessa cs.stanford.edu
Alan J. HuProfessor of Computer Science, University of British ColumbiaVahvistettu sähköpostiosoite verkkotunnuksessa cs.ubc.ca
Irving WeissmanDirector, Institute of Stem Cell Biology and Regenerative MedicineVahvistettu sähköpostiosoite verkkotunnuksessa stanford.edu
Mykel J. KochenderferAssociate Professor, Stanford UniversityVahvistettu sähköpostiosoite verkkotunnuksessa stanford.edu
Kyle David JulianReceived Ph.D. at Stanford UniversityVahvistettu sähköpostiosoite verkkotunnuksessa stanford.edu
Subarna SinhaComputer Science, Stanford UniversityVahvistettu sähköpostiosoite verkkotunnuksessa stanford.edu
Dean FelsherProfessor of Medicine-Oncology, Pathology, Stanford UniversityVahvistettu sähköpostiosoite verkkotunnuksessa stanford.edu
Robert TibshiraniProfessor of Biomedical Data Sciences, and of Statistics, Stanford UniversityVahvistettu sähköpostiosoite verkkotunnuksessa stanford.edu

Seuraa

David L. Dill

Professor, Emeritus, of Computer Science, Stanford University

Vahvistettu sähköpostiosoite verkkotunnuksessa stanford.edu

formal verification voting technology computational biology


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
A theory of timed automata R Alur, DL Dill Theoretical computer science 126 (2), 183-235, 1994	10329	1994
Symbolic Model Checking: 1020 states and beyond JR Burch, EM Clarke, KL McMillan, DL Dill, LJ Hwang Information and Computation 98 (2), 1992	4722	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	2404	2017
Automata for modeling real-time systems R Alur, D Dill Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990	1662	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	1452	1990
Model-checking in dense real-time R Alur, C Courcoubetis, D Dill Information and computation 104 (1), 2-34, 1993	1404	1993
Timing assumptions and verification of finite-state concurrent systems DL Dill Automatic Verification Methods for Finite State Systems: International …, 1990	1159	1990
A decision procedure for bit-vectors and arrays V Ganesh, DL Dill International conference on computer aided verification, 519-531, 2007	891	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	862	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	839	1994
Better verification through symmetry C Norris Ip, DL Dill Formal methods in system design 9, 41-75, 1996	810*	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	734	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	691	2019
Protocol verification as a hardware design aid. DL Dill, AJ Drexler, AJ Hu, CH Yang ICCD 92, 522-525, 1992	673	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	523	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	499	2014

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–20

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Seuraa

Viittaukset

Muut kirjoittajat