Dexter Kozen
Orcid: 0000000280074725Affiliations:
 Cornell University, Computer Science Department
According to our database^{1},
Dexter Kozen
authored at least 154 papers
between 1976 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2003, "For contributions to theoretical computer science.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on viaf.org

on orcid.org

on id.loc.gov

on dnb.info

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
Proceedings of the Logics and Type Systems in Theory and Practice, 2024
2023
Proc. ACM Program. Lang., October, 2023
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
Proceedings of the Data Compression Conference, 2023
2022
ACM SIGLOG News, October, 2022
SIGACT News, 2022
J. Log. Algebraic Methods Program., 2022
J. Log. Algebraic Methods Program., 2022
Proceedings of the Programming Languages and Systems, 2022
2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
2020
Theor. Comput. Sci., 2020
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time.
Proc. ACM Program. Lang., 2020
Proc. ACM Program. Lang., 2020
CoRR, 2020
CoRR, 2020
2019
Log. Methods Comput. Sci., 2019
Log. Methods Comput. Sci., 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
2017
Math. Struct. Comput. Sci., 2017
Math. Struct. Comput. Sci., 2017
J. Log. Algebraic Methods Program., 2017
Fundam. Informaticae, 2017
Fundam. Informaticae, 2017
CoRR, 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the Foundations of Software Science and Computation Structures, 2017
2016
Cantor meets Scott: DomainTheoretic Foundations for Probabilistic Network Programming.
CoRR, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the Programming Languages and Systems, 2016
2015
Proceedings of the 42nd Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the Automata, Languages, and Programming  42nd International Colloquium, 2015
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015
2014
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014
Proceedings of the 41st Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the Automata, Languages, and Programming  41st International Colloquium, 2014
Proceedings of the Joint Meeting of the TwentyThird EACSL Annual Conference on Computer Science Logic (CSL) and the TwentyNinth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
Proceedings of the Joint Meeting of the TwentyThird EACSL Annual Conference on Computer Science Logic (CSL) and the TwentyNinth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014
Proceedings of the Programming Languages and Systems  12th Asian Symposium, 2014
2013
Am. Math. Mon., 2013
J. Autom. Lang. Comb., 2013
Proceedings of the Twentyninth Conference on the Mathematical Foundations of Programming Semantics, 2013
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Proceedings of the Programming Languages and Systems, 2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
2012
J. Autom. Lang. Comb., 2012
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
2011
Proceedings of the Twentyseventh Conference on the Mathematical Foundations of Programming Semantics, 2011
2010
Fundam. Informaticae, 2010
Proceedings of the Fields of Logic and Computation, 2010
2009
Log. Methods Comput. Sci., 2009
Proceedings of the 26th Annual International Conference on Machine Learning, 2009
2008
J. Log. Algebraic Methods Program., 2008
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008
Proceedings of the TwentyThird Annual IEEE Symposium on Logic in Computer Science, 2008
2007
Sci. Comput. Program., 2007
Log. Methods Comput. Sci., 2007
Proceedings of the Advances in Neural Information Processing Systems 20, 2007
2006
Texts in Computer Science, Springer, ISBN: 9781846284779, 2006
Theor. Comput. Sci., 2006
J. Appl. Non Class. Logics, 2006
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006
Proceedings of the Mathematical Foundations of Computer Science 2006, 2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
2005
Proceedings of the First Workshop on Bytecode Semantics, 2005
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005
2004
Sci. Comput. Program., 2004
Ann. Pure Appl. Log., 2004
2003
ACM Trans. Comput. Log., 2003
Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEXIII 2003), 2003
2002
Inf. Comput., 2002
Inf. Comput., 2002
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, 2002
On two letters versus three.
Proceedings of the Fixed Points in Computer Science, 2002
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002
2001
SIGACT News, 2001
Inf. Sci., 2001
MyhillNerode Relations on Automatic Systems and the Completeness of Kleene Algebra.
Proceedings of the STACS 2001, 2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
2000
ACM Trans. Comput. Log., 2000
ACM Trans. Comput. Log., 2000
Proceedings of the Computational Logic, 2000
1999
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999
1998
Inf. Comput., 1998
Proceedings of the Data Compression Conference, 1998
1997
ACM Trans. Program. Lang. Syst., 1997
J. Symb. Comput., 1997
Automata and computability.
Undergraduate texts in computer science, Springer, ISBN: 9780387949079, 1997
1996
Theor. Comput. Sci., 1996
J. Symb. Comput., 1996
On RegularityPreserving Functions.
Bull. EATCS, 1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996
Proceedings of the Computer Science Logic, 10th International Workshop, 1996
1995
Inf. Comput., October, 1995
Math. Struct. Comput. Sci., 1995
Chic. J. Theor. Comput. Sci., 1995
1994
Inf. Comput., May, 1994
Theor. Comput. Sci., 1994
J. Comput. Syst. Sci., 1994
Electron. Colloquium Comput. Complex., 1994
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994
1993
Proceedings of the Computer Science Logic, 7th Workshop, 1993
Proceedings of the Computer Science Logic, 7th Workshop, 1993
1992
On the MyhillNerode theorem theorem for trees.
Bull. EATCS, 1992
Texts and Monographs in Computer Science, Springer, ISBN: 9781461244004, 1992
1991
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991
1990
Proceedings of the Mathematical Foundations of Computer Science 1990, 1990
Proceedings of the Handbook of Theoretical Computer Science, 1990
1989
Inf. Comput., November, 1989
J. Symb. Comput., 1989
1988
A Fast Parallel Algorithm for Determining all Roots of a Polynomial with Real Roots.
SIAM J. Comput., 1988
Stud Logica, 1988
1987
Proceedings of the 28th Annual Symposium on Foundations of Computer Science, 1987
1986
SIGACT News, 1986
J. Comput. Syst. Sci., 1986
Inf. Process. Lett., 1986
1985
J. Comput. Syst. Sci., 1985
Inf. Control., 1985
NC Algorithms for Comparability Graphs, Interval Gaphs, and Testing for Unique Perfect Matching.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985
Proceedings of the 26th Annual Symposium on Foundations of Computer Science, 1985
1984
Inf. Control., 1984
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984
1983
Theor. Comput. Sci., 1983
Proceedings of the Logics of Programs, 1983
1982
J. Comput. Syst. Sci., 1982
Proceedings of the Automata, 1982
1981
Theor. Comput. Sci., 1981
J. Comput. Syst. Sci., 1981
J. ACM, 1981
IBM J. Res. Dev., 1981
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981
1980
Theor. Comput. Sci., 1980
Theor. Comput. Sci., 1980
Proceedings of the Automata, 1980
1979
Proceedings of the Logics of Programs, Workshop, ETH Zürich, MayJuly 1979, 1979
Automata and planar graphs.
Proceedings of the Fundamentals of Computation Theory, 1979
1978
SIGACT News, 1978
Proceedings of the 10th Annual ACM Symposium on Theory of Computing, 1978
Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978
1977
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977
Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977
1976
Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976