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
2015On Visibly Pushdown Trace Languages.Friedrich Otto
2015Filling Logarithmic Gaps in Distributed Complexity for Global Problems.Hiroaki Ookawa, Taisuke Izumi
2015Towards a Characterization of Leaf Powers by Clique Arrangements.Ragnar Nevries, Christian Rosenke
2015Trustworthy Virtualization of the ARMv7 Memory Subsystem.Hamed Nemati, Roberto Guanciale, Mads Dam
2015Quantum Pushdown Automata with a Garbage Tape.Masaki Nakanishi
2015Optimal State Reductions of Automata with Partially Specified Behaviors.Nelma Moreira, Giovanni Pighizzini, Rogrio Reis
2015Back to the Future - Should SQL Surrender to SPARQL?Rainer Manthey
2015Nash-Williams-type and Chvtal-type Conditions in One-Conflict Graphs.Christian Laforest, Benjamin Momge
2015Superimposed Codes and Query Algorithms.Anete Lace, Muntis Rudzitis, Eriks Gopaks, Rusins Freivalds
2015A Uniform Programmning Language for Implementing XML Standards.Pavel Labath, Joachim Niehren
2015Conducting a Web Browsing Behaviour Study - An Educational Scenario.Martin Labaj, Mria Bielikov
2015Team Semantics and Recursive Enumerability.Antti Kuusisto
2015On the Hierarchy Classes of Finite Ultrametric Automata.Rihards Krislauks, Kaspars Balodis
2015Two Grammatical Equivalents of Flip-Pushdown Automata.Peter Kostolnyi
2015Pal k is Linear Recognizable Online.Dmitry Kosolobov, Mikhail Rubinchik, Arseny M. Shur
2015Software Developer Activity as a Source for Identifying Hidden Source Code Dependencies.Martin Konopka, Mria Bielikov
2015Position Heaps for Permuted Pattern Matching on Multi-Track String.Takashi Katsura, Yuhei Otomo, Kazuyuki Narisawa, Ayumi Shinohara
2015Efficient Online Strategies for Renting Servers in the Cloud.Shahin Kamali, Alejandro Lpez-Ortiz
2015Fixing Improper Colorings of Graphs.Konstanty Junosza-Szaniawski, Mathieu Liedloff, Pawel Rzazewski
2015Approximation Hardness of the Cross-Species Conserved Active Modules Detection Problem.Thomas Hume, Hayssam Soueidan, Macha Nikolski, Guillaume Blin
2015Maximally Permissive Controlled System Synthesis for Modal Logic.Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
2015Finding Highly Connected Subgraphs.Falk Hffner, Christian Komusiewicz, Manuel Sorge
2015Attribute-Based Encryption Optimized for Cloud Computing.Mt Horvth
2015Detecting Identical Entities in the Semantic Web Data.Michal Holub, Ondrej Proksa, Mria Bielikov
2015Function Based Requirements Engineering and Design -Towards Efficient and Transparent Plant Engineering.Florian Himmler
476500 of 1,439← PreviousNext →