| 2018 | Formal Verification and Safety Assessment of a Hemodialysis Machine. | Shahid Khan, Osman Hasan, Atif Mashkoor |
| 2018 | AODVv2: Performance vs. Loop Freedom. | Mojgan Kamali, Massimo Merro, Alice Dal Corso |
| 2018 | Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. | Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony |
| 2018 | On Range and Edge Capacity in the Congested Clique. | Tomasz Jurdzinski, Krzysztof Nowicki |
| 2018 | Duel and Sweep Algorithm for Order-Preserving Pattern Matching. | Davaajav Jargalsaikhan, Diptarama, Yohei Ueki, Ryo Yoshinaka, Ayumi Shinohara |
| 2018 | Conjugacy of One-Dimensional One-Sided Cellular Automata is Undecidable. | Joonatan Jalonen, Jarkko Kari |
| 2018 | New Variants of Pattern Matching with Constants and Variables. | Yuki Igarashi, Diptarama, Ryo Yoshinaka, Ayumi Shinohara |
| 2018 | Michiko: Poem Models used in Automated Haiku Poetry Generation. | Miroslava Hreskov, Kristna Machov |
| 2018 | Transformation of OWL2 Property Axioms to Groovy. | Bogumila Hnatkowska, Pawel Woroniecki |
| 2018 | The State of the Art in Dynamic Graph Algorithms. | Monika Henzinger |
| 2018 | Target Set Selection Parameterized by Clique-Width and Maximum Threshold. | Tim A. Hartmann |
| 2018 | Combining Versioning and Metamodel Evolution in the ChronoSphere Model Repository. | Martin Haeusler, Thomas Trojer, Johannes Kessler, Matthias Farwick, Emmanuel Nowakowski, Ruth Breu |
| 2018 | Network Analysis of the Science of Science: A Case Study in SOFSEM Conference. | Antonia Gogoglou, Theodora Tsikrika, Yannis Manolopoulos |
| 2018 | Inversions from Sorting with Distance-Based Errors. | Barbara Geissmann, Paolo Penna |
| 2018 | Automatic Decomposition of Java Open Source Pull Requests: A Replication Study. | Victor da C. Luna Freire, Joo Brunet, Jorge C. A. de Figueiredo |
| 2018 | Local Structure Theorems for Erdős-Rnyi Graphs and Their Algorithmic Applications. | Jan Dreier, Philipp Kuinke, Ba Le Xuan, Peter Rossmanith |
| 2018 | Computational Complexity of Atomic Chemical Reaction Networks. | David Doty, Shaopeng Zhu |
| 2018 | Fake Review Detection via Exploitation of Spam Indicators and Reviewer Behavior Characteristics. | Ioannis Dematis, Eirini D. Karapistoli, Athena Vakali |
| 2018 | An Optimization Problem Related to Bloom Filters with Bit Patterns. | Peter Damaschke, Alexander Schliep |
| 2018 | Exploring Graphs with Time Constraints by Unreliable Collections of Mobile Robots. | Jurek Czyzowicz, Maxime Godon, Evangelos Kranakis, Arnaud Labourel, Euripides Markou |
| 2018 | Global vs. Local Semantics of BPMN 2.0 OR-Join. | Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2018 | Patrolling a Path Connecting a Set of Points with Unbalanced Frequencies of Visits. | Huda Chuangpishit, Jurek Czyzowicz, Leszek Gasieniec, Konstantinos Georgiou, Tomasz Jurdzinski, Evangelos Kranakis |
| 2018 | Diversity in UML Modeling Explained: Observations, Classifications and Theorizations. | Michel R. V. Chaudron, Ana Fernandes-Saez, Regina Hebig, Truong Ho-Quang, Rodi Jolak |
| 2018 | Validating Data from Semantic Web Providers. | Jacques Chabin, Mrian Halfeld Ferrari, Batrice Markhoff, Thanh Binh Nguyen |
| 2018 | The k-Server Problem with Advice in d Dimensions and on the Sphere. | Elisabet Burjons, Dennis Komm, Marcel Schngens |