Papers in reverse chronological order.

Conference

  1. An Effective Ergodic Theorem and Some Applications, 40th ACM Annual Symposium on Theory of Computing, 2008.[PDF]
  2. A Characterization of Constructive Dimension, Computability and Complexity in Analysis, 2007. [Slides] (This paper unfortunately contains an error, which was corrected in the journal version.)
  3. Finite State Dimension and Real Arithmetic, (joint work with David Doty and Jack Lutz) 33rd International Colloquium on Automata, Logic and Programming, 2006.[PDF] [PS]

Journal

  1. A Characterization of Constructive Dimension, Mathematical Logic Quarterly, 55 (3), 271-286, 2009.[PDF]
  2. Finite State Dimension and Real Arithmetic(joint work with Dave Doty and Jack Lutz), Information and Computation, 205 (207), pp. 1640-1651, 2007.

 Workshop

  1. Axiomatizing Resource Bounded Measure (joint work with Xiaoyang Gu, Jack Lutz and Jim Royer), Logic and Computational Complexity, 2009. [PDF]

Preprints

Colleagues

Jack Lutz   Dave Doty   Xiaoyang Gu   Jim Royer