| 2014 | A Computational Model of XACML-Based Access Control Management in Distributed Networks. Katalin Anna Lázár |
| 2014 | Algorithmic Randomness for Infinite Time Register Machines. Merlin Carl |
| 2014 | Algorithms and Their Explanations. Marco Benini, Federico Gobbo |
| 2014 | An Early Completion Algorithm: Thue's 1914 Paper on the Transformation of Symbol Sequences. James F. Power |
| 2014 | An Efficient Algorithm for the Equation Tree Automaton via the k-C-Continuations. Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi |
| 2014 | Chemical Production and Molecular Computing in Addressable Reaction Compartments. Harold Fellermann, Natalio Krasnogor |
| 2014 | Complexity of Operation Problems. Martin Kutrib |
| 2014 | Computability and Categoricity of Ultrahomogeneous Structures. Francis Adams, Douglas Cenzer |
| 2014 | Constraint Logic Programming for Resolution of Relative Time Expressions. Henning Christiansen |
| 2014 | Deciding the Borel Complexity of Regular Tree Languages. Alessandro Facchini, Henryk Michalewski |
| 2014 | Early Machine Translation - Integration and Transfers between Computing and the Language Sciences. Jacqueline Léon |
| 2014 | Exploiting Membrane Features to Compute. Claudio Zandron |
| 2014 | Fit-Preserving Data Refinement of Mass-Action Reaction Networks. Cristian Gratie, Ion Petre |
| 2014 | Fixed Points and Attractors of Reaction Systems. Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
| 2014 | Function Spaces for Second-Order Polynomial Time. Akitoshi Kawamura, Arno Pauly |
| 2014 | Gene Tree Correction by Leaf Removal and Modification: Tractability and Approximability. Stefano Beretta, Riccardo Dondi |
| 2014 | Generic Parallel Algorithms. Nachum Dershowitz, Evgenia Falkovich |
| 2014 | Graph Polynomials Motivated by Gene Rearrangements in Ciliates. Robert Brijder, Hendrik Jan Hoogeboom |
| 2014 | How can Grammatical Inference Contribute to Computational Linguistics? Leonor Becerra-Bonache |
| 2014 | Hyperprojective Hierarchy of qcb Matthias Schröder, Victor L. Selivanov |
| 2014 | Isomorphisms of Non-Standard Fields and Ash's Conjecture. Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad |
| 2014 | Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer |
| 2014 | Learnability Thesis Does Not Entail Church's Thesis. Marek Czarnecki, Michal Tomasz Godziszewski, Dariusz Kalocinski |
| 2014 | Lines Missing Every Random Point. Jack H. Lutz, Neil Lutz |
| 2014 | Lossiness of Communication Channels Modeled by Transducers. Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer |
| 2014 | Maximal Parallelism in Membrane Systems with Generated Membrane Boundaries. Zoltán Erno Csajbók, Tamás Mihálydeák |
| 2014 | Metric-Driven Grammars and Morphogenesis (Extended Abstract). Przemyslaw Prusinkiewicz, Brendan Lane, Adam Runions |
| 2014 | Modeling Life as Cognitive Info-computation. Gordana Dodig-Crnkovic |
| 2014 | Natural Descriptions and Anthropic Bias: Extant Problems In Solomonoff Induction. Simon McGregor |
| 2014 | On Maximal Block Functions of Computable η-like Linear Orderings. Charles M. Harris |
| 2014 | On the Effectiveness of Symmetry Breaking. Russell G. Miller, Reed Solomon, Rebecca M. Steiner |
| 2014 | On the Equivalence of Automata for KAT-expressions. Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis |
| 2014 | On the Ramseyan Factorization Theorem. Shota Murakami, Takeshi Yamazaki, Keita Yokoyama |
| 2014 | Online Bin Packing: Old Algorithms and New Results. Jirí Sgall |
| 2014 | Parameterized Inapproximability of Target Set Selection and Generalizations. Cristina Bazgan, Morgan Chopin, André Nichterlein, Florian Sikora |
| 2014 | Phase Transitions Related to the Pigeonhole Principle. Michiel De Smet, Andreas Weiermann |
| 2014 | Pluralism Ignored: The Church-Turing Thesis and Philosophical Practice. G. Graham White |
| 2014 | Predicate Characterizations in the Polynomial-Size Hierarchy. Christos A. Kapoutsis |
| 2014 | Short Lists with Short Programs in Short Time - A Short Proof. Marius Zimand |
| 2014 | The Complexity of Satisfaction Problems in Reverse Mathematics. Ludovic Patey |
| 2014 | The FPGA-Based High-Performance Computer RIVYERA for Applications in Bioinformatics. Lars Wienbrandt |
| 2014 | Uniform Schemata for Proof Rules. Ulrich Berger, Tie Hou |
| 2014 | Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. Maribel Fernández, Hélène Kirchner, Ian Mackie, Bruno Pinaud |