| Finite automata and their decision problems MO Rabin, D Scott IBM journal of research and development 3 (2), 114-125, 1959 | 2851 | 1959 |
| Continuous lattices and domains G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott Cambridge university press, 2003 | 2505 | 2003 |
| A compendium of continuous lattices G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott Springer Science & Business Media, 2012 | 2312 | 2012 |
| Continuous lattices DS Scott Toposes, algebraic geometry and logic 274, 97-136, 1972 | 1392 | 1972 |
| Data types as lattices D Scott SIAM Journal on computing 5 (3), 522-587, 1976 | 1346 | 1976 |
| Domains for denotational semantics DS Scott Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982 | 1238 | 1982 |
| Outline of a mathematical theory of computation D Scott Oxford University Computing Laboratory, Programming Research Group, 1970 | 1180 | 1970 |
| Toward a mathematical semantics for computer languages DS Scott, C Strachey Oxford University Computing Laboratory, Programming Research Group, 1971 | 1127 | 1971 |
| Foundational aspects of theories of measurement1 D Scott, P Suppes The journal of symbolic logic 23 (2), 113-128, 1958 | 979 | 1958 |
| The prevalence of rheumatoid arthritis in the United Kingdom: new estimates for a new century D Symmons, G Turner, R Webb, P Asten, E Barrett, M Lunt, D Scott, ... Rheumatology 41 (7), 793-800, 2002 | 976 | 2002 |
| Advice on modal logic D Scott Philosophical problems in logic: Some recent developments, 143-173, 1970 | 707 | 1970 |
| Measurement structures and linear inequalities D Scott Journal of mathematical psychology 1 (2), 233-247, 1964 | 654 | 1964 |
| Sheaves and logic MP Fourman, DS Scott Applications of Sheaves: Proceedings of the Research Symposium on …, 2006 | 514 | 2006 |
| A type-theoretical alternative to ISWIM, CUCH, OWHY DS Scott Theoretical Computer Science 121 (1-2), 411-440, 1993 | 440 | 1993 |
| Semantic domains CA Gunter, DS Scott Formal Models and Semantics, 633-674, 1990 | 406 | 1990 |
| An introduction to modal logic EJ Lemmon, D Scott, K Segerberg Journal of Symbolic Logic 44 (4), 1979 | 388 | 1979 |
| Completeness and axiomatizability in many-valued logic D Scott Proceedings of the Tarski symposium 25, 411-436, 1974 | 356 | 1974 |
| The lattice of flow diagrams D Scott Symposium on semantics of algorithmic languages, 311-366, 2006 | 344 | 2006 |
| Relating theories of the lambda calculus DS Scott To HB Curry: Essays on combinatory logic, lambda calculus and formalism, 403-450, 1980 | 330 | 1980 |
| Lectures on a mathematical theory of computation DS Scott Theoretical Foundations of Programming Methodology: Lecture Notes of an …, 1982 | 323 | 1982 |
