| 2005 | Beyond the Super-Turing Snare: Analog Computation and Digital Virtuality. | Giuseppe Trautteur |
| 2005 | Arthur-Merlin Games and the Problem of Isomorphism Testing. | Jacobo Torn |
| 2005 | Kripke Models, Distributive Lattices, and Medvedev Degrees. | Sebastiaan Terwijn |
| 2005 | An Environment Aware P-System Model of Quorum Sensing. | Germn Terrazas, Natalio Krasnogor, Marian Gheorghe, Francesco Bernardini, Steve Diggle, Miguel Cmara |
| 2005 | Presentations of Structures in Admissible Sets. | Alexey Stukachev |
| 2005 | Presentations of K-Trivial Reals and Kolmogorov Complexity. | Frank Stephan, Guohua Wu |
| 2005 | Minimal Pairs and Quasi-minimal Degrees for the Joint Spectra of Structures. | Alexandra A. Soskova |
| 2005 | Uniform Operators. | Ivan N. Soskov |
| 2005 | Computability and Discrete Dynamical Systems. | Wilfried Sieg |
| 2005 | Some Reducibilities on Regular Sets. | Victor L. Selivanov |
| 2005 | New Algorithmic Paradigms in Exponential Time Algorithms. | Uwe Schning |
| 2005 | On the Turing Degrees of Divergence Bounded Computable Reals. | Robert Rettinger, Xizhong Zheng |
| 2005 | The Analogue of Bchi's Problem for Polynomials. | Thanases Pheidas, Xavier Vidaux |
| 2005 | Membrane Computing: Power, Efficiency, Applications. | Gheorghe Paun |
| 2005 | Domain-Theoretic Formulation of Linear Boundary Value Problems. | Dirk Pattinson |
| 2005 | Complexity in Predicative Arithmetic. | Geoffrey E. Ostrin, Stanley S. Wainer |
| 2005 | Formalising Exact Arithmetic in Type Theory. | Milad Niqui |
| 2005 | FM-Representability and Beyond. | Marcin Mostowski, Konrad Zdanowski |
| 2005 | Recursion and Complexity. | Yiannis N. Moschovakis |
| 2005 | Categoricity in Restricted Classes. | Andrey Morozov |
| 2005 | The Computational Complexity of One-Dimensional Sandpiles. | Peter Bro Miltersen |
| 2005 | Correlation Dimension and the Quality of Forecasts Given by a Neural Network. | Krzysztof Michalak, Halina Kwasnicka |
| 2005 | On Some Relations Between Approximation Problems and PCPs over the Real Numbers. | Klaus Meer |
| 2005 | Hilbert's Tenth Problem and Paradigms of Computation. | Yuri V. Matiyasevich |
| 2005 | Accepting Networks of Splicing Processors. | Florin Manea, Carlos Martn-Vide, Victor Mitrana |