| 2007 | (Short) Survey of Real Hypercomputation. Martin Ziegler |
| 2007 | A Classification of Viruses Through Recursion Theorems. Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion |
| 2007 | A Continuous Derivative for Real-Valued Functions. Abbas Edalat |
| 2007 | A Jump Inversion Theorem for the Degree Spectra. Alexandra A. Soskova |
| 2007 | A Minimal Pair in the Quotient Structure Rongfang Bie, Guohua Wu |
| 2007 | A Useful Undecidable Theory. Victor L. Selivanov |
| 2007 | A Weakly 2-Random Set That Is Not Generalized Low. Andrew E. M. Lewis, Antonio Montalbán, André Nies |
| 2007 | Abstract Geometrical Computation and the Linear Blum, Shub and Smale Model. Jérôme Durand-Lose |
| 2007 | Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. Gregorio de Miguel Casado, Juan Manuel García Chamizo, María Teresa Signes Pont |
| 2007 | Approximating Generalized Multicut on Trees. Peng Zhang |
| 2007 | Binary Trees and (Maximal) Order Types. Gyesik Lee |
| 2007 | Biochemical Reactions as Computations. Andrzej Ehrenfeucht, Grzegorz Rozenberg |
| 2007 | Borel Complexity of Topological Operations on Computable Metric Spaces. Vasco Brattka, Guido Gherardi |
| 2007 | Characterizing Programming Systems Allowing Program Self-reference. John Case, Samuel E. Moelius |
| 2007 | Circuit Complexity of Regular Languages. Michal Koucký |
| 2007 | Colocatedness and Lebesgue Integrability. Douglas S. Bridges |
| 2007 | Comparing C.E. Sets Based on Their Settling Times. Barbara F. Csima |
| 2007 | Comparing Notions of Computational Entropy. Alexandre Pinto |
| 2007 | Computability and Incomputability. Robert I. Soare |
| 2007 | Computability in Amorphous Structures. Jirí Wiedermann, Lukás Petru |
| 2007 | Computable Riemann Surfaces. Robert Rettinger |
| 2007 | Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings S. Barry Cooper, Benedikt Löwe, Andrea Sorbi |
| 2007 | Computational Complexity of Constraint Satisfaction. Heribert Vollmer |
| 2007 | Computing with Genetic Gates. Nadia Busi, Claudio Zandron |
| 2007 | Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus. Kentaro Kikuchi |
| 2007 | Constructive Dimension and Weak Truth-Table Degrees. Laurent Bienvenu, David Doty, Frank Stephan |
| 2007 | Cupping D Mariya Ivanova Soskova, Guohua Wu |
| 2007 | Definability in the Homomorphic Quasiorder of Finite Labeled Forests. Oleg V. Kudinov, Victor L. Selivanov |
| 2007 | Does the Cell Compute? Giuseppe Trautteur |
| 2007 | Doing Without Turing Machines: Constructivism and Formal Topology. Giovanni Sambin |
| 2007 | Effective Computation for Nonlinear Systems. Pieter Collins |
| 2007 | Enumerations and Torsion Free Abelian Groups. Alexander G. Melnikov |
| 2007 | Exact Pair Theorem for the Hristo Ganchev |
| 2007 | Feasible Depth. David Doty, Philippe Moser |
| 2007 | Finding Most Likely Solutions. Osamu Watanabe, Mikael Onsjö |
| 2007 | From Logic to Physics: How the Meaning of Computation Changed over Time. Itamar Pitowsky |
| 2007 | Hairpin Completion Versus Hairpin Reduction. Florin Manea, Victor Mitrana |
| 2007 | Hierarchies in Fragments of Monadic Strict NP. Barnaby Martin, Florent R. Madelaine |
| 2007 | Index Sets of Computable Structures with Decidable Theories. Ekaterina B. Fokina |
| 2007 | Infinite Computations and a Hierarchy in Branislav Rovan, L'ubos Steskal |
| 2007 | Input-Dependence in Function-Learning. Sanjay Jain, Eric Martin, Frank Stephan |
| 2007 | Internal Computability. Guido Gherardi |
| 2007 | Learning as Data Compression. Pieter W. Adriaans |
| 2007 | Linear Transformations in Boolean Complexity Theory. Joel Friedman |
| 2007 | Liquid Computing. Wolfgang Maass |
| 2007 | Locally Computable Structures. Russell G. Miller |
| 2007 | Logic and Control. Anil Nerode |
| 2007 | Membrane Systems and Their Application to Systems Biology. Giancarlo Mauri |
| 2007 | Minimal Representations for Majority Games. Josep Freixas, Xavier Molinero, Salvador Roura |
| 2007 | Multi-valued Logics, Effectiveness and Domains. Giangiacomo Gerla |
| 2007 | Nash Stability in Additively Separable Hedonic Games Is NP-Hard. Martin Olsen |
| 2007 | Natural Computing: A Natural and Timely Trend for Natural Sciences and Science of Computation. Grzegorz Rozenberg |
| 2007 | On Accepting Networks of Splicing Processors of Size 3. Remco Loos |
| 2007 | On Rules and Parameter Free Systems in Bounded Arithmetic. Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín |
| 2007 | On the Computational Power of Flip-Flop Proteins on Membranes. Shankara Narayanan Krishna |
| 2007 | Operational Semantics for Positive Relevant Logics Without Distribution. Ying Gao, Jingde Cheng |
| 2007 | Parameterized Complexity and Logic. Jörg Flum |
| 2007 | Physics and Computation: The Status of Landauer's Principle. James Ladyman |
| 2007 | Post's Problem for Ordinal Register Machines. Joel David Hamkins, Russell G. Miller |
| 2007 | Problems as Solutions. Peter Schuster |
| 2007 | Producer/Consumer in Membrane Systems and Petri Nets. Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan |
| 2007 | Pseudojump Operators and P Douglas A. Cenzer, Geoffrey LaForte, Guohua Wu |
| 2007 | Quotients over Minimal Type Theory. Maria Emilia Maietti |
| 2007 | RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. Andrej Bauer, Christopher A. Stone |
| 2007 | Rank Lower Bounds for the Sherali-Adams Operator. Mark Nicholas Charles Rhodes |
| 2007 | Reachability Problems: An Update. Eric Allender |
| 2007 | Refocusing Generalised Normalisation. José Espírito Santo |
| 2007 | Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems. John Case |
| 2007 | Shifting and Lifting of Cellular Automata. Luigi Acerbi, Alberto Dennunzio, Enrico Formenti |
| 2007 | Sofic Trace Subshift of a Cellular Automaton. Julien Cervelle, Enrico Formenti, Pierre Guillon |
| 2007 | Some Aspects of a Complexity Theory for Continuous Time Systems. Marco Gori, Klaus Meer |
| 2007 | Some Notes on Degree Spectra of the Structures. Iskander Sh. Kalimullin |
| 2007 | Speed-Up Theorems in Type-2 Computation. Chung-Chih Li |
| 2007 | Strict Self-assembly of Discrete Sierpinski Triangles. James I. Lathrop, Jack H. Lutz, Scott M. Summers |
| 2007 | The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number. Michael R. Fellows, Frances A. Rosamond |
| 2007 | The Complexity of Quickly ORM-Decidable Sets. Joel David Hamkins, David Linetsky, Russell G. Miller |
| 2007 | The Complexity of Small Universal Turing Machines. Damien Woods, Turlough Neary |
| 2007 | The New Promise of Analog Computation. José Félix Costa, Bruno Loff, Jerzy Mycka |
| 2007 | The Polynomial and Linear Hierarchies in V Leszek Aleksander Kolodziejczyk, Neil Thapen |
| 2007 | The Uniformity Principle for Margarita V. Korovina, Oleg V. Kudinov |
| 2007 | Theories and Ordinals: Ordinal Analysis. Michael Rathjen |
| 2007 | Thin Maximal Antichains in the Turing Degrees. Chi Tat Chong, Liang Yu |
| 2007 | Time-Complexity Semantics for Feasible Affine Recursions. Norman Danner, James S. Royer |
| 2007 | Turing Unbound: Transfinite Computation. Philip D. Welch |
| 2007 | Unique Existence and Computability in Constructive Reverse Mathematics. Hajime Ishihara |
| 2007 | What Is the Lesson of Quantum Computing? Christopher G. Timpson |