| 2018 | AODVv2: Performance vs. Loop Freedom. Mojgan Kamali, Massimo Merro, Alice Dal Corso |
| 2018 | ARCID: A New Approach to Deal with Imbalanced Datasets Classification. Safa Abdellatif, Mohamed Ali Ben Hassine, Sadok Ben Yahia, Amel Bouzeghoub |
| 2018 | An Optimization Problem Related to Bloom Filters with Bit Patterns. Peter Damaschke, Alexander Schliep |
| 2018 | Automated Change Propagation from Source Code to Sequence Diagrams. Karol Rástocný, Andrej Mlyncár |
| 2018 | Automatic Decomposition of Java Open Source Pull Requests: A Replication Study. Victor da C. Luna Freire, João Brunet, Jorge C. A. de Figueiredo |
| 2018 | Combining Versioning and Metamodel Evolution in the ChronoSphere Model Repository. Martin Haeusler, Thomas Trojer, Johannes Kessler, Matthias Farwick, Emmanuel Nowakowski, Ruth Breu |
| 2018 | Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S. Michele Boreale |
| 2018 | Computational Complexity of Atomic Chemical Reaction Networks. David Doty, Shaopeng Zhu |
| 2018 | Conjugacy of One-Dimensional One-Sided Cellular Automata is Undecidable. Joonatan Jalonen, Jarkko Kari |
| 2018 | Deciding Universality of ptNFAs is PSpace-Complete. Tomás Masopust, Markus Krötzsch |
| 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 | Duel and Sweep Algorithm for Order-Preserving Pattern Matching. Davaajav Jargalsaikhan, Diptarama, Yohei Ueki, Ryo Yoshinaka, Ayumi Shinohara |
| 2018 | Encoding Pictures with Maximal Codes of Pictures. Marcella Anselmo, Dora Giammarresi, Maria Madonia |
| 2018 | Exploring Graphs with Time Constraints by Unreliable Collections of Mobile Robots. Jurek Czyzowicz, Maxime Godon, Evangelos Kranakis, Arnaud Labourel, Euripides Markou |
| 2018 | External Memory Algorithms for Finding Disjoint Paths in Undirected Graphs. Maxim A. Babenko, Ignat I. Kolesnichenko |
| 2018 | Fake Review Detection via Exploitation of Spam Indicators and Reviewer Behavior Characteristics. Ioannis Dematis, Eirini D. Karapistoli, Athena Vakali |
| 2018 | Formal Verification and Safety Assessment of a Hemodialysis Machine. Shahid Khan, Osman Hasan, Atif Mashkoor |
| 2018 | Global vs. Local Semantics of BPMN 2.0 OR-Join. Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2018 | House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment. Ana Paula Tomás |
| 2018 | Influence of Body Postures on Touch-Based Biometric User Authentication. Kamil Burda, Daniela Chudá |
| 2018 | Inversions from Sorting with Distance-Based Errors. Barbara Geissmann, Paolo Penna |
| 2018 | LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). Harald Beck, Minh Dao-Tran, Thomas Eiter |
| 2018 | Local Structure Theorems for Erdős-Rényi Graphs and Their Algorithmic Applications. Jan Dreier, Philipp Kuinke, Ba Le Xuan, Peter Rossmanith |
| 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 | Managing Reduction in Multidimensional Databases. Franck Ravat, Jiefu Song, Olivier Teste |
| 2018 | Michiko: Poem Models used in Automated Haiku Poetry Generation. Miroslava Hresková, Kristína Machová |
| 2018 | Mining Spatial Gradual Patterns: Application to Measurement of Potentially Avoidable Hospitalizations. Tu Ngo, Vera Georgescu, Anne Laurent, Thérèse Libourel, Grégoire Mercier |
| 2018 | Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony |
| 2018 | Multivendor Deployment Integration for Future Mobile Networks. Manuel Perez Martinez, Tímea László, Norbert Pataki, Csaba Rotter, Csaba Szalai |
| 2018 | Network Analysis of the Science of Science: A Case Study in SOFSEM Conference. Antonia Gogoglou, Theodora Tsikrika, Yannis Manolopoulos |
| 2018 | New Variants of Pattern Matching with Constants and Variables. Yuki Igarashi, Diptarama, Ryo Yoshinaka, Ayumi Shinohara |
| 2018 | Nivat's Conjecture Holds for Sums of Two Periodic Configurations. Michal Szabados |
| 2018 | On Architecture Specification. Manfred Broy |
| 2018 | On Range and Edge Capacity in the Congested Clique. Tomasz Jurdzinski, Krzysztof Nowicki |
| 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 | Runtime Distributions and Criteria for Restarts. Jan-Hendrik Lorenz |
| 2018 | SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jirí Wiedermann |
| 2018 | Self-managing Internet of Things. Danny Weyns, Gowri Sankar Ramachandran, Ritesh Kumar Singh |
| 2018 | Simple Paths and Cycles Avoiding Forbidden Paths. Benjamin Momège |
| 2018 | Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System. Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger |
| 2018 | Target Set Selection Parameterized by Clique-Width and Maximum Threshold. Tim A. Hartmann |
| 2018 | The Parameterized Complexity of Centrality Improvement in Networks. Clemens Hoffmann, Hendrik Molter, Manuel Sorge |
| 2018 | The State of the Art in Dynamic Graph Algorithms. Monika Henzinger |
| 2018 | The k-Server Problem with Advice in d Dimensions and on the Sphere. Elisabet Burjons, Dennis Komm, Marcel Schöngens |
| 2018 | Theoretical Aspects of Symbolic Automata. Hellis Tamm, Margus Veanes |
| 2018 | Transformation of OWL2 Property Axioms to Groovy. Bogumila Hnatkowska, Pawel Woroniecki |
| 2018 | UML2PROV: Automating Provenance Capture in Software Engineering. Carlos Sáenz-Adán, Beatriz Pérez, Trung Dong Huynh, Luc Moreau |
| 2018 | Validating Data from Semantic Web Providers. Jacques Chabin, Mírian Halfeld Ferrari, Béatrice Markhoff, Thanh Binh Nguyen |