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
2013Utilizing Microblogs for Web Page Relevant Term Acquisition.Toms Uherck, Marin Simko, Mria Bielikov
2013Dynamic Voting Interface in Social Media: Does it Affect Individual Votes?Michail Tsikerdekis
2013Tempo Adaptation within Interactive Music Instruments in Mobile Phone.Marek Takc, Alena Kovrov
2013Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework.Ondrej Svb-Zamazal, Anne Schlicht, Heiner Stuckenschmidt, Vojtech Svtek
2013Searching Things in Large Sets of Images.Arnold W. M. Smeulders
2013An Ontology-Driven Fuzzy Workflow System.Vclav Slavcek
2013Engineering Algorithms for Large Data Sets.Peter Sanders
2013Coalgebraic Bisimulation-Up-To.Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten
2013Mixed Hypergraphs for Linear-Time Construction of Denser Hashing-Based Data Structures.Michael Rink
2013Software Components in Computer Assisted Living?Frantisek Plsil, Toms Bures
2013Approximating the k-Splittable Capacitated Network Design Problem.Ehab Morsy
2013Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs.George B. Mertzios, Paul G. Spirakis
2013Incomplete Transition Complexity of Some Basic Operations.Eva Maia, Nelma Moreira, Rogrio Reis
2013Refinement Inference for Sequence Diagrams.Lunjin Lu, Dae-Kyoo Kim
2013Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information.Milan Lucansk, Marin Simko
2013Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages.Violetta Lonati, Dino Mandrioli, Matteo Pradella
2013SimCo - Hybrid Simulator for Testing of Component Based Applications.Richard Lipka, Tomas Potuzak, Premek Brada, Pavel Herout
2013Search in Source Code Based on Identifying Popular Fragments.Eduard Kuric, Mria Bielikov
2013The Orchestra of Multiple Model Repositories.Sergejs Kozlovics
2013A Model of the Commit Size Distribution of Open Source.Carsten Kolassa, Dirk Riehle, Michel A. Salim
2013Online and Quasi-online Colorings of Wedges and Intervals.Balzs Keszegh, Nathan Lemons, Dmtr Plvlgyi
2013Permuted Pattern Matching on Multi-track Strings.Takashi Katsura, Kazuyuki Narisawa, Ayumi Shinohara, Hideo Bannai, Shunsuke Inenaga
2013Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs.Mamadou Moustapha Kant, Lhouari Nourine
2013An Exact Algorithm to Check the Existence of (Elementary) Paths and a Generalisation of the Cut Problem in Graphs with Forbidden Transitions.Mamadou Moustapha Kant, Christian Laforest, Benjamin Momge
2013On Languages of One-Dimensional Overlapping Tiles.David Janin
576600 of 1,439← PreviousNext →