| 2014 | On Context-Diverse Repeats and Their Incremental Computation. | Matthias Gall, Matas Tealdi |
| 2014 | ω-rational Languages: High Complexity Classes vs. Borel Hierarchy. | Enrico Formenti, Markus Holzer, Martin Kutrib, Julien Provillard |
| 2014 | Counting Models of Linear-Time Temporal Logic. | Bernd Finkbeiner, Hazem Torfah |
| 2014 | Reachability Analysis with State-Compatible Automata. | Bertram Felgenhauer, Ren Thiemann |
| 2014 | A Brief History of Strahler Numbers. | Javier Esparza, Michael Luttenberger, Maximilian Schlund |
| 2014 | Algebraic Tools for the Overlapping Tile Product. | Etienne Dubourg, David Janin |
| 2014 | Weighted Automata and Logics for Infinite Nested Words. | Manfred Droste, Stefan Dck |
| 2014 | Stochastic k-Tree Grammar and Its Application in Biomolecular Structure Modeling. | Liang Ding, Abdul Samad, Xingran Xue, Xiuzhen Huang, Russell L. Malmberg, Liming Cai |
| 2014 | Extremal Combinatorics of Reaction Systems. | Alberto Dennunzio, Enrico Formenti, Luca Manzoni |
| 2014 | Succinct Encodings of Graph Isomorphism. | Bireswar Das, Patrick Scharpfenecker, Jacobo Torn |
| 2014 | Solutions to the Multi-dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms. | Anton Cern |
| 2014 | (k, l)-Unambiguity and Quasi-Deterministic Structures: An Alternative for the Determinization. | Pascal Caron, Marianne Flouret, Ludovic Mignot |
| 2014 | Satisfiability for MTL and TPTL over Non-monotonic Data Words. | Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas |
| 2014 | Optimal Sorting Networks. | Daniel Bundala, Jakub Zavodny |
| 2014 | Shift-Reduce Parsers for Transition Networks. | Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti |
| 2014 | On the List Update Problem with Advice. | Joan Boyar, Shahin Kamali, Kim S. Larsen, Alejandro Lpez-Ortiz |
| 2014 | Computing Depths of Patterns. | Francine Blanchet-Sadri, Andrew Lohr, Sean Simmons, Brent Woodhouse |
| 2014 | Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets. | Eike Best, Raymond Devillers |
| 2014 | Channel Synthesis Revisited. | Batrice Brard, Olivier Carton |
| 2014 | Efficient List-Based Computation of the String Subsequence Kernel. | Slimane Bellaouar, Hadda Cherroun, Djelloul Ziadi |
| 2014 | Covering Pairs in Directed Acyclic Graphs. | Niko Beerenwinkel, Stefano Beretta, Paola Bonizzoni, Riccardo Dondi, Yuri Pirola |
| 2014 | Two Double-Exponential Gaps for Automata with a Limited Pushdown. | Zuzana Bednrov, Viliam Geffert |
| 2014 | Networks of Polarized Evolutionary Processors Are Computationally Complete. | Fernando Arroyo, Sandra Gmez Canaval, Victor Mitrana, Stefan Popescu |
| 2014 | Picture Codes with Finite Deciphering Delay. | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
| 2014 | Formulae for Polyominoes on Twisted Cylinders. | Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet |