Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2013

SOFSEM 2013: Theory and Practice of Computer Science

39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013, Proceedings

Editors:

  1. Peter Emde Boas

    1. Department of Mathematics and Computer Science, University of Amsterdam, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Frans C. A. Groen

    1. Informatics Institute, Intelligent Systems Lab Amsterdam, University of Amsterdam, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Giuseppe F. Italiano

    1. Department of Civil Engineering and Computer Science, University of Rome Tor Vergata, Rome, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Jerzy Nawrocki

    1. Institute of Computing Science, Poznan University of Technology, Poznan, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Harald Sack

    1. Hasso-Plattner-Institute for Software Systems Engineering, Potsdam, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): SOFSEM: International Conference on Current Trends in Theory and Practice of Computer Science

Conference proceedings info: SOFSEM 2013.

Sections

Buy it now

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 (47 papers)

  1. Front Matter

    PDF

  2. Invited Talks

    1. Major Achievements in Software Studies

      1. Theory of Multi Core Hypervisor Verification
        • Ernie Cohen, Wolfgang Paul, Sabine Schmaltz
        Pages 1-27
      2. Software Components in Computer Assisted Living?
        • Frantisek Plasil, Tomas Bures
        Pages 28-28

    2. Foundations of Computer Science

      1. Engineering Algorithms for Large Data Sets
        • Peter Sanders
        Pages 29-32
      2. Core Stability in Hedonic Coalition Formation
        • Gerhard J. Woeginger
        Pages 33-50

    3. Software and Web Engineering

      2. A Model of the Commit Size Distribution of Open Source
        • Carsten Kolassa, Dirk Riehle, Michel A. Salim
        Pages 52-66

    4. Data, Information and Knowledge Engineering

      1. ISICIL: Semantics and Social Networks for Business Intelligence
        • Michel Buffa, Nicolas Delaforge, Guillaume Erétéo, Fabien Gandon, Alain Giboin, Freddy Limpens
        Pages 67-85

    5. Social Computing and Human Factors

      2. Searching Things in Large Sets of Images
        • Arnold Smeulders
        Pages 107-107

  3. Regular Papers

    1. Foundations of Computer Science

      1. SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
        • Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
        Pages 108-120
      2. Worst Case Analysis of Non-local Games
        • Andris Ambainis, Artūrs Bačkurs, Kaspars Balodis, Agnis Škuškovniks, Juris Smotrovs, Madars Virza
        Pages 121-132
      3. Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory
        • Marcella Anselmo, Dora Giammarresi, Maria Madonia
        Pages 133-145
      4. Flow Decompositions in External Memory
        • Maxim Babenko
        Pages 146-156
      5. Improved Approximations for Ordered TSP on Near-Metric Graphs,
        • Hans-Joachim Böckenhauer, Monika Steinová
        Pages 157-168
      6. Asymptotic Risk Analysis for Trust and Reputation Systems
        • Michele Boreale, Alessandro Celestini
        Pages 169-181
      9. Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
        • Stijn de Gouw, Frank de Boer, Wolfgang Ahrendt, Richard Bubel
        Pages 207-219
Back to top

Other Volumes

  1. SOFSEM 2013: Theory and Practice of Computer Science

Back to top

About this book

This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in Špindlerův Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Mathematics and Computer Science, University of Amsterdam, Amsterdam, The Netherlands

    Peter Emde Boas

  • Informatics Institute, Intelligent Systems Lab Amsterdam, University of Amsterdam, Amsterdam, The Netherlands

    Frans C. A. Groen

  • Department of Civil Engineering and Computer Science, University of Rome Tor Vergata, Rome, Italy

    Giuseppe F. Italiano

  • Institute of Computing Science, Poznan University of Technology, Poznan, Poland

    Jerzy Nawrocki

  • Hasso-Plattner-Institute for Software Systems Engineering, Potsdam, Germany

    Harald Sack

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation