| 2015 | A Nonuniform Circuit Class with Multilayer of Threshold Gates Having Super Quasi Polynomial Size Lower Bounds Against NEXP. | Kazuyuki Amano, Atsushi Saito |
| 2015 | Complexity of Regular Functions. | Eric Allender, Ian Mertz |
| 2014 | On the State Complexity of Semi-quantum Finite Automata. | Shenggen Zheng, Jozef Gruska, Daowen Qiu |
| 2014 | Probabilistic ω-Regular Expressions. | Thomas Weidner |
| 2014 | Complexity of a Problem Concerning Reset Words for Eulerian Binary Automata. | Vojtech Vorel |
| 2014 | Computing with Catalan Families. | Paul Tarau |
| 2014 | Interprocedural Information Flow Analysis of XML Processors. | Helmut Seidl, Mt Kovcs |
| 2014 | Weight-Reducing Hennie Machines and Their Descriptional Complexity. | Daniel Prusa |
| 2014 | Extended Two-Way Ordered Restarting Automata for Picture Languages. | Friedrich Otto, Frantisek Mrz |
| 2014 | Distinguishing Pattern Languages with Membership Examples. | Zeinab Mazadi, Ziyuan Gao, Sandra Zilles |
| 2014 | On the Arithmetics of Discrete Figures. | Alexandre Blondin Mass, Amadou Makhtar Tall, Hugo Tremblay |
| 2014 | Solving Equations on Words with Morphisms and Antimorphisms. | Alexandre Blondin Mass, Sbastien Gaboury, Sylvain Hall, Michal Larouche |
| 2014 | Expressiveness of Dynamic Networks of Timed Petri Nets. | Mara Martos-Salgado, Fernando Rosa-Velardo |
| 2014 | Probabilistic Simulation for Probabilistic Data-Aware Business Processes. | Haizhou Li, Franois Pinet, Farouk Toumani |
| 2014 | Learning Sequential Tree-to-Word Transducers. | Grgoire Laurence, Aurlien Lemay, Joachim Niehren, Slawek Staworko, Marc Tommasi |
| 2014 | DFA with a Bounded Activity Level. | Marius Konitzer, Hans Ulrich Simon |
| 2014 | Top-Down Tree Edit-Distance of Regular Tree Languages. | Sang-Ki Ko, Yo-Sub Han, Kai Salomaa |
| 2014 | Are Good-for-Games Automata Good for Probabilistic Model Checking? | Joachim Klein, David Mller, Christel Baier, Sascha Klppelholz |
| 2014 | Interval Temporal Logic Semantics of Box Algebra. | Hanna Klaudel, Maciej Koutny, Zhenhua Duan |
| 2014 | Matchings, Random Walks, and Sampling. | Sanjeev Khanna |
| 2014 | On Computability and Learnability of the Pumping Lemma Function. | Dariusz Kalocinski |
| 2014 | On the Parikh Membership Problem for FAs, PDAs, and CMs. | Oscar H. Ibarra, Bala Ravikumar |
| 2014 | Minimal Triangulation Algorithms for Perfect Phylogeny Problems. | Rob Gysel |
| 2014 | On SAT Representations of XOR Constraints. | Matthew Gwynne, Oliver Kullmann |
| 2014 | Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification. | Pierre Ganty, Ahmed Rezine |