| 2016 | +\omega + ω -Picture Languages Recognizable by Büchi-Tiling Systems. Parvaneh Babari, Nicole Schweikardt |
| 2016 | A Complexity Measure on Büchi Automata. Dana Fisman |
| 2016 | A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids. Manfred Droste, Zoltán Fülöp, Doreen Götze |
| 2016 | A Logical Characterization for Dense-Time Visibly Pushdown Automata. Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi |
| 2016 | A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem. Heiko Vogler, Manfred Droste, Luisa Herrmann |
| 2016 | Accurate Approximate Diagnosability of Stochastic Systems. Nathalie Bertrand, Serge Haddad, Engel Lefaucheux |
| 2016 | An Error Correcting Parser for Context Free Grammars that Takes Less Than Cubic Time. Sanguthevar Rajasekaran, Marius Nicolae |
| 2016 | Automata for Ontologies. Frank Wolter |
| 2016 | Between a Rock and a Hard Place - Uniform Parsing for Hyperedge Replacement DAG Grammars. Henrik Björklund, Frank Drewes, Petter Ericson |
| 2016 | Canonical Multi-target Toffoli Circuits. Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye |
| 2016 | Colored Nested Words. Rajeev Alur, Dana Fisman |
| 2016 | Compositional Bisimulation Minimization for Interval Markov Decision Processes. Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski |
| 2016 | Forkable Regular Expressions. Martin Sulzmann, Peter Thiemann |
| 2016 | Hankel Matrices for Weighted Visibly Pushdown Automata. Nadia Labai, Johann A. Makowsky |
| 2016 | Homomorphic Characterizations of Indexed Languages. Séverine Fratani, El Makki Voundy |
| 2016 | Inferring a Relax NG Schema from XML Documents. Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han |
| 2016 | Input-Driven Queue Automata with Internal Transductions. Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
| 2016 | Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings Adrian-Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe |
| 2016 | Linear Context-Free Tree Languages and Inverse Homomorphisms. Johannes Osterholzer, Toni Dietze, Luisa Herrmann |
| 2016 | Minimal Separating Sequences for All Pairs of States. Rick Smetsers, Joshua Moerman, David N. Jansen |
| 2016 | Noise Free Multi-armed Bandit Game. Atsuyoshi Nakamura, David P. Helmbold, Manfred K. Warmuth |
| 2016 | Non-Zero Sum Games for Reactive Synthesis. Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas |
| 2016 | Normal Form on Linear Tree-to-Word Transducers. Adrien Boiret |
| 2016 | Ogden's Lemma, Multiple Context-Free Grammars, and the Control Language Hierarchy. Makoto Kanazawa |
| 2016 | On Del-Robust Primitive Partial Words with One Hole. Ananda Chandra Nayak, Amit Kumar Srivastava |
| 2016 | On Limited Nondeterminism and ACC Circuit Lower Bounds. Holger Spakowski |
| 2016 | On XOR Lemma for Polynomial Threshold Weight and Length. Kazuyuki Amano |
| 2016 | On the Capacity of Capacitated Automata. Orna Kupferman, Sarai Sheinvald |
| 2016 | On the Levenshtein Automaton and the Size of the Neighbourhood of a Word. Hélène Touzet |
| 2016 | Optimal Bounds for Computing \alpha α -gapped Repeats. Maxime Crochemore, Roman Kolpakov, Gregory Kucherov |
| 2016 | Parallelogram Morphisms and Circular Codes. Alexandre Blondin Massé, Mélodie Lapointe, Hugo Tremblay |
| 2016 | Periodic Generalized Automata over the Reals. Klaus Meer, Ameen Naif |
| 2016 | Proof-Based Synthesis of Sorting Algorithms for Trees. Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
| 2016 | Properties of Regular DAG Languages. Johannes Blum, Frank Drewes |
| 2016 | Reachability in Resource-Bounded Reaction Systems. Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
| 2016 | Reasoning with Prototypes in the Description Logic Franz Baader, Andreas Ecke |
| 2016 | Restricted Turing Machines and Language Recognition. Giovanni Pighizzini |
| 2016 | Reversible Shrinking Two-Pushdown Automata. Holger Bock Axelsen, Markus Holzer, Martin Kutrib, Andreas Malcher |
| 2016 | Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages. Paul C. Bell, Shang Chen, Lisa M. Jackson |
| 2016 | Steganography Based on Pattern Languages. Sebastian Berndt, Rüdiger Reischuk |
| 2016 | Tangles and Connectivity in Graphs. Martin Grohe |
| 2016 | The Beachcombers' Problem: Walking and Searching from an Inner Point of a Line. Yu Chen, Xiaotie Deng, Ziwei Ji, Chao Liao |
| 2016 | The Complexity of Induced Tree Reconfiguration Problems. Kunihiro Wasa, Katsuhisa Yamanaka, Hiroki Arimura |
| 2016 | The Minimum Entropy Submodular Set Cover Problem. Gabriel Istrate, Cosmin Bonchis, Liviu P. Dinu |
| 2016 | The Missing Case in Chomsky-Schützenberger Theorem. Stefano Crespi-Reghizzi, Pierluigi San Pietro |
| 2016 | The Word Problem for HNN-extensions of Free Inverse Semigroups. Tatiana Baginová Jajcayová |
| 2016 | Using Duality in Circuit Complexity. Silke Czarnetzki, Andreas Krebs |