Vol-2568
urn:nbn:de:0074-2568-8

Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

SOFSEM-SRF 2020
SOFSEM 2020 Doctoral Student Research Forum

Proceedings of the SOFSEM 2020 Doctoral Student Research Forum
co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020)

Limassol, Cyprus, January 20-24, 2020.

Edited by

Yannis Manolopoulos *
George Α. Papadopoulos
Theodoros Tzouramanis *

* Open University of Cyprus, Faculty of Pure and Applied Sciences, Cyprus
** University of Cyprus , Department of Computer Science, Cyprus
*** University of Thessaly, Department of Computer Science and Biomedical Informatics, Greece

Table of Contents

Preface

Foundations of Computer Science

AOBA: An Online Benchmark Tool for Algorithms in Stringology 1-12
Ryu Wakimoto, Satoshi Kobayashi, Yuki Igarashi, Davaajav Jargalsaikhan, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara
Bit-Layers Text Encoding for Efficient Text Processing 13-24
Domenico Cantone, Simone Faro, Stefano Scafiti
Exploration of MSC Trees Using Genetic Algorithms 25-36
Jakub Řada, Tomáš Musil, Vít Fábera
Fast-Insertion-Sort: a New Family of Efficient Variants of the Insertion-Sort Algorithm 37-48
Simone Faro, Francesco Pio Marino, Stefano Scafiti
Grammars and a Random Generator for Deterministic Chain Regular Expressions 49-60
Xinyu Chu, Ping Lu, Haiming Chen

Foundations of Software Engineering

Early Prediction of Test Case Verdict with Word Embeddings vs. Bag-of-Words 61-72
Khaled Al-Sabbagh, Miroslaw Staron, Wilhelm Meding, Miroslaw Ochodek
Hybrid Analysis of BPEL Models with Grammars 73-84
Erwin de Jager, Stijn de Gouw
PointNet with Spin Images 85-96
Jakub Střelský

Foundations of Data Science and Engineering

An Extension of Linear-size Suffix Tries for Parameterized Strings 97-108
Katsuhito Nakashima, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara
Data-Driven Powertrain Component Aging Prediction Using In-Vehicle Signals 109-119
Andreas Sass, Enes Esatbeyoglu, Till Iwwerks

Foundations of Algorithmic Computational Biology

A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework 121-132
Jakob Lykke Andersen, Marc Hellmuth, Daniel Merkle, Nikolai Nøjgaard, Marco Peressotti

2020-02-02: submitted by Theodoros Tzouramanis, metadata incl. bibliographic data published under Creative Commons CC0
2020-03-05: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|