| 2012 | Turing Computable Embeddings and Coding Families of Sets. | Vctor A. Ocasio-Gonzlez |
| 2012 | Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity. | Pter Nmeti, Gergely Szkely |
| 2012 | After Turing: Mathematical Modelling in the Biomedical and Social Sciences - From Animal Coat Patterns to Brain Tumours to Saving Marriages. | James D. Murray |
| 2012 | Characteristics of Minimal Effective Programming Systems. | Samuel E. Moelius III |
| 2012 | Natural Signs. | Ruth Garrett Millikan |
| 2012 | Unifiability and Admissibility in Finite Algebras. | George Metcalfe, Christoph Rthlisberger |
| 2012 | The Computing Spacetime. | Fotini Markopoulou |
| 2012 | What is Turing's Comparison between Mechanism and Writing Worth? | Jean Lassgue, Giuseppe Longo |
| 2012 | A 5n - o(n) Lower Bound on the Circuit Size over U 2 of a Linear Boolean Function. | Alexander S. Kulikov, Olga Melanich, Ivan Mihajlin |
| 2012 | Degrees of Total Algorithms versus Degrees of Honest Functions. | Lars Kristiansen |
| 2012 | On the Computability Power of Membrane Systems with Controlled Mobility. | Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu |
| 2012 | Turing Pattern Formation without Diffusion. | Shigeru Kondo |
| 2012 | Towards a Theory of Infinite Time Blum-Shub-Smale Machines. | Peter Koepke, Benjamin Seyfferth |
| 2012 | How Much Randomness Is Needed for Statistics? | Bjrn Kjos-Hanssen, Antoine Taveneaux, Neil Thapen |
| 2012 | A Hierarchy of Immunity and Density for Sets of Reals. | Takayuki Kihara |
| 2012 | Tree-Automatic Well-Founded Trees. | Alexander Kartzow, Jiamou Liu, Markus Lohrey |
| 2012 | Multi-scale Modeling of Gene Regulation of Morphogenesis. | Jaap A. Kaandorp, Daniel Botman, Carlos Tamulonis, Roland Dries |
| 2012 | A Slime Mold Solver for Linear Programming Problems. | Anders Johannson, James Y. Zou |
| 2012 | On Immortal Configurations in Turing Machines. | Emmanuel Jeandel |
| 2012 | Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable. | Martin Huschenbett |
| 2012 | On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. | Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi |
| 2012 | Effective Strong Nullness and Effectively Closed Sets. | Kojiro Higuchi, Takayuki Kihara |
| 2012 | A Direct Proof of Wiener's Theorem. | Matthew Hendtlass, Peter Schuster |
| 2012 | NP-Hardness and Fixed-Parameter Tractability of Realizing Degree Sequences with Directed Acyclic Graphs. | Sepp Hartung, Andr Nichterlein |
| 2012 | Turing Machine-Inspired Computer Science Results. | Juris Hartmanis |