Skip to content

Current Trends in Theory and Practice of Computer Science

SOFSEM

B

CORE rank

CORE rank (raw)

B

Fields of research

Information and Computing Sciences (general)

Papers indexed

1,439

1995–2026

Papers per year

199592 peak2026

SOFSEM papers

1,439 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2019Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems.Mahsa Varshosaz, Mohammad Reza Mousavi
2019From Big Data to Big Knowledge - Large-Scale Information Extraction Based on Statistical Methods (Invited Talk).Martin Theobald
2019Action Research in Software Engineering: Metrics' Research Perspective (Invited Talk).Miroslaw Staron
2019Bayesian Root Cause Analysis by Separable Likelihoods.Maciej Skorski
2019Algorithms and Complexity Results for the Capacitated Vertex Cover Problem.Sebastiaan B. van Rooij, Johan M. M. van Rooij
2019On the Size of Logical Automata.Martin Raszyk
2019Towards Combining Multitask and Multilingual Learning.Mats Pikuliak, Marin Simko, Mria Bielikov
2019Do Null-Type Mutation Operators Help Prevent Null-Type Faults?Ali Parsai, Serge Demeyer
2019Minimizing the Cost of Team Exploration.Dorota Osula
2019A 116/13-Approximation Algorithm for L(2, 1)-Labeling of Unit Disk Graphs.Hirotaka Ono, Hisato Yamanaka
2019Lackadaisical Quantum Walks with Multiple Marked Vertices.Nikolajs Nahimovs
2019Two-Head Finite-State Acceptors with Translucent Letters.Benedek Nagy, Friedrich Otto
2019On the Complexity of Color-Avoiding Site and Bond Percolation.Roland Molontay, Kitti Varga
2019Robustness Radius for Chamberlin-Courant on Restricted Domains.Neeldhara Misra, Chinmay Sonar
2019An Efficient Algorithm for Combining Verification and Validation Methods.Isela Mendoza, Uverton S. Souza, Marcos Kalinowski, Ruben Interian, Leonardo Gresta Paulino Murta
2019On the Expressive Power of GF(2)-Grammars.Vladislav Makarov, Alexander Okhotin
2019Towards Automatic Comparison of Cloud Service Security Certifications.Martin Labaj, Karol Rstocn, Daniela Chud
2019Multi-stranded String Assembling Systems.Martin Kutrib, Matthias Wendlandt
2019Enumerating Connected Induced Subgraphs: Improved Delay and Experimental Comparison.Christian Komusiewicz, Frank Sommer
2019On Point Set Embeddings for k-Planar Graphs with Few Bends per Edge.Michael Kaufmann
2019Minicomplexity - Some Motivation, Some History, and Some Structure (Invited Talk Extended Abstract).Christos A. Kapoutsis
2019Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption.Lane A. Hemaspaandra, David E. Narvez
2019Forbidden Directed Minors, Directed Path-Width and Directed Tree-Width of Tree-Like Digraphs.Frank Gurski, Carolin Rehs
2019On the Complexity of Optimal Matching Reconfiguration.Manoj Gupta, Hitesh Kumar, Neeldhara Misra
2019Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints.Chong Gao, Taolue Chen, Zhilin Wu
276300 of 1,439← PreviousNext →