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
2016Subsequence Automata with Default Transitions.Philip Bille, Inge Li Grtz, Frederik Rye Skjoldjensen
2016Online Minimum Spanning Tree with Advice - (Extended Abstract).Maria Paola Bianchi, Hans-Joachim Bckenhauer, Tatjana Brlisauer, Dennis Komm, Beatrice Palano
2016ABS: A High-Level Modeling Language for Cloud-Aware Programming.Nikolaos Bezirgiannis, Frank S. de Boer
2016A Natural Counting of Lambda Terms.Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
2016Using Attribute Grammars to Model Nested Workflows with Extra Constraints.Roman Bartk
2016On the Power of Laconic Advice in Communication Complexity.Kfir Barhum, Juraj Hromkovic
2016A Combinatorial Model of Two-Sided Search.Harout K. Aydinian, Ferdinando Cicalese, Christian Deppe, Vladimir S. Lebedev
2016L-Drawings of Directed Graphs.Patrizio Angelini, Giordano Da Lozzo, Marco Di Bartolomeo, Valentino Di Donato, Maurizio Patrignani, Vincenzo Roselli, Ioannis G. Tollis
2016Orthogonal Layout with Optimal Face Complexity.Muhammad Jawaherul Alam, Stephen G. Kobourov, Debajyoti Mondal
2016On Contact Graphs with Cubes and Proportional Boxes.Muhammad Jawaherul Alam, Michael Kaufmann, Stephen G. Kobourov
2016Robust Recoverable Path Using Backup Nodes.Marjan van den Akker, Hans L. Bodlaender, Thomas C. van Dijk, Han Hoogeveen, Erik van Ommeren
2015Java Loops Are Mainly Polynomial.Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert
2015What is Computation: An Epistemic Approach.Jir Wiedermann, Jan van Leeuwen
2015OntoSDM: An Approach to Improve Quality on Spatial Data Mining Algorithms.Carlos Roberto Valncio, Diogo Lemos Guimaraes, Geraldo F. D. Zafalon, Leandro Alves Neves, Angelo Cesar Colombini
2015Lower Bounds for Linear Decision Trees with Bounded Weights.Kei Uchizawa, Eiji Takimoto
2015Implementing the Aho-Corasick Automata for Phonetic Search.Ondrej Skora
2015Metric Pseudoentropy: Characterizations and Applications.Maciej Skorski
2015Indistinguishability and Unpredictability Hardcore Lemmas: New Proofs with Applications to Pseudoentropy.Maciej Skorski
2015An Improved Transformation between HILL and Metric Conditional Pseudoentropy.Maciej Skorski
2015True Random Number Generators Secure in a Changing Environment: Improved Security Bounds.Maciej Skorski
2015Online Bipartite Matching in Offline Time (Abstract).Piotr Sankowski
2015Recent Results in Scalable Multi-Party Computation.Jared Saia, Mahdi Zamani
2015Dominating an s-t-Cut in a Network.Ralf Rothenberger, Sascha Grau, Michael Rossberg
2015Discovering Motifs in Real-World Social Networks.Lotte B. Romijn, Breanndn Nuallin, Leen Torenvliet
2015Frequency Pushdown Automata.Ilmars Puzulis, Rusins Freivalds
451475 of 1,439← PreviousNext →