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

ISBN: 978-3-642-35842-5 (Print) 978-3-642-35843-2 (Online)

Table of contents (47 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Invited Talks

    1. Major Achievements in Software Studies

      1. No Access

        Book Chapter

        Pages 1-27

        Theory of Multi Core Hypervisor Verification

      2. No Access

        Book Chapter

        Pages 28-28

        Software Components in Computer Assisted Living?

      Foundations of Computer Science

      1. No Access

        Book Chapter

        Pages 29-32

        Engineering Algorithms for Large Data Sets

      2. No Access

        Book Chapter

        Pages 33-50

        Core Stability in Hedonic Coalition Formation

      Software and Web Engineering

      1. No Access

        Book Chapter

        Pages 51-51

        Software Production: A New Paradigm for Software Engineering Research

      2. No Access

        Book Chapter

        Pages 52-66

        A Model of the Commit Size Distribution of Open Source

      Data, Information and Knowledge Engineering

      1. No Access

        Book Chapter

        Pages 67-85

        ISICIL: Semantics and Social Networks for Business Intelligence

      2. No Access

        Book Chapter

        Pages 86-105

        A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations

      Social Computing and Human Factors

      1. No Access

        Book Chapter

        Pages 106-106

        Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence

      2. No Access

        Book Chapter

        Pages 107-107

        Searching Things in Large Sets of Images

  3. Regular Papers

    1. Foundations of Computer Science

      1. No Access

        Book Chapter

        Pages 108-120

        SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators

      2. No Access

        Book Chapter

        Pages 121-132

        Worst Case Analysis of Non-local Games

      3. No Access

        Book Chapter

        Pages 133-145

        Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory

      4. No Access

        Book Chapter

        Pages 146-156

        Flow Decompositions in External Memory

      5. No Access

        Book Chapter

        Pages 157-168

        Improved Approximations for Ordered TSP on Near-Metric Graphs,

      6. No Access

        Book Chapter

        Pages 169-181

        Asymptotic Risk Analysis for Trust and Reputation Systems

      7. No Access

        Book Chapter

        Pages 182-193

        Being Caught between a Rock and a Hard Place in an Election – Voter Deterrence by Deletion of Candidates

      8. No Access

        Book Chapter

        Pages 194-206

        Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences

      9. No Access

        Book Chapter

        Pages 207-219

        Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks

      10. No Access

        Book Chapter

        Pages 220-232

        Generalising and Unifying SLUR and Unit-Refutation Completeness

previous Page of 3