| 2016 | Proof-Based Synthesis of Sorting Algorithms for Trees. | Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
| 2016 | Reachability in Resource-Bounded Reaction Systems. | Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
| 2016 | Using Duality in Circuit Complexity. | Silke Czarnetzki, Andreas Krebs |
| 2016 | Optimal Bounds for Computing \alpha α -gapped Repeats. | Maxime Crochemore, Roman Kolpakov, Gregory Kucherov |
| 2016 | The Missing Case in Chomsky-Schtzenberger Theorem. | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
| 2016 | The Beachcombers' Problem: Walking and Searching from an Inner Point of a Line. | Yu Chen, Xiaotie Deng, Ziwei Ji, Chao Liao |
| 2016 | Non-Zero Sum Games for Reactive Synthesis. | Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Prez, Mickael Randour, Jean-Franois Raskin, Ocan Sankur, Mathieu Sassolas |
| 2016 | Normal Form on Linear Tree-to-Word Transducers. | Adrien Boiret |
| 2016 | Properties of Regular DAG Languages. | Johannes Blum, Frank Drewes |
| 2016 | Between a Rock and a Hard Place - Uniform Parsing for Hyperedge Replacement DAG Grammars. | Henrik Bjrklund, Frank Drewes, Petter Ericson |
| 2016 | A Logical Characterization for Dense-Time Visibly Pushdown Automata. | Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi |
| 2016 | Accurate Approximate Diagnosability of Stochastic Systems. | Nathalie Bertrand, Serge Haddad, Engel Lefaucheux |
| 2016 | Steganography Based on Pattern Languages. | Sebastian Berndt, Rdiger Reischuk |
| 2016 | Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages. | Paul C. Bell, Shang Chen, Lisa M. Jackson |
| 2016 | +\omega + ω -Picture Languages Recognizable by Bchi-Tiling Systems. | Parvaneh Babari, Nicole Schweikardt |
| 2016 | Reasoning with Prototypes in the Description Logic | Franz Baader, Andreas Ecke |
| 2016 | Reversible Shrinking Two-Pushdown Automata. | Holger Bock Axelsen, Markus Holzer, Martin Kutrib, Andreas Malcher |
| 2016 | On XOR Lemma for Polynomial Threshold Weight and Length. | Kazuyuki Amano |
| 2016 | Colored Nested Words. | Rajeev Alur, Dana Fisman |
| 2015 | Hierarchy and Expansiveness in 2D Subshifts of Finite Type. | Charalampos Zinoviadis |
| 2015 | Learning Conjunctive Grammars and Contextual Binary Feature Grammars. | Ryo Yoshinaka |
| 2015 | Complexity of Road Coloring with Prescribed Reset Words. | Vojtech Vorel, Adam Roman |
| 2015 | Quotient of Acceptance Specifications Under Reachability Constraints. | Guillaume Verdier, Jean-Baptiste Raclet |
| 2015 | BFS-Based Symmetry Breaking Predicates for DFA Identification. | Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto |
| 2015 | Backward Linearised Tree Pattern Matching. | Jan Trvncek, Jan Janousek, Borivoj Melichar, Loek G. Cleophas |