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
2008A Highly Efficient XML Compression Scheme for the Web.Przemyslaw Skibinski, Jakub Swacha, Szymon Grabowski
2008Verifying Parameterized taDOM+ Lock Managers.Antti Siirtola, Michal Valenta
2008The Dynamic Web Presentations with a Generality Model on the News Domain.Hyun Woong Shin, Eduard H. Hovy, Dennis McLeod
2008Compression of Concatenated Web Pages Using XBW.Radovan Sestk, Jan Lansky
2008Trusted Computing - Special Aspects and Challenges.Ahmad-Reza Sadeghi
2008Lower Bound for the Length of Synchronizing Words in Partially-Synchronizing Automata.Adam Roman, Wit Forys
2008Extensible modular neural network based system for human face recognition with filtering of similar faces.Dominik Ramk
2008Slicing Petri Nets with an Application to Workflow Verification.Astrid Rakow
2008An Automata Theoretic Approach to Rational Tree Relations.Frank G. Radmacher
2008ONN the Use of Neural Networks for Data Privacy.Jordi Pont-Tuset, Pau Medrano-Gracia, Jordi Nin, Josep Llus Larriba-Pey, Victor Munts-Mulero
2008A Sensitive Metaheuristic for Solving a Large Optimization Problem.Camelia-Mihaela Pintea, Camelia Chira, D. Dumitrescu, Petrica C. Pop
2008Improved Bounds for Range Mode and Range Median Queries.Holger Petersen
2008Element Distinctness and Sorting on One-Tape Off-Line Turing Machines.Holger Petersen
2008Mortality Problem for 22 Integer Matrices.C. Nuccio, Emanuele Rodaro
2008Algebraic Optimization of Relational Queries with Various Kinds of Preferences.Radim Nedbal
2008Basic Sets in the Digital Plane.Neza Mramor-Kosta, Eva Trenklerov
2008Classification, Formalization and Verification of Security Functional Requirements.Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
2008Computing Longest Common Substring and All Palindromes from Compressed Strings.Wataru Matsubara, Shunsuke Inenaga, Akira Ishino, Ayumi Shinohara, Tomoyuki Nakamura, Kazuo Hashimoto
2008Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets.Mila E. Majster-Cederbaum, Christoph Minnameier
2008Extension of Rescheduling Based on Minimal Graph Cut.Marin Lekav, Pavol Nvrat
2008Geometric Rates of Approximation by Neural Networks.Vera Kurkov, Marcello Sanguineti
2008Web Pages Reordering and Clustering Based on Web Patterns.Milos Kudelka, Vclav Snsel, Ondrej Lehecka, Eyas El-Qawasmeh, Jaroslav Pokorn
2008A Memetic Algorithm for Global Induction of Decision Trees.Marek Kretowski
2008Taming of Pict.Matej Kosk
2008Certification of Proving Termination of Term Rewriting by Matrix Interpretations.Adam Koprowski, Hans Zantema
851875 of 1,439← PreviousNext →