Dexter Kozen

Identifiers

• name variant Dexter Kozen 0.60 · backfill

Papers (6)

1. Scalable Verification of Probabilistic Networks cs.PL · 2019 · author #6
2. Semantics of higher-order probabilistic programs with conditioning cs.LO · 2019 · author #2
3. Probabilistic Program Equivalence for NetKAT cs.PL · 2017 · author #6
4. Cantor meets Scott: Semantic Foundations for Probabilistic Networks cs.PL · 2016 · author #4
5. Applications of Metric Coinduction cs.LO · 2009 · author #1
6. Coinductive Proof Principles for Stochastic Processes cs.LO · 2007 · author #1

Mentions

• 0908.2793 #1 · backfill · confidence 0.70 Dexter Kozen
• 0711.0194 #1 · backfill · confidence 0.70 Dexter Kozen

Frequent Coauthors

• Alexandra Silva 3 shared papers
• Nate Foster 3 shared papers
• Praveen Kumar 3 shared papers
• Steffen Smolka 3 shared papers
• Justin Hsu 2 shared papers
• David Kahn 1 shared papers
• David M Kahn 1 shared papers
• Fredrik Dahlqvist 1 shared papers
• Nicholas Ruozzi 1 shared papers