↓ Skip to main content

SOFSEM 2010: Theory and Practice of Computer Science

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Forcing Monotonicity in Parameterized Verification: From Multisets to Words
  3. Altmetric Badge
    Chapter 2 Research Issues in the Automated Testing of Ajax Applications
  4. Altmetric Badge
    Chapter 3 Essential Performance Drivers in Native XML DBMSs
  5. Altmetric Badge
    Chapter 4 Continuous Processing of Preference Queries in Data Streams
  6. Altmetric Badge
    Chapter 5 Clock Synchronization: Open Problems in Theory and Practice
  7. Altmetric Badge
    Chapter 6 Regret Minimization and Job Scheduling
  8. Altmetric Badge
    Chapter 7 Lessons in Software Evolution Learned by Listening to Smalltalk
  9. Altmetric Badge
    Chapter 8 The Web of Things: Extending the Web into the Real World
  10. Altmetric Badge
    Chapter 9 Web Science: The Digital-Heritage Case
  11. Altmetric Badge
    Chapter 10 Model-Driven Software Product Line Testing: An Integrated Approach
  12. Altmetric Badge
    Chapter 11 Taming the Complexity of Inductive Logic Programming
  13. Altmetric Badge
    Chapter 12 A Rule Format for Unit Elements
  14. Altmetric Badge
    Chapter 13 Approximability of Edge Matching Puzzles
  15. Altmetric Badge
    Chapter 14 A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks
  16. Altmetric Badge
    Chapter 15 R-Programs: A Framework for Distributing XML Structural Joins across Function Calls
  17. Altmetric Badge
    Chapter 16 Fast Arc-Annotated Subsequence Matching in Linear Space
  18. Altmetric Badge
    Chapter 17 Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs
  19. Altmetric Badge
    Chapter 18 A Kernel for Convex Recoloring of Weighted Forests
  20. Altmetric Badge
    Chapter 19 Symbolic OBDD-Based Reachability Analysis Needs Exponential Space
  21. Altmetric Badge
    Chapter 20 A Social Vision of Knowledge Representation and Reasoning
  22. Altmetric Badge
    Chapter 21 Flavors of KWQL, a Keyword Query Language for a Semantic Wiki
  23. Altmetric Badge
    Chapter 22 On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances
  24. Altmetric Badge
    Chapter 23 On a Labeled Vehicle Routing Problem
  25. Altmetric Badge
    Chapter 24 Improved Matrix Interpretation
  26. Altmetric Badge
    Chapter 25 Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays
  27. Altmetric Badge
    Chapter 26 Query Optimization through Cached Queries for Object-Oriented Query Language SBQL
  28. Altmetric Badge
    Chapter 27 Perfect Matching for Biconnected Cubic Graphs in O ( n log 2 n ) Time
  29. Altmetric Badge
    Chapter 28 Destructive Rule-Based Properties and First-Order Logic
  30. Altmetric Badge
    Chapter 29 Learning User Preferences for 2CP-Regression for a Recommender System
  31. Altmetric Badge
    Chapter 30 Parallel Randomized Load Balancing: A Lower Bound for a More General Model
  32. Altmetric Badge
    Chapter 31 Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem
  33. Altmetric Badge
    Chapter 32 SOFSEM 2010: Theory and Practice of Computer Science
  34. Altmetric Badge
    Chapter 32 Linear Complementarity Algorithms for Infinite Games
  35. Altmetric Badge
    Chapter 33 Mixing Coverability and Reachability to Analyze VASS with One Zero-Test
  36. Altmetric Badge
    Chapter 34 Practically Applicable Formal Methods
  37. Altmetric Badge
    Chapter 35 Fast and Compact Prefix Codes
  38. Altmetric Badge
    Chapter 36 New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes
  39. Altmetric Badge
    Chapter 37 Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations
  40. Altmetric Badge
    Chapter 38 Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph
  41. Altmetric Badge
    Chapter 39 On the Complexity of the Highway Pricing Problem
  42. Altmetric Badge
    Chapter 40 Accelerating Smart Play-Out
  43. Altmetric Badge
    Chapter 41 Optimum Broadcasting in Complete Weighted-Vertex Graphs
  44. Altmetric Badge
    Chapter 42 On Contracting Graphs to Fixed Pattern Graphs
  45. Altmetric Badge
    Chapter 43 Dynamic Edit Distance Table under a General Weighted Cost Function
  46. Altmetric Badge
    Chapter 44 SOFSEM 2010: Theory and Practice of Computer Science
  47. Altmetric Badge
    Chapter 45 Design Patterns Instantiation Based on Semantics and Model Transformations
  48. Altmetric Badge
    Chapter 46 A Complete Symbolic Bisimulation for Full Applied Pi Calculus
  49. Altmetric Badge
    Chapter 47 OTwig: An Optimised Twig Pattern Matching Approach for XML Databases
  50. Altmetric Badge
    Chapter 48 Picture Recognizability with Automata Based on Wang Tiles
  51. Altmetric Badge
    Chapter 49 Unilateral Orientation of Mixed Graphs
  52. Altmetric Badge
    Chapter 50 Maintaining XML Data Integrity in Programs
  53. Altmetric Badge
    Chapter 51 Improving Classification Performance with Focus on the Complex Areas
  54. Altmetric Badge
    Chapter 52 CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions
  55. Altmetric Badge
    Chapter 53 Source Code Rejuvenation Is Not Refactoring
  56. Altmetric Badge
    Chapter 54 Empirical Evaluation of Strategies to Detect Logical Change Dependencies
  57. Altmetric Badge
    Chapter 55 Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup
  58. Altmetric Badge
    Chapter 56 An Amortized Search Tree Analysis for k -Leaf Spanning Tree
  59. Altmetric Badge
    Chapter 57 Approximate Structural Consistency
  60. Altmetric Badge
    Chapter 58 Comprehensive System for Systematic Case-Driven Software Reuse
  61. Altmetric Badge
    Chapter 59 Comparison of Scoring and Order Approach in Description Logic $\mathcal{EL(D)}$
  62. Altmetric Badge
    Chapter 60 Homophily of Neighborhood in Graph Relational Classifier
  63. Altmetric Badge
    Chapter 61 Multilanguage Debugger Architecture
  64. Altmetric Badge
    Chapter 62 Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining
  65. Altmetric Badge
    Chapter 63 Finding and Certifying Loops
  66. Altmetric Badge
    Chapter 64 Vertex Ranking with Capacity
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
8 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 2010: Theory and Practice of Computer Science
Published by
Springer Science & Business Media, January 2010
DOI 10.1007/978-3-642-11266-9
ISBNs
978-3-64-211265-2, 978-3-64-211266-9
Editors

van Leeuwen, Jan, Muscholl, Anca, Peleg, David, Pokorny, Jaroslav, Rumpe, Bernhard

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user 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 8 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 1 13%
Slovakia 1 13%
Unknown 6 75%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 38%
Lecturer 1 13%
Student > Master 1 13%
Student > Bachelor 1 13%
Student > Doctoral Student 1 13%
Other 1 13%
Readers by discipline Count As %
Computer Science 7 88%
Design 1 13%