32

Certification of compiler optimizations using Kleene algebra with tests
– Dexter Kozen, MariaCristina Patron
 2000

21

Kleene algebra with tests: Completeness and decidability
– Dexter Kozen, Frederick Smith
 1996

185

A completeness theorem for Kleene algebras and the algebra of regular events
– Dexter Kozen
 1994

40

On Hoare Logic and Kleene Algebra with Tests
– Dexter Kozen

10

On Action Algebras
– Dexter Kozen
 1993

3

MyhillNerode relations on automatic systems and the completeness of Kleene algebra
– Dexter Kozen

4

Equational axioms of test algebra
– Marco Hollenberg
 1997

15

Kleene algebra with tests and program schematology
– Allegra Angus, Dexter Kozen
 2001

9

On the Complexity of Reasoning in Kleene Algebra
– Dexter Kozen
 1997

16

Typed Kleene algebra
– Dexter Kozen
 1998

817

Dynamic Logic
– David Harel, Dexter Kozen, Jerzy Tiuryn
 1984

33

Dynamic Algebras as a wellbehaved fragment of Relation Algebras
– Vaughan Pratt
 1990

3

Periodic Sets of Integers
– Armando B. Matos
 1994

1

Kleene Algebras, Rewriting Modulo AC, and Circuits In Coq
– Thomas Braibant
 2012

16

Parikh's Theorem in Commutative Kleene Algebra
– Mark W. Hopkins, Dexter C. Kozen
 1999

4

Language preorder as a precongruence
– Wan Fokkink

6

Efficient Submatch Addressing for Regular Expressions
– Ville Laurikari
 2001

34

From Regular Expressions to DFA's Using Compressed NFA's
– Chiahsiang Chang, A. Paige
 1992

4

On Hoare logic, Kleene algebra, and types
– Dexter Kozen
 1999
