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
2020Minimal 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
2020Counting Infinitely by Oritatami Co-transcriptional Folding.Kohei Maruyama, Shinnosuke Seki
2020Practical Implementation of a Quantum Backtracking Algorithm.Simon Martiel, Maxime Remaud
2020Approximating Weighted Completion Time for Order Scheduling with Setup Times.Alexander Mcker, Friedhelm Meyer auf der Heide, Simon Pukrop
2020Modelling of the Fake Posting Recognition in On-Line Media Using Machine Learning.Kristna Machov, Marin Mach, Gabriela Demkov
2020Simultaneous FPQ-Ordering and Hybrid Planarity Testing.Giuseppe Liotta, Ignaz Rutter, Alessandra Tappini
2020Kernels of Sub-classes of Context-Free Languages.Martin Kutrib
2020On the Average State Complexity of Partial Derivative Transducers.Stavros Konstantinidis, Antnio Machiavelo, Nelma Moreira, Rogrio Reis
2020The Lost Recipes from the Four Schools of Amathus.Gunnar W. Klau
2020Burning Two Worlds.Shahin Kamali, Avery Miller, Kenny Zhang
2020On the Difference Between Finite-State and Pushdown Depth.Liam Jordon, Philippe Moser
2020Two-Step Memory Networks for Deep Semantic Parsing of Geometry Word Problems.Ishadi Jayasinghe, Surangika Ranathunga
2020Parallel Duel-and-Sweep Algorithm for the Order-Preserving Pattern Matching.Davaajav Jargalsaikhan, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara
2020Hybrid Analysis of BPEL Models with Grammars.Erwin de Jager, Stijn de Gouw
2020Dense Subgraphs in Biological Networks.Mohammad Mehdi Hosseinzadeh
2020Simplified Emanation Graphs: A Sparse Plane Spanner with Steiner Points.Bardia Hamedmohseni, Zahed Rahmati, Debajyoti Mondal
2020Computing Directed Steiner Path Covers for Directed Co-graphs (Extended Abstract).Frank Gurski, Stefan Hoffmann, Dominique Komander, Carolin Rehs, Jochen Rethmann, Egon Wanke
2020Selection of a Green Logical Data Warehouse Schema by Anti-monotonicity Constraint.Issam Ghabri, Ladjel Bellatreche, Sadok Ben Yahia
2020The Order Type of Scattered Context-Free Orderings of Rank One Is Computable.Kitti Gelle, Szabolcs Ivn
2020Sharing Energy for Optimal Edge Performance.Erol Gelenbe, Yunxiao Zhang
2020Two-Player Competitive Diffusion Game: Graph Classes and the Existence of a Nash Equilibrium.Naoka Fukuzono, Tesshu Hanaka, Hironori Kiya, Hirotaka Ono, Ryogo Yamaguchi
2020GRaCe: A Relaxed Approach for Graph Query Caching.Francesco De Fino, Barbara Catania, Giovanna Guerrini
2020Explaining Single Predictions: A Faster Method.Gabriel Ferrettini, Julien Aligon, Chantal Soul-Dupuy
2020Fast-Insertion-Sort: a New Family of Efficient Variants of the Insertion-Sort Algorithm.Simone Faro, Francesco Pio Marino, Stefano Scafiti
2020On Synthesis of Specifications with Arithmetic.Rachel Faran, Orna Kupferman
226250 of 1,439← PreviousNext →