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
2015Balancing Energy Consumption for the Establishment of Multi-interface Networks.Alessandro Aloisio, Alfredo Navarra
2015Performance Analysis Patterns for Requirements Analysis.Azadeh Alebrahim
2015Advantages of Ultrametric Counter Automata.Valdis Adamsons, Karlis Jerins, Rihards Krislauks, Marta Lapina, Andris Pakulis, Rusins Freivalds
2014Oracle Pushdown Automata, Nondeterministic Reducibilities, and the Hierarchy over the Family of Context-Free Languages.Tomoyuki Yamakami
2014Shortest Unique Substrings Queries in Optimal Time.Kazuya Tsuruta, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
2014Mastering Erosion of Software Architecture in Automotive Software Product Lines.Arthur Strasser, Benjamin Cool, Christoph Gernert, Christoph Knieke, Marco Krner, Dirk Niebuhr, Henrik Peters, Andreas Rausch, Oliver Brox, Stefanie Jauns-Seyfried, Hanno Jelden, Stefan Klie, Michael Krmer
2014A New Plane-Sweep Algorithm for the K-Closest-Pairs Query.George Roumelis, Michael Vassilakopoulos, Antonio Corral, Yannis Manolopoulos
2014Integrating UML Composite Structures and fUML.Alessandro Gerlinger Romero, Klaus Schneider, Maurcio Gonalves Vieira Ferreira
2014Security Constraints in Modeling of Access Control Rules for Dynamic Information Systems.Aneta Poniszewska-Maranda
2014Recommending for Disloyal Customers with Low Consumption Rate.Ladislav Peska, Peter Vojts
2014Unary NFAs with Limited Nondeterminism.Alexandros Palioudakis, Kai Salomaa, Selim G. Akl
2014Agile Requirements Engineering: A Research Perspective.Jerzy R. Nawrocki, Miroslaw Ochodek, Jakub Jurkiewicz, Sylwia Kopczynska, Bartosz Alchimowicz
2014Ordered Restarting Automata for Picture Languages.Frantisek Mrz, Friedrich Otto
2014Matching of Images of Non-planar Objects with View Synthesis.Dmytro Mishkin, Jiri Matas
2014Parameterized Prefix Distance between Regular Languages.Martin Kutrib, Katja Meckel, Matthias Wendlandt
2014An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents.Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
2014Probabilistic Admissible Encoding on Elliptic Curves - Towards PACE with Generalized Integrated Mapping.Lukasz Krzywiecki, Przemyslaw Kubiak, Miroslaw Kutylowski
2014Comparison of Genetic Algorithms for Trading Strategies.Petr Kroha, Matthias Friedrich
2014Advice Complexity: Quantitative Approach to A-Priori Information - (Extended Abstract).Rastislav Krlovic
2014Deterministic Verification of Integer Matrix Multiplication in Quadratic Time.Ivan Korec, Jir Wiedermann
2014Bounded Occurrence Edit Distance: A New Metric for String Similarity Joins with Edit Distance Constraints.Tomoki Komatsu, Ryosuke Okuta, Kazuyuki Narisawa, Ayumi Shinohara
2014DSL Based Platform for Business Process Management.Audris Kalnins, Lelde Lace, Elina Kalnina, Agris Sostaks
2014A Stronger Square Conjecture on Binary Words.Natasa Jonoska, Florin Manea, Shinnosuke Seki
2014A New Asymptotic Approximation Algorithm for 3-Dimensional Strip Packing.Klaus Jansen, Lars Prdel
2014Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems.David Janin
526550 of 1,439← PreviousNext →