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
2007A Short Introduction to Computational Social Choice.Yann Chevaleyre, Ulle Endriss, Jrme Lang, Nicolas Maudet
2007Separation of Concerns and Consistent Integration in Requirements Modelling.Xin Chen, Zhiming Liu, Vladimir Mencl
2007About the Termination Detection in the Asynchronous Message Passing Model.Jrmie Chalopin, Emmanuel Godard, Yves Mtivier, Gerard Tel
2007Toolkits for Agent Development by Undergraduates and Non-Programmers.Ondrej Burkert, Cyril Brom, Jakub Gemrot, Michal Bda, Samuel J. Partington, Joanna Bryson
2007Interaction and Realizability.Manfred Broy
2007Improved Upper Bounds forHajo Broersma, Bert Marchal, Danil Paulusma, A. N. M. Salman
2007Model-Checking Large Finite-State Systems and Beyond.Lubos Brim, Mojmr Kretnsk
2007Straightening Drawings of Clustered Hierarchical Graphs.Sergey Bereg, Markus Vlker, Alexander Wolff, Yuanyi Zhang
2007Parallel Process Functional Language.Marek Behalek, Petr Saloun
2007Building an Ontological Base for Experimental Evaluation of Semantic Web Applications.Peter Bartalos, Michal Barla, Gyrgy Frivolt, Michal Tvarozek, Anton Andrejko, Mria Bielikov, Pavol Nvrat
2007Graphs from Search Engine Queries.Ricardo A. Baeza-Yates
2007Weighted Nearest Neighbor Algorithms for the Graph Exploration Problem on Cycles.Yuichi Asahiro, Eiji Miyano, Shuichi Miyazaki, Takuro Yoshimuta
2007Size of Quantum Finite State Transducers.Ruben Agadzanyan, Rusins Freivalds
2006Small Independent Edge Dominating Sets in Graphs of Maximum Degree Three.Grazyna Zwozniak
2006An Improved Digital Signature with Message Recovery Using Self-certified Public Keys Without Trustworthy System Authority.Eun-Jun Yoon, Kee-Young Yoo
2006A Flexible Policy Architecture for Mobile Agents.Suat Ugurlu, Nadia Erdogan
2006Computational Complexity of Relay Placement in Sensor Networks.Jukka Suomela
2006Compact Encodings for All Local Path Information in Web Taxonomies with Application to WordNet.Svetlana Strunjas-Yoshikawa, Fred S. Annexstein, Kenneth A. Berman
2006Improved ROCK for Text Clustering Using Asymmetric Proximity.Shaoxu Song, Chunping Li
2006Ontology Acquisition for Automatic Building of Scientific Portals.Pavel Smrz, Vt Novcek
2006How Many Dots Are Really Needed for Head-Driven Chart Parsing?.Pavel Smrz, Vladimr Kadlec
2006On the NP-Completeness of Some Graph Cluster Measures.Jir Sma, Satu Elisa Schaeffer
2006Level-of-Detail in Behaviour of Virtual Humans.Ondrej Sery, Toms Poch, Pavel Safrata, Cyril Brom
2006Group Communication: From Practice to Theory .Andr Schiper
2006Mobility in Wireless Networks.Christian Schindelhauer
1,0011,025 of 1,439← PreviousNext →