| 2012 | On the Significance of the Collapse Operation. | Pawel Parys |
| 2012 | On the Complexity of Linear Authorization Logics. | Vivek Nigam |
| 2012 | Short Propositional Refutations for Dense Random 3CNF Formulas. | Sebastian Mller, Iddo Tzameret |
| 2012 | Decidable Elementary Modal Logics. | Jakub Michaliszyn, Jan Otop |
| 2012 | Game Semantics in String Diagrams. | Paul-Andr Mellis |
| 2012 | A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism. | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
| 2012 | An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus. | Damiano Mazza |
| 2012 | Turing's Password: What Internet Cannot Leak. | Leonid A. Levin |
| 2012 | Non-definability of Languages by Generalized First-order Formulas over (N, +). | Andreas Krebs, A. V. Sreejith |
| 2012 | Learning Probabilistic Systems from Tree Samples. | Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke |
| 2012 | Term Rewriting and Lambda Calculus. | Jan Willem Klop |
| 2012 | Two-Variable First-Order Logic with Equivalence Closure. | Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera |
| 2012 | Capsules and Separation. | Jean-Baptiste Jeannin, Dexter Kozen |
| 2012 | Decidability of DPDA Language Equivalence via First-Order Grammars. | Petr Jancar |
| 2012 | The Complexity of Verbal Languages over Groups. | Sanjay Jain, Alexei Miasnikov, Frank Stephan |
| 2012 | Extending Type Theory with Forcing. | Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau |
| 2012 | Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects. | Naohiko Hoshino |
| 2012 | Better Abstractions for Timed Automata. | Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2012 | A Constructive Proof of Dependent Choice, Compatible with Classical Logic. | Hugo Herbelin |
| 2012 | The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets. | Serge Haddad, Sylvain Schmitz, Philippe Schnoebelen |
| 2012 | Functionals Using Bounded Information and the Dynamics of Algorithms. | Serge Grigorieff, Pierre Valarcher |
| 2012 | Automatic Sequences and Zip-Specifications. | Clemens Grabmayer, Jrg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss |
| 2012 | The Complexity of Decomposing Modal and First-Order Theories. | Stefan Gller, Jean Christoph Jung, Markus Lohrey |
| 2012 | Countermodels from Sequent Calculi in Multi-Modal Logics. | Deepak Garg, Valerio Genovese, Sara Negri |
| 2012 | Delta-Decidability over the Reals. | Sicun Gao, Jeremy Avigad, Edmund M. Clarke |