Standout Papers

A theory of timed automata 1992 2026 2003 2014 2.1k
  1. A theory of timed automata (1994)
    Rajeev Alur, David L. Dill Theoretical Computer Science
  2. Symbolic model checking: 1020 States and beyond (1992)
    Jerry R. Burch, E. M. Clarke et al. Information and Computation

Immediate Impact

4 by Nobel laureates 42 from Science/Nature 58 standout
Sub-graph 1 of 18

Citing Papers

An age-progressive platelet differentiation path from hematopoietic stem cells causes exacerbated thrombosis
2024 Standout
Depleting myeloid-biased haematopoietic stem cells rejuvenates aged immunity
2024 StandoutNature
9 intermediate papers

Works of David L. Dill being referenced

Gene Expression Commons: An Open Platform for Absolute Gene Expression Profiling
2012
Ly6d marks the earliest stage of B-cell specification and identifies the branchpoint between B-cell and T-cell development
2009
and 3 more

Author Peers

Author Last Decade Papers Cites
David L. Dill 3574 1398 1366 1815 1575 96 6.6k
Ehud Shapiro 1184 3343 356 342 1753 130 5.9k
David Harel 3109 832 975 2192 3545 163 8.4k
Thomas A. Henzinger 4162 675 1154 1689 2745 170 6.3k
Xavier Leroy 660 2065 403 199 1150 284 7.5k
Luca Cardelli 1406 1379 383 335 2513 121 4.5k
Mark N. Wegman 688 363 792 408 1798 24 3.2k
John McCarthy 584 630 312 194 953 81 3.2k
Peter J. Stuckey 621 735 105 315 1307 239 3.6k
Krishnendu Chatterjee 801 435 103 193 772 171 3.3k
Marta Kwiatkowska 1198 617 223 686 993 176 3.2k

All Works

Loading papers...

Rankless by CCL
2026