1. Computing over the reals: foundations for scientific computing;Braverman;Notices Amer. Math. Soc.,2006
2. Non-computable Julia sets;Braverman;J. Amer. Math. Soc.,2006
3. D. Cenzer, Effective dynamics. In: Logical Methods in Honor of Anil Nerode's Sixtieth Birthday (J. Crossley, J. Remmel, R. Shore, and M. Sweedler, eds.), pp. 162-177 (Birkhäuser, 1993).
4. D. Cenzer, Π01 classes in computability theory. In: Handbook of Recursion Theory (E. Griffor, ed.). Studies in Logic and Foundations of Mathematics 140, pp. 37-85 (North-Holland, 1999).
5. D. Cenzer, S. A. Dashti, and J. L. F. King, Effective symbolic dynamics. In: CCA 2007 (Computability and Complexity in Analysis, Siena, June 2007) (R. Dillhage, T. Grubb, A. Sorbi, K. Weihrauch, and N. Zhong, eds.). Informatik Berichte, Universität Hagen, 79-89 (2007) and