Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2013

Overview

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)

Included in the following conference series:

Conference proceedings info: SOFSEM 2013.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (47 papers)

  1. Front Matter

    Download chapter 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

      1. Software Production: A New Paradigm for Software Engineering Research
        • Sjaak Brinkkemper
        Pages 51-51
      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
      2. A Multi-dimensional Comparison of Ontology Design Patterns for Representing <i>n</i>-ary Relations
        • Aldo Gangemi, Valentina Presutti
        Pages 86-105

    5. Social Computing and Human Factors

      1. Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence
        • Michael Beetz
        Pages 106-106
      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
      7. Being Caught between a Rock and a Hard Place in an Election – Voter Deterrence by Deletion of Candidates
        • Britta Dorn, Dominikus Krüger
        Pages 182-193
      8. Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences
        • Feodor F. Dragan, Muad Abu-Ata
        Pages 194-206
      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

Keywords

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.

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation