↓ Skip to main content

SOFSEM 2013: Theory and Practice of Computer Science

Overview of attention for book
Cover of 'SOFSEM 2013: Theory and Practice of Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Theory of Multi Core Hypervisor Verification
  3. Altmetric Badge
    Chapter 2 Software Components in Computer Assisted Living?
  4. Altmetric Badge
    Chapter 3 Engineering Algorithms for Large Data Sets
  5. Altmetric Badge
    Chapter 4 SOFSEM 2013: Theory and Practice of Computer Science
  6. Altmetric Badge
    Chapter 5 Software Production: A New Paradigm for Software Engineering Research
  7. Altmetric Badge
    Chapter 6 A Model of the Commit Size Distribution of Open Source
  8. Altmetric Badge
    Chapter 7 ISICIL: Semantics and Social Networks for Business Intelligence
  9. Altmetric Badge
    Chapter 8 A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations
  10. Altmetric Badge
    Chapter 9 Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence
  11. Altmetric Badge
    Chapter 10 Searching Things in Large Sets of Images
  12. Altmetric Badge
    Chapter 11 SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
  13. Altmetric Badge
    Chapter 12 Worst Case Analysis of Non-local Games
  14. Altmetric Badge
    Chapter 13 Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory
  15. Altmetric Badge
    Chapter 14 Flow Decompositions in External Memory
  16. Altmetric Badge
    Chapter 15 Improved Approximations for Ordered TSP on Near-Metric Graphs,
  17. Altmetric Badge
    Chapter 16 Asymptotic Risk Analysis for Trust and Reputation Systems
  18. Altmetric Badge
    Chapter 17 Being Caught between a Rock and a Hard Place in an Election – Voter Deterrence by Deletion of Candidates
  19. Altmetric Badge
    Chapter 18 Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences
  20. Altmetric Badge
    Chapter 19 Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
  21. Altmetric Badge
    Chapter 20 Generalising and Unifying SLUR and Unit-Refutation Completeness
  22. Altmetric Badge
    Chapter 21 On Structural Parameterizations for the 2-Club Problem
  23. Altmetric Badge
    Chapter 22 On Languages of One-Dimensional Overlapping Tiles
  24. Altmetric Badge
    Chapter 23 An Exact Algorithm to Check the Existence of (Elementary) Paths and a Generalisation of the Cut Problem in Graphs with Forbidden Transitions
  25. Altmetric Badge
    Chapter 24 Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs
  26. Altmetric Badge
    Chapter 25 Permuted Pattern Matching on Multi-track Strings
  27. Altmetric Badge
    Chapter 26 Online and Quasi-online Colorings of Wedges and Intervals
  28. Altmetric Badge
    Chapter 27 Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages
  29. Altmetric Badge
    Chapter 28 Incomplete Transition Complexity of Some Basic Operations
  30. Altmetric Badge
    Chapter 29 Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs
  31. Altmetric Badge
    Chapter 30 Approximating the k-Splittable Capacitated Network Design Problem
  32. Altmetric Badge
    Chapter 31 Mixed Hypergraphs for Linear-Time Construction of Denser Hashing-Based Data Structures
  33. Altmetric Badge
    Chapter 32 Coalgebraic Bisimulation-Up-To
  34. Altmetric Badge
    Chapter 33 A Model Transformation Language Based on Logic Programming
  35. Altmetric Badge
    Chapter 34 Hypermodelling Reporting: Towards Cockpits for Code Structure
  36. Altmetric Badge
    Chapter 35 Search in Source Code Based on Identifying Popular Fragments
  37. Altmetric Badge
    Chapter 36 SimCo – Hybrid Simulator for Testing of Component Based Applications
  38. Altmetric Badge
    Chapter 37 Refinement Inference for Sequence Diagrams
  39. Altmetric Badge
    Chapter 38 Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information
  40. Altmetric Badge
    Chapter 39 Utilizing Microblogs for Web Page Relevant Term Acquisition
  41. Altmetric Badge
    Chapter 40 State Coverage: An Empirical Analysis Based on a User Study
  42. Altmetric Badge
    Chapter 41 Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks
  43. Altmetric Badge
    Chapter 42 Computing Semantic Similarity Using Large Static Corpora
  44. Altmetric Badge
    Chapter 43 The Orchestra of Multiple Model Repositories
  45. Altmetric Badge
    Chapter 44 An Ontology-Driven Fuzzy Workflow System
  46. Altmetric Badge
    Chapter 45 Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework
  47. Altmetric Badge
    Chapter 46 Tempo Adaptation within Interactive Music Instruments in Mobile Phone
  48. Altmetric Badge
    Chapter 47 Dynamic Voting Interface in Social Media: Does it Affect Individual Votes?
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users
wikipedia
2 Wikipedia pages

Readers on

mendeley
3 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
SOFSEM 2013: Theory and Practice of Computer Science
Published by
Springer Berlin Heidelberg, January 2013
DOI 10.1007/978-3-642-35843-2
ISBNs
978-3-64-235842-5, 978-3-64-235843-2
Editors

Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Spain 1 33%
Czechia 1 33%
Unknown 1 33%

Demographic breakdown

Readers by professional status Count As %
Lecturer > Senior Lecturer 1 33%
Student > Doctoral Student 1 33%
Professor > Associate Professor 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Engineering 1 33%