| 2012 | A Faster Grammar-Based Self-index. Travis Gagie, Pawel Gawrychowski, Juha Kärkkäinen, Yakov Nekrich, Simon J. Puglisi |
| 2012 | A Parameterized Complexity Tutorial. Rod Downey |
| 2012 | Advice Complexity of Online Coloring for Paths. Michal Forisek, Lucia Keller, Monika Steinová |
| 2012 | An Efficient Implicit OBDD-Based Algorithm for Maximal Matchings. Beate Bollig, Tobias Pröger |
| 2012 | Applying Tree Languages in Proof Theory. Stefan Hetzl |
| 2012 | Approximate Regular Expressions and Their Derivatives. Jean-Marc Champarnaud, Hadrien Jeanne, Ludovic Mignot |
| 2012 | Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory. Gilles Dowek |
| 2012 | Automata-Based Symbolic Representations of Polyhedra. Bernard Boigelot, Julien Brusten, Jean-François Degbomont |
| 2012 | Automaton Ranks of Some Self-similar Groups. Adam Woryna |
| 2012 | Automaton-Based Array Initialization Analysis. Durica Nikolic, Fausto Spoto |
| 2012 | Canonizable Partial Order Generators. Mateus de Oliveira Oliveira |
| 2012 | Catalytic Petri Nets Are Turing Complete. Gabriel Ciobanu, G. Michele Pinna |
| 2012 | Cayley Graph Automatic Groups Are Not Necessarily Cayley Graph Biautomatic. Alexei Miasnikov, Zoran Sunic |
| 2012 | Characterizing the Rational Functions by Restarting Transducers. Norbert Hundeshagen, Friedrich Otto |
| 2012 | Computational Complexity of Rule Distributions of Non-uniform Cellular Automata. Alberto Dennunzio, Enrico Formenti, Julien Provillard |
| 2012 | Computing by Observing Insertion. Alexander Krassovitskiy, Peter Leupold |
| 2012 | Conservative Groupoids Recognize Only Regular Languages. Danny Dubé, Mario Latendresse, Pascal Tesson |
| 2012 | Covering Space in the Besicovitch Topology. Julien Cervelle |
| 2012 | Defining Contexts in Context-Free Grammars. Mikhail Barash, Alexander Okhotin |
| 2012 | Dynamics of Circuits and Intersecting Circuits. Mathilde Noual |
| 2012 | Fast and Cache-Oblivious Dynamic Programming with Local Dependencies. Philip Bille, Morten Stöckel |
| 2012 | Feasible Automata for Two-Variable Logic with Successor on Data Words. Ahmet Kara, Thomas Schwentick, Tony Tan |
| 2012 | Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems. Daniela Genova |
| 2012 | Integration of the Dual Approaches in the Distributional Learning of Context-Free Grammars. Ryo Yoshinaka |
| 2012 | Isomorphism Testing of Boolean Functions Computable by Constant-Depth Circuits. Vikraman Arvind, Yadu Vasudev |
| 2012 | Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings Adrian-Horia Dediu, Carlos Martín-Vide |
| 2012 | Learnability of Co-r.e. Classes. Ziyuan Gao, Frank Stephan |
| 2012 | Longest Common Extensions via Fingerprinting. Philip Bille, Inge Li Gørtz, Jesper Kristensen |
| 2012 | Measuring Information in Timed Languages. Eugene Asarin |
| 2012 | Nash Equilibria in Concurrent Priced Games. Miroslav Klimos, Kim G. Larsen, Filip Stefanak, Jeppe Thaarup |
| 2012 | Ogden's Lemma for ET0L Languages. Max Rabkin |
| 2012 | On Model Checking for Visibly Pushdown Automata. Nguyen Van Tang, Hitoshi Ohsaki |
| 2012 | On Stable and Unstable Limit Sets of Finite Families of Cellular Automata. Ville Salo, Ilkka Törmä |
| 2012 | On the Parameterized Complexity of Default Logic and Autoepistemic Logic. Arne Meier, Johannes Schmidt, Michael Thomas, Heribert Vollmer |
| 2012 | One-Way Reversible and Quantum Finite Automata with Advice. Tomoyuki Yamakami |
| 2012 | P-NP Threshold for Synchronizing Road Coloring. Adam Roman |
| 2012 | Patterns with Bounded Treewidth. Daniel Reidenbach, Markus L. Schmid |
| 2012 | Polynomial-Time Algorithms for Learning Typed Pattern Languages. Michael Geilke, Sandra Zilles |
| 2012 | Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space. Holger Bock Axelsen |
| 2012 | Strong Termination for Gap-Order Constraint Abstractions of Counter Systems. Laura Bozzelli |
| 2012 | The Computer Science of DNA Nanotechnology. Jack H. Lutz |
| 2012 | The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints. Dag Hovland |
| 2012 | The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
| 2012 | Two-Way Automata Making Choices Only at the Endmarkers. Viliam Geffert, Bruno Guillon, Giovanni Pighizzini |
| 2012 | Unification Modulo Chaining. Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch |
| 2012 | Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines. Oscar H. Ibarra, Nicholas Q. Trân |
| 2012 | k-Automatic Sets of Rational Numbers. Eric Rowland, Jeffrey O. Shallit |