| 2011 | Complexity Issues for Preorders on Finite Labeled Forests. | Peter Hertling, Victor L. Selivanov |
| 2011 | Axiomatizing Resource Bounds for Measure. | Xiaoyang Gu, Jack H. Lutz, Satyadev Nandakumar, James S. Royer |
| 2011 | Defining Languages by Forbidding-Enforcing Systems. | Daniela Genova |
| 2011 | On the Kolmogorov Complexity of Continuous Real Functions. | Amin Farjudian |
| 2011 | Cupping and Diamond Embeddings: A Unifying Approach. | Chengling Fang, Jiang Liu, Guohua Wu |
| 2011 | Consistency and Optimality. | Yijia Chen, Jrg Flum, Moritz Mller |
| 2011 | Effective Categoricity of Injection Structures. | Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
| 2011 | Splicing Systems: Accepting Versus Generating. | Juan Castellanos, Victor Mitrana, Eugenio Santos |
| 2011 | Automatic Learners with Feedback Queries. | John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan |
| 2011 | A Computational Approach to an Alternative Working Environment for the Constructible Universe. | Merlin Carl |
| 2011 | Three Theorems on n-REA Degrees: Proof-Readers and Verifiers. | Mingzhong Cai |
| 2011 | Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata. | Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry |
| 2010 | Inference Concerning Physical Systems. | David H. Wolpert |
| 2010 | Computing with Concepts, Computing with Numbers: Llull, Leibniz, and Boole. | Sara L. Uckelman |
| 2010 | Quasi-linear Dialectica Extraction. | Trifon Trifonov |
| 2010 | What Is the Problem with Proof Nets for Classical Logic? | Lutz Straburger |
| 2010 | Computable Fields and Weak Truth-Table Reducibility. | Rebecca M. Steiner |
| 2010 | Every D | Dieter Spreen |
| 2010 | Kolmogorov Complexity Cores. | Andre Souto |
| 2010 | A Miniaturisation of Ramsey's Theorem. | Michiel De Smet, Andreas Weiermann |
| 2010 | The Complexity of Explicit Constructions. | Rahul Santhanam |
| 2010 | Development of a Bacteria Computer: From | Yasubumi Sakakibara |
| 2010 | Three Roots for Leibniz's Contribution to the Computational Conception of Reason. | Olga Pombo |
| 2010 | A Note on the Least Informative Model of a Theory. | Jeff B. Paris, Soroush R. Rad |
| 2010 | Haskell before Haskell: Curry's Contribution to Programming (1946-1950). | Liesbeth De Mol, Maarten Bullynck, Martin Carl |