Finite automata and their decision problems MO Rabin, D Scott IBM journal of research and development 3 (2), 114-125, 1959 | 2298 | 1959 |

A compendium of continuous lattices G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott Springer Science & Business Media, 2012 | 2093 | 2012 |

Continuous lattices and domains G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott Cambridge university press, 2003 | 1877 | 2003 |

Continuous lattices D Scott Toposes, algebraic geometry and logic, 97-136, 1972 | 1206 | 1972 |

Data types as lattices D Scott Siam Journal on computing 5 (3), 522-587, 1976 | 1144 | 1976 |

Domains for denotational semantics DS Scott International Colloquium on Automata, Languages, and Programming, 577-610, 1982 | 1084 | 1982 |

Outline of a mathematical theory of computation D Scott Oxford University Computing Laboratory, Programming Research Group, 1970 | 989 | 1970 |

Toward a mathematical semantics for computer languages D Scott, C Strachey Oxford University Computing Laboratory, Programming Research Group, 1971 | 958 | 1971 |

Foundational aspects of theories of measurement D Scott, P Suppes The journal of symbolic logic 23 (2), 113-128, 1958 | 845 | 1958 |

Measurement structures and linear inequalities D Scott Journal of mathematical psychology 1 (2), 233-247, 1964 | 570 | 1964 |

Advice on modal logic D Scott Philosophical problems in logic, 143-173, 1970 | 547 | 1970 |

Sheaves and logic MP Fourman, DS Scott Applications of sheaves, 302-401, 1979 | 422 | 1979 |

Toposes and local set theories: an introduction JL Bell Courier Corporation, 2008 | 420 | 2008 |

Semantic domains CA Gunter, DS Scott Formal Models and Semantics, 633-674, 1990 | 380 | 1990 |

A type-theoretical alternative to ISWIM, CUCH, OWHY DS Scott Theoretical Computer Science 121 (1-2), 411-440, 1993 | 377 | 1993 |

The lattice of flow diagrams D Scott Symposium on semantics of algorithmic languages, 311-366, 1971 | 325 | 1971 |

Boolean-valued models and independence proofs in set theory JL Bell, D Scott | 308 | 1981 |

Completeness and axiomatizability in many-valued logic D Scott Proceedings of the Tarski symposium 25, 411-436, 1974 | 297 | 1974 |

Lectures on a mathematical theory of computation DS Scott Theoretical Foundations of Programming Methodology, 145-292, 1982 | 290 | 1982 |

Identity and existence in intuitionistic logic D Scott Applications of sheaves, 660-696, 1979 | 279 | 1979 |