| 2020 | A Game of Cops and Robbers on Graphs with Periodic Edge-Connectivity. | Thomas Erlebach, Jakob T. Spooner |
| 2020 | Up-to Techniques for Branching Bisimilarity. | Rick Erkens, Jurriaan Rot, Bas Luttik |
| 2020 | Connecting Galaxies: Bridging the Gap Between Databases and Applications. | Henrietta Dombrovskaya, Jeff Czaplewski, Boris Novikov |
| 2020 | Linearizing Genomes: Exact Methods and Local Search. | Tom Davot, Annie Chateau, Rodolphe Giroudeau, Mathias Weller |
| 2020 | Certified Machine-Learning Models. | Ernesto Damiani, Claudio A. Ardagna |
| 2020 | Online Scheduling with Machine Cost and a Quadratic Objective Function. | Jnos Csirik, Gyrgy Dsa, Dvid Ksz |
| 2020 | A Novel Hybrid Genetic Algorithm for the Two-Stage Transportation Problem with Fixed Charges Associated to the Routes. | Ovidiu Cosma, Petrica C. Pop, Cosmin Sabo |
| 2020 | A Light-Weight Tool for the Self-assessment of Security Compliance in Software Development - An Industry Case. | Fabiola Moyn Constante, Christoph Bayr, Daniel Mndez Fernndez, Sebastian Dnnart, Kristian Beckers |
| 2020 | Grammars and a Random Generator for Deterministic Chain Regular Expressions. | Xinyu Chu, Ping Lu, Haiming Chen |
| 2020 | Crowd Detection for Drone Safe Landing Through Fully-Convolutional Neural Networks. | Giovanna Castellano, Ciro Castiello, Corrado Mencar, Gennaro Vessio |
| 2020 | Bit-Layers Text Encoding for Efficient Text Processing. | Domenico Cantone, Simone Faro, Stefano Scafiti |
| 2020 | Fast Indexes for Gapped Pattern Matching. | Manuel Cceres, Simon J. Puglisi, Bella Zhukova |
| 2020 | Bounds for the Number of Tests in Non-adaptive Randomized Algorithms for Group Testing. | Nader H. Bshouty, George Haddad, Catherine A. Haddad-Zaknoon |
| 2020 | Does Live Regression Testing Help? | Marek Bruchat, Karol Rstocn |
| 2020 | Approximating Shortest Connected Graph Transformation for Trees. | Nicolas Bousquet, Alice Joffard |
| 2020 | A Constructive Arboricity Approximation Scheme. | Markus Blumenstock, Frank Fischer |
| 2020 | Scanning Phylogenetic Networks Is NP-hard. | Vincent Berry, Cline Scornavacca, Mathias Weller |
| 2020 | Simple Distributed Spanners in Dense Congest Networks. | Leonid Barenboim, Tzalik Maimon |
| 2020 | A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework. | Jakob Lykke Andersen, Marc Hellmuth, Daniel Merkle, Nikolai Njgaard, Marco Peressotti |
| 2020 | Employing Costs in Multiagent Systems with Timed Migration and Timed Communication. | Bogdan Aman, Gabriel Ciobanu |
| 2020 | Early Prediction of Test Case Verdict with Word Embeddings vs. Bag-of-Words. | Khaled Walid Al-Sabbagh, Miroslaw Staron, Wilhelm Meding, Miroslaw Ochodek |
| 2020 | On the Hardness of Energy Minimisation for Crystal Structure Prediction. | Duncan Adamson, Argyrios Deligkas, Vladimir V. Gusev, Igor Potapov |
| 2020 | Parameterized Dynamic Variants of Red-Blue Dominating Set. | Faisal N. Abu-Khzam, Cristina Bazgan, Henning Fernau |
| 2019 | Behavioral Strengths and Weaknesses of Various Models of Limited Automata. | Tomoyuki Yamakami |
| 2019 | A Hierarchy of Polynomial Kernels. | Jouke Witteveen, Ralph Bottesch, Leen Torenvliet |