Papers in reverse chronological order.
Conference
- An Effective Ergodic Theorem
and Some Applications, 40th ACM Annual Symposium on Theory of
Computing, 2008.[PDF]
- 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.)
- 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
- A Characterization of
Constructive Dimension, Mathematical Logic Quarterly, 55 (3),
271-286, 2009.[PDF]
- Finite State Dimension and
Real Arithmetic(joint work with Dave Doty and Jack Lutz), Information
and Computation, 205 (207), pp. 1640-1651, 2007.
Ph D. Thesis [PDF]
Workshop
- 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