| 2020 | A Calculus for Language Transformations. Benjamin Mourad, Matteo Cimini |
| 2020 | A Case Study on a Hybrid Approach to Assessing the Maturity of Requirements Engineering Practices in Agile Projects (REMMA). Miroslaw Ochodek, Sylwia Kopczynska, Jerzy R. Nawrocki |
| 2020 | A Characterization of the Context-Free Languages by Stateless Ordered Restart-Delete Automata. Friedrich Otto |
| 2020 | A Constructive Arboricity Approximation Scheme. Markus Blumenstock, Frank Fischer |
| 2020 | A Game of Cops and Robbers on Graphs with Periodic Edge-Connectivity. Thomas Erlebach, Jakob T. Spooner |
| 2020 | A Light-Weight Tool for the Self-assessment of Security Compliance in Software Development - An Industry Case. Fabiola Moyón Constante, Christoph Bayr, Daniel Méndez Fernández, Sebastian Dännart, Kristian Beckers |
| 2020 | A Novel Hybrid Genetic Algorithm for the Two-Stage Transportation Problem with Fixed Charges Associated to the Routes. Ovidiu Cosma, Petrica C. Pop, Cosmin Sabo |
| 2020 | Approximating Shortest Connected Graph Transformation for Trees. Nicolas Bousquet, Alice Joffard |
| 2020 | Approximating Weighted Completion Time for Order Scheduling with Setup Times. Alexander Mäcker, Friedhelm Meyer auf der Heide, Simon Pukrop |
| 2020 | Automatic Text Generation in Slovak Language. Dominik Vasko, Samuel Pecar, Marián Simko |
| 2020 | Bounds for the Number of Tests in Non-adaptive Randomized Algorithms for Group Testing. Nader H. Bshouty, George Haddad, Catherine A. Haddad-Zaknoon |
| 2020 | Burning Two Worlds. Shahin Kamali, Avery Miller, Kenny Zhang |
| 2020 | Certified Machine-Learning Models. Ernesto Damiani, Claudio A. Ardagna |
| 2020 | Computing Directed Steiner Path Covers for Directed Co-graphs (Extended Abstract). Frank Gurski, Stefan Hoffmann, Dominique Komander, Carolin Rehs, Jochen Rethmann, Egon Wanke |
| 2020 | Connecting Galaxies: Bridging the Gap Between Databases and Applications. Henrietta Dombrovskaya, Jeff Czaplewski, Boris Novikov |
| 2020 | Counting Infinitely by Oritatami Co-transcriptional Folding. Kohei Maruyama, Shinnosuke Seki |
| 2020 | Crowd Detection for Drone Safe Landing Through Fully-Convolutional Neural Networks. Giovanna Castellano, Ciro Castiello, Corrado Mencar, Gennaro Vessio |
| 2020 | Dense Subgraphs in Biological Networks. Mohammad Mehdi Hosseinzadeh |
| 2020 | Do People Use Naming Conventions in SQL Programming? Aggelos Papamichail, Apostolos V. Zarras, Panos Vassiliadis |
| 2020 | Does Live Regression Testing Help? Marek Bruchatý, Karol Rástocný |
| 2020 | Employing Costs in Multiagent Systems with Timed Migration and Timed Communication. Bogdan Aman, Gabriel Ciobanu |
| 2020 | Explaining Single Predictions: A Faster Method. Gabriel Ferrettini, Julien Aligon, Chantal Soulé-Dupuy |
| 2020 | Fast Indexes for Gapped Pattern Matching. Manuel Cáceres, Simon J. Puglisi, Bella Zhukova |
| 2020 | Faster STR-EC-LCS Computation. Kohei Yamada, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda |
| 2020 | GRaCe: A Relaxed Approach for Graph Query Caching. Francesco De Fino, Barbara Catania, Giovanna Guerrini |
| 2020 | Inferring Deterministic Regular Expression with Unorder. Xiaofan Wang, Haiming Chen |
| 2020 | Kernels of Sub-classes of Context-Free Languages. Martin Kutrib |
| 2020 | Linearizing Genomes: Exact Methods and Local Search. Tom Davot, Annie Chateau, Rodolphe Giroudeau, Mathias Weller |
| 2020 | Maintainability of Automatic Acceptance Tests for Web Applications - A Case Study Comparing Two Approaches to Organizing Code of Test Cases. Aleksander Sadaj, Miroslaw Ochodek, Sylwia Kopczynska, Jerzy R. Nawrocki |
| 2020 | Minimal Unique Substrings and Minimal Absent Words in a Sliding Window. Takuya Mieno, Yuki Kuhara, Tooru Akagi, Yuta Fujishige, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda |
| 2020 | Modelling of the Fake Posting Recognition in On-Line Media Using Machine Learning. Kristína Machová, Marián Mach, Gabriela Demková |
| 2020 | On Synchronizing Tree Automata and Their Work-Optimal Parallel Run, Usable for Parallel Tree Pattern Matching. Stepán Plachý, Jan Janousek |
| 2020 | On Synthesis of Specifications with Arithmetic. Rachel Faran, Orna Kupferman |
| 2020 | On the Average State Complexity of Partial Derivative Transducers. Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis |
| 2020 | On the Difference Between Finite-State and Pushdown Depth. Liam Jordon, Philippe Moser |
| 2020 | On the Hardness of Energy Minimisation for Crystal Structure Prediction. Duncan Adamson, Argyrios Deligkas, Vladimir V. Gusev, Igor Potapov |
| 2020 | Online Scheduling with Machine Cost and a Quadratic Objective Function. János Csirik, György Dósa, Dávid Kószó |
| 2020 | POI Recommendation Based on Locality-Specific Seasonality and Long-Term Trends. Elena Stefancova, Ivan Srba |
| 2020 | Parallel Duel-and-Sweep Algorithm for the Order-Preserving Pattern Matching. Davaajav Jargalsaikhan, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara |
| 2020 | Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems. Ronny Tredup |
| 2020 | Parameterized Dynamic Variants of Red-Blue Dominating Set. Faisal N. Abu-Khzam, Cristina Bazgan, Henning Fernau |
| 2020 | Practical Implementation of a Quantum Backtracking Algorithm. Simon Martiel, Maxime Remaud |
| 2020 | Recommending Trips in the Archipelago of Refactorings. Theofanis Vartziotis, Apostolos V. Zarras, Anastasios Tsimakis, Panos Vassiliadis |
| 2020 | Refined Parameterizations for Computing Colored Cuts in Edge-Colored Graphs. Nils Morawietz, Niels Grüttemeier, Christian Komusiewicz, Frank Sommer |
| 2020 | SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings Alexander Chatzigeorgiou, Riccardo Dondi, Herodotos Herodotou, Christos A. Kapoutsis, Yannis Manolopoulos, George A. Papadopoulos, Florian Sikora |
| 2020 | Scanning Phylogenetic Networks Is NP-hard. Vincent Berry, Céline Scornavacca, Mathias Weller |
| 2020 | Selection of a Green Logical Data Warehouse Schema by Anti-monotonicity Constraint. Issam Ghabri, Ladjel Bellatreche, Sadok Ben Yahia |
| 2020 | Sharing Energy for Optimal Edge Performance. Erol Gelenbe, Yunxiao Zhang |
| 2020 | Simple Distributed Spanners in Dense Congest Networks. Leonid Barenboim, Tzalik Maimon |
| 2020 | Simplified Emanation Graphs: A Sparse Plane Spanner with Steiner Points. Bardia Hamedmohseni, Zahed Rahmati, Debajyoti Mondal |
| 2020 | Simultaneous FPQ-Ordering and Hybrid Planarity Testing. Giuseppe Liotta, Ignaz Rutter, Alessandra Tappini |
| 2020 | String Representations of Java Objects: An Empirical Study. Matús Sulír |
| 2020 | The HyperBagGraph DataEdron: An Enriched Browsing Experience of Datasets. Xavier Ouvrard, Jean-Marie Le Goff, Stéphane Marchand-Maillet |
| 2020 | The Lost Recipes from the Four Schools of Amathus. Gunnar W. Klau |
| 2020 | The Maximum Equality-Free String Factorization Problem: Gaps vs. No Gaps. Radu Stefan Mincu, Alexandru Popa |
| 2020 | The Order Type of Scattered Context-Free Orderings of Rank One Is Computable. Kitti Gelle, Szabolcs Iván |
| 2020 | Towards the Named Entity Recognition Methods in Biomedical Field. Anna Sniegula, Aneta Poniszewska-Maranda, Lukasz Chomatek |
| 2020 | Two-Player Competitive Diffusion Game: Graph Classes and the Existence of a Nash Equilibrium. Naoka Fukuzono, Tesshu Hanaka, Hironori Kiya, Hirotaka Ono, Ryogo Yamaguchi |
| 2020 | Two-Step Memory Networks for Deep Semantic Parsing of Geometry Word Problems. Ishadi Jayasinghe, Surangika Ranathunga |
| 2020 | Up-to Techniques for Branching Bisimilarity. Rick Erkens, Jurriaan Rot, Bas Luttik |
| 2020 | Vietnamese Punctuation Prediction Using Deep Neural Networks. Thuy Pham, Nhu Nguyen, Quang Pham, Han Cao, Binh T. Nguyen |