| 2015 | Automated Program Verification. | Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski |
| 2015 | Insertion Operations on Deterministic Reversal-Bounded Counter Machines. | Joey Eremondi, Oscar H. Ibarra, Ian McQuillan |
| 2015 | Preimage Problems for Reaction Systems. | Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
| 2015 | A Parallel Algorithm for Finding All Minimal Maximum Subsequences via Random Walk. | H. K. Dai, Zhu Wang |
| 2015 | Bounding Clique-Width via Perfect Graphs. | Konrad Kazimierz Dabrowski, Shenwei Huang, Danil Paulusma |
| 2015 | Parameterized Enumeration for Modification Problems. | Nadia Creignou, Rada Ktari, Arne Meier, Julian-Steffen Mller, Frdric Olive, Heribert Vollmer |
| 2015 | Weak and Nested Class Memory Automata. | Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong |
| 2015 | Sorting Networks: The End Game. | Michael Codish, Lus Cruz-Filipe, Peter Schneider-Kamp |
| 2015 | Frequent Pattern Mining with Non-overlapping Inversions. | Da-Jung Cho, Yo-Sub Han, Hwee Kim |
| 2015 | Construction of a de Bruijn Graph for Assembly from a Truncated Suffix Tree. | Bastien Cazaux, Thierry Lecroq, Eric Rivals |
| 2015 | On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2015 | Logics for Unordered Trees with Data Constraints on Siblings. | Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen |
| 2015 | Towards More Precise Rewriting Approximations. | Yohan Boichut, Jacques Chabin, Pierre Rty |
| 2015 | Rational Selecting Relations and Selectors. | Luc Boasson, Olivier Carton |
| 2015 | An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring. | Johanna Bjrklund, Frank Drewes, Niklas Zechner |
| 2015 | Recurrence Relations, Succession Rules, and the Positivity Problem. | Stefano Bilotta, Elisa Pergola, Renzo Pinzani, Simone Rinaldi |
| 2015 | Compressed Data Structures for Range Searching. | Philip Bille, Inge Li Grtz, Sren Vind |
| 2015 | A Game Characterisation of Tree-like Q-resolution Size. | Olaf Beyersdorff, Leroy Chew, Karteek Sreenivasaiah |
| 2015 | Average-Case Optimal Approximate Circular String Matching. | Carl Barton, Costas S. Iliopoulos, Solon P. Pissis |
| 2015 | Recognizable Series on Hypergraphs. | Raphal Bailly, Franois Denis, Guillaume Rabusseau |
| 2015 | On the Number of Closed Factors in a Word. | Golnaz Badkobeh, Gabriele Fici, Zsuzsanna Liptk |
| 2015 | Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity. | Georg Bachmeier, Michael Luttenberger, Maximilian Schlund |
| 2015 | A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic. | Parvaneh Babari, Manfred Droste |
| 2015 | Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications. | Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli |
| 2015 | Structure and Measure of a Decidable Class of Two-dimensional Codes. | Marcella Anselmo, Dora Giammarresi, Maria Madonia |