Dexter Kozen

ORCID

Publication Activity (10 Years)

Years Active: 1976-2024
Publications (10 Years): 54

Top Venues

CoRR

LICS

J. Log. Algebraic Methods Program.

POPL

Publications

Dexter Kozen, Alexandra Silva
Multisets and Distributions. Logics and Type Systems in Theory and Practice (2024)
Jan Rooduijn, Dexter Kozen, Alexandra Silva
A cyclic proof system for Guarded Kleene Algebra with Tests (full version). CoRR (2024)
Jan Rooduijn, Dexter Kozen, Alexandra Silva
A Cyclic Proof System for Guarded Kleene Algebra with Tests. IJCAR (2) (2024)
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Formal Abstractions for Packet Scheduling. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. ICALP (2023)
Keri D'Angelo, Dexter Kozen
Abstract Huffman Coding and PIFO Tree Embeddings. CoRR (2023)
Keri D'Angelo, Dexter Kozen
Abstract Huffman Coding and PIFO Tree Embeddings. DCC (2023)
Dexter Kozen, Alexandra Silva, Erik Voogd
Joint Distributions in Probabilistic Semantics. CoRR (2023)
Dexter Kozen, Alexandra Silva
Multisets and Distributions. CoRR (2023)
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. CoRR (2023)
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Formal Abstractions for Packet Scheduling. CoRR (2022)
Dexter Kozen
Reminiscences of Juris. SIGACT News 53 (4) (2022)
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks. CoRR (2022)
Dexter Kozen, Matvey Soloviev
Coalgebraic tools for randomness-conserving protocols. J. Log. Algebraic Methods Program. 125 (2022)
Mark Bickford, Dexter Kozen, Alexandra Silva
Formalizing Moessner's theorem and generalizations in Nuprl. J. Log. Algebraic Methods Program. 124 (2022)
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. ESOP (2022)
Dexter Kozen
2022 Alonzo Church Award Announcement. ACM SIGLOG News 9 (4) (2022)
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. CoRR (2021)
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. ICALP (2021)
Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts
Universal Semantics for the Stochastic λ-Calculus. LICS (2021)
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Proc. ACM Program. Lang. 4 (POPL) (2020)
Fredrik Dahlqvist, Dexter Kozen
Semantics of higher-order probabilistic programs with conditioning. Proc. ACM Program. Lang. 4 (POPL) (2020)
Dexter Kozen, Alexandra Silva
Left-handed completeness. Theor. Comput. Sci. 807 (2020)
Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts
Universal Semantics for the Stochastic Lambda-Calculus. CoRR (2020)
Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva
Minimisation in Logical Form. CoRR (2020)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable Verification of Probabilistic Networks. CoRR (2019)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable verification of probabilistic networks. PLDI (2019)
Dexter Kozen
Natural Transformations as Rewrite Rules and Monad Composition. Log. Methods Comput. Sci. 15 (1) (2019)
Fredrik Dahlqvist, Dexter Kozen
Semantics of higher-order probabilistic programs with conditioning. CoRR (2019)
Zoltán Ésik, Dexter Kozen
On Free ω-Continuous and Regular Ordered Algebras. Log. Methods Comput. Sci. 15 (4) (2019)
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time. CoRR (2019)
Dexter Kozen, Thomas Schwentick
The Ackermann Award 2018. CSL (2018)
Dexter Kozen, Matvey Soloviev
Coalgebraic Tools for Randomness-Conserving Protocols. RAMiCS (2018)
Dexter Kozen, Matvey Soloviev
Coalgebraic Tools for Randomness-Conserving Protocols. CoRR (2018)
Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott
Boolean-Valued Semantics for the Stochastic λ-Calculus. LICS (2018)
Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
Unrestricted stone duality for Markov processes. LICS (2017)
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Cantor meets scott: semantic foundations for probabilistic networks. POPL (2017)
Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Deciding Probabilistic Program Equivalence in NetKAT. CoRR (2017)
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva
Well-founded coalgebras, revisited. Math. Struct. Comput. Sci. 27 (7) (2017)
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva
CoCaml: Functional Programming with Regular Coinductive Types. Fundam. Informaticae 150 (3-4) (2017)
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. Fundam. Informaticae 150 (3-4) (2017)
Dexter Kozen, Alexandra Silva
Practical coinduction. Math. Struct. Comput. Sci. 27 (7) (2017)
Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann
Nominal Automata with Name Binding. FoSSaCS (2017)
Dexter Kozen, Konstantinos Mamouras, Alexandra Silva
Completeness and incompleteness in nominal Kleene algebra. J. Log. Algebraic Methods Program. 91 (2017)
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming. CoRR (2016)
Dexter Kozen
Natural Transformations as Rewrite Rules and Monad Composition. CoRR (2016)
Zoltán Ésik, Dexter Kozen
On Free ω-Continuous and Regular Ordered Algebras. CoRR (2016)
Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva
Probabilistic NetKAT. ESOP (2016)
Dexter Kozen
Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes. LICS (2016)
Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann
Nominal Automata with Name Binding. CoRR (2016)
Dexter Kozen, Konstantinos Mamouras, Alexandra Silva
Completeness and Incompleteness in Nominal Kleene Algebra. RAMiCS (2015)
Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva
Nominal Kleene Coalgebra. ICALP (2) (2015)
Nate Foster, Dexter Kozen, Matthew Milano, Alexandra Silva, Laure Thompson
A Coalgebraic Decision Procedure for NetKAT. POPL (2015)
Anuj Dawar, Dexter Kozen, Simona Ronchi Della Rocca
The Ackermann Award 2015. CSL (2015)
Dexter Kozen, Konstantinos Mamouras
Kleene Algebra with Equations. ICALP (2) (2014)
Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker
NetkAT: semantic foundations for networks. POPL (2014)
Dexter Kozen, Radu Mardare, Prakash Panangaden
A Metrized Duality Theorem for Markov Processes. MFPS (2014)
Dexter Kozen
Optimal Coin Flipping. Horizons of the Mind (2014)
Dexter Kozen
NetKAT - A Formal System for the Verification of Networks. APLAS (2014)
Niels Bjørn Bugge Grathwohl, Dexter Kozen, Konstantinos Mamouras
KAT + B! CSL-LICS (2014)
Dexter Kozen
Citations for the test-of-time award from 1994. CSL-LICS (2014)
Dexter Kozen, Konstantinos Mamouras
Kleene Algebra with Products and Iteration Theories. CSL (2013)
Dexter Kozen, Alexandra Silva
On Moessner's Theorem. Am. Math. Mon. 120 (2) (2013)
Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
Stone Duality for Markov Processes. LICS (2013)
Henk Barendregt, Venanzio Capretta, Dexter Kozen
Reflection in the Chomsky Hierarchy. J. Autom. Lang. Comb. 18 (1) (2013)
Dexter Kozen, Radu Mardare, Prakash Panangaden
Strong Completeness for Markovian Logics. MFCS (2013)
Dexter Kozen, Michael W. Mislove
Preface. MFPS (2013)
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. FICS (2013)
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva
Language Constructs for Non-Well-Founded Computation. ESOP (2013)
Dexter Kozen
New. MFPS (2012)
Dexter Kozen, Alexandra Silva
Left-Handed Completeness. RAMiCS (2012)
Jean-Baptiste Jeannin, Dexter Kozen
Computing with Capsules. J. Autom. Lang. Comb. 17 (2-4) (2012)
Jean-Baptiste Jeannin, Dexter Kozen
Computing with Capsules. DCFS (2012)
Jean-Baptiste Jeannin, Dexter Kozen
Capsules and Separation. LICS (2012)
Dexter Kozen
Realization of Coinductive Types. MFPS (2011)
Dexter Kozen
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories. Fields of Logic and Computation (2010)
Dexter Kozen
Church-Rosser Made Easy. Fundam. Informaticae 103 (1-4) (2010)
Dexter Kozen, Nicholas Ruozzi
Applications of Metric Coinduction Log. Methods Comput. Sci. 5 (3) (2009)
Nikolaos Karampatziakis, Dexter Kozen
Learning prediction suffix trees with Winnow. ICML (2009)
Kamal Aboul-Hosn, Dexter Kozen
Local variable scoping and Kleene algebra with tests. J. Log. Algebraic Methods Program. 76 (1) (2008)
Dexter Kozen
Nonlocal Flow of Control and Kleene Algebra with Tests. LICS (2008)
Dexter Kozen, Wei-Lung Dustin Tseng
The Böhm-Jacopini Theorem Is False, Propositionally. MPC (2008)
Dexter Kozen
Coinductive Proof Principles for Stochastic Processes. Log. Methods Comput. Sci. 3 (4) (2007)
Daniel Sheldon, M. A. Saleh Elmohamed, Dexter Kozen
Collective Inference on Markov Models for Modeling Bird Migration. NIPS (2007)
Dexter Kozen
Coinductive Proof Principles for Stochastic Processes CoRR (2007)
Dexter Kozen
Preface. Sci. Comput. Program. 65 (2) (2007)
Dexter Kozen, Nicholas Ruozzi
Applications of Metric Coinduction. CALCO (2007)
Kamal Aboul-Hosn, Dexter Kozen
Relational Semantics for Higher-Order Programs. MPC (2006)
Dexter Kozen
On the Representation of Kleene Algebras with Tests. MFCS (2006)
Dexter Kozen, Christoph Kreitz, Eva Richter
Automating Proofs in Category Theory. IJCAR (2006)
Kamal Aboul-Hosn, Dexter Kozen
Local Variable Scoping and Kleene Algebra with Tests. RelMiCS (2006)
Ruy J. G. B. de Queiroz, Dexter Kozen
Logic, Language, Information and Computation. Theor. Comput. Sci. 355 (2) (2006)
Kamal Aboul-Hosn, Dexter Kozen
KAT-ML: an interactive theorem prover for Kleene algebra with tests. J. Appl. Non Class. Logics 16 (1-2) (2006)
Dexter Kozen
Coinductive Proof Principles for Stochastic Processes. LICS (2006)
Lucja Kot, Dexter Kozen
Kleene Algebra and Bytecode Verification. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Chavdar Botev, Hubert Chao, Theodore Chao, Yim Cheng, Raymond Doyle, Sergey Grankin, Jon Guarino, Saikat Guha, Pei-Chen Lee, Dan Perry, Christopher Ré, Ilya Rifkin, Tingyan Yuan, Dora Abdullah, Kathy Carpenter, David Gries, Dexter Kozen, Andrew C. Myers, David I. Schwartz, Jayavel Shanmugasundaram
Supporting workflow in a course management system. SIGCSE (2005)
Dexter Kozen
Some results in dynamic model theory. Sci. Comput. Program. 51 (1-2) (2004)
Dexter Kozen
Computational inductive definability. Ann. Pure Appl. Log. 126 (1-3) (2004)
Dexter Kozen, Jerzy Tiuryn
Substructural logic and partial correctness. ACM Trans. Comput. Log. 4 (3) (2003)
Matthew Stillerman, Dexter Kozen
Efficient Code Certification for Open Firmware. DISCEX (2) (2003)

Dexter Kozen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dexter Kozen