
eCommons@Cornell >
Browsing by Author Kozen, Dexter
Showing results 5 to 24 of 94
Preview  Issue Date  Title  Author(s)   14Jan2012  Capsules and Separation  Jeannin, JeanBaptiste; Kozen, Dexter 
 Dec1999  Certification of Compiler Optimizations using Kleene Algebra with Tests  Patron, MariaCristina; Kozen, Dexter 
 5Feb2010  ChurchRosser Made Easy  Kozen, Dexter 
 26Mar2014  A Coalgebraic Decision Procedure for NetKAT  Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure 
 31Dec2012  CoCaml: Programming with Coinductive Types  Jeannin, JeanBaptiste; Kozen, Dexter; Silva, Alexandra 
 24Mar2005  Coinductive Proof Principles for Stochastic Processes  Kozen, Dexter 
 18May2007  Collective Inference on Markov Models for Modeling Bird Migration  Sheldon, Daniel; Elmohamed, M. A. Saleh; Kozen, Dexter 
 May1995  A Complete Gentzenstyle Axiomatization for Set Constraints  Cheng, Allan; Kozen, Dexter 
 May1990  A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events  Kozen, Dexter 
 Dec1976  Complexity of Finitely Presented Algebras  Kozen, Dexter 
 Jul1996  The Complexity of Kleene Algebra with Tests  Cohen, Ernie; Kozen, Dexter; Smith, Frederick 
 May1993  The Complexity of Set Constraints  Aiken, Alexander; Kozen, Dexter; Vardi, Moshe; Wimmers, Ed 
 3Apr2002  Computational Inductive Definability  Kozen, Dexter 
 Oct1993  Computing the Newtonian Graph (Extended abstract)  Kozen, Dexter; Stefansson, Kjartan 
 26Jan2011  Computing with Capsules  Jeannin, JeanBaptiste; Kozen, Dexter 
 Jun1993  Decidability of Systems of Set Constraints with Negative Constraints  Aiken, Alexander; Kozen, Dexter; Wimmers, Ed 
 Feb1994  Decomposition of Algebraic Functions  Kozen, Dexter; Landau, Susan; Zippel, Richard 
 Mar1987  Definability with Bounded Number of Bound Variables  Immerman, Neil; Kozen, Dexter 
 23Jul2001  Eager Class Initialization for Java  Kozen, Dexter; Stillerman, Matt 
 May1995  Efficient Algorithms for Optimal Video Transmission  Kozen, Dexter; Minsky, Yaron; Smith, Brian 
Showing results 5 to 24 of 94
