SOFSEM 2005: Theory and Practice of Computer Science

31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

  • Peter Vojtáš
  • Mária Bieliková
  • Bernadette Charron-Bost
  • Ondrej Sýkora
Conference proceedings SOFSEM 2005

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3381)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Full Contributed Papers

    1. C. Bazgan, J. Monnot, V. Th. Paschos, F. Serrière
      Pages 62-71
    2. Jiu Jun Chen, Ji Gao, Jun Hu, Bei Shui Liao
      Pages 92-95
    3. Markus Chimani, Gunnar W. Klau, René Weiskircher
      Pages 96-105
    4. Emilio Di Giacomo, Walter Didimo, Luca Grilli, Giuseppe Liotta
      Pages 106-116
    5. Kayhan Erciyeş, Ali Alp, Geoffrey Marshall
      Pages 127-136
    6. Luca Forlizzi, Juraj Hromkovič, Guido Proietti, Sebastian Seibert
      Pages 147-156
    7. Hacène Fouchal, Antoine Rollet, Abbas Tarhini
      Pages 157-166
    8. György Frivolt, Mária Bieliková
      Pages 167-177
    9. Hans Hüttel, Jiří Srba
      Pages 178-187
    10. Piotr Habela, Krzysztof Kaczmarski, Hanna Kozankiewicz, Kazimierz Subieta
      Pages 188-198
    11. Prasad Jayanti, Srdjan Petrovic, Neha Narula
      Pages 209-218
    12. Przemysław Kazienko, Mariusz Matrejek
      Pages 219-228
    13. Marek Klonowski, Mirosław Kutyłowski, Filip Zagórski
      Pages 229-238
    14. Antonín Kučera, Jan Strejček
      Pages 239-249
    15. Hamid Nazerzadeh, Mohammad Ghodsi
      Pages 269-277
    16. Dominik Raub, Rainer Steinwandt, Jörn Müller-Quade
      Pages 288-297
    17. Robert Steele, William Gardner, Tharam S. Dillon, Abdelkarim Erradi
      Pages 310-319
    18. Satoshi Tayu, Turki Ghazi Al-Mutairi, Shuichi Ueno
      Pages 330-339
  4. The Best Student Paper

    1. Martin Senft
      Pages 350-359
  5. Short Contributed Papers

    1. Radosław Adamus, Kazimierz Subieta
      Pages 360-363
    2. Jun Feng, Naoto Mukai, Toyohide Watanabe
      Pages 368-371
    3. Radoslav Fulek, Hongmei He, Ondrej Sýkora, Imrich Vrťo
      Pages 376-379
    4. Heikki Hyyrö, Yoan Pinzon, Ayumi Shinohara
      Pages 380-384
    5. Marcel Jirina, Marcel Jirina Jr.
      Pages 385-389
    6. Ana C. V. de Melo, Adilson de J. Sanchez
      Pages 394-398
    7. Ngoc Thanh Nguyen, Adam Blazowski, Michal Malowiecki
      Pages 399-402

About these proceedings


This volume contains papers selected for presentation at the 31st Annual C- ference on Current Trends in Theory and Practice of Informatics – SOFSEM 2005, held on January 22–28, 2005 in LiptovskyJ ´ an, ´ Slovakia. The series of SOFSEM conferences, organized alternately in the Czech - public and Slovakia since 1974, has a well-established tradition. The SOFSEM conferences were originally intended to break the Iron Curtain in scienti?c - change. After the velvet revolution SOFSEM changed to a regular broad-scope international conference. Nowadays, SOFSEM is focused each year on selected aspects of informatics. This year the conference was organized into four tracks, each of them complemented by two invited talks: – Foundations of Computer Science (Track Chair: Bernadette Charron-Bost) – Modeling and Searching Data in the Web-Era (Track Chair: Peter Vojt´ a? s) – Software Engineering (Track Chair: M´ aria Bielikova) ´ – Graph Drawing (Track Chair: Ondrej Syk ´ ora) The aim of SOFSEM 2005 was, as always, to promote cooperation among professionalsfromacademiaandindustryworkinginvariousareasofinformatics. Each track was complemented by two invited talks. The SOFSEM 2005 Program Committee members coming from 13 countries evaluated 144 submissions (128 contributed papers and 16 student research - rum papers). After a careful review process (counting at least 3 reviews per paper), followed by detailed discussions in the PC, and a co-chairs meeting held on October 8, 2005 in Bratislava, Slovakia, 44 papers (overall acceptance rate 34.


Erfüllbarkeitsproblem der Aussagenlogik Open Source XML algorithms architecture association rule mining computational discrete mathematics computer science data structures graph computations graph drawing intelligent search modeling theoretical computer science theory of computing

Editors and affiliations

  • Peter Vojtáš
    • 1
  • Mária Bieliková
    • 2
  • Bernadette Charron-Bost
    • 3
  • Ondrej Sýkora
    • 4
  1. 1.Charles UniversityPragueCzech Republic
  2. 2.Institute of Informatics and Software Engineering Faculty of Informatics and Information technologiesSlovak University of TechnologyBratislava 
  3. 3.STIXÉcole PolytechniquePalaiseau CedexFrance
  4. 4.Department of Computer ScienceUniversity of LoughboroughLoughboroughUK

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking