| 2014 | (k, l)-Unambiguity and Quasi-Deterministic Structures: An Alternative for the Determinization. Pascal Caron, Marianne Flouret, Ludovic Mignot |
| 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 | Are Good-for-Games Automata Good for Probabilistic Model Checking? Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz |
| 2014 | Channel Synthesis Revisited. Béatrice Bérard, Olivier Carton |
| 2014 | Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets. Eike Best, Raymond Devillers |
| 2014 | Complexity of a Problem Concerning Reset Words for Eulerian Binary Automata. Vojtech Vorel |
| 2014 | Computing Depths of Patterns. Francine Blanchet-Sadri, Andrew Lohr, Sean Simmons, Brent Woodhouse |
| 2014 | Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
| 2014 | Computing with Catalan Families. Paul Tarau |
| 2014 | Counting Models of Linear-Time Temporal Logic. Bernd Finkbeiner, Hazem Torfah |
| 2014 | Covering Pairs in Directed Acyclic Graphs. Niko Beerenwinkel, Stefano Beretta, Paola Bonizzoni, Riccardo Dondi, Yuri Pirola |
| 2014 | DFA with a Bounded Activity Level. Marius Konitzer, Hans Ulrich Simon |
| 2014 | Distinguishing Pattern Languages with Membership Examples. Zeinab Mazadi, Ziyuan Gao, Sandra Zilles |
| 2014 | Efficient List-Based Computation of the String Subsequence Kernel. Slimane Bellaouar, Hadda Cherroun, Djelloul Ziadi |
| 2014 | Expressiveness of Dynamic Networks of Timed Petri Nets. María Martos-Salgado, Fernando Rosa-Velardo |
| 2014 | Extended Two-Way Ordered Restarting Automata for Picture Languages. Friedrich Otto, Frantisek Mráz |
| 2014 | Extremal Combinatorics of Reaction Systems. Alberto Dennunzio, Enrico Formenti, Luca Manzoni |
| 2014 | Formulae for Polyominoes on Twisted Cylinders. Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet |
| 2014 | Interprocedural Information Flow Analysis of XML Processors. Helmut Seidl, Máté Kovács |
| 2014 | Interval Temporal Logic Semantics of Box Algebra. Hanna Klaudel, Maciej Koutny, Zhenhua Duan |
| 2014 | Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings Adrian-Horia Dediu, Carlos Martín-Vide, José Luis Sierra-Rodríguez, Bianca Truthe |
| 2014 | Learning Sequential Tree-to-Word Transducers. Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawek Staworko, Marc Tommasi |
| 2014 | Matchings, Random Walks, and Sampling. Sanjeev Khanna |
| 2014 | Minimal Triangulation Algorithms for Perfect Phylogeny Problems. Rob Gysel |
| 2014 | Networks of Polarized Evolutionary Processors Are Computationally Complete. Fernando Arroyo, Sandra Gómez Canaval, Victor Mitrana, Stefan Popescu |
| 2014 | On Computability and Learnability of the Pumping Lemma Function. Dariusz Kalocinski |
| 2014 | On Context-Diverse Repeats and Their Incremental Computation. Matthias Gallé, Matías Tealdi |
| 2014 | On SAT Representations of XOR Constraints. Matthew Gwynne, Oliver Kullmann |
| 2014 | On the Arithmetics of Discrete Figures. Alexandre Blondin Massé, Amadou Makhtar Tall, Hugo Tremblay |
| 2014 | On the List Update Problem with Advice. Joan Boyar, Shahin Kamali, Kim S. Larsen, Alejandro López-Ortiz |
| 2014 | On the Parikh Membership Problem for FAs, PDAs, and CMs. Oscar H. Ibarra, Bala Ravikumar |
| 2014 | On the State Complexity of Semi-quantum Finite Automata. Shenggen Zheng, Jozef Gruska, Daowen Qiu |
| 2014 | Optimal Sorting Networks. Daniel Bundala, Jakub Zavodny |
| 2014 | Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification. Pierre Ganty, Ahmed Rezine |
| 2014 | Picture Codes with Finite Deciphering Delay. Marcella Anselmo, Dora Giammarresi, Maria Madonia |
| 2014 | Probabilistic Simulation for Probabilistic Data-Aware Business Processes. Haizhou Li, François Pinet, Farouk Toumani |
| 2014 | Probabilistic ω-Regular Expressions. Thomas Weidner |
| 2014 | Reachability Analysis with State-Compatible Automata. Bertram Felgenhauer, René Thiemann |
| 2014 | Satisfiability for MTL and TPTL over Non-monotonic Data Words. Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas |
| 2014 | Shift-Reduce Parsers for Transition Networks. Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti |
| 2014 | Solutions to the Multi-dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms. Anton Cerný |
| 2014 | Solving Equations on Words with Morphisms and Antimorphisms. Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Michaël Larouche |
| 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 | Succinct Encodings of Graph Isomorphism. Bireswar Das, Patrick Scharpfenecker, Jacobo Torán |
| 2014 | Top-Down Tree Edit-Distance of Regular Tree Languages. Sang-Ki Ko, Yo-Sub Han, Kai Salomaa |
| 2014 | Two Double-Exponential Gaps for Automata with a Limited Pushdown. Zuzana Bednárová, Viliam Geffert |
| 2014 | Weight-Reducing Hennie Machines and Their Descriptional Complexity. Daniel Prusa |
| 2014 | Weighted Automata and Logics for Infinite Nested Words. Manfred Droste, Stefan Dück |
| 2014 | ω-rational Languages: High Complexity Classes vs. Borel Hierarchy. Enrico Formenti, Markus Holzer, Martin Kutrib, Julien Provillard |