| 2007 | Exact Pair Theorem for the | Hristo Ganchev |
| 2007 | Linear Transformations in Boolean Complexity Theory. | Joel Friedman |
| 2007 | Minimal Representations for Majority Games. | Josep Freixas, Xavier Molinero, Salvador Roura |
| 2007 | Index Sets of Computable Structures with Decidable Theories. | Ekaterina B. Fokina |
| 2007 | Parameterized Complexity and Logic. | Jrg Flum |
| 2007 | The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number. | Michael R. Fellows, Frances A. Rosamond |
| 2007 | Biochemical Reactions as Computations. | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
| 2007 | A Continuous Derivative for Real-Valued Functions. | Abbas Edalat |
| 2007 | Abstract Geometrical Computation and the Linear Blum, Shub and Smale Model. | Jrme Durand-Lose |
| 2007 | Feasible Depth. | David Doty, Philippe Moser |
| 2007 | Time-Complexity Semantics for Feasible Affine Recursions. | Norman Danner, James S. Royer |
| 2007 | Comparing C.E. Sets Based on Their Settling Times. | Barbara F. Csima |
| 2007 | The New Promise of Analog Computation. | Jos Flix Costa, Bruno Loff, Jerzy Mycka |
| 2007 | On Rules and Parameter Free Systems in Bounded Arithmetic. | Andrs Cordn-Franco, Alejandro Fernndez-Margarit, Francisco Flix Lara Martn |
| 2007 | Effective Computation for Nonlinear Systems. | Pieter Collins |
| 2007 | Thin Maximal Antichains in the Turing Degrees. | Chi Tat Chong, Liang Yu |
| 2007 | Sofic Trace Subshift of a Cellular Automaton. | Julien Cervelle, Enrico Formenti, Pierre Guillon |
| 2007 | Pseudojump Operators and P | Douglas A. Cenzer, Geoffrey LaForte, Guohua Wu |
| 2007 | Characterizing Programming Systems Allowing Program Self-reference. | John Case, Samuel E. Moelius |
| 2007 | Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems. | John Case |
| 2007 | Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. | Gregorio de Miguel Casado, Juan Manuel Garca Chamizo, Mara Teresa Signes Pont |
| 2007 | Computing with Genetic Gates. | Nadia Busi, Claudio Zandron |
| 2007 | Colocatedness and Lebesgue Integrability. | Douglas S. Bridges |
| 2007 | Borel Complexity of Topological Operations on Computable Metric Spaces. | Vasco Brattka, Guido Gherardi |
| 2007 | A Classification of Viruses Through Recursion Theorems. | Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion |