| 2009 | Realisability and Adequacy for (Co)induction. | Ulrich Berger |
| 2009 | CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. | Andrej Bauer, Peter Hertling, Ker-I Ko |
| 2009 | CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. | Andrej Bauer, Peter Hertling, Ker-I Ko |
| 2009 | Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. | Andrej Bauer, Jens Blanck |
| 2009 | Computing Conformal Maps onto Canonical Slit Domains. | Valentin V. Andreev, Timothy H. McNicholl |
| 2005 | Effectively Open Real Functions. | Martin Ziegler |
| 2005 | On the Complexity of Finding Circumscribed Rectangles for a Two-Dimensional Domain. | Fuxiang Yu, Arthur W. Chou, Ker-I Ko |
| 2005 | Computable Versions of Basic Theorems in Functional Analysis. | Atsushi Yoshikawa, Mariko Yasugi |
| 2005 | Generalized Functions with Pseudobounded Support in Constructive Mathematics. | Satoru Yoshida |
| 2005 | Effective Sequence of Uniformities and its Effective Limit. | Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii |
| 2005 | Multi-Functions on Multi-Represented Sets are Closed under Flowchart Programming. | Klaus Weihrauch |
| 2005 | A Lambda Calculus for Real Analysis. | Paul Taylor |
| 2005 | Low Temperature Limit of Equations - Hidden Discrete Structure. | Daisuke Takahashi |
| 2005 | Representing Probability Measures using Probabilistic Processes. | Matthias Schrder, Alex K. Simpson |
| 2005 | A Hierarchy of Turing Degrees for Divergence Bounded Computable Real Numbers. | Robert Rettinger, Xizhong Zheng |
| 2005 | Implementing Exact Real Numbers Efficiently. | Norbert Th. Mller |
| 2005 | Fine Computable Functions and Effective Fine Convergence. | Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi |
| 2005 | RealLib: an Efficient Implementation of Exact Real Arithmetic. | Branimir Lambov |
| 2005 | Design of Neuromorphic Hardwares. | Takashi Kohno |
| 2005 | Mathematical Computability Questions for some Classes of Linear and Non-Linear Differential Equations Originated from Hilbert's Tenth Problem. | Tien D. Kieu |
| 2005 | Computability and Computable Uniqueness of Urysohn's Universal Metric Space. | Hiroyasu Kamo |
| 2005 | Computable Analysis via Representations. | Peter Hertling |
| 2005 | A Sequentially Computable Function that is not Effectively Continous at any Point. | Peter Hertling |
| 2005 | Molecular Computing and Real Number Computing. | Masami Hagiya |
| 2005 | A Computable Version of Dini's Theorem for Topological Spaces. | Tanja Grubba, Klaus Weihrauch |