Skip to main content
  • Conference proceedings
  • © 2004

SOFSEM 2004: Theory and Practice of Computer Science

30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004

Conference proceedings info: SOFSEM 2004.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (32 papers)

  1. Front Matter

  2. Invited Talks

    1. Games, Theory and Applications

      • H. J. van den Herik, H. H. L. M. Donkers
      Pages 1-8
    2. Flexibility through Multiagent Systems: Solution or Illusion?

      • Peter C. Lockemann, Jens Nimis
      Pages 41-56
    3. Algorithms for Scalable Storage Servers

      • Peter Sanders
      Pages 82-101
    4. Fuzzy Unification and Argumentation for Well-Founded Semantics

      • Ralf Schweimeier, Michael Schroeder
      Pages 102-121
    5. Tree Signatures and Unordered XML Pattern Matching

      • Pavel Zezula, Federica Mandreoli, Riccardo Martoglia
      Pages 122-139
  3. Regular Papers

    1. Quantum Query Complexity for Some Graph Problems

      • Aija Berzina, Andrej Dubrovsky, Rusins Freivalds, Lelde Lace, Oksana Scegulnaja
      Pages 140-150
    2. A Model of Versioned Web Sites

      • Mária Bieliková, Ivan Noris
      Pages 151-162
    3. Design of Secure Multicast Models for Mobile Services

      • Elijah Blessing R., Rhymend Uthariaraj V.
      Pages 163-173
    4. Measures of Intrinsic Hardness for Constraint Satisfaction Problem Instances

      • George Boukeas, Constantinos Halatsis, Vassilis Zissimopoulos, Panagiotis Stamatopoulos
      Pages 184-195
    5. Validity Conditions in Agreement Problems and Time Complexity

      • Bernadette Charron-Bost, Fabrice Le Fessant
      Pages 196-207
    6. Supporting Evolution in Workflow Definition Languages

      • Sérgio Miguel Fernandes, João Cachopo, António Rito Silva
      Pages 208-217
    7. Clustered Level Planarity

      • Michael Forster, Christian Bachmaier
      Pages 218-228

Other Volumes

  1. SOFSEM 2004: Theory and Practice of Computer Science

Editors and Affiliations

  • Faculty of Sciences, ILLC - Department of Mathematics and Computer Science, University of Amsterdam, Amsterdam, The Netherlands

    Peter Emde Boas

  • Faculty of Mathematics and Physics, Charles University, Prague

    Jaroslav Pokorný

  • Institute of Informatics and Software Engineering Faculty of Informatics and Information technologies, Slovak University of Technology, Bratislava

    Mária Bieliková

  • Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 8 Czech Republic

    Július Štuller

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access