| 2007 | A Simple P-Complete Problem and Its Representations by Language Equations. Alexander Okhotin |
| 2007 | A Smallest Five-State Solution to the Firing Squad Synchronization Problem. Hiroshi Umeo, Takashi Yanagihara |
| 2007 | A Survey of Infinite Time Turing Machines. Joel David Hamkins |
| 2007 | A Universal Reversible Turing Machine. Kenichi Morita, Yoshikazu Yamaguchi |
| 2007 | Accepting Networks of Splicing Processors with Filtered Connections. Juan Castellanos, Florin Manea, Luis Fernando de Mingo López, Victor Mitrana |
| 2007 | Changing the Neighborhood of Cellular Automata. Hidenosuke Nishio |
| 2007 | Decision Versus Evaluation in Algebraic Complexity. Pascal Koiran |
| 2007 | Encapsulating Reaction-Diffusion Computers. Andrew Adamatzky |
| 2007 | Four Small Universal Turing Machines. Turlough Neary, Damien Woods |
| 2007 | Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata. Frantisek Mráz, Friedrich Otto, Martin Plátek |
| 2007 | Insertion-Deletion Systems with One-Sided Contexts. Artiom Matveevici, Yurii Rogozhin, Sergey Verlan |
| 2007 | Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings Jérôme Olivier Durand-Lose, Maurice Margenstern |
| 2007 | More on the Size of Higman-Haines Sets: Effective Constructions. Hermann Gruber, Markus Holzer, Martin Kutrib |
| 2007 | On the Computational Capabilities of Several Models. Olivier Bournez, Emmanuel Hainry |
| 2007 | On the Power of Networks of Evolutionary Processors. Jürgen Dassow, Bianca Truthe |
| 2007 | P Systems and Picture Languages. K. G. Subramanian |
| 2007 | Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan |
| 2007 | Planar Trivalent Network Computation. Tommaso Bolognesi |
| 2007 | Query Completeness of Skolem Machine Computations. John Fisher, Marc Bezem |
| 2007 | Satisfiability Parsimoniously Reduces to the Tantrix Dorothea Baumeister, Jörg Rothe |
| 2007 | Simple New Algorithms Which Solve the Firing Squad Synchronization Problem: A 7-States 4 Jean-Baptiste Yunès |
| 2007 | Slightly Beyond Turing's Computability for Studying Genetic Programming. Olivier Teytaud |
| 2007 | Small Semi-weakly Universal Turing Machines. Damien Woods, Turlough Neary |
| 2007 | Study of Limits of Solvability in Tag Systems. Liesbeth De Mol |
| 2007 | The Tiling Problem Revisited (Extended Abstract). Jarkko Kari |
| 2007 | Uniform Solution of. Artiom Alhazov, Mario J. Pérez-Jiménez |
| 2007 | Universality, Reducibility, and Completeness. Mark Burgin |
| 2007 | Using Approximation to Relate Computational Classes over the Reals. Manuel Lameiras Campagnolo, Kerry Ojakian |