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
1997Mobility Management in CORBA: A Generic Implementation of the LifeCycle Service.Yvan Peter
1997DESAM - Annotated Corpus for Czech.Karel Pala, Pavel Rychl, Pavel Smrz
1997The Computational Power of Continuous Time Neural Networks.Pekka Orponen
1997On Integration of Relational and Object-Oriented Database Systems.Maria E. Orlowska, Hui Li, Chengfei Liu
1997Kahn's Fixed-Point Characterization for Linear Dynamic Networks.Shan-Hwei Nienhuys-Cheng, Arie de Bruin
1997Solving and Approximating Combinatorial Optimization Problems (Towards MAX CUT and TSP).Jaroslav Nesetril, Daniel Turzk
1997Automatic Generation of Parallelizing Compilers for Object-Oriented Programming Languages from Denotational Semantics Specifications.Prakash K. Muthukrishnan, Barrett R. Bryant
1997Monotonic Rewriting Automata with a Restart Operation.Frantisek Mrz, Martin Pltek, Petr Jancar, Jrg Vogel
1997Optmial Encodings.Massimo Marchiori
1997The Fundamental Problem of Database Design.Johann A. Makowsky, Elena V. Ravve
1997Efficient Strong Sequentiality Using Replacement Restrictions.Salvador Lucas
1997On the Distributed Realization of Parallel Algorithms.Klaus-Jrn Lange
1997The Whole Picture to Software Process Improvement.Annie Kuntzmann-Combelles
1997On Finite Representations of Infinite-State Behaviours.Antonn Kucera
1997Requirements Specification Iteratively Combined with Reverse.Petr Kroha, M. Strau
1997Algorithms for Triangulated Terrains.Marc J. van Kreveld
1997Time Optimal Self-Stabilizing Algorithms.Rastislav Kralovic
1997Optimal Trees for Searching in Codebook.Ivan Kopecek
1997PRAM Lower Bound for Element Distinctness Revisited.Petr Kolman
1997Parallel Processing on Alphas Under MATLAB 5.Jiri Kadlec
1997The Output-Store Formal Translator Directed by LR Parsing.Jan Janousek, Borivoj Melichar
1997Configuration-Based Programming Systems.Valrie Issarny
1997Zero-Overhead Exeption Handling Using Metaprogramming.Markus Hof, Hanspeter Mssenbck, Peter Pirkelbauer
1997On f-Sparse Sets in NP - P.Vladimr Glasnk
1997High Availability Support in CORBA Environments.Pablo Galdmez, Francesc D. Muoz-Esco, Jos M. Bernabu-Aubn
1,3261,350 of 1,439← PreviousNext →