| 2017 | Approximation Algorithms for the Maximum Carpool Matching Problem. | Gilad Kutiel |
| 2017 | The Transformation Monoid of a Partially Lossy Queue. | Chris Kcher, Dietrich Kuske |
| 2017 | Dynamic Stabbing Queries with Sub-logarithmic Local Updates for Overlapping Intervals. | Elena Khramtcova, Maarten Lffler |
| 2017 | Reordering Method and Hierarchies for Quantum and Classical Ordered Binary Decision Diagrams. | Kamil Khadiev, Aliya Khadieva |
| 2017 | Turing Degree Spectra of Minimal Subshifts. | Michael Hochman, Pascal Vanier |
| 2017 | Verification of Quantum Computation and the Price of Trust. | Alexandru Gheorghiu, Theodoros Kapourniotis, Elham Kashefi |
| 2017 | Unary Coded PSPACE-Complete Languages in ASPACE(loglog n). | Viliam Geffert |
| 2017 | Nondeterministic Unitary OBDDs. | Aida Gainutdinova, Abuzer Yakaryilmaz |
| 2017 | Green's Relations in Finite Transformation Semigroups. | Lukas Fleischer, Manfred Kufleitner |
| 2017 | Advances in Parameterized Verification of Population Protocols. | Javier Esparza |
| 2017 | Type Theory and Formalisation of Mathematics. | Thierry Coquand |
| 2017 | Parameterized Counting of Trees, Forests and Matroid Bases. | Cornelius Brand, Marc Roth |
| 2017 | Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets. | Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frdric Peschanski |
| 2017 | Generalized Dyck Shifts. | Marie-Pierre Bal, Pavel Heller |
| 2017 | Cascade Heap: Towards Time-Optimal Extractions. | Maxim A. Babenko, Ignat I. Kolesnichenko, Ivan Smirnov |
| 2017 | Palindromic Decompositions with Gaps and Errors. | Michal Adamczyk, Mai Alzamel, Panagiotis Charalampopoulos, Costas S. Iliopoulos, Jakub Radoszewski |
| 2016 | Fourier Sparsity of GF(2) Polynomials. | Hing Yin Tsang, Ning Xie, Shengyu Zhang |
| 2016 | Prediction of Infinite Words with Automata. | Tim Smith |
| 2016 | On Expressive Power of Regular Expressions over Infinite Orders. | Alexander Rabinovich |
| 2016 | Representations of Analytic Functions and Weihrauch Degrees. | Arno Pauly, Florian Steinberg |
| 2016 | Low-Rank Approximation of a Matrix: Novel Insights, New Progress, and Extensions. | Victor Y. Pan, Liang Zhao |
| 2016 | The Hardest Language for Conjunctive Grammars. | Alexander Okhotin |
| 2016 | Improved Approximation Algorithms for Min-Cost Connectivity Augmentation Problems. | Zeev Nutov |
| 2016 | Depth-4 Identity Testing and Noether's Normalization Lemma. | Partha Mukhopadhyay |
| 2016 | Subquadratic Algorithms for Succinct Stable Matching. | Daniel Moeller, Ramamohan Paturi, Stefan Schneider |