Current Trends in Theory and Practice of Computer Science

SOFSEM

CORE rank

CORE rank (raw)

Fields of research

Information and Computing Sciences (general)

Papers indexed

1,439

1995–2026

Papers per year

199592 peak2026

Most published authors

SOFSEM papers

1,439 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
1995	Distributed Algorithm for Finding a Core of a Tree Network.	Esther Jennings
1995	Database: Introduction to Problems.	Keith G. Jeffery
1995	What NARX Networks Can Compute.	Bill G. Horne, Hava T. Siegelmann, C. Lee Giles
1995	Parsing of Free-Word-Order Languages.	Toms Holan, Vladislav Kubon, Martin Pltek
1995	Fuzzy Logic From The Logical Point of View.	Petr Hjek
1995	Distributed Information Systems.	Jane Grimson
1995	Software Engineering Meets Human-Computer Interaction: Integrating User Interface Design in an Object-Oriented Methodology.	Hans-Werner Gellersen
1995	High-Level Languages for Parallel Scientific Computing.	Barbara M. Chapman, Piyush Mehrotra, Hans P. Zima
1995	A Modular History-Oriented Access Structure for Bitemporal Relational Databases.	Alessandro Cappelli, Cristina De Castro, Maria Rita Scalas
1995	Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution.	Peter Borovansk
1995	Why Use Evolving Algebras for Hardware and Software Engineering?	Egon Brger
1995	Formal Methods in Practice: A Comparison of Two Support Systems for Proof.	Juan Bicarregui, Brian Matthews
1995	Introducing SSADM4+ and PRINCE.	A. J. G. Betts
1995	Experience with Chorus.	Christian Bac, Guy Bernard, Denis Conan, Quang Hong Nguyen, Chantal Taconet

1,426–1,439 of 1,439← Previous Next →