| 2015 | A Game Characterisation of Tree-like Q-resolution Size. Olaf Beyersdorff, Leroy Chew, Karteek Sreenivasaiah |
| 2015 | A Hierarchy of Transducing Observer Systems. Peter Leupold, Norbert Hundeshagen |
| 2015 | A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic. Parvaneh Babari, Manfred Droste |
| 2015 | A Nonuniform Circuit Class with Multilayer of Threshold Gates Having Super Quasi Polynomial Size Lower Bounds Against NEXP. Kazuyuki Amano, Atsushi Saito |
| 2015 | A Parallel Algorithm for Finding All Minimal Maximum Subsequences via Random Walk. H. K. Dai, Zhu Wang |
| 2015 | An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring. Johanna Björklund, Frank Drewes, Niklas Zechner |
| 2015 | Automated Program Verification. Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski |
| 2015 | Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications. Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli |
| 2015 | Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform. Alberto Policriti, Nicola Gigante, Nicola Prezza |
| 2015 | Average-Case Optimal Approximate Circular String Matching. Carl Barton, Costas S. Iliopoulos, Solon P. Pissis |
| 2015 | BFS-Based Symmetry Breaking Predicates for DFA Identification. Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto |
| 2015 | Backward Linearised Tree Pattern Matching. Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek G. Cleophas |
| 2015 | Bounding Clique-Width via Perfect Graphs. Konrad Kazimierz Dabrowski, Shenwei Huang, Daniël Paulusma |
| 2015 | Building Bridges Between Sets of Partial Orders. Hernán Ponce de León, Andrey Mokhov |
| 2015 | Coding Non-orientable Laminations. Luis-Miguel Lopez, Philippe Narbel |
| 2015 | Complexity Classes for Membrane Systems: A Survey. Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca, Claudio Zandron |
| 2015 | Complexity of Regular Functions. Eric Allender, Ian Mertz |
| 2015 | Complexity of Road Coloring with Prescribed Reset Words. Vojtech Vorel, Adam Roman |
| 2015 | Compressed Data Structures for Range Searching. Philip Bille, Inge Li Gørtz, Søren Vind |
| 2015 | Construction of a de Bruijn Graph for Assembly from a Truncated Suffix Tree. Bastien Cazaux, Thierry Lecroq, Eric Rivals |
| 2015 | Coverability in Two Dimensions. Guilhem Gamard, Gwénaël Richomme |
| 2015 | Derivatives for Regular Shuffle Expressions. Martin Sulzmann, Peter Thiemann |
| 2015 | Equation x^iy^jx^k=u^iv^ju^k in Words. Jana Hadravová, Stepan Holub |
| 2015 | Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity. Georg Bachmeier, Michael Luttenberger, Maximilian Schlund |
| 2015 | Frequent Pattern Mining with Non-overlapping Inversions. Da-Jung Cho, Yo-Sub Han, Hwee Kim |
| 2015 | From \omega -Regular Expressions to Büchi Automata via Partial Derivatives. Peter Thiemann, Martin Sulzmann |
| 2015 | Hankel Matrices: From Words to Graphs (Extended Abstract). Johann A. Makowsky, Nadia Labai |
| 2015 | Hierarchy and Expansiveness in 2D Subshifts of Finite Type. Charalampos Zinoviadis |
| 2015 | Insertion Operations on Deterministic Reversal-Bounded Counter Machines. Joey Eremondi, Oscar H. Ibarra, Ian McQuillan |
| 2015 | Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe |
| 2015 | Learning Conjunctive Grammars and Contextual Binary Feature Grammars. Ryo Yoshinaka |
| 2015 | Logics for Unordered Trees with Data Constraints on Siblings. Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen |
| 2015 | On Observability of Automata Networks via Computational Algebra. Rui Li, Yiguang Hong |
| 2015 | On Robot Games of Degree Two. Vesa Halava, Reino Niskanen, Igor Potapov |
| 2015 | On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata. Thibault Godin, Ines Klimann, Matthieu Picantin |
| 2015 | On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2015 | On the Language of Primitive Partial Words. Ananda Chandra Nayak, Kalpesh Kapoor |
| 2015 | On the Number of Closed Factors in a Word. Golnaz Badkobeh, Gabriele Fici, Zsuzsanna Lipták |
| 2015 | On the Synchronizing Probability Function and the Triple Rendezvous Time - New Approaches to Černý's Conjecture. François Gonze, Raphaël M. Jungers |
| 2015 | Online Computation of Abelian Runs. Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre, Élise Prieur-Gaston |
| 2015 | Order Structures for Subclasses of Generalised Traces. Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski |
| 2015 | Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem. Martin Lück, Arne Meier, Irina Schindler |
| 2015 | Parameterized Enumeration for Modification Problems. Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer |
| 2015 | Preimage Problems for Reaction Systems. Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
| 2015 | Preset Distinguishing Sequences and Diameter of Transformation Semigroups. Pavel Panteleev |
| 2015 | Quotient of Acceptance Specifications Under Reachability Constraints. Guillaume Verdier, Jean-Baptiste Raclet |
| 2015 | Rational Selecting Relations and Selectors. Luc Boasson, Olivier Carton |
| 2015 | Reasoning on Schemas of Formulas: An Automata-Based Approach. Nicolas Peltier |
| 2015 | Recognizable Series on Hypergraphs. Raphaël Bailly, François Denis, Guillaume Rabusseau |
| 2015 | Recurrence Relations, Succession Rules, and the Positivity Problem. Stefano Bilotta, Elisa Pergola, Renzo Pinzani, Simone Rinaldi |
| 2015 | Single-Pass Testing Automata for LTL Model Checking. Ala-Eddine Ben Salem |
| 2015 | Sorting Networks: The End Game. Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp |
| 2015 | Square-Free Words over Partially Commutative Alphabets. Lukasz Mikulski, Marcin Piatkowski, Wojciech Rytter |
| 2015 | Structure and Measure of a Decidable Class of Two-dimensional Codes. Marcella Anselmo, Dora Giammarresi, Maria Madonia |
| 2015 | Sublinear DTD Validity. Antoine Ndione, Aurélien Lemay, Joachim Niehren |
| 2015 | The Shuffle Product: New Research Directions. Antonio Restivo |
| 2015 | Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi |
| 2015 | Towards More Precise Rewriting Approximations. Yohan Boichut, Jacques Chabin, Pierre Réty |
| 2015 | Weak and Nested Class Memory Automata. Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong |