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.[PDF] [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, to appear.
  2. Finite State Dimension and Real Arithmetic(joint work with Dave Doty and Jack Lutz), Information and Computation, 205 (207), pp. 1640-1651, 2007.

 

Preprints

Colleagues

Colleagues

Jack Lutz   Dave Doty