| 2017 | Dependable and Optimal Cyber-Physical Systems. | Kim Guldstrand Larsen |
| 2017 | Parameterized and Exact Algorithms for Class Domination Coloring. | R. Krithika, Ashutosh Rai, Saket Saurabh, Prafullkumar Tale |
| 2017 | Enumerating Minimal Tropical Connected Sets. | Dieter Kratsch, Mathieu Liedloff, Mohamed Yosri Sayadi |
| 2017 | Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs. | Evangelos Kranakis, Danny Krizanc, Euripides Markou, Aris Pagourtzis, Felipe Ramrez |
| 2017 | Matrix Semigroup Freeness Problems in SL (2, \mathbb Z). | Sang-Ki Ko, Igor Potapov |
| 2017 | A Hybrid Model for Linking Multiple Social Identities Across Heterogeneous Online Social Networks. | Athanasios Kokkos, Theodoros Tzouramanis, Yannis Manolopoulos |
| 2017 | Deciding Structural Liveness of Petri Nets. | Petr Jancar |
| 2017 | Hardness of Deriving Invertible Sequences from Finite State Machines. | Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Trker |
| 2017 | Edit-Distance Between Visibly Pushdown Languages. | Yo-Sub Han, Sang-Ki Ko |
| 2017 | Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints. | Grzegorz Gutowski, Patryk Mikos |
| 2017 | Bamboo Garden Trimming Problem (Perpetual Maintenance of Machines with Different Attendance Urgency Factors). | Leszek Gasieniec, Ralf Klasing, Christos Levcopoulos, Andrzej Lingas, Jie Min, Tomasz Radzik |
| 2017 | Software System Migration to Cloud-Native Architectures for SME-Sized Software Vendors. | Frank Fowley, Divyaa Manimaran Elango, Hany Magar, Claus Pahl |
| 2017 | Selfish Transportation Games. | Dimitris Fotakis, Laurent Gourvs, Jrme Monnot |
| 2017 | A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. | Uli Fahrenberg, Axel Legay |
| 2017 | Finding Largest Common Substructures of Molecules in Quadratic Time. | Andre Droschinsky, Nils M. Kriege, Petra Mutzel |
| 2017 | Symbolic Semantics for Multiparty Interactions in the Link-Calculus. | Linda Brodo, Carlos Olarte |
| 2017 | Eco-Data Warehouse Design Through Logical Variability. | Selma Bouarar, Ladjel Bellatreche, Amine Roukh |
| 2017 | How to Draw a Planarization. | Thomas Blsius, Marcel Radermacher, Ignaz Rutter |
| 2017 | Order-Preserving 1-String Representations of Planar Graphs. | Therese Biedl, Martin Derka |
| 2017 | Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict. | Eike Best, Nataliya S. Gribovskaya, Irina B. Virbitskaite |
| 2017 | A Graph-Theoretical Characterisation of State Separation. | Eike Best, Raymond Devillers, Uli Schlachter |
| 2017 | Using n-grams for the Automated Clustering of Structural Models. | nder Babur, Loek Cleophas |
| 2017 | Distributed Network Generation Based on Preferential Attachment in ABS. | Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer |
| 2017 | Exact Quantum Query Complexity of \text EXACT_k, l^n. | Andris Ambainis, Janis Iraids, Daniel Nagaj |
| 2017 | Webpage Menu Detection Based on DOM. | Julin Alarte, David Insa, Josep Silva |