| 2018 | Influence of Body Postures on Touch-Based Biometric User Authentication. | Kamil Burda, Daniela Chud |
| 2018 | On Architecture Specification. | Manfred Broy |
| 2018 | Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S. | Michele Boreale |
| 2018 | Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System. | Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger |
| 2018 | LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). | Harald Beck, Minh Dao-Tran, Thomas Eiter |
| 2018 | External Memory Algorithms for Finding Disjoint Paths in Undirected Graphs. | Maxim A. Babenko, Ignat I. Kolesnichenko |
| 2018 | Encoding Pictures with Maximal Codes of Pictures. | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
| 2018 | Longest Common Prefixes with k-Mismatches and Applications. | Hayam Alamro, Lorraine A. K. Ayad, Panagiotis Charalampopoulos, Costas S. Iliopoulos, Solon P. Pissis |
| 2018 | Lower Bounds and Hierarchies for Quantum Memoryless Communication Protocols and Quantum Ordered Binary Decision Diagrams with Repeated Test. | Farid M. Ablayev, Andris Ambainis, Kamil Khadiev, Aliya Khadieva |
| 2018 | ARCID: A New Approach to Deal with Imbalanced Datasets Classification. | Safa Abdellatif, Mohamed Ali Ben Hassine, Sadok Ben Yahia, Amel Bouzeghoub |
| 2018 | The Parameterized Complexity of Centrality Improvement in Networks. | Clemens Hoffmann, Hendrik Molter, Manuel Sorge |
| 2017 | Completeness of Hoare Logic Relative to the Standard Model. | Zhaowei Xu, Wenhui Zhang, Yuefei Sui |
| 2017 | Decomposable Relaxation for Concurrent Data Structures. | Chao Wang, Yi Lv, Peng Wu |
| 2017 | Verifying Parametric Thread Creation. | Igor Walukiewicz |
| 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 | Characterising Malicious Software with High-Level Behavioural Patterns. | Jana St'astn, Martin Tomsek |
| 2017 | Model-Driven Development in Practice: From Requirements to Code. | Oscar Pastor |
| 2017 | AErlang at Work. | Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani |
| 2017 | Computing Longest Single-arm-gapped Palindromes in a String. | Shintaro Narisada, Diptarama, Kazuyuki Narisawa, Shunsuke Inenaga, Ayumi Shinohara |
| 2017 | Adjacent Vertices Can Be Hard to Find by Quantum Walks. | Nikolajs Nahimovs, Raqueline A. M. Santos |
| 2017 | Sufficient Conditions for a Connected Graph to Have a Hamiltonian Path. | Benjamin Momge |
| 2017 | The Approximability of Partial Vertex Covers in Trees. | Vahan Mkrtchyan, Ojas Parekh, Danny Segev, K. Subramani |
| 2017 | Network Constructors: A Model for Programmable Matter. | Othon Michail, Paul G. Spirakis |
| 2017 | Domain-Specific Languages: A Systematic Mapping Study. | Marjan Mernik |
| 2017 | On Featured Transition Systems. | Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans |