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
1997Efficient Insertion of Approximately Sorted Seqeunces of Items into a Dictionary.Carlo Gaibisso, Guido Proietti
1997Computer Chess: Algorithms and Heuristics for a Deep Look into the Future.Rainer Feldmann
1997Theory and Practice in Internationally Rich Distributed Systems.David A. Duce
1997Object-Oriented DBMS and Beyond.Klaus R. Dittrich, Andreas Geppert
1997Query Processing in Temporal Evidential Databases.Bingning Dai, David A. Bell, John G. Hughes
1997The Mobile Agent Technology.Stefan Covaci, Thomas Magedanz
1997A First Approach to Temporal Predicate Locking for Concurrency Detection in Temporal Relational Databases Supporting Schema Versioning.Cristina De Castro
1997A Formal Software Engineering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi.Dines Bjrner
1997Lower Bounds for the Virtual Path Layout Problem in ATM Networks.Luca Becchetti, Carlo Gaibisso
1996A Transaction Model for Mobile and Active Database Systems.Olaf Zukunft
1996Genetic Algoriths-Based Creation of Fuzzy-Rule Bases for the Car Control.Jan Zizka, Zdenek Kratochvl
1996Recognizing Graph Products and Bundles.Janez Zerovnik
1996Choosing Reference Views for Image-Based Representation.Toms Werner, Vclav Hlavc, Ales Leonardis, Toms Pajdla
1996A Seven-Headed Dragon for Optimal Pattern Searching.Ivana Vovsov
1996Iterative Methods for Unsymmetric Linear Systems.Henk A. van der Vorst
1996Aunt's Problem: Table Rounding.Jir Sma
1996Data Mining and the KESO Project.Arno Siebes
1996Knowledge Discovery in Alarm Data Analysis.Jianhua Shao
1996A Light-Weight Formalism for the Specification of Reactive Systems.Peter Scholz
1996Efficient Tree Pattern Unification.Peter Ruzicka
1996On the Role of Orthogonality in the GMRES Method.Miroslav Rozloznk, Zdenek Strakos, Miroslav Tuma
1996Learning in Order to Reason: The Approach.Dan Roth
1996Business Case Processing - Rationale, Survey and Trends.Kenneth Robinson, Damian Mac Randal
1996Database Semantics in Heterogenous Environment.Jaroslav Pokorn
1996Probabilistic Approaches to Motion Planning.Mark H. Overmars, Petr Svestka
1,3511,375 of 1,439← PreviousNext →