| 2017 | A Graph-Theoretical Characterisation of State Separation. Eike Best, Raymond Devillers, Uli Schlachter |
| 2017 | A Hybrid Model for Linking Multiple Social Identities Across Heterogeneous Online Social Networks. Athanasios Kokkos, Theodoros Tzouramanis, Yannis Manolopoulos |
| 2017 | A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. Uli Fahrenberg, Axel Legay |
| 2017 | AErlang at Work. Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani |
| 2017 | Adjacent Vertices Can Be Hard to Find by Quantum Walks. Nikolajs Nahimovs, Raqueline A. M. Santos |
| 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 | Characterising Malicious Software with High-Level Behavioural Patterns. Jana St'astná, Martin Tomásek |
| 2017 | Completeness of Hoare Logic Relative to the Standard Model. Zhaowei Xu, Wenhui Zhang, Yuefei Sui |
| 2017 | Computing Longest Single-arm-gapped Palindromes in a String. Shintaro Narisada, Diptarama, Kazuyuki Narisawa, Shunsuke Inenaga, Ayumi Shinohara |
| 2017 | Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict. Eike Best, Nataliya S. Gribovskaya, Irina B. Virbitskaite |
| 2017 | Deciding Structural Liveness of Petri Nets. Petr Jancar |
| 2017 | Decomposable Relaxation for Concurrent Data Structures. Chao Wang, Yi Lv, Peng Wu |
| 2017 | Dependable and Optimal Cyber-Physical Systems. Kim Guldstrand Larsen |
| 2017 | Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs. Evangelos Kranakis, Danny Krizanc, Euripides Markou, Aris Pagourtzis, Felipe Ramírez |
| 2017 | Distributed Network Generation Based on Preferential Attachment in ABS. Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer |
| 2017 | Domain-Specific Languages: A Systematic Mapping Study. Marjan Mernik |
| 2017 | Eco-Data Warehouse Design Through Logical Variability. Selma Bouarar, Ladjel Bellatreche, Amine Roukh |
| 2017 | Edit-Distance Between Visibly Pushdown Languages. Yo-Sub Han, Sang-Ki Ko |
| 2017 | Enumerating Minimal Tropical Connected Sets. Dieter Kratsch, Mathieu Liedloff, Mohamed Yosri Sayadi |
| 2017 | Exact Quantum Query Complexity of \text EXACT_k, l^n. Andris Ambainis, Janis Iraids, Daniel Nagaj |
| 2017 | Finding Largest Common Substructures of Molecules in Quadratic Time. Andre Droschinsky, Nils M. Kriege, Petra Mutzel |
| 2017 | Hardness of Deriving Invertible Sequences from Finite State Machines. Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker |
| 2017 | How to Draw a Planarization. Thomas Bläsius, Marcel Radermacher, Ignaz Rutter |
| 2017 | Logical Characterisations and Compositionality of Input-Output Conformance Simulation. Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir |
| 2017 | Longest Common Subsequence in at Least k Length Order-Isomorphic Substrings. Yohei Ueki, Diptarama, Masatoshi Kurihara, Yoshiaki Matsuoka, Kazuyuki Narisawa, Ryo Yoshinaka, Hideo Bannai, Shunsuke Inenaga, Ayumi Shinohara |
| 2017 | Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints. Grzegorz Gutowski, Patryk Mikos |
| 2017 | Matrix Semigroup Freeness Problems in SL (2, \mathbb Z). Sang-Ki Ko, Igor Potapov |
| 2017 | Model-Driven Development in Practice: From Requirements to Code. Oscar Pastor |
| 2017 | Network Constructors: A Model for Programmable Matter. Othon Michail, Paul G. Spirakis |
| 2017 | On Featured Transition Systems. Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans |
| 2017 | Order-Preserving 1-String Representations of Planar Graphs. Therese Biedl, Martin Derka |
| 2017 | Parameterized and Exact Algorithms for Class Domination Coloring. R. Krithika, Ashutosh Rai, Saket Saurabh, Prafullkumar Tale |
| 2017 | SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria |
| 2017 | Selfish Transportation Games. Dimitris Fotakis, Laurent Gourvès, Jérôme Monnot |
| 2017 | Software System Migration to Cloud-Native Architectures for SME-Sized Software Vendors. Frank Fowley, Divyaa Manimaran Elango, Hany Magar, Claus Pahl |
| 2017 | Sufficient Conditions for a Connected Graph to Have a Hamiltonian Path. Benjamin Momège |
| 2017 | Symbolic Semantics for Multiparty Interactions in the Link-Calculus. Linda Brodo, Carlos Olarte |
| 2017 | The Approximability of Partial Vertex Covers in Trees. Vahan Mkrtchyan, Ojas Parekh, Danny Segev, K. Subramani |
| 2017 | Using n-grams for the Automated Clustering of Structural Models. Önder Babur, Loek Cleophas |
| 2017 | Verifying Parametric Thread Creation. Igor Walukiewicz |
| 2017 | Webpage Menu Detection Based on DOM. Julián Alarte, David Insa, Josep Silva |