| 2016 | Using Semidirect Product of (Semi)groups in Public Key Cryptography. | Delaram Kahrobaei, Vladimir Shpilrain |
| 2016 | Computability in Symbolic Dynamics. | Emmanuel Jeandel |
| 2016 | Finitely Generated Semiautomatic Groups. | Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan |
| 2016 | The Typical Constructible Object. | Mathieu Hoyrup |
| 2016 | Semantic Security and Key-Privacy with Random Split of St-Gen Codes. | Danilo Gligoroski, Simona Samardjiska |
| 2016 | Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic. | Christian Glaer, Peter Jonsson, Barnaby Martin |
| 2016 | A Computational Approach to the Borwein-Ditor Theorem. | Aleksander Galicki, Andr Nies |
| 2016 | A Candidate for the Generalised Real Line. | Lorenzo Galeotti |
| 2016 | Recent Advances in Non-perfect Secret Sharing Schemes. | Oriol Farrs |
| 2016 | Parameterized Complexity and Approximation Issues for the Colorful Components Problems. | Riccardo Dondi, Florian Sikora |
| 2016 | Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra. | Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov |
| 2016 | Squeezing Feasibility. | Walter Dean |
| 2016 | Program Size Complexity of Correction Grammars in the Ershov Hierarchy. | John Case, James S. Royer |
| 2016 | Secret Sharing Schemes with Algebraic Properties and Applications. | Ignacio Cascudo |
| 2016 | Lightface Π | Gemma Carotenuto, Andr Nies |
| 2016 | Generalized Effective Reducibility. | Merlin Carl |
| 2016 | Computability and Analysis, a Historical Approach. | Vasco Brattka |
| 2016 | The Brouwer Fixed Point Theorem Revisited. | Vasco Brattka, Stphane Le Roux, Joseph S. Miller, Arno Pauly |
| 2016 | Axiomatizing Analog Algorithms. | Olivier Bournez, Nachum Dershowitz, Pierre Nron |
| 2016 | Comparative Genomics on Artificial Life. | Priscila Biller, Carole Knibbe, Guillaume Beslon, Eric Tannier |
| 2016 | Reaction-Based Models of Biochemical Networks. | Daniela Besozzi |
| 2016 | Effective S-adic Symbolic Dynamical Systems. | Valrie Berth, Thomas Fernique, Mathieu Sablik |
| 2016 | The Domino Problem for Self-similar Structures. | Sebastin Barbieri, Mathieu Sablik |
| 2016 | Busy Beavers and Kolmogorov Complexity. | Mikhail Andreev |
| 2016 | Verifying Systems of Resource-Bounded Agents. | Natasha Alechina, Brian Logan |