| 2011 | A Computational Approach to an Alternative Working Environment for the Constructible Universe. Merlin Carl |
| 2011 | A Fine Hierarchy of ω-Regular k-Partitions. Victor L. Selivanov |
| 2011 | A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0. Peter Koepke, Philip D. Welch |
| 2011 | A New Optimum-Time Firing Squad Synchronization Algorithm for Two-Dimensional Rectangle Arrays: One-Sided Recursive Halving Based. Hiroshi Umeo, Kinuo Nishide, Takuya Yamawaki |
| 2011 | Adapting Rabin's Theorem for Differential Fields. Russell Miller, Alexey Ovchinnikov |
| 2011 | Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata. Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry |
| 2011 | Automata on Ordinals and Linear Orders. Philipp Schlicht, Frank Stephan |
| 2011 | Automatic Learners with Feedback Queries. John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan |
| 2011 | Axiomatizing Resource Bounds for Measure. Xiaoyang Gu, Jack H. Lutz, Satyadev Nandakumar, James S. Royer |
| 2011 | Complexity Issues for Preorders on Finite Labeled Forests. Peter Hertling, Victor L. Selivanov |
| 2011 | Computability Power of Mobility in Enhanced Mobile Membranes. Shankara Narayanan Krishna, Gabriel Ciobanu |
| 2011 | Computability of the Radon-Nikodym Derivative. Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch |
| 2011 | Computation of Similarity - Similarity Search as Computation. Stoyan Mihov, Klaus U. Schulz |
| 2011 | Consecutive Ones Property Testing: Cut or Swap. Mathieu Raffinot |
| 2011 | Conservative Extensions of Abstract Structures. Stefan V. Vatev |
| 2011 | Consistency and Optimality. Yijia Chen, Jörg Flum, Moritz Müller |
| 2011 | Cupping and Diamond Embeddings: A Unifying Approach. Chengling Fang, Jiang Liu, Guohua Wu |
| 2011 | Current Developments on Computational Modeling Using P Systems. Agustin Riscos-Núñez |
| 2011 | Deciding According to the Shortest Computations. Florin Manea |
| 2011 | Defining Languages by Forbidding-Enforcing Systems. Daniela Genova |
| 2011 | Effective Categoricity of Injection Structures. Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
| 2011 | Extracting Winning Strategies in Update Games. Imran Khaliq, Bakhadyr Khoussainov, Jiamou Liu |
| 2011 | Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova |
| 2011 | Multi-Resolution Cellular Automata for Real Computation. James I. Lathrop, Jack H. Lutz, Brian Patterson |
| 2011 | Nature-Based Problems in Cellular Automata. Martin Kutrib |
| 2011 | On a Hierarchy of Plus-Cupping Degrees. Shengling Wang, Guohua Wu |
| 2011 | On a Relative Computability Notion for Real Functions. Dimiter Skordev, Ivan Georgiev |
| 2011 | On the Kolmogorov Complexity of Continuous Real Functions. Amin Farjudian |
| 2011 | Quantum Information Channels in Curved Spacetime. Prakash Panangaden |
| 2011 | Randomness and the Ergodic Decomposition. Mathieu Hoyrup |
| 2011 | Recognizing Synchronizing Automata with Finitely Many Minimal Synchronizing Words is PSPACE-Complete. Elena V. Pribavkina, Emanuele Rodaro |
| 2011 | Splicing Systems: Accepting Versus Generating. Juan Castellanos, Victor Mitrana, Eugenio Santos |
| 2011 | Three Theorems on n-REA Degrees: Proof-Readers and Verifiers. Mingzhong Cai |
| 2011 | Towards an Axiomatic System for Kolmogorov Complexity. Antoine Taveneaux |