| 2014 | Lines Missing Every Random Point. | Jack H. Lutz, Neil Lutz |
| 2014 | Early Machine Translation - Integration and Transfers between Computing and the Language Sciences. | Jacqueline Lon |
| 2014 | A Computational Model of XACML-Based Access Control Management in Distributed Networks. | Katalin Anna Lzr |
| 2014 | Complexity of Operation Problems. | Martin Kutrib |
| 2014 | Function Spaces for Second-Order Polynomial Time. | Akitoshi Kawamura, Arno Pauly |
| 2014 | Predicate Characterizations in the Polynomial-Size Hierarchy. | Christos A. Kapoutsis |
| 2014 | Lossiness of Communication Channels Modeled by Transducers. | Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer |
| 2014 | On Maximal Block Functions of Computable η-like Linear Orderings. | Charles M. Harris |
| 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 | Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. | Maribel Fernndez, Hlne Kirchner, Ian Mackie, Bruno Pinaud |
| 2014 | Chemical Production and Molecular Computing in Addressable Reaction Compartments. | Harold Fellermann, Natalio Krasnogor |
| 2014 | Deciding the Borel Complexity of Regular Tree Languages. | Alessandro Facchini, Henryk Michalewski |
| 2014 | Modeling Life as Cognitive Info-computation. | Gordana Dodig-Crnkovic |
| 2014 | Isomorphisms of Non-Standard Fields and Ash's Conjecture. | Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad |
| 2014 | Generic Parallel Algorithms. | Nachum Dershowitz, Evgenia Falkovich |
| 2014 | Learnability Thesis Does Not Entail Church's Thesis. | Marek Czarnecki, Michal Tomasz Godziszewski, Dariusz Kalocinski |
| 2014 | Maximal Parallelism in Membrane Systems with Generated Membrane Boundaries. | Zoltn Erno Csajbk, Tams Mihlydek |
| 2014 | Constraint Logic Programming for Resolution of Relative Time Expressions. | Henning Christiansen |
| 2014 | Algorithmic Randomness for Infinite Time Register Machines. | Merlin Carl |
| 2014 | On the Equivalence of Automata for KAT-expressions. | Sabine Broda, Antnio Machiavelo, Nelma Moreira, Rogrio Reis |
| 2014 | Graph Polynomials Motivated by Gene Rearrangements in Ciliates. | Robert Brijder, Hendrik Jan Hoogeboom |
| 2014 | Uniform Schemata for Proof Rules. | Ulrich Berger, Tie Hou |
| 2014 | Gene Tree Correction by Leaf Removal and Modification: Tractability and Approximability. | Stefano Beretta, Riccardo Dondi |
| 2014 | Algorithms and Their Explanations. | Marco Benini, Federico Gobbo |