Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Dexter Kozen
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.