Dana S. Scott
According to our database^{1},
Dana S. Scott
authored at least 48 papers
between 1958 and 2021.
Collaborative distances:
Collaborative distances:
Awards
Turing Prize recipient
Turing Prize 1976, "For their joint paper "Finite Automata and Their Decision Problem," which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field" awarded to Dana S. Scott and Michael O. Rabin.
ACM Fellow
ACM Fellow 1994, "For their joint paper 'Finite Automataand Their Decision Problem,' which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field.".
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on zbmath.org

on scopus.com

on viaf.org

on id.loc.gov

on dnb.info

on cs.cmu.edu

on andrej.com

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2021
CoRR, 2021
2020
Automating Free Logic in HOL, with an Experimental Application in Category Theory.
J. Autom. Reason., 2020
Proceedings of the Relational and Algebraic Methods in Computer Science, 2020
2019
J. Philos. Log., 2019
2018
Rev. Symb. Log., 2018
Arch. Formal Proofs, 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
2016
CoRR, 2016
Proceedings of the Mathematical Software  ICMS 2016, 2016
2014
Theor. Comput. Sci., 2014
J. Appl. Log., 2014
2013
Proceedings of the Twentyninth Conference on the Mathematical Foundations of Programming Semantics, 2013
2012
Proceedings of the ACM Turing Centenary Celebration, 2012
2009
Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009
2008
Bull. Symb. Log., 2008
2007
Stud Logica, 2007
2004
Theor. Comput. Sci., 2004
2001
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001
2000
High. Order Symb. Comput., 2000
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000
1999
Proceedings of the Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30, 1999
Proceedings of the Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30, 1999
1998
Proceedings of the Workshop on Domains IV 1998, 1998
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
1996
Proceedings of the Automated Deduction  CADE13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996
1994
Acta Informatica, 1994
1993
Theor. Comput. Sci., 1993
1992
Inf. Comput., June, 1992
1991
Proceedings of the Theoretical Aspects of Computer Software, 1991
1990
Proceedings of the Handbook of Theoretical Computer Science, 1990
1989
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989
1986
Capturing Concepts with Data Structures.
Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986
1985
Proceedings of the Mathematical Foundations of Software Development, 1985
1983
First Steps Towards Inferential Programming.
Proceedings of the Information Processing 83, 1983
1982
Proceedings of the Automata, 1982
1977
J. Symb. Log., 1977
Commun. ACM, 1977
1976
SIAM J. Comput., 1976
1975
Proceedings of the LambdaCalculus and Computer Science Theory, 1975
Proceedings of the LambdaCalculus and Computer Science Theory, 1975
1972
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972
1971
Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971
1967
Math. Syst. Theory, 1967
J. Comput. Syst. Sci., 1967
1959
IBM J. Res. Dev., 1959
1958
J. Symb. Log., 1958
J. Symb. Log., 1958