David Doty

Publications

These papers may be downloaded for research or personal use only. The copyright for each paper is owned either by the publisher of the journal or conference proceedings in which the paper is published, or by the authors of the paper if the paper is unpublished.

Journal Papers

Laurent Bienvenu, David Doty, and Frank Stephan.
Constructive Dimension and Turing Degrees.
ToCS 2009: Theory of Computing Systems, 45(4):740-755, 2009. Special issue of invited papers from Computability in Europe 2007.
[ PostScript | PDF | CoRR | BibTeX | DOI ] © Springer-Verlag
David Doty.
Dimension Extractors and Optimal Decompression.
ToCS 2008: Theory of Computing Systems, 43(3-4):425-463, 2008. Special issue of invited papers from Computability in Europe 2006.
[ PostScript | PDF | CoRR | BibTeX | DOI ] © Springer-Verlag
David Doty, Jack H. Lutz, and Satyadev Nandakumar.
Finite-State Dimension and Real Arithmetic.
I&C 2007: Information and Computation, 205(11):1640-1651, 2007.
[ PostScript | PDF | CoRR | BibTeX | DOI ] © Elsevier
David Doty and Jared Nichols.
Pushdown Dimension.
TCS 2007: Theoretical Computer Science, 381(1-3):105-123, 2007.
[ PostScript | PDF | CoRR | BibTeX | DOI ] © Elsevier

Refereed Conference Papers

The PostScript and PDF document links here are pre-prints, similar to what was submitted to the conference, with appendices containing material that did not fit in the page limit. The Computing Research Repository (CoRR) link references a tech report version of the paper not subject to page limits or Lecture Notes in Computer Science formatting or other formatting, so the CoRR documents may be more readable, but possibly also more out-of-date.

David Doty.
Randomized Self-Assembly for Exact Shapes.
FOCS 2009: Proceedings of the Fiftieth Annual IEEE Symposium on Foundations of Computer Science, (Atlanta, Georgia, USA, October 24-27, 2009).
[ PostScript | PDF | CoRR | BibTeX ] © IEEE
David Doty, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers, and Damien Woods.
Random Number Selection in Self-Assembly.
UC 2009: Proceedings of the Eighth International Conference on Unconventional Computation, (Ponta Delgada, Portugal, September 7-11, 2009).
[ PostScript | PDF | BibTeX ] © Springer-Verlag
David Doty and Matthew J. Patitz.
A Domain-Specific Language for Programming in the Tile Assembly Model.
DNA 2009: Proceedings of The Fifteenth International Meeting on DNA Computing and Molecular Programming, (Fayetteville, Arkansas, USA, June 8-11, 2009).
[ PostScript | PDF | CoRR | BibTeX ] © Springer-Verlag
David Doty, Matthew J. Patitz, and Scott M. Summers.
Limitations of Self-Assembly at Temperature 1.
DNA 2009: Proceedings of The Fifteenth International Meeting on DNA Computing and Molecular Programming, (Fayetteville, Arkansas, USA, June 8-11, 2009).
[ PostScript | PDF | CoRR | BibTeX ] © Springer-Verlag
David Doty and Philippe Moser.
Feasible Depth.
CiE 2007: S. Barry Cooper, Benedikt Löwe, and Andrea Sorbi (editors), Computation and Logic in the Real World - Third Conference of Computability in Europe, (Siena, Italy, June 18-23, 2007), Proceedings, Lecture Notes in Computer Science, volume 4497, Spring-Verlag, 2007, pp. 228-237.
[ PostScript | PDF | CoRR | BibTeX | DOI ] © Springer-Verlag
Laurent Bienvenu, David Doty, and Frank Stephan.
Constructive Dimension and Weak Truth-Table Degrees.
CiE 2007: S. Barry Cooper, Benedikt Löwe, and Andrea Sorbi (editors), Computation and Logic in the Real World - Third Conference of Computability in Europe, (Siena, Italy, June 18-23, 2007), Proceedings, Lecture Notes in Computer Science, volume 4497, Spring-Verlag, 2007, pp. 63-72.
[ PostScript | PDF | CoRR | BibTeX | DOI ] © Springer-Verlag
David Doty, Jack H. Lutz, and Satyadev Nandakumar.
Finite-State Dimension and Real Arithmetic.
ICALP 2006: Proceedings of the 33^rd International Colloquium on Automata, Languages and Programming, (Venice, Italy, July 9-16, 2006), Springer-Verlag, 2006, pp. 537-547.
[ PostScript | PDF | CoRR | BibTeX | DOI ] © Springer-Verlag
David Doty.
Every Sequence is Decompressible from a Random One.
CiE 2006: Arnold Beckmann, Ulrich Berger, Benedikt Löwe, and John V Tucker (editors): Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, (Swansea, UK, June 30 - July 5, 2006), Proceedings, Lecture Notes in Computer Science volume 3988, Springer-Verlag, 2006, pp. 153-162.
[ PostScript | PDF | CoRR | BibTeX | DOI ] © Springer-Verlag
David Doty, Xiaoyang Gu, Jack H. Lutz, Elvira Mayordomo, and Philippe Moser.
Zeta-Dimension.
MFCS 2005: Proceedings of the Thirtieth International Symposium on Mathematical Foundations of Computer Science, (Gdansk, Poland, August 29 - September 2, 2005), Springer-Verlag, 2005, pp. 283-294.
[ PostScript | PDF | CoRR | BibTeX | DOI ] © Springer-Verlag
David Doty.
Non-local Evolutionary Adaptation in Gridplants.
CEC 2004: Proceedings of the 2004 IEEE Congress on Evolutionary Computation, IEEE, 2004, pp. 1602-1609.
[ PostScript | PDF | BibTeX | DOI ] © IEEE
Dan Ashlock, Dean C. Adams, and David Doty.
Morphometric Grayscale Texture Analysis using Foot Patterns.
CEC 2003: Proceedings of the 2003 IEEE Congress on Evolutionary Computation, IEEE, 2003, pp. 1575-1581.
[ PostScript | PDF | BibTeX | DOI ] © IEEE

Ph.D. Thesis

David Doty.
Applications of the Theory of Computation to Nanoscale Self-Assembly.
Ph.D. Thesis, Iowa State University, 2009.
[ PostScript | PDF | BibTeX ]

Unrefereed Technical Reports

David Doty and Philippe Moser.
Finite-State Dimension and Lossy Decompressors.
Technical Report cs.CC/0609096, Computing Research Repository, 2006.
[ PostScript | PDF | CoRR | BibTeX ]

Invited Talks

Coevolution and Non-local Adaptation in Gridplants.
Pioneer Hi-Bred Bioinformatics Group, March 2004.
[ PostScript | PDF ]