| 2007 | Hierarchies in Fragments of Monadic Strict NP. | Barnaby Martin, Florent R. Madelaine |
| 2007 | Hairpin Completion Versus Hairpin Reduction. | Florin Manea, Victor Mitrana |
| 2007 | Quotients over Minimal Type Theory. | Maria Emilia Maietti |
| 2007 | Liquid Computing. | Wolfgang Maass |
| 2007 | On Accepting Networks of Splicing Processors of Size 3. | Remco Loos |
| 2007 | Speed-Up Theorems in Type-2 Computation. | Chung-Chih Li |
| 2007 | A Weakly 2-Random Set That Is Not Generalized Low. | Andrew E. M. Lewis, Antonio Montalbn, Andr Nies |
| 2007 | Binary Trees and (Maximal) Order Types. | Gyesik Lee |
| 2007 | Strict Self-assembly of Discrete Sierpinski Triangles. | James I. Lathrop, Jack H. Lutz, Scott M. Summers |
| 2007 | Physics and Computation: The Status of Landauer's Principle. | James Ladyman |
| 2007 | Definability in the Homomorphic Quasiorder of Finite Labeled Forests. | Oleg V. Kudinov, Victor L. Selivanov |
| 2007 | On the Computational Power of Flip-Flop Proteins on Membranes. | Shankara Narayanan Krishna |
| 2007 | Circuit Complexity of Regular Languages. | Michal Kouck |
| 2007 | The Uniformity Principle for | Margarita V. Korovina, Oleg V. Kudinov |
| 2007 | The Polynomial and Linear Hierarchies in V | Leszek Aleksander Kolodziejczyk, Neil Thapen |
| 2007 | Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus. | Kentaro Kikuchi |
| 2007 | Some Notes on Degree Spectra of the Structures. | Iskander Sh. Kalimullin |
| 2007 | Input-Dependence in Function-Learning. | Sanjay Jain, Eric Martin, Frank Stephan |
| 2007 | Unique Existence and Computability in Constructive Reverse Mathematics. | Hajime Ishihara |
| 2007 | Post's Problem for Ordinal Register Machines. | Joel David Hamkins, Russell G. Miller |
| 2007 | The Complexity of Quickly ORM-Decidable Sets. | Joel David Hamkins, David Linetsky, Russell G. Miller |
| 2007 | Some Aspects of a Complexity Theory for Continuous Time Systems. | Marco Gori, Klaus Meer |
| 2007 | Internal Computability. | Guido Gherardi |
| 2007 | Multi-valued Logics, Effectiveness and Domains. | Giangiacomo Gerla |
| 2007 | Operational Semantics for Positive Relevant Logics Without Distribution. | Ying Gao, Jingde Cheng |