Finite automata and their decision problems MO Rabin, D Scott IBM journal of research and development 3 (2), 114-125, 1959 | 2761 | 1959 |
Continuous lattices and domains G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott Cambridge university press, 2003 | 2381 | 2003 |
A compendium of continuous lattices G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott Springer Science & Business Media, 2012 | 2283 | 2012 |
Continuous lattices DS Scott Toposes, algebraic geometry and logic 274, 97-136, 1972 | 1353 | 1972 |
Data types as lattices D Scott SIAM Journal on computing 5 (3), 522-587, 1976 | 1322 | 1976 |
Domains for denotational semantics DS Scott Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982 | 1219 | 1982 |
Outline of a mathematical theory of computation D Scott Oxford University Computing Laboratory, Programming Research Group, 1970 | 1158 | 1970 |
Toward a mathematical semantics for computer languages DS Scott, C Strachey Oxford University Computing Laboratory, Programming Research Group, 1971 | 1095 | 1971 |
Foundational aspects of theories of measurement1 D Scott, P Suppes The journal of symbolic logic 23 (2), 113-128, 1958 | 963 | 1958 |
Advice on modal logic D Scott Philosophical problems in logic: Some recent developments, 143-173, 1970 | 684 | 1970 |
Measurement structures and linear inequalities D Scott Journal of mathematical psychology 1 (2), 233-247, 1964 | 637 | 1964 |
Sheaves and logic MP Fourman, DS Scott Applications of Sheaves: Proceedings of the Research Symposium on …, 2006 | 493 | 2006 |
A type-theoretical alternative to ISWIM, CUCH, OWHY DS Scott Theoretical Computer Science 121 (1-2), 411-440, 1993 | 422 | 1993 |
Semantic domains CA Gunter, DS Scott Formal Models and Semantics, 633-674, 1990 | 407 | 1990 |
An introduction to modal logic EJ Lemmon, D Scott, K Segerberg Journal of Symbolic Logic 44 (4), 1979 | 378 | 1979 |
The lattice of flow diagrams D Scott Symposium on semantics of algorithmic languages, 311-366, 2006 | 350 | 2006 |
Completeness and axiomatizability in many-valued logic D Scott Proceedings of the Tarski symposium 25, 411-436, 1974 | 346 | 1974 |
Relating theories of the lambda calculus DS Scott To HB Curry: Essays on combinatory logic, lambda calculus and formalism, 403-450, 1980 | 323 | 1980 |
Lectures on a mathematical theory of computation DS Scott Theoretical Foundations of Programming Methodology: Lecture Notes of an …, 1982 | 321 | 1982 |
Identity and existence in intuitionistic logic D Scott Applications of Sheaves: Proceedings of the Research Symposium on …, 2006 | 319 | 2006 |
Measurable cardinals and constructible sets D Scott Mathematical Logic In The 20th Century, 407-410, 2003 | 291 | 2003 |
Reduced direct products T Frayne, A Morel, D Scott Fundamenta mathematicae 51 (3), 195-228, 1962 | 287 | 1962 |
Influence of DNA synthesis on the production of chromatid aberrations by X rays and maleic hydrazide in Vicia faba HJ Evans, D Scott Genetics 49 (1), 17, 1964 | 286 | 1964 |
Logic with denumerably long formulas and finite strings of quantifiers D Scott The theory of models, 329-341, 2014 | 280 | 2014 |
BSR and BHPR guidelines for the management of adults with ANCA associated vasculitis C Lapraik, R Watts, P Bacon, D Carruthers, K Chakravarty, D D’Cruz, ... Rheumatology 46 (10), 1615-1616, 2007 | 249 | 2007 |
Assigning probabilities to logical formulas D Scott, P Krauss Studies in Logic and the Foundations of Mathematics 43, 219-264, 1966 | 233 | 1966 |
Existence and description in formal logic D Scott | 190 | 1967 |
Constructive validity D Scott Symposium on Automatic Demonstration: Held at Versailles/France, December …, 2006 | 188 | 2006 |
A decision method for validity of sentences in two variables D Scott Journal of Symbolic Logic 27 (377), 74, 1962 | 188 | 1962 |
The induction of chromosome aberrations by nitrogen mustard and its dependence on DNA synthesis HJ Evans, D Scott Proceedings of the Royal Society of London. Series B. Biological Sciences …, 1969 | 185 | 1969 |
Algebras of sets binumerable in complete extensions of arithmetic D Scott Recursive function theory, 117-121, 1962 | 180 | 1962 |
Models for various type-free calculi D Scott Studies in Logic and the Foundations of Mathematics 74, 157-187, 1973 | 174 | 1973 |
A theory of programs JW de Bakker, D Scott IBM seminar, Vienna, 1969 | 174 | 1969 |
Lattice theory, data types and semantics D Scott Formal semantics of programming languages 2, 65-106, 1972 | 173 | 1972 |
Some definitional suggestions for automata theory D Scott Journal of Computer and System Sciences 1 (2), 187-212, 1967 | 164 | 1967 |
On engendering an illusion of understanding D Scott The Journal of Philosophy 68 (21), 787-807, 1971 | 149 | 1971 |
Lambda calculus: some models, some philosophy D Scott Studies in Logic and the Foundations of Mathematics 101, 223-265, 1980 | 146 | 1980 |
Deductive systems and categories III: Cartesian closed categories, intuitionist propositional calculus, and combinatory logic J Lambek Toposes, algebraic geometry and logic 274, 57-82, 1972 | 144 | 1972 |
X-ray-induced chromosomal aberrations in Vicia faba: changes in response during the cell cycle D Scott, HJ Evans Mutation Research/Fundamental and Molecular Mechanisms of Mutagenesis 4 (5 …, 1967 | 134 | 1967 |
Sheaf theory and the continuum hypothesis I Bucur, J Giraud, N Goodman, J Myhill, L Illusie, J Lambek, DS Scott, ... Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax …, 1972 | 129 | 1972 |