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
2014Finding Disjoint Paths in Split Graphs.Pinar Heggernes, Pim van 't Hof, Erik Jan van Leeuwen, Reza Saei
2014Attack against a Pairing Based Anonymous Authentication Protocol.Lucjan Hanzlik, Kamil Kluczniak
2014Bidimensionality of Geometric Intersection Graphs.Alexander Grigoriev, Athanassios Koutsonas, Dimitrios M. Thilikos
2014Deciding the Value 1 Problem for $\sharp$ -acyclic Partially Observable Markov Decision Processes.Hugo Gimbert, Youssouf Oualhadj
2014Efficient Error-Correcting Codes for Sliding Windows.Ran Gelles, Rafail Ostrovsky, Alan Roytman
2014Active Learning of Recursive Functions by Ultrametric Algorithms.Rusins Freivalds, Thomas Zeugmann
2014On Lower Bounds for the Time and the Bit Complexity of Some Probabilistic Distributed Graph Algorithms - (Extended Abstract).Allyx Fontaine, Yves Mtivier, John Michael Robson, Akka Zemmari
2014Graph Clustering with Surprise: Complexity and Exact Solutions.Tobias Fleck, Andrea Kappes, Dorothea Wagner
2014Safety Contracts for Timed Reactive Components in SysML.Iulia Dragomir, Iulian Ober, Christian Percebois
2014Exact Algorithms to Clique-Colour Graphs.Manfred Cochefert, Dieter Kratsch
2014Aspect-Driven Design of Information Systems.Karel Cemus, Toms Cern
2014Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach.Valeria de Castro, Martin A. Musicante, Umberto Souza da Costa, Plcido A. Souza Neto, Genoveva Vargas-Solar
2014Error-Pruning in Interface Automata.Ferenc Bujtor, Walter Vogler
2014Parameterized Complexity of the Sparsest k-Subgraph Problem in Chordal Graphs.Marin Bougeret, Nicolas Bousquet, Rodolphe Giroudeau, Rmi Watrigant
2014Towards Unlocking the Full Potential of Multileaf Collimators.Guillaume Blin, Paul Morel, Romeo Rizzi, Stphane Vialette
2014Open Services for Software Process Compliance Engineering.Mikls Bir
2014Platform Independent Software Development Monitoring: Design of an Architecture.Mria Bielikov, Ivan Polsek, Michal Barla, Eduard Kuric, Karol Rstocn, Jozef Tvarozek, Peter Lacko
2014ProofBook: An Online Social Network Based on Proof-of-Work and Friend-Propagation.Sebastian Biedermann, Nikolaos P. Karvelas, Stefan Katzenbeisser, Thorsten Strufe, Andreas Peter
2014Goal-Based Establishment of an Information Security Management System Compliant to ISO 27001.Kristian Beckers
2014On the Power of Advice and Randomization for the Disjoint Path Allocation Problem.Kfir Barhum, Hans-Joachim Bckenhauer, Michal Forisek, Heidi Gebauer, Juraj Hromkovic, Sacha Krug, Jasmin Smula, Bjrn Steffen
2014Tight Bounds for the Advice Complexity of the Online Minimum Steiner Tree Problem.Kfir Barhum
2014Minimum Activation Cost Node-Disjoint Paths in Graphs with Bounded Treewidth.Hasna Mohsen Alqahtani, Thomas Erlebach
2014Fitting Planar Graphs on Planar Maps.Md. Jawaherul Alam, Michael Kaufmann, Stephen G. Kobourov, Tamara Mchedlidze
2013Core Stability in Hedonic Coalition Formation.Gerhard J. Woeginger
2013State Coverage: An Empirical Analysis Based on a User Study.Dries Vanoverberghe, Emma Eyckmans, Frank Piessens
551575 of 1,439← PreviousNext →