Dexter Kozen

Dexter Campbell Kozen is an American theoretical computer scientist. He is Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. He… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
I have known Dexter for 30 years, which, of course, means that I was 9 when I first met him. At that time, Dexter was already… (More)
Is this relevant?
Review
2012
Review
2012
An undirected graph G = (V,E) is (d, k)-colorable if there is a vertex coloring using at most k colors such that no two vertices… (More)
  • figure 3
  • figure 4
Is this relevant?
2012
2012
This is a somewhat non-standard piece about Dexter Kozen, longtime colleague and friend. I am sure that the praise of Dexter’s… (More)
Is this relevant?
2009
2009
We take a dual view of Markov processes – advocated by Kozen – as transformers of bounded measurable functions. We redevelop the… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The notion of process equivalence of probabilistic processes is sensitive to the exact probabilities of transitions. Thus, a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
1999
1999
The contribution of the paper is two-fold. We give a set of properties expressible as temporal logic formulas such that any… (More)
Is this relevant?
1995
1995
The propositional ì-calculus is an extension of the modal system K with a least fixpoint operator. Kozen posed a question about… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The propositional μ-calculus as introduced by Kozen in [4] is considered. The notion of disjunctive formula is defined and it is… (More)
  • figure 1
Is this relevant?
1995
1995
We consider the modal-calculus due to Kozen, which is a nitary modal logic with least and greatest xed points of monotone… (More)
Is this relevant?
1991
1991
Smullyan's notion of eeectively inseparable pairs of sets is not the best eeec-tive/constructive analog of Kleene's notion of… (More)
Is this relevant?