Search Results - Dana Scott

Dana Scott

Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has also worked on modal logic, topology, and category theory. Provided by Wikipedia
  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Cover Image

    Modeling Powassan virus infection in Peromyscus leucopus, a natural host. by Luwanika Mlera, Kimberly Meade-White, Greg Saturday, Dana Scott, Marshall E Bloom

    Published 2017
    Connect to this object online.
    Book

    Save to List
    Saved in:
  2. 2
    Cover Image

    Nipah virus transmission in a hamster model. by Emmie de Wit, Trenton Bushmaker, Dana Scott, Heinz Feldmann, Vincent J Munster

    Published 2011
    Connect to this object online.
    Book

    Save to List
    Saved in:
  3. 3
    Cover Image

    Comparison of the pathogenicity of Nipah virus isolates from Bangladesh and Malaysia in the Syrian hamster. by Blair L DeBuysscher, Emmie de Wit, Vincent J Munster, Dana Scott, Heinz Feldmann, Joseph Prescott

    Published 2013
    Connect to this object online.
    Book

    Save to List
    Saved in:
  4. 4
    Cover Image

    A single-dose ChAdOx1-vectored vaccine provides complete protection against Nipah Bangladesh and Malaysia in Syrian golden hamsters. by Neeltje van Doremalen, Teresa Lambe, Sarah Sebastian, Trenton Bushmaker, Robert Fischer, Friederike Feldmann, Elaine Haddock, Michael Letko, Victoria A Avanzato, Ilona Rissanen, Rachel LaCasse, Dana Scott, Thomas A Bowden, Sarah Gilbert, Vincent Munster

    Published 2019
    Connect to this object online.
    Book

    Save to List
    Saved in:

Search Tools: