BibTeX records: Dexter Kozen

download as .bib file

@article{DBLP:journals/pacmpl/MohanLFKK23,
  author       = {Anshuman Mohan and
                  Yunhe Liu and
                  Nate Foster and
                  Tobias Kapp{\'{e}} and
                  Dexter Kozen},
  title        = {Formal Abstractions for Packet Scheduling},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{OOPSLA2}},
  pages        = {1338--1362},
  year         = {2023},
  url          = {https://doi.org/10.1145/3622845},
  doi          = {10.1145/3622845},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MohanLFKK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/DAngeloK23,
  author       = {Keri D'Angelo and
                  Dexter Kozen},
  editor       = {Ali Bilgin and
                  Michael W. Marcellin and
                  Joan Serra{-}Sagrist{\`{a}} and
                  James A. Storer},
  title        = {Abstract Huffman Coding and {PIFO} Tree Embeddings},
  booktitle    = {Data Compression Conference, {DCC} 2023, Snowbird, UT, USA, March
                  21-24, 2023},
  pages        = {1},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/DCC55655.2023.00077},
  doi          = {10.1109/DCC55655.2023.00077},
  timestamp    = {Mon, 29 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcc/DAngeloK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RozowskiKKS023,
  author       = {Wojciech Rozowski and
                  Tobias Kapp{\'{e}} and
                  Dexter Kozen and
                  Todd Schmid and
                  Alexandra Silva},
  editor       = {Kousha Etessami and
                  Uriel Feige and
                  Gabriele Puppis},
  title        = {Probabilistic Guarded {KAT} Modulo Bisimilarity: Completeness and
                  Complexity},
  booktitle    = {50th International Colloquium on Automata, Languages, and Programming,
                  {ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
  series       = {LIPIcs},
  volume       = {261},
  pages        = {136:1--136:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.ICALP.2023.136},
  doi          = {10.4230/LIPICS.ICALP.2023.136},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/RozowskiKKS023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-06913,
  author       = {Dexter Kozen and
                  Alexandra Silva and
                  Erik Voogd},
  editor       = {Marie Kerjean and
                  Paul Blain Levy},
  title        = {Joint Distributions in Probabilistic Semantics},
  booktitle    = {Proceedings of the 39th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
                  IN, USA, June 21-23, 2023},
  series       = {{EPTICS}},
  volume       = {3},
  publisher    = {EpiSciences},
  year         = {2023},
  url          = {https://doi.org/10.46298/entics.12279},
  doi          = {10.46298/ENTICS.12279},
  timestamp    = {Wed, 03 Jan 2024 15:36:41 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-06913.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-02878,
  author       = {Keri D'Angelo and
                  Dexter Kozen},
  title        = {Abstract Huffman Coding and {PIFO} Tree Embeddings},
  journal      = {CoRR},
  volume       = {abs/2301.02878},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2301.02878},
  doi          = {10.48550/ARXIV.2301.02878},
  eprinttype    = {arXiv},
  eprint       = {2301.02878},
  timestamp    = {Tue, 10 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-02878.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-10812,
  author       = {Dexter Kozen and
                  Alexandra Silva},
  title        = {Multisets and Distributions},
  journal      = {CoRR},
  volume       = {abs/2301.10812},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2301.10812},
  doi          = {10.48550/ARXIV.2301.10812},
  eprinttype    = {arXiv},
  eprint       = {2301.10812},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-10812.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-01755,
  author       = {Wojciech Rozowski and
                  Tobias Kapp{\'{e}} and
                  Dexter Kozen and
                  Todd Schmid and
                  Alexandra Silva},
  title        = {Probabilistic Guarded {KAT} Modulo Bisimilarity: Completeness and
                  Complexity},
  journal      = {CoRR},
  volume       = {abs/2305.01755},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.01755},
  doi          = {10.48550/ARXIV.2305.01755},
  eprinttype    = {arXiv},
  eprint       = {2305.01755},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-01755.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BickfordKS22,
  author       = {Mark Bickford and
                  Dexter Kozen and
                  Alexandra Silva},
  title        = {Formalizing Moessner's theorem and generalizations in Nuprl},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {124},
  pages        = {100713},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jlamp.2021.100713},
  doi          = {10.1016/J.JLAMP.2021.100713},
  timestamp    = {Tue, 14 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/BickfordKS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/KozenS22,
  author       = {Dexter Kozen and
                  Matvey Soloviev},
  title        = {Coalgebraic tools for randomness-conserving protocols},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {125},
  pages        = {100734},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jlamp.2021.100734},
  doi          = {10.1016/J.JLAMP.2021.100734},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/KozenS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Kozen22,
  author       = {Dexter Kozen},
  title        = {Reminiscences of Juris},
  journal      = {{SIGACT} News},
  volume       = {53},
  number       = {4},
  pages        = {32--34},
  year         = {2022},
  url          = {https://doi.org/10.1145/3577971.3577976},
  doi          = {10.1145/3577971.3577976},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigact/Kozen22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Kozen22,
  author       = {Dexter Kozen},
  title        = {2022 Alonzo Church Award Announcement},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {9},
  number       = {4},
  pages        = {2--3},
  year         = {2022},
  url          = {https://doi.org/10.1145/3583660.3583662},
  doi          = {10.1145/3583660.3583662},
  timestamp    = {Sun, 26 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siglog/Kozen22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/WagemakerFKKRS22,
  author       = {Jana Wagemaker and
                  Nate Foster and
                  Tobias Kapp{\'{e}} and
                  Dexter Kozen and
                  Jurriaan Rot and
                  Alexandra Silva},
  editor       = {Ilya Sergey},
  title        = {Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks},
  booktitle    = {Programming Languages and Systems - 31st European Symposium on Programming,
                  {ESOP} 2022, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
                  2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13240},
  pages        = {575--602},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99336-8\_21},
  doi          = {10.1007/978-3-030-99336-8\_21},
  timestamp    = {Fri, 29 Apr 2022 14:50:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/WagemakerFKKRS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-10485,
  author       = {Jana Wagemaker and
                  Nate Foster and
                  Tobias Kapp{\'{e}} and
                  Dexter Kozen and
                  Jurriaan Rot and
                  Alexandra Silva},
  title        = {Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks},
  journal      = {CoRR},
  volume       = {abs/2201.10485},
  year         = {2022},
  url          = {https://arxiv.org/abs/2201.10485},
  eprinttype    = {arXiv},
  eprint       = {2201.10485},
  timestamp    = {Tue, 01 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-10485.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-11659,
  author       = {Anshuman Mohan and
                  Yunhe Liu and
                  Nate Foster and
                  Tobias Kapp{\'{e}} and
                  Dexter Kozen},
  title        = {Formal Abstractions for Packet Scheduling},
  journal      = {CoRR},
  volume       = {abs/2211.11659},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.11659},
  doi          = {10.48550/ARXIV.2211.11659},
  eprinttype    = {arXiv},
  eprint       = {2211.11659},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-11659.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SchmidKK021,
  author       = {Todd Schmid and
                  Tobias Kapp{\'{e}} and
                  Dexter Kozen and
                  Alexandra Silva},
  editor       = {Nikhil Bansal and
                  Emanuela Merelli and
                  James Worrell},
  title        = {Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness},
  booktitle    = {48th International Colloquium on Automata, Languages, and Programming,
                  {ICALP} 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {198},
  pages        = {142:1--142:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.ICALP.2021.142},
  doi          = {10.4230/LIPICS.ICALP.2021.142},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/SchmidKK021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AmorimKMPR21,
  author       = {Pedro H. Azevedo de Amorim and
                  Dexter Kozen and
                  Radu Mardare and
                  Prakash Panangaden and
                  Michael Roberts},
  title        = {Universal Semantics for the Stochastic {\(\lambda\)}-Calculus},
  booktitle    = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2021, Rome, Italy, June 29 - July 2, 2021},
  pages        = {1--12},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/LICS52264.2021.9470747},
  doi          = {10.1109/LICS52264.2021.9470747},
  timestamp    = {Fri, 09 Jul 2021 14:04:16 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/AmorimKMPR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-08286,
  author       = {Todd Schmid and
                  Tobias Kapp{\'{e}} and
                  Dexter Kozen and
                  Alexandra Silva},
  title        = {Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness},
  journal      = {CoRR},
  volume       = {abs/2102.08286},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.08286},
  eprinttype    = {arXiv},
  eprint       = {2102.08286},
  timestamp    = {Fri, 19 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-08286.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DahlqvistK20,
  author       = {Fredrik Dahlqvist and
                  Dexter Kozen},
  title        = {Semantics of higher-order probabilistic programs with conditioning},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{POPL}},
  pages        = {57:1--57:29},
  year         = {2020},
  url          = {https://doi.org/10.1145/3371125},
  doi          = {10.1145/3371125},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/DahlqvistK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SmolkaFHKKS20,
  author       = {Steffen Smolka and
                  Nate Foster and
                  Justin Hsu and
                  Tobias Kapp{\'{e}} and
                  Dexter Kozen and
                  Alexandra Silva},
  title        = {Guarded Kleene algebra with tests: verification of uninterpreted programs
                  in nearly linear time},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{POPL}},
  pages        = {61:1--61:28},
  year         = {2020},
  url          = {https://doi.org/10.1145/3371129},
  doi          = {10.1145/3371129},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/SmolkaFHKKS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KozenS20,
  author       = {Dexter Kozen and
                  Alexandra Silva},
  title        = {Left-handed completeness},
  journal      = {Theor. Comput. Sci.},
  volume       = {807},
  pages        = {220--233},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.10.040},
  doi          = {10.1016/J.TCS.2019.10.040},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/KozenS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-11551,
  author       = {Nick Bezhanishvili and
                  Marcello M. Bonsangue and
                  Helle Hvid Hansen and
                  Dexter Kozen and
                  Clemens Kupke and
                  Prakash Panangaden and
                  Alexandra Silva},
  title        = {Minimisation in Logical Form},
  journal      = {CoRR},
  volume       = {abs/2005.11551},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.11551},
  eprinttype    = {arXiv},
  eprint       = {2005.11551},
  timestamp    = {Thu, 28 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-11551.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-13171,
  author       = {Pedro H. Azevedo de Amorim and
                  Dexter Kozen and
                  Radu Mardare and
                  Prakash Panangaden and
                  Michael Roberts},
  title        = {Universal Semantics for the Stochastic Lambda-Calculus},
  journal      = {CoRR},
  volume       = {abs/2011.13171},
  year         = {2020},
  url          = {https://arxiv.org/abs/2011.13171},
  eprinttype    = {arXiv},
  eprint       = {2011.13171},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2011-13171.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Kozen19,
  author       = {Dexter Kozen},
  title        = {Natural Transformations as Rewrite Rules and Monad Composition},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {15},
  number       = {1},
  year         = {2019},
  url          = {https://doi.org/10.23638/LMCS-15(1:1)2019},
  doi          = {10.23638/LMCS-15(1:1)2019},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Kozen19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/EsikK19,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Dexter Kozen},
  title        = {On Free {\(\omega\)}-Continuous and Regular Ordered Algebras},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {15},
  number       = {4},
  year         = {2019},
  url          = {https://doi.org/10.23638/LMCS-15(4:4)2019},
  doi          = {10.23638/LMCS-15(4:4)2019},
  timestamp    = {Tue, 27 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/EsikK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SmolkaKKFHK019,
  author       = {Steffen Smolka and
                  Praveen Kumar and
                  David M. Kahn and
                  Nate Foster and
                  Justin Hsu and
                  Dexter Kozen and
                  Alexandra Silva},
  editor       = {Kathryn S. McKinley and
                  Kathleen Fisher},
  title        = {Scalable verification of probabilistic networks},
  booktitle    = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
                  June 22-26, 2019},
  pages        = {190--203},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3314221.3314639},
  doi          = {10.1145/3314221.3314639},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/SmolkaKKFHK019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-11189,
  author       = {Fredrik Dahlqvist and
                  Dexter Kozen},
  title        = {Semantics of higher-order probabilistic programs with conditioning},
  journal      = {CoRR},
  volume       = {abs/1902.11189},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.11189},
  eprinttype    = {arXiv},
  eprint       = {1902.11189},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-11189.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-08096,
  author       = {Steffen Smolka and
                  Praveen Kumar and
                  David M. Kahn and
                  Nate Foster and
                  Justin Hsu and
                  Dexter Kozen and
                  Alexandra Silva},
  title        = {Scalable Verification of Probabilistic Networks},
  journal      = {CoRR},
  volume       = {abs/1904.08096},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.08096},
  eprinttype    = {arXiv},
  eprint       = {1904.08096},
  timestamp    = {Wed, 11 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-08096.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05920,
  author       = {Steffen Smolka and
                  Nate Foster and
                  Justin Hsu and
                  Tobias Kapp{\'{e}} and
                  Dexter Kozen and
                  Alexandra Silva},
  title        = {Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs
                  in Nearly Linear Time},
  journal      = {CoRR},
  volume       = {abs/1907.05920},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.05920},
  eprinttype    = {arXiv},
  eprint       = {1907.05920},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-05920.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KozenS18,
  author       = {Dexter Kozen and
                  Matvey Soloviev},
  editor       = {Jules Desharnais and
                  Walter Guttmann and
                  Stef Joosten},
  title        = {Coalgebraic Tools for Randomness-Conserving Protocols},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 17th International
                  Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -
                  November 1, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11194},
  pages        = {298--313},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02149-8\_18},
  doi          = {10.1007/978-3-030-02149-8\_18},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/KozenS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KozenS18,
  author       = {Dexter Kozen and
                  Thomas Schwentick},
  editor       = {Dan R. Ghica and
                  Achim Jung},
  title        = {The Ackermann Award 2018},
  booktitle    = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018,
                  September 4-7, 2018, Birmingham, {UK}},
  series       = {LIPIcs},
  volume       = {119},
  pages        = {1:1--1:5},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2018.1},
  doi          = {10.4230/LIPICS.CSL.2018.1},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/KozenS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BacciFKMPS18,
  author       = {Giorgio Bacci and
                  Robert Furber and
                  Dexter Kozen and
                  Radu Mardare and
                  Prakash Panangaden and
                  Dana S. Scott},
  editor       = {Anuj Dawar and
                  Erich Gr{\"{a}}del},
  title        = {Boolean-Valued Semantics for the Stochastic {\(\lambda\)}-Calculus},
  booktitle    = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
  pages        = {669--678},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3209108.3209175},
  doi          = {10.1145/3209108.3209175},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BacciFKMPS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02735,
  author       = {Dexter Kozen and
                  Matvey Soloviev},
  title        = {Coalgebraic Tools for Randomness-Conserving Protocols},
  journal      = {CoRR},
  volume       = {abs/1807.02735},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.02735},
  eprinttype    = {arXiv},
  eprint       = {1807.02735},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-02735.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GrathwohlHK17a,
  author       = {Niels Bj{\o}rn Bugge Grathwohl and
                  Fritz Henglein and
                  Dexter Kozen},
  title        = {Infinitary Axiomatization of the Equational Theory of Context-Free
                  Languages},
  journal      = {Fundam. Informaticae},
  volume       = {150},
  number       = {3-4},
  pages        = {241--257},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1469},
  doi          = {10.3233/FI-2017-1469},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GrathwohlHK17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JeanninKS17a,
  author       = {Jean{-}Baptiste Jeannin and
                  Dexter Kozen and
                  Alexandra Silva},
  title        = {CoCaml: Functional Programming with Regular Coinductive Types},
  journal      = {Fundam. Informaticae},
  volume       = {150},
  number       = {3-4},
  pages        = {347--377},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1473},
  doi          = {10.3233/FI-2017-1473},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/JeanninKS17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KozenMS17,
  author       = {Dexter Kozen and
                  Konstantinos Mamouras and
                  Alexandra Silva},
  title        = {Completeness and incompleteness in nominal Kleene algebra},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {91},
  pages        = {17--32},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.06.002},
  doi          = {10.1016/J.JLAMP.2017.06.002},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/KozenMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/JeanninKS17,
  author       = {Jean{-}Baptiste Jeannin and
                  Dexter Kozen and
                  Alexandra Silva},
  title        = {Well-founded coalgebras, revisited},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {27},
  number       = {7},
  pages        = {1111--1131},
  year         = {2017},
  url          = {https://doi.org/10.1017/S0960129515000481},
  doi          = {10.1017/S0960129515000481},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/JeanninKS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KozenS17,
  author       = {Dexter Kozen and
                  Alexandra Silva},
  title        = {Practical coinduction},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {27},
  number       = {7},
  pages        = {1132--1152},
  year         = {2017},
  url          = {https://doi.org/10.1017/S0960129515000493},
  doi          = {10.1017/S0960129515000493},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/KozenS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SchroderKMW17,
  author       = {Lutz Schr{\"{o}}der and
                  Dexter Kozen and
                  Stefan Milius and
                  Thorsten Wi{\ss}mann},
  editor       = {Javier Esparza and
                  Andrzej S. Murawski},
  title        = {Nominal Automata with Name Binding},
  booktitle    = {Foundations of Software Science and Computation Structures - 20th
                  International Conference, {FOSSACS} 2017, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
                  Uppsala, Sweden, April 22-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10203},
  pages        = {124--142},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54458-7\_8},
  doi          = {10.1007/978-3-662-54458-7\_8},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/SchroderKMW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FurberKLMP17,
  author       = {Robert Furber and
                  Dexter Kozen and
                  Kim G. Larsen and
                  Radu Mardare and
                  Prakash Panangaden},
  title        = {Unrestricted stone duality for Markov processes},
  booktitle    = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2017, Reykjavik, Iceland, June 20-23, 2017},
  pages        = {1--9},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/LICS.2017.8005152},
  doi          = {10.1109/LICS.2017.8005152},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/FurberKLMP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SmolkaKFK017,
  author       = {Steffen Smolka and
                  Praveen Kumar and
                  Nate Foster and
                  Dexter Kozen and
                  Alexandra Silva},
  editor       = {Giuseppe Castagna and
                  Andrew D. Gordon},
  title        = {Cantor meets scott: semantic foundations for probabilistic networks},
  booktitle    = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
                  Programming Languages, {POPL} 2017, Paris, France, January 18-20,
                  2017},
  pages        = {557--571},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3009837.3009843},
  doi          = {10.1145/3009837.3009843},
  timestamp    = {Mon, 05 Feb 2024 20:33:37 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/SmolkaKFK017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SmolkaKKFK017,
  author       = {Steffen Smolka and
                  David M. Kahn and
                  Praveen Kumar and
                  Nate Foster and
                  Dexter Kozen and
                  Alexandra Silva},
  title        = {Deciding Probabilistic Program Equivalence in NetKAT},
  journal      = {CoRR},
  volume       = {abs/1707.02772},
  year         = {2017},
  url          = {http://arxiv.org/abs/1707.02772},
  eprinttype    = {arXiv},
  eprint       = {1707.02772},
  timestamp    = {Wed, 11 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/SmolkaKKFK017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FosterKMR016,
  author       = {Nate Foster and
                  Dexter Kozen and
                  Konstantinos Mamouras and
                  Mark Reitblatt and
                  Alexandra Silva},
  editor       = {Peter Thiemann},
  title        = {Probabilistic NetKAT},
  booktitle    = {Programming Languages and Systems - 25th European Symposium on Programming,
                  {ESOP} 2016, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
                  April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9632},
  pages        = {282--309},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49498-1\_12},
  doi          = {10.1007/978-3-662-49498-1\_12},
  timestamp    = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/FosterKMR016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kozen16,
  author       = {Dexter Kozen},
  editor       = {Martin Grohe and
                  Eric Koskinen and
                  Natarajan Shankar},
  title        = {Kolmogorov Extension, Martingale Convergence, and Compositionality
                  of Processes},
  booktitle    = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  pages        = {692--699},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2933575.2933610},
  doi          = {10.1145/2933575.2933610},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Kozen16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchroderKMW16,
  author       = {Lutz Schr{\"{o}}der and
                  Dexter Kozen and
                  Stefan Milius and
                  Thorsten Wi{\ss}mann},
  title        = {Nominal Automata with Name Binding},
  journal      = {CoRR},
  volume       = {abs/1603.01455},
  year         = {2016},
  url          = {http://arxiv.org/abs/1603.01455},
  eprinttype    = {arXiv},
  eprint       = {1603.01455},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SchroderKMW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SmolkaKFK016,
  author       = {Steffen Smolka and
                  Praveen Kumar and
                  Nate Foster and
                  Dexter Kozen and
                  Alexandra Silva},
  title        = {Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic
                  Network Programming},
  journal      = {CoRR},
  volume       = {abs/1607.05830},
  year         = {2016},
  url          = {http://arxiv.org/abs/1607.05830},
  eprinttype    = {arXiv},
  eprint       = {1607.05830},
  timestamp    = {Wed, 11 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/SmolkaKFK016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsikK16,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Dexter Kozen},
  title        = {On Free {\(\omega\)}-Continuous and Regular Ordered Algebras},
  journal      = {CoRR},
  volume       = {abs/1612.02106},
  year         = {2016},
  url          = {http://arxiv.org/abs/1612.02106},
  eprinttype    = {arXiv},
  eprint       = {1612.02106},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/EsikK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kozen16,
  author       = {Dexter Kozen},
  title        = {Natural Transformations as Rewrite Rules and Monad Composition},
  journal      = {CoRR},
  volume       = {abs/1612.07273},
  year         = {2016},
  url          = {http://arxiv.org/abs/1612.07273},
  eprinttype    = {arXiv},
  eprint       = {1612.07273},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Kozen16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KozenM015,
  author       = {Dexter Kozen and
                  Konstantinos Mamouras and
                  Alexandra Silva},
  editor       = {Wolfram Kahl and
                  Michael Winter and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Completeness and Incompleteness in Nominal Kleene Algebra},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 15th International
                  Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
                  2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9348},
  pages        = {51--66},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24704-5\_4},
  doi          = {10.1007/978-3-319-24704-5\_4},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/KozenM015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DawarKR15,
  author       = {Anuj Dawar and
                  Dexter Kozen and
                  Simona Ronchi Della Rocca},
  editor       = {Stephan Kreutzer},
  title        = {The Ackermann Award 2015},
  booktitle    = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
                  September 7-10, 2015, Berlin, Germany},
  series       = {LIPIcs},
  volume       = {41},
  pages        = {xv--xviii},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2015.xv},
  doi          = {10.4230/LIPICS.CSL.2015.XV},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/DawarKR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KozenMP015,
  author       = {Dexter Kozen and
                  Konstantinos Mamouras and
                  Daniela Petrisan and
                  Alexandra Silva},
  editor       = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
                  Kazuo Iwama and
                  Naoki Kobayashi and
                  Bettina Speckmann},
  title        = {Nominal Kleene Coalgebra},
  booktitle    = {Automata, Languages, and Programming - 42nd International Colloquium,
                  {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9135},
  pages        = {286--298},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-47666-6\_23},
  doi          = {10.1007/978-3-662-47666-6\_23},
  timestamp    = {Fri, 27 Mar 2020 09:02:59 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/KozenMP015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FosterKM0T15,
  author       = {Nate Foster and
                  Dexter Kozen and
                  Mae Milano and
                  Alexandra Silva and
                  Laure Thompson},
  editor       = {Sriram K. Rajamani and
                  David Walker},
  title        = {A Coalgebraic Decision Procedure for NetKAT},
  booktitle    = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
                  Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
                  15-17, 2015},
  pages        = {343--355},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2676726.2677011},
  doi          = {10.1145/2676726.2677011},
  timestamp    = {Sat, 30 Sep 2023 09:54:52 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/FosterKM0T15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Kozen14,
  author       = {Dexter Kozen},
  editor       = {Jacques Garrigue},
  title        = {NetKAT - {A} Formal System for the Verification of Networks},
  booktitle    = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
                  2014, Singapore, November 17-19, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8858},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12736-1\_1},
  doi          = {10.1007/978-3-319-12736-1\_1},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Kozen14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Kozen14,
  author       = {Dexter Kozen},
  editor       = {Franck van Breugel and
                  Elham Kashefi and
                  Catuscia Palamidessi and
                  Jan Rutten},
  title        = {Optimal Coin Flipping},
  booktitle    = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
                  to Prakash Panangaden on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8464},
  pages        = {407--426},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06880-0\_21},
  doi          = {10.1007/978-3-319-06880-0\_21},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Kozen14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kozen14,
  author       = {Dexter Kozen},
  editor       = {Thomas A. Henzinger and
                  Dale Miller},
  title        = {Citations for the test-of-time award from 1994},
  booktitle    = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
                  Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
                  on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
                  July 14 - 18, 2014},
  pages        = {6:1},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2603088.2616160},
  doi          = {10.1145/2603088.2616160},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/Kozen14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GrathwohlKM14,
  author       = {Niels Bj{\o}rn Bugge Grathwohl and
                  Dexter Kozen and
                  Konstantinos Mamouras},
  editor       = {Thomas A. Henzinger and
                  Dale Miller},
  title        = {{KAT} + B!},
  booktitle    = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
                  Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
                  on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
                  July 14 - 18, 2014},
  pages        = {44:1--44:10},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2603088.2603095},
  doi          = {10.1145/2603088.2603095},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/GrathwohlKM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KozenM14,
  author       = {Dexter Kozen and
                  Konstantinos Mamouras},
  editor       = {Javier Esparza and
                  Pierre Fraigniaud and
                  Thore Husfeldt and
                  Elias Koutsoupias},
  title        = {Kleene Algebra with Equations},
  booktitle    = {Automata, Languages, and Programming - 41st International Colloquium,
                  {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8573},
  pages        = {280--292},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43951-7\_24},
  doi          = {10.1007/978-3-662-43951-7\_24},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/KozenM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AndersonFGJKSW14,
  author       = {Carolyn Jane Anderson and
                  Nate Foster and
                  Arjun Guha and
                  Jean{-}Baptiste Jeannin and
                  Dexter Kozen and
                  Cole Schlesinger and
                  David Walker},
  editor       = {Suresh Jagannathan and
                  Peter Sewell},
  title        = {NetkAT: semantic foundations for networks},
  booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
                  Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
                  2014},
  pages        = {113--126},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2535838.2535862},
  doi          = {10.1145/2535838.2535862},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/AndersonFGJKSW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KozenMP14,
  author       = {Dexter Kozen and
                  Radu Mardare and
                  Prakash Panangaden},
  editor       = {Bart Jacobs and
                  Alexandra Silva and
                  Sam Staton},
  title        = {A Metrized Duality Theorem for Markov Processes},
  booktitle    = {Proceedings of the 30th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15,
                  2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {308},
  pages        = {211--227},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.10.012},
  doi          = {10.1016/J.ENTCS.2014.10.012},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/KozenMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/BarendregtCK13,
  author       = {Henk Barendregt and
                  Venanzio Capretta and
                  Dexter Kozen},
  title        = {Reflection in the Chomsky Hierarchy},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {18},
  number       = {1},
  pages        = {53--60},
  year         = {2013},
  url          = {https://doi.org/10.25596/jalc-2013-053},
  doi          = {10.25596/JALC-2013-053},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/BarendregtCK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tamm/KozenS13,
  author       = {Dexter Kozen and
                  Alexandra Silva},
  title        = {On Moessner's Theorem},
  journal      = {Am. Math. Mon.},
  volume       = {120},
  number       = {2},
  pages        = {131--139},
  year         = {2013},
  url          = {https://doi.org/10.4169/amer.math.monthly.120.02.131},
  doi          = {10.4169/AMER.MATH.MONTHLY.120.02.131},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tamm/KozenS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KozenM13,
  author       = {Dexter Kozen and
                  Konstantinos Mamouras},
  editor       = {Simona Ronchi Della Rocca},
  title        = {Kleene Algebra with Products and Iteration Theories},
  booktitle    = {Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5,
                  2013, Torino, Italy},
  series       = {LIPIcs},
  volume       = {23},
  pages        = {415--431},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2013.415},
  doi          = {10.4230/LIPICS.CSL.2013.415},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/KozenM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JeanninKS13,
  author       = {Jean{-}Baptiste Jeannin and
                  Dexter Kozen and
                  Alexandra Silva},
  editor       = {Matthias Felleisen and
                  Philippa Gardner},
  title        = {Language Constructs for Non-Well-Founded Computation},
  booktitle    = {Programming Languages and Systems - 22nd European Symposium on Programming,
                  {ESOP} 2013, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
                  2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7792},
  pages        = {61--80},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-37036-6\_4},
  doi          = {10.1007/978-3-642-37036-6\_4},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/JeanninKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KozenLMP13,
  author       = {Dexter Kozen and
                  Kim G. Larsen and
                  Radu Mardare and
                  Prakash Panangaden},
  title        = {Stone Duality for Markov Processes},
  booktitle    = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2013, New Orleans, LA, USA, June 25-28, 2013},
  pages        = {321--330},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/LICS.2013.38},
  doi          = {10.1109/LICS.2013.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/KozenLMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KozenMP13,
  author       = {Dexter Kozen and
                  Radu Mardare and
                  Prakash Panangaden},
  editor       = {Krishnendu Chatterjee and
                  Jir{\'{\i}} Sgall},
  title        = {Strong Completeness for Markovian Logics},
  booktitle    = {Mathematical Foundations of Computer Science 2013 - 38th International
                  Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8087},
  pages        = {655--666},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40313-2\_58},
  doi          = {10.1007/978-3-642-40313-2\_58},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/KozenMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GrathwohlHK13,
  author       = {Niels Bj{\o}rn Bugge Grathwohl and
                  Fritz Henglein and
                  Dexter Kozen},
  editor       = {David Baelde and
                  Arnaud Carayol},
  title        = {Infinitary Axiomatization of the Equational Theory of Context-Free
                  Languages},
  booktitle    = {Proceedings Workshop on Fixed Points in Computer Science, {FICS} 2013,
                  Turino, Italy, September 1st, 2013},
  series       = {{EPTCS}},
  volume       = {126},
  pages        = {44--55},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.126.4},
  doi          = {10.4204/EPTCS.126.4},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GrathwohlHK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KozenM13,
  author       = {Dexter Kozen and
                  Michael W. Mislove},
  editor       = {Dexter Kozen and
                  Michael W. Mislove},
  title        = {Preface},
  booktitle    = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June
                  23-25, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {298},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.entcs.2013.09.003},
  doi          = {10.1016/J.ENTCS.2013.09.003},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KozenM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/2013,
  editor       = {Dexter Kozen and
                  Michael W. Mislove},
  title        = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June
                  23-25, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {298},
  publisher    = {Elsevier},
  year         = {2013},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/298/suppl/C},
  timestamp    = {Mon, 13 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfps/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/JeanninK12,
  author       = {Jean{-}Baptiste Jeannin and
                  Dexter Kozen},
  title        = {Computing with Capsules},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {17},
  number       = {2-4},
  pages        = {185--204},
  year         = {2012},
  url          = {https://doi.org/10.25596/jalc-2012-185},
  doi          = {10.25596/JALC-2012-185},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/JeanninK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KozenS12,
  author       = {Dexter Kozen and
                  Alexandra Silva},
  editor       = {Wolfram Kahl and
                  Timothy G. Griffin},
  title        = {Left-Handed Completeness},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 13th International
                  Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7560},
  pages        = {162--178},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33314-9\_11},
  doi          = {10.1007/978-3-642-33314-9\_11},
  timestamp    = {Wed, 15 Dec 2021 11:04:21 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/KozenS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/JeanninK12,
  author       = {Jean{-}Baptiste Jeannin and
                  Dexter Kozen},
  editor       = {Martin Kutrib and
                  Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Computing with Capsules},
  booktitle    = {Descriptional Complexity of Formal Systems - 14th International Workshop,
                  {DCFS} 2012, Braga, Portugal, July 23-25, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7386},
  pages        = {1--19},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31623-4\_1},
  doi          = {10.1007/978-3-642-31623-4\_1},
  timestamp    = {Sun, 25 Oct 2020 22:35:40 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/JeanninK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JeanninK12,
  author       = {Jean{-}Baptiste Jeannin and
                  Dexter Kozen},
  title        = {Capsules and Separation},
  booktitle    = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
                  Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
  pages        = {425--430},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/LICS.2012.52},
  doi          = {10.1109/LICS.2012.52},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/JeanninK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kozen12,
  author       = {Dexter Kozen},
  editor       = {Ulrich Berger and
                  Michael W. Mislove},
  title        = {New},
  booktitle    = {Proceedings of the 28th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {286},
  pages        = {17--42},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.08.003},
  doi          = {10.1016/J.ENTCS.2012.08.003},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Kozen12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kozen11,
  author       = {Dexter Kozen},
  editor       = {Michael W. Mislove and
                  Jo{\"{e}}l Ouaknine},
  title        = {Realization of Coinductive Types},
  booktitle    = {Twenty-seventh Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2011, Pittsburgh, PA, USA, May 25-28, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {276},
  pages        = {237--246},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.09.024},
  doi          = {10.1016/J.ENTCS.2011.09.024},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Kozen11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Kozen10,
  author       = {Dexter Kozen},
  title        = {Church-Rosser Made Easy},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {129--136},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-322},
  doi          = {10.3233/FI-2010-322},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Kozen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Kozen10,
  author       = {Dexter Kozen},
  editor       = {Andreas Blass and
                  Nachum Dershowitz and
                  Wolfgang Reisig},
  title        = {Halting and Equivalence of Program Schemes in Models of Arbitrary
                  Theories},
  booktitle    = {Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich
                  on the Occasion of His 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {6300},
  pages        = {463--469},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15025-8\_22},
  doi          = {10.1007/978-3-642-15025-8\_22},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Kozen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0908-2793,
  author       = {Dexter Kozen and
                  Nicholas Ruozzi},
  title        = {Applications of Metric Coinduction},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {3},
  year         = {2009},
  url          = {http://arxiv.org/abs/0908.2793},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0908-2793.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/KarampatziakisK09,
  author       = {Nikolaos Karampatziakis and
                  Dexter Kozen},
  editor       = {Andrea Pohoreckyj Danyluk and
                  L{\'{e}}on Bottou and
                  Michael L. Littman},
  title        = {Learning prediction suffix trees with Winnow},
  booktitle    = {Proceedings of the 26th Annual International Conference on Machine
                  Learning, {ICML} 2009, Montreal, Quebec, Canada, June 14-18, 2009},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {382},
  pages        = {489--496},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1553374.1553438},
  doi          = {10.1145/1553374.1553438},
  timestamp    = {Tue, 06 Nov 2018 16:58:29 +0100},
  biburl       = {https://dblp.org/rec/conf/icml/KarampatziakisK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Aboul-HosnK08,
  author       = {Kamal Aboul{-}Hosn and
                  Dexter Kozen},
  title        = {Local variable scoping and Kleene algebra with tests},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {76},
  number       = {1},
  pages        = {3--17},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jlap.2007.10.007},
  doi          = {10.1016/J.JLAP.2007.10.007},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Aboul-HosnK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kozen08,
  author       = {Dexter Kozen},
  title        = {Nonlocal Flow of Control and Kleene Algebra with Tests},
  booktitle    = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in
                  Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}},
  pages        = {105--117},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/LICS.2008.32},
  doi          = {10.1109/LICS.2008.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Kozen08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/KozenT08,
  author       = {Dexter Kozen and
                  Wei{-}Lung Dustin Tseng},
  editor       = {Philippe Audebaud and
                  Christine Paulin{-}Mohring},
  title        = {The B{\"{o}}hm-Jacopini Theorem Is False, Propositionally},
  booktitle    = {Mathematics of Program Construction, 9th International Conference,
                  {MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5133},
  pages        = {177--192},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70594-9\_11},
  doi          = {10.1007/978-3-540-70594-9\_11},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/KozenT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Kozen07,
  author       = {Dexter Kozen},
  title        = {Coinductive Proof Principles for Stochastic Processes},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {3},
  number       = {4},
  year         = {2007},
  url          = {https://doi.org/10.2168/LMCS-3(4:8)2007},
  doi          = {10.2168/LMCS-3(4:8)2007},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Kozen07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Kozen07,
  author       = {Dexter Kozen},
  title        = {Preface},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {2},
  pages        = {71},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.10.004},
  doi          = {10.1016/J.SCICO.2006.10.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Kozen07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KozenR07,
  author       = {Dexter Kozen and
                  Nicholas Ruozzi},
  editor       = {Till Mossakowski and
                  Ugo Montanari and
                  Magne Haveraaen},
  title        = {Applications of Metric Coinduction},
  booktitle    = {Algebra and Coalgebra in Computer Science, Second International Conference,
                  {CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4624},
  pages        = {327--341},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73859-6\_22},
  doi          = {10.1007/978-3-540-73859-6\_22},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/KozenR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/SheldonEK07,
  author       = {Daniel Sheldon and
                  M. A. Saleh Elmohamed and
                  Dexter Kozen},
  editor       = {John C. Platt and
                  Daphne Koller and
                  Yoram Singer and
                  Sam T. Roweis},
  title        = {Collective Inference on Markov Models for Modeling Bird Migration},
  booktitle    = {Advances in Neural Information Processing Systems 20, Proceedings
                  of the Twenty-First Annual Conference on Neural Information Processing
                  Systems, Vancouver, British Columbia, Canada, December 3-6, 2007},
  pages        = {1321--1328},
  publisher    = {Curran Associates, Inc.},
  year         = {2007},
  url          = {https://proceedings.neurips.cc/paper/2007/hash/69421f032498c97020180038fddb8e24-Abstract.html},
  timestamp    = {Mon, 16 May 2022 15:41:51 +0200},
  biburl       = {https://dblp.org/rec/conf/nips/SheldonEK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0194,
  author       = {Dexter Kozen},
  title        = {Coinductive Proof Principles for Stochastic Processes},
  journal      = {CoRR},
  volume       = {abs/0711.0194},
  year         = {2007},
  url          = {http://arxiv.org/abs/0711.0194},
  eprinttype    = {arXiv},
  eprint       = {0711.0194},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0711-0194.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txcs/Kozen06,
  author       = {Dexter Kozen},
  title        = {Theory of Computation},
  series       = {Texts in Computer Science},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/1-84628-477-5},
  doi          = {10.1007/1-84628-477-5},
  isbn         = {978-1-84628-297-3},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/txcs/Kozen06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Aboul-HosnK06,
  author       = {Kamal Aboul{-}Hosn and
                  Dexter Kozen},
  title        = {{KAT-ML:} an interactive theorem prover for Kleene algebra with tests},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {16},
  number       = {1-2},
  pages        = {9--34},
  year         = {2006},
  url          = {https://doi.org/10.3166/jancl.16.9-33},
  doi          = {10.3166/JANCL.16.9-33},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Aboul-HosnK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/QueirozK06,
  author       = {Ruy J. G. B. de Queiroz and
                  Dexter Kozen},
  title        = {Logic, Language, Information and Computation},
  journal      = {Theor. Comput. Sci.},
  volume       = {355},
  number       = {2},
  pages        = {105--107},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2006.01.003},
  doi          = {10.1016/J.TCS.2006.01.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/QueirozK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Aboul-HosnK06,
  author       = {Kamal Aboul{-}Hosn and
                  Dexter Kozen},
  editor       = {Renate A. Schmidt},
  title        = {Local Variable Scoping and Kleene Algebra with Tests},
  booktitle    = {Relations and Kleene Algebra in Computer Science, 9th International
                  Conference on Relational Methods in Computer Science and 4th International
                  Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester,
                  UK, August 29-September 2, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4136},
  pages        = {78--90},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11828563\_5},
  doi          = {10.1007/11828563\_5},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Aboul-HosnK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KozenKR06,
  author       = {Dexter Kozen and
                  Christoph Kreitz and
                  Eva Richter},
  editor       = {Ulrich Furbach and
                  Natarajan Shankar},
  title        = {Automating Proofs in Category Theory},
  booktitle    = {Automated Reasoning, Third International Joint Conference, {IJCAR}
                  2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4130},
  pages        = {392--407},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11814771\_34},
  doi          = {10.1007/11814771\_34},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/KozenKR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kozen06,
  author       = {Dexter Kozen},
  title        = {Coinductive Proof Principles for Stochastic Processes},
  booktitle    = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
                  12-15 August 2006, Seattle, WA, USA, Proceedings},
  pages        = {359--366},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/LICS.2006.18},
  doi          = {10.1109/LICS.2006.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Kozen06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kozen06,
  author       = {Dexter Kozen},
  editor       = {Rastislav Kralovic and
                  Pawel Urzyczyn},
  title        = {On the Representation of Kleene Algebras with Tests},
  booktitle    = {Mathematical Foundations of Computer Science 2006, 31st International
                  Symposium, {MFCS} 2006, Star{\'{a}} Lesn{\'{a}}, Slovakia,
                  August 28-September 1, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4162},
  pages        = {73--83},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11821069\_6},
  doi          = {10.1007/11821069\_6},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Kozen06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Aboul-HosnK06,
  author       = {Kamal Aboul{-}Hosn and
                  Dexter Kozen},
  editor       = {Tarmo Uustalu},
  title        = {Relational Semantics for Higher-Order Programs},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {29--48},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_5},
  doi          = {10.1007/11783596\_5},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Aboul-HosnK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BotevCCCDGGGLPRRYACGKMSS05,
  author       = {Chavdar Botev and
                  Hubert Chao and
                  Theodore Chao and
                  Yim Cheng and
                  Raymond Doyle and
                  Sergey Grankin and
                  Jon Guarino and
                  Saikat Guha and
                  Pei{-}Chen Lee and
                  Dan Perry and
                  Christopher R{\'{e}} and
                  Ilya Rifkin and
                  Tingyan Yuan and
                  Dora Abdullah and
                  Kathy Carpenter and
                  David Gries and
                  Dexter Kozen and
                  Andrew C. Myers and
                  David I. Schwartz and
                  Jayavel Shanmugasundaram},
  editor       = {Wanda P. Dann and
                  Thomas L. Naps and
                  Paul T. Tymann and
                  Doug Baldwin},
  title        = {Supporting workflow in a course management system},
  booktitle    = {Proceedings of the 36th {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2005, St. Louis, Missouri, USA, February 23-27,
                  2005},
  pages        = {262--266},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1047344.1047439},
  doi          = {10.1145/1047344.1047439},
  timestamp    = {Fri, 08 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcse/BotevCCCDGGGLPRRYACGKMSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KotK05,
  author       = {Lucja Kot and
                  Dexter Kozen},
  editor       = {Fausto Spoto},
  title        = {Kleene Algebra and Bytecode Verification},
  booktitle    = {Proceedings of the First Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April
                  9, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {141},
  number       = {1},
  pages        = {221--236},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.028},
  doi          = {10.1016/J.ENTCS.2005.02.028},
  timestamp    = {Tue, 13 Dec 2022 11:21:43 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KotK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kozen04,
  author       = {Dexter Kozen},
  title        = {Computational inductive definability},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {126},
  number       = {1-3},
  pages        = {139--148},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.apal.2003.10.013},
  doi          = {10.1016/J.APAL.2003.10.013},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kozen04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Kozen04,
  author       = {Dexter Kozen},
  title        = {Some results in dynamic model theory},
  journal      = {Sci. Comput. Program.},
  volume       = {51},
  number       = {1-2},
  pages        = {3--22},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2003.09.004},
  doi          = {10.1016/J.SCICO.2003.09.004},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Kozen04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2004,
  editor       = {Dexter Kozen and
                  Carron Shankland},
  title        = {Mathematics of Program Construction, 7th International Conference,
                  {MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3125},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b98756},
  doi          = {10.1007/B98756},
  isbn         = {3-540-22380-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KozenT03,
  author       = {Dexter Kozen and
                  Jerzy Tiuryn},
  title        = {Substructural logic and partial correctness},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {3},
  pages        = {355--378},
  year         = {2003},
  url          = {https://doi.org/10.1145/772062.772066},
  doi          = {10.1145/772062.772066},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/KozenT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discex/StillermanK03,
  author       = {Matthew Stillerman and
                  Dexter Kozen},
  title        = {Efficient Code Certification for Open Firmware},
  booktitle    = {3rd {DARPA} Information Survivability Conference and Exposition {(DISCEX-III}
                  2003), 22-24 April 2003, Washington, DC, {USA}},
  pages        = {147--148},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/DISCEX.2003.1194954},
  doi          = {10.1109/DISCEX.2003.1194954},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/discex/StillermanK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GivanMWK02,
  author       = {Robert Givan and
                  David A. McAllester and
                  Carl Witty and
                  Dexter Kozen},
  title        = {Tarskian Set Constraints},
  journal      = {Inf. Comput.},
  volume       = {174},
  number       = {2},
  pages        = {105--131},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2001.2973},
  doi          = {10.1006/INCO.2001.2973},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GivanMWK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Kozen02,
  author       = {Dexter Kozen},
  title        = {On the Complexity of Reasoning in Kleene Algebra},
  journal      = {Inf. Comput.},
  volume       = {179},
  number       = {2},
  pages        = {152--162},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2001.2960},
  doi          = {10.1006/INCO.2001.2960},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Kozen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/AdelsteinSK02,
  author       = {Frank Adelstein and
                  Matthew Stillerman and
                  Dexter Kozen},
  title        = {Malicious Code Detection for Open Firmware},
  booktitle    = {18th Annual Computer Security Applications Conference {(ACSAC} 2002),
                  9-13 December 2002, Las Vegas, NV, {USA}},
  pages        = {403--412},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/CSAC.2002.1176312},
  doi          = {10.1109/CSAC.2002.1176312},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsac/AdelsteinSK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Kozen02,
  author       = {Dexter Kozen},
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {On two letters versus three},
  booktitle    = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
                  20-21 July 2002, Preliminary Proceedings},
  series       = {{BRICS} Notes Series},
  volume       = {{NS-02-2}},
  pages        = {44--50},
  publisher    = {University of Aarhus},
  year         = {2002},
  timestamp    = {Tue, 11 Jan 2005 11:03:16 +0100},
  biburl       = {https://dblp.org/rec/conf/fics/Kozen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KozenS02,
  author       = {Dexter Kozen and
                  Matthew Stillerman},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Eager Class Initialization for Java},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {71--80},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_5},
  doi          = {10.1007/3-540-45739-9\_5},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/KozenS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Kozen02,
  author       = {Dexter Kozen},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Some Results in Dynamic Model Theory},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {21},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_2},
  doi          = {10.1007/3-540-45442-X\_2},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Kozen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/KozenT01,
  author       = {Dexter Kozen and
                  Jerzy Tiuryn},
  title        = {On the completeness of propositional Hoare logic},
  journal      = {Inf. Sci.},
  volume       = {139},
  number       = {3-4},
  pages        = {187--195},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0020-0255(01)00164-5},
  doi          = {10.1016/S0020-0255(01)00164-5},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/KozenT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/HarelKT01,
  author       = {David Harel and
                  Dexter Kozen and
                  Jerzy Tiuryn},
  title        = {Dynamic logic},
  journal      = {{SIGACT} News},
  volume       = {32},
  number       = {1},
  pages        = {66--69},
  year         = {2001},
  url          = {https://doi.org/10.1145/568438.568456},
  doi          = {10.1145/568438.568456},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigact/HarelKT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KozenT01,
  author       = {Dexter Kozen and
                  Jerzy Tiuryn},
  title        = {Intuitionistic Linear Logic and Partial Correctness},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {259--268},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932502},
  doi          = {10.1109/LICS.2001.932502},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/KozenT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Kozen01,
  author       = {Dexter Kozen},
  editor       = {Afonso Ferreira and
                  Horst Reichel},
  title        = {Myhill-Nerode Relations on Automatic Systems and the Completeness
                  of Kleene Algebra},
  booktitle    = {{STACS} 2001, 18th Annual Symposium on Theoretical Aspects of Computer
                  Science, Dresden, Germany, February 15-17, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2010},
  pages        = {27--38},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44693-1\_3},
  doi          = {10.1007/3-540-44693-1\_3},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/Kozen01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Kozen00,
  author       = {Dexter Kozen},
  title        = {On Hoare logic and Kleene algebra with tests},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {1},
  number       = {1},
  pages        = {60--76},
  year         = {2000},
  url          = {https://doi.org/10.1145/343369.343378},
  doi          = {10.1145/343369.343378},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/Kozen00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CohenK00,
  author       = {Ernie Cohen and
                  Dexter Kozen},
  title        = {A note on the complexity of propositional Hoare logic},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {1},
  number       = {1},
  pages        = {171--174},
  year         = {2000},
  url          = {https://doi.org/10.1145/343369.343404},
  doi          = {10.1145/343369.343404},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/CohenK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KozenT00,
  author       = {Dexter Kozen and
                  Jerzy Tiuryn},
  editor       = {Jules Desharnais},
  title        = {On the Completeness of Propositional Hoare Logic},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {195--202},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 12:07:55 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/KozenT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/KozenP00,
  author       = {Dexter Kozen and
                  Maria{-}Christina Patron},
  editor       = {John W. Lloyd and
                  Ver{\'{o}}nica Dahl and
                  Ulrich Furbach and
                  Manfred Kerber and
                  Kung{-}Kiu Lau and
                  Catuscia Palamidessi and
                  Lu{\'{\i}}s Moniz Pereira and
                  Yehoshua Sagiv and
                  Peter J. Stuckey},
  title        = {Certification of Compiler Optimizations Using Kleene Algebra with
                  Tests},
  booktitle    = {Computational Logic - {CL} 2000, First International Conference, London,
                  UK, 24-28 July, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1861},
  pages        = {568--582},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44957-4\_38},
  doi          = {10.1007/3-540-44957-4\_38},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/cl/KozenP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kozen99,
  author       = {Dexter Kozen},
  title        = {On Hoare Logic and Kleene Algebra with Tests},
  booktitle    = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
                  Italy, July 2-5, 1999},
  pages        = {167--172},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/LICS.1999.782610},
  doi          = {10.1109/LICS.1999.782610},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Kozen99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HopkinsK99,
  author       = {Mark W. Hopkins and
                  Dexter Kozen},
  title        = {Parikh's Theorem in Commutative Kleene Algebra},
  booktitle    = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
                  Italy, July 2-5, 1999},
  pages        = {394--401},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/LICS.1999.782634},
  doi          = {10.1109/LICS.1999.782634},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/HopkinsK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kozen99,
  author       = {Dexter Kozen},
  editor       = {Miroslaw Kutylowski and
                  Leszek Pacholski and
                  Tomasz Wierzbicki},
  title        = {Language-Based Security},
  booktitle    = {Mathematical Foundations of Computer Science 1999, 24th International
                  Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1672},
  pages        = {284--298},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48340-3\_26},
  doi          = {10.1007/3-540-48340-3\_26},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Kozen99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Kozen98,
  author       = {Dexter Kozen},
  title        = {Set Constraints and Logic Programming},
  journal      = {Inf. Comput.},
  volume       = {142},
  number       = {1},
  pages        = {2--25},
  year         = {1998},
  url          = {https://doi.org/10.1006/inco.1997.2694},
  doi          = {10.1006/INCO.1997.2694},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Kozen98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/KozenMS98,
  author       = {Dexter Kozen and
                  Yaron Minsky and
                  Brian C. Smith},
  title        = {Efficient Algorithms for Optimal Video Transmission},
  booktitle    = {Data Compression Conference, {DCC} 1998, Snowbird, Utah, USA, March
                  30 - April 1, 1998},
  pages        = {229--238},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/DCC.1998.672151},
  doi          = {10.1109/DCC.1998.672151},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcc/KozenMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0088160,
  author       = {Dexter Kozen},
  title        = {Automata and computability},
  series       = {Undergraduate texts in computer science},
  publisher    = {Springer},
  year         = {1997},
  isbn         = {978-0-387-94907-9},
  timestamp    = {Tue, 26 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0088160.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KozenS97,
  author       = {Dexter Kozen and
                  Kjartan Stef{\'{a}}nsson},
  title        = {Computing the Newtonian Graph},
  journal      = {J. Symb. Comput.},
  volume       = {24},
  number       = {2},
  pages        = {125--136},
  year         = {1997},
  url          = {https://doi.org/10.1006/jsco.1997.0118},
  doi          = {10.1006/JSCO.1997.0118},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/KozenS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Kozen97,
  author       = {Dexter Kozen},
  title        = {Kleene Algebra with Tests},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {19},
  number       = {3},
  pages        = {427--443},
  year         = {1997},
  url          = {https://doi.org/10.1145/256167.256195},
  doi          = {10.1145/256167.256195},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/Kozen97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kozen97,
  author       = {Dexter Kozen},
  title        = {On the Complexity of Reasoning in Kleene Algebra},
  booktitle    = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
                  Warsaw, Poland, June 29 - July 2, 1997},
  pages        = {195--202},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/LICS.1997.614947},
  doi          = {10.1109/LICS.1997.614947},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Kozen97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Kozen96,
  author       = {Dexter Kozen},
  title        = {On Regularity-Preserving Functions},
  journal      = {Bull. {EATCS}},
  volume       = {58},
  year         = {1996},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Kozen96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KozenLZ96,
  author       = {Dexter Kozen and
                  Susan Landau and
                  Richard Zippel},
  title        = {Decomposition of Algebraic Functions},
  journal      = {J. Symb. Comput.},
  volume       = {22},
  number       = {3},
  pages        = {235--246},
  year         = {1996},
  url          = {https://doi.org/10.1006/jsco.1996.0051},
  doi          = {10.1006/JSCO.1996.0051},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/KozenLZ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kozen96,
  author       = {Dexter Kozen},
  title        = {Rational Spaces and Set Constraints},
  journal      = {Theor. Comput. Sci.},
  volume       = {167},
  number       = {1{\&}2},
  pages        = {73--94},
  year         = {1996},
  url          = {https://doi.org/10.1016/0304-3975(96)00070-9},
  doi          = {10.1016/0304-3975(96)00070-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kozen96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KozenS96,
  author       = {Dexter Kozen and
                  Frederick Smith},
  editor       = {Dirk van Dalen and
                  Marc Bezem},
  title        = {Kleene Algebra with Tests: Completeness and Decidability},
  booktitle    = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
                  Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
                  1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1258},
  pages        = {244--259},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-63172-0\_43},
  doi          = {10.1007/3-540-63172-0\_43},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/KozenS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChengK96,
  author       = {Allan Cheng and
                  Dexter Kozen},
  editor       = {Friedhelm Meyer auf der Heide and
                  Burkhard Monien},
  title        = {A Complete Gentzen-Style Axiomatization for Set Constraints},
  booktitle    = {Automata, Languages and Programming, 23rd International Colloquium,
                  ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1099},
  pages        = {134--145},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61440-0\_123},
  doi          = {10.1007/3-540-61440-0\_123},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/ChengK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/McAllesterGWK96,
  author       = {David A. McAllester and
                  Robert Givan and
                  Carl Witty and
                  Dexter Kozen},
  title        = {Tarskian Set Constraints},
  booktitle    = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
                  New Brunswick, New Jersey, USA, July 27-30, 1996},
  pages        = {138--147},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/LICS.1996.561313},
  doi          = {10.1109/LICS.1996.561313},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/McAllesterGWK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Kozen96,
  author       = {Dexter Kozen},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Kleene Algebra with Tests and Commutativity Conditions},
  booktitle    = {Tools and Algorithms for Construction and Analysis of Systems, Second
                  International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
                  1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1055},
  pages        = {14--33},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61042-1\_35},
  doi          = {10.1007/3-540-61042-1\_35},
  timestamp    = {Tue, 11 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/Kozen96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/KlarlundK95,
  author       = {Nils Klarlund and
                  Dexter Kozen},
  title        = {Rabin Measures},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {1995},
  year         = {1995},
  url          = {http://cjtcs.cs.uchicago.edu/articles/1995/3/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/KlarlundK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AikenKW95,
  author       = {Alexander Aiken and
                  Dexter Kozen and
                  Edward L. Wimmers},
  title        = {Decidability of Systems of Set Constraints with Negative Constraints},
  journal      = {Inf. Comput.},
  volume       = {122},
  number       = {1},
  pages        = {30--44},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1139},
  doi          = {10.1006/INCO.1995.1139},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AikenKW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KozenPS95,
  author       = {Dexter Kozen and
                  Jens Palsberg and
                  Michael I. Schwartzbach},
  title        = {Efficient Recursive Subtyping},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {5},
  number       = {1},
  pages        = {113--125},
  year         = {1995},
  url          = {https://doi.org/10.1017/S0960129500000657},
  doi          = {10.1017/S0960129500000657},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/KozenPS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Kozen95,
  author       = {Dexter Kozen},
  editor       = {Peter D. Mosses and
                  Mogens Nielsen and
                  Michael I. Schwartzbach},
  title        = {Rational Spaces and Set Constraints},
  booktitle    = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
                  Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {915},
  pages        = {42--61},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59293-8\_186},
  doi          = {10.1007/3-540-59293-8\_186},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/Kozen95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Kozen94,
  author       = {Dexter Kozen},
  title        = {A Completeness Theorem for Kleene Algebras and the Algebra of Regular
                  Events},
  journal      = {Inf. Comput.},
  volume       = {110},
  number       = {2},
  pages        = {366--390},
  year         = {1994},
  url          = {https://doi.org/10.1006/inco.1994.1037},
  doi          = {10.1006/INCO.1994.1037},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Kozen94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KozenPS94,
  author       = {Dexter Kozen and
                  Jens Palsberg and
                  Michael I. Schwartzbach},
  title        = {Efficient Inference of Partial Types},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {49},
  number       = {2},
  pages        = {306--324},
  year         = {1994},
  url          = {https://doi.org/10.1016/S0022-0000(05)80051-0},
  doi          = {10.1016/S0022-0000(05)80051-0},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/KozenPS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KozenZ94,
  author       = {Dexter Kozen and
                  Shmuel Zaks},
  title        = {Optimal Bounds for the Change-Making Problem},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {377--388},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90134-1},
  doi          = {10.1016/0304-3975(94)90134-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KozenZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ants/KozenLZ94,
  author       = {Dexter Kozen and
                  Susan Landau and
                  Richard Zippel},
  editor       = {Leonard M. Adleman and
                  Ming{-}Deh A. Huang},
  title        = {Decomposition of algebraic functions},
  booktitle    = {Algorithmic Number Theory, First International Symposium, ANTS-I,
                  Ithaca, NY, USA, May 6-9, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {877},
  pages        = {80--92},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58691-1\_46},
  doi          = {10.1007/3-540-58691-1\_46},
  timestamp    = {Fri, 17 Jul 2020 16:12:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ants/KozenLZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccl/Kozen94,
  author       = {Dexter Kozen},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Set Constraints and Logic Programming},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {302--303},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016861},
  doi          = {10.1007/BFB0016861},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Kozen94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CaiFKL94,
  author       = {Jin{-}yi Cai and
                  Wolfgang H. J. Fuchs and
                  Dexter Kozen and
                  Zicheng Liu},
  title        = {Efficient Average-Case Algorithms for the Modular Group},
  booktitle    = {35th Annual Symposium on Foundations of Computer Science, Santa Fe,
                  New Mexico, USA, 20-22 November 1994},
  pages        = {143--152},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/SFCS.1994.365698},
  doi          = {10.1109/SFCS.1994.365698},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/CaiFKL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Kozen94,
  author       = {Dexter Kozen},
  editor       = {P. S. Thiagarajan},
  title        = {Efficient Resolution of Singularities of Plane Curves},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  14th Conference, Madras, India, December 15-17, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {880},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58715-2\_109},
  doi          = {10.1007/3-540-58715-2\_109},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Kozen94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR94-016,
  author       = {Jin{-}yi Cai and
                  Wolfgang H. J. Fuchs and
                  Dexter Kozen and
                  Zicheng Liu},
  title        = {Efficient Average-Case Algorithms for the Modular Group},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR94-016}},
  year         = {1994},
  url          = {https://eccc.weizmann.ac.il/eccc-reports/1994/TR94-016/index.html},
  eprinttype    = {ECCC},
  eprint       = {TR94-016},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/ECCC-TR94-016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AikenKVW93,
  author       = {Alexander Aiken and
                  Dexter Kozen and
                  Moshe Y. Vardi and
                  Edward L. Wimmers},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {The Complexity of Set Constraints},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049320},
  doi          = {10.1007/BFB0049320},
  timestamp    = {Fri, 17 Jul 2020 16:12:45 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/AikenKVW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kozen93,
  author       = {Dexter Kozen},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Logical Aspects of Set Constraints},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {175--188},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049332},
  doi          = {10.1007/BFB0049332},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Kozen93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KozenZ93,
  author       = {Dexter Kozen and
                  Shmuel Zaks},
  editor       = {Andrzej Lingas and
                  Rolf G. Karlsson and
                  Svante Carlsson},
  title        = {Optimal Bounds for the Change-Making Problem},
  booktitle    = {Automata, Languages and Programming, 20nd International Colloquium,
                  ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {700},
  pages        = {150--161},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56939-1\_69},
  doi          = {10.1007/3-540-56939-1\_69},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/KozenZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KozenPS93,
  author       = {Dexter Kozen and
                  Jens Palsberg and
                  Michael I. Schwartzbach},
  editor       = {Mary S. Van Deusen and
                  Bernard Lang},
  title        = {Efficient Recursive Subtyping},
  booktitle    = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, Charleston, South Carolina,
                  USA, January 1993},
  pages        = {419--428},
  publisher    = {{ACM} Press},
  year         = {1993},
  url          = {https://doi.org/10.1145/158511.158700},
  doi          = {10.1145/158511.158700},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/KozenPS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0071219,
  author       = {Dexter Campbell Kozen},
  title        = {Design and Analysis of Algorithms},
  series       = {Texts and Monographs in Computer Science},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4612-4400-4},
  doi          = {10.1007/978-1-4612-4400-4},
  isbn         = {978-3-540-97687-5},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0071219.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Kozen92,
  author       = {Dexter Kozen},
  title        = {On the Myhill-Nerode theorem theorem for trees},
  journal      = {Bull. {EATCS}},
  volume       = {47},
  pages        = {170--173},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Kozen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/KozenPS92,
  author       = {Dexter Kozen and
                  Jens Palsberg and
                  Michael I. Schwartzbach},
  title        = {Efficient Inference of Partial Types},
  booktitle    = {33rd Annual Symposium on Foundations of Computer Science, Pittsburgh,
                  Pennsylvania, USA, 24-27 October 1992},
  pages        = {363--371},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SFCS.1992.267754},
  doi          = {10.1109/SFCS.1992.267754},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/KozenPS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kozen91,
  author       = {Dexter Kozen},
  title        = {A Completeness Theorem for Kleene Algebras and the Algebra of Regular
                  Events},
  booktitle    = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science
                  {(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
  pages        = {214--225},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/LICS.1991.151646},
  doi          = {10.1109/LICS.1991.151646},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Kozen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KlarlundK91,
  author       = {Nils Klarlund and
                  Dexter Kozen},
  title        = {Rabin Measures and Their Applications to Fairness and Automata Theory},
  booktitle    = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science
                  {(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
  pages        = {256--265},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/LICS.1991.151650},
  doi          = {10.1109/LICS.1991.151650},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/KlarlundK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kozen90,
  author       = {Dexter Kozen},
  editor       = {Branislav Rovan},
  title        = {On Kleene Algebras and Closed Semirings},
  booktitle    = {Mathematical Foundations of Computer Science 1990, MFCS'90, Bansk{\'{a}}
                  Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {452},
  pages        = {26--47},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0029594},
  doi          = {10.1007/BFB0029594},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Kozen90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/leeuwen90/KozenT90,
  author       = {Dexter Kozen and
                  Jerzy Tiuryn},
  editor       = {Jan van Leeuwen},
  title        = {Logics of Programs},
  booktitle    = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models
                  and Semantics},
  pages        = {789--840},
  publisher    = {Elsevier and {MIT} Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-444-88074-1.50019-6},
  doi          = {10.1016/B978-0-444-88074-1.50019-6},
  timestamp    = {Tue, 06 Aug 2019 09:45:21 +0200},
  biburl       = {https://dblp.org/rec/books/el/leeuwen90/KozenT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ImmermanK89,
  author       = {Neil Immerman and
                  Dexter Kozen},
  title        = {Definability with Bounded Number of Bound Variables},
  journal      = {Inf. Comput.},
  volume       = {83},
  number       = {2},
  pages        = {121--139},
  year         = {1989},
  url          = {https://doi.org/10.1016/0890-5401(89)90055-2},
  doi          = {10.1016/0890-5401(89)90055-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ImmermanK89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KozenL89,
  author       = {Dexter Kozen and
                  Susan Landau},
  title        = {Polynomial Decomposition Algorithms},
  journal      = {J. Symb. Comput.},
  volume       = {7},
  number       = {5},
  pages        = {445--456},
  year         = {1989},
  url          = {https://doi.org/10.1016/S0747-7171(89)80027-6},
  doi          = {10.1016/S0747-7171(89)80027-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/KozenL89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kozen88,
  author       = {Dexter Kozen},
  title        = {A finite model theorem for the propositional {\(\mu\)}-calculus},
  journal      = {Stud Logica},
  volume       = {47},
  number       = {3},
  pages        = {233--241},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00370554},
  doi          = {10.1007/BF00370554},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Kozen88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Ben-OrFKT88,
  author       = {Michael Ben{-}Or and
                  Ephraim Feig and
                  Dexter Kozen and
                  Prasoon Tiwari},
  title        = {A Fast Parallel Algorithm for Determining all Roots of a Polynomial
                  with Real Roots},
  journal      = {{SIAM} J. Comput.},
  volume       = {17},
  number       = {6},
  pages        = {1081--1092},
  year         = {1988},
  url          = {https://doi.org/10.1137/0217069},
  doi          = {10.1137/0217069},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamcomp/Ben-OrFKT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GathenKL87,
  author       = {Joachim von zur Gathen and
                  Dexter Kozen and
                  Susan Landau},
  title        = {Functional Decomposition of Polynomials},
  booktitle    = {28th Annual Symposium on Foundations of Computer Science, Los Angeles,
                  California, USA, 27-29 October 1987},
  pages        = {127--131},
  publisher    = {{IEEE} Computer Society},
  year         = {1987},
  url          = {https://doi.org/10.1109/SFCS.1987.29},
  doi          = {10.1109/SFCS.1987.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/GathenKL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ImmermanK87,
  author       = {Neil Immerman and
                  Dexter Kozen},
  title        = {Definability with Bounded Number of Bound Variables},
  booktitle    = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
                  '87), Ithaca, New York, USA, June 22-25, 1987},
  pages        = {236--244},
  publisher    = {{IEEE} Computer Society},
  year         = {1987},
  timestamp    = {Thu, 22 Jan 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/ImmermanK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AptK86,
  author       = {Krzysztof R. Apt and
                  Dexter Kozen},
  title        = {Limits for Automatic Verification of Finite-State Concurrent Systems},
  journal      = {Inf. Process. Lett.},
  volume       = {22},
  number       = {6},
  pages        = {307--309},
  year         = {1986},
  url          = {https://doi.org/10.1016/0020-0190(86)90071-2},
  doi          = {10.1016/0020-0190(86)90071-2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/AptK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Ben-OrKR86,
  author       = {Michael Ben{-}Or and
                  Dexter Kozen and
                  John H. Reif},
  title        = {The Complexity of Elementary Algebra and Geometry},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {2},
  pages        = {251--264},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90029-2},
  doi          = {10.1016/0022-0000(86)90029-2},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Ben-OrKR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Kozen86,
  author       = {Dexter Kozen},
  title        = {Fast parallel orthogonalization},
  journal      = {{SIGACT} News},
  volume       = {18},
  number       = {2},
  pages        = {47},
  year         = {1986},
  url          = {https://doi.org/10.1145/24652.24653},
  doi          = {10.1145/24652.24653},
  timestamp    = {Wed, 28 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigact/Kozen86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Ben-OrFKT86,
  author       = {Michael Ben{-}Or and
                  Ephraim Feig and
                  Dexter Kozen and
                  Prasoon Tiwari},
  editor       = {Juris Hartmanis},
  title        = {A Fast Parallel Algorithm for Determining All Roots of a Polynomial
                  with Real Roots},
  booktitle    = {Proceedings of the 18th Annual {ACM} Symposium on Theory of Computing,
                  May 28-30, 1986, Berkeley, California, {USA}},
  pages        = {340--349},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/12130.12165},
  doi          = {10.1145/12130.12165},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/Ben-OrFKT86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BlassGK85,
  author       = {Andreas Blass and
                  Yuri Gurevich and
                  Dexter Kozen},
  title        = {A Zero-One Law for Logic with a Fixed-Point Operator},
  journal      = {Inf. Control.},
  volume       = {67},
  number       = {1-3},
  pages        = {70--90},
  year         = {1985},
  url          = {https://doi.org/10.1016/S0019-9958(85)80027-9},
  doi          = {10.1016/S0019-9958(85)80027-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BlassGK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Kozen85,
  author       = {Dexter Kozen},
  title        = {A Probabilistic {PDL}},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {30},
  number       = {2},
  pages        = {162--178},
  year         = {1985},
  url          = {https://doi.org/10.1016/0022-0000(85)90012-1},
  doi          = {10.1016/0022-0000(85)90012-1},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Kozen85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/KozenY85,
  author       = {Dexter Kozen and
                  Chee{-}Keng Yap},
  title        = {Algebraic Cell Decomposition in {NC} (Preliminary Version)},
  booktitle    = {26th Annual Symposium on Foundations of Computer Science, Portland,
                  Oregon, USA, 21-23 October 1985},
  pages        = {515--521},
  publisher    = {{IEEE} Computer Society},
  year         = {1985},
  url          = {https://doi.org/10.1109/SFCS.1985.4},
  doi          = {10.1109/SFCS.1985.4},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/KozenY85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KozenVV85,
  author       = {Dexter Kozen and
                  Umesh V. Vazirani and
                  Vijay V. Vazirani},
  editor       = {S. N. Maheshwari},
  title        = {{NC} Algorithms for Comparability Graphs, Interval Gaphs, and Testing
                  for Unique Perfect Matching},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {206},
  pages        = {496--503},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16042-6\_28},
  doi          = {10.1007/3-540-16042-6\_28},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/KozenVV85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HarelK84,
  author       = {David Harel and
                  Dexter Kozen},
  title        = {A Programming Language for the Inductive Sets, and Applications},
  journal      = {Inf. Control.},
  volume       = {63},
  number       = {1/2},
  pages        = {118--139},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80045-5},
  doi          = {10.1016/S0019-9958(84)80045-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/HarelK84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FrancezK84,
  author       = {Nissim Francez and
                  Dexter Kozen},
  editor       = {Ken Kennedy and
                  Mary S. Van Deusen and
                  Larry Landweber},
  title        = {Generalized Fair Termination},
  booktitle    = {Conference Record of the Eleventh Annual {ACM} Symposium on Principles
                  of Programming Languages, Salt Lake City, Utah, USA, January 1984},
  pages        = {46--53},
  publisher    = {{ACM} Press},
  year         = {1984},
  url          = {https://doi.org/10.1145/800017.800515},
  doi          = {10.1145/800017.800515},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/FrancezK84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Kozen84,
  author       = {Dexter Kozen},
  editor       = {Richard A. DeMillo},
  title        = {Pebblings, Edgings, and Equational Logic},
  booktitle    = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
                  April 30 - May 2, 1984, Washington, DC, {USA}},
  pages        = {428--435},
  publisher    = {{ACM}},
  year         = {1984},
  url          = {https://doi.org/10.1145/800057.808709},
  doi          = {10.1145/800057.808709},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/Kozen84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Ben-OrKR84,
  author       = {Michael Ben{-}Or and
                  Dexter Kozen and
                  John H. Reif},
  editor       = {Richard A. DeMillo},
  title        = {The Complexity of Elementary Algebra and Geometry (Preliminary Abstract)},
  booktitle    = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
                  April 30 - May 2, 1984, Washington, DC, {USA}},
  pages        = {457--464},
  publisher    = {{ACM}},
  year         = {1984},
  url          = {https://doi.org/10.1145/800057.808712},
  doi          = {10.1145/800057.808712},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stoc/Ben-OrKR84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lop/1983,
  editor       = {Edmund M. Clarke and
                  Dexter Kozen},
  title        = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
                  PA, USA, June 6-8, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {164},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-12896-4},
  doi          = {10.1007/3-540-12896-4},
  isbn         = {3-540-12896-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/1983.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kozen83,
  author       = {Dexter Kozen},
  title        = {Results on the Propositional mu-Calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {27},
  pages        = {333--354},
  year         = {1983},
  url          = {https://doi.org/10.1016/0304-3975(82)90125-6},
  doi          = {10.1016/0304-3975(82)90125-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kozen83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/KozenP83,
  author       = {Dexter Kozen and
                  Rohit Parikh},
  editor       = {Edmund M. Clarke and
                  Dexter Kozen},
  title        = {A Decision Procedure for the Propositional {\(\mathrm{\mu}\)}-Calculus},
  booktitle    = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
                  PA, USA, June 6-8, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {164},
  pages        = {313--325},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12896-4\_370},
  doi          = {10.1007/3-540-12896-4\_370},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/KozenP83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Kozen83,
  author       = {Dexter Kozen},
  editor       = {David S. Johnson and
                  Ronald Fagin and
                  Michael L. Fredman and
                  David Harel and
                  Richard M. Karp and
                  Nancy A. Lynch and
                  Christos H. Papadimitriou and
                  Ronald L. Rivest and
                  Walter L. Ruzzo and
                  Joel I. Seiferas},
  title        = {A Probabilistic {PDL}},
  booktitle    = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
                  25-27 April, 1983, Boston, Massachusetts, {USA}},
  pages        = {291--297},
  publisher    = {{ACM}},
  year         = {1983},
  url          = {https://doi.org/10.1145/800061.808758},
  doi          = {10.1145/800061.808758},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/Kozen83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HarelKP82,
  author       = {David Harel and
                  Dexter Kozen and
                  Rohit Parikh},
  title        = {Process Logic: Expressiveness, Decidability, Completeness},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {25},
  number       = {2},
  pages        = {144--170},
  year         = {1982},
  url          = {https://doi.org/10.1016/0022-0000(82)90003-4},
  doi          = {10.1016/0022-0000(82)90003-4},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/HarelKP82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HarelK82,
  author       = {David Harel and
                  Dexter Kozen},
  editor       = {Mogens Nielsen and
                  Erik Meineche Schmidt},
  title        = {A Programming Language for the Inductive Sets, and Applications},
  booktitle    = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
                  July 12-16, 1982, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {140},
  pages        = {313--329},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/BFb0012779},
  doi          = {10.1007/BFB0012779},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/HarelK82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Kozen82,
  author       = {Dexter Kozen},
  editor       = {Mogens Nielsen and
                  Erik Meineche Schmidt},
  title        = {Results on the Propositional {\(\mathrm{\mu}\)}-Calculus},
  booktitle    = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
                  July 12-16, 1982, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {140},
  pages        = {348--359},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/BFb0012782},
  doi          = {10.1007/BFB0012782},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Kozen82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lop/1981,
  editor       = {Dexter Kozen},
  title        = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
                  1981},
  series       = {Lecture Notes in Computer Science},
  volume       = {131},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/BFb0025769},
  doi          = {10.1007/BFB0025769},
  isbn         = {3-540-11212-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/1981.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/Kozen81,
  author       = {Dexter Kozen},
  title        = {Communication: Positive First-Order Logic is NP-Complete},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {25},
  number       = {4},
  pages        = {327--332},
  year         = {1981},
  url          = {https://doi.org/10.1147/rd.254.0327},
  doi          = {10.1147/RD.254.0327},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/Kozen81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/ChandraKS81,
  author       = {Ashok K. Chandra and
                  Dexter Kozen and
                  Larry J. Stockmeyer},
  title        = {Alternation},
  journal      = {J. {ACM}},
  volume       = {28},
  number       = {1},
  pages        = {114--133},
  year         = {1981},
  url          = {https://doi.org/10.1145/322234.322243},
  doi          = {10.1145/322234.322243},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/ChandraKS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Kozen81,
  author       = {Dexter Kozen},
  title        = {Semantics of Probabilistic Programs},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {22},
  number       = {3},
  pages        = {328--350},
  year         = {1981},
  url          = {https://doi.org/10.1016/0022-0000(81)90036-2},
  doi          = {10.1016/0022-0000(81)90036-2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/Kozen81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KozenP81,
  author       = {Dexter Kozen and
                  Rohit Parikh},
  title        = {An Elementary Proof of the Completness of {PDL}},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {113--118},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90019-0},
  doi          = {10.1016/0304-3975(81)90019-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KozenP81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Kozen81,
  author       = {Dexter Kozen},
  editor       = {Dexter Kozen},
  title        = {On Induction vs. *-Continuity},
  booktitle    = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
                  1981},
  series       = {Lecture Notes in Computer Science},
  volume       = {131},
  pages        = {167--176},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/BFb0025782},
  doi          = {10.1007/BFB0025782},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/Kozen81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kozen80,
  author       = {Dexter Kozen},
  title        = {Complexity of Boolean Algebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {10},
  pages        = {221--247},
  year         = {1980},
  url          = {https://doi.org/10.1016/0304-3975(80)90048-1},
  doi          = {10.1016/0304-3975(80)90048-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kozen80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kozen80a,
  author       = {Dexter Kozen},
  title        = {Indexings of Subrecursive Classes},
  journal      = {Theor. Comput. Sci.},
  volume       = {11},
  pages        = {277--301},
  year         = {1980},
  url          = {https://doi.org/10.1016/0304-3975(80)90017-1},
  doi          = {10.1016/0304-3975(80)90017-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kozen80a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/HarelKP80,
  author       = {David Harel and
                  Dexter Kozen and
                  Rohit Parikh},
  title        = {Process Logic: Expressiveness, Decidability, Completeness},
  booktitle    = {21st Annual Symposium on Foundations of Computer Science, Syracuse,
                  New York, USA, 13-15 October 1980},
  pages        = {129--142},
  publisher    = {{IEEE} Computer Society},
  year         = {1980},
  url          = {https://doi.org/10.1109/SFCS.1980.35},
  doi          = {10.1109/SFCS.1980.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/HarelKP80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Kozen80,
  author       = {Dexter Kozen},
  editor       = {J. W. de Bakker and
                  Jan van Leeuwen},
  title        = {A Representation Theorem for Models of *-Free {PDL}},
  booktitle    = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
                  The Netherlands, July 14-18, 1980, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {85},
  pages        = {351--362},
  publisher    = {Springer},
  year         = {1980},
  url          = {https://doi.org/10.1007/3-540-10003-2\_83},
  doi          = {10.1007/3-540-10003-2\_83},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Kozen80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Kozen79,
  author       = {Dexter Kozen},
  editor       = {Lothar Budach},
  title        = {Automata and planar graphs},
  booktitle    = {Fundamentals of Computation Theory, {FCT} 1979, Proceedings of the
                  Conference on Algebraic, Arthmetic, and Categorial Methods in Computation
                  Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979},
  pages        = {243--254},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 11:58:23 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Kozen79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Kozen79,
  author       = {Dexter Kozen},
  title        = {Semantics of Probabilistic Programs},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {101--114},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.38},
  doi          = {10.1109/SFCS.1979.38},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Kozen79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Kozen79,
  author       = {Dexter Kozen},
  editor       = {Erwin Engeler},
  title        = {On the Duality of Dynamic Algebras and Kripke Models},
  booktitle    = {Logics of Programs, Workshop, {ETH} Z{\"{u}}rich, May-July 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {125},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11160-3\_1},
  doi          = {10.1007/3-540-11160-3\_1},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/Kozen79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Kozen78,
  author       = {Dexter Kozen},
  title        = {A clique problem equivalent to graph isomorphism},
  journal      = {{SIGACT} News},
  volume       = {10},
  number       = {2},
  pages        = {50--52},
  year         = {1978},
  url          = {https://doi.org/10.1145/990524.990529},
  doi          = {10.1145/990524.990529},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigact/Kozen78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BlumK78,
  author       = {Manuel Blum and
                  Dexter Kozen},
  title        = {On the Power of the Compass (or, Why Mazes Are Easier to Search than
                  Graphs)},
  booktitle    = {19th Annual Symposium on Foundations of Computer Science, Ann Arbor,
                  Michigan, USA, 16-18 October 1978},
  pages        = {132--142},
  publisher    = {{IEEE} Computer Society},
  year         = {1978},
  url          = {https://doi.org/10.1109/SFCS.1978.30},
  doi          = {10.1109/SFCS.1978.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/BlumK78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Kozen78,
  author       = {Dexter Kozen},
  editor       = {Richard J. Lipton and
                  Walter A. Burkhard and
                  Walter J. Savitch and
                  Emily P. Friedman and
                  Alfred V. Aho},
  title        = {Indexing of Subrecursive Classes},
  booktitle    = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
                  May 1-3, 1978, San Diego, California, {USA}},
  pages        = {287--295},
  publisher    = {{ACM}},
  year         = {1978},
  url          = {https://doi.org/10.1145/800133.804358},
  doi          = {10.1145/800133.804358},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/Kozen78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Kozen77,
  author       = {Dexter Kozen},
  title        = {Lower Bounds for Natural Proof Systems},
  booktitle    = {18th Annual Symposium on Foundations of Computer Science, Providence,
                  Rhode Island, USA, 31 October - 1 November 1977},
  pages        = {254--266},
  publisher    = {{IEEE} Computer Society},
  year         = {1977},
  url          = {https://doi.org/10.1109/SFCS.1977.16},
  doi          = {10.1109/SFCS.1977.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Kozen77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Kozen77,
  author       = {Dexter Kozen},
  editor       = {John E. Hopcroft and
                  Emily P. Friedman and
                  Michael A. Harrison},
  title        = {Complexity of Finitely Presented Algebras},
  booktitle    = {Proceedings of the 9th Annual {ACM} Symposium on Theory of Computing,
                  May 4-6, 1977, Boulder, Colorado, {USA}},
  pages        = {164--177},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800105.803406},
  doi          = {10.1145/800105.803406},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/Kozen77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Kozen76,
  author       = {Dexter Kozen},
  title        = {On Parallelism in Turing Machines},
  booktitle    = {17th Annual Symposium on Foundations of Computer Science, Houston,
                  Texas, USA, 25-27 October 1976},
  pages        = {89--97},
  publisher    = {{IEEE} Computer Society},
  year         = {1976},
  url          = {https://doi.org/10.1109/SFCS.1976.20},
  doi          = {10.1109/SFCS.1976.20},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Kozen76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics