| 2005 | Randomness and Universal Machines. | Santiago Figueira, Frank Stephan, Guohua Wu |
| 2005 | Compactness in Topology and Computation. | Martn Htzel Escard |
| 2005 | Proximal Connectedness. | Douglas S. Bridges, Luminita Vta |
| 2005 | An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y). | Douglas S. Bridges, Luminita Vta |
| 2005 | Ideals in Constructive Banach Algebra Theory. | Douglas S. Bridges, Robin Havea, Peter Schuster |
| 2005 | Some Aspects of Computable Functional Analysis. | Vasco Brattka |
| 2005 | The Dedekind Reals in Abstract Stone Duality. | Andrej Bauer, Paul Taylor |
| 2005 | Realizability as Connection between Constructive and Computable Mathematics. | Andrej Bauer |
| 2005 | Real Number Representations of Graph-Directed IFS Attractors. | Yohji Akama, Shinji Iizuka |
| 2000 | A Computable Spectral Theorem. | Martin Ziegler, Vasco Brattka |
| 2000 | Is the Linear Schrdinger Propagator Turing Computable? | Klaus Weihrauch, Ning Zhong |
| 2000 | On Computable Metric Spaces Tietze-Urysohn Extension Is Computable. | Klaus Weihrauch |
| 2000 | Some Properties of the Effective Uniform Topological Space. | Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori |
| 2000 | Computational Dimension of Topological Spaces. | Hideki Tsuiki |
| 2000 | Effective Fixed Point Theorem over a Non-computably Separable Metric Space. | Izumi Takeuti |
| 2000 | Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions. | Dimiter Skordev |
| 2000 | Admissible Representations of Limit Spaces. | Matthias Schrder |
| 2000 | The Uniformity Conjecture. | Daniel Richardson |
| 2000 | The iRRAM: Exact Arithmetic in C++. | Norbert Th. Mller |
| 2000 | Computabilities of Fine-Continuous Functions. | Takakazu Mori |
| 2000 | delta-Approximable Functions. | Charles Meyssonnier, Paolo Boldi, Sebastiano Vigna |
| 2000 | Computing a Required Absolute Precision from a Stream of Linear Fractional Transformations. | Marko Krznaric |
| 2000 | Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory. | Margarita V. Korovina, Oleg V. Kudinov |
| 2000 | On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems. | Ulrich Kohlenbach |
| 2000 | Polynomially Time Computable Functions over p-Adic Fields. | George Kapoulas |