SOFSEM 2017: Theory and Practice of Computer Science

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Dependable and Optimal Cyber-Physical Systems
3. Altmetric Badge
   Chapter 2 Verifying Parametric Thread Creation
4. Altmetric Badge
   Chapter 3 Network Constructors: A Model for Programmable Matter
5. Altmetric Badge
   Chapter 4 Logical Characterisations and Compositionality of Input-Output Conformance Simulation
6. Altmetric Badge
   Chapter 5 A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
7. Altmetric Badge
   Chapter 6 Symbolic Semantics for Multiparty Interactions in the Link-Calculus
8. Altmetric Badge
   Chapter 7 Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs
9. Altmetric Badge
   Chapter 8 Deciding Structural Liveness of Petri Nets
10. Altmetric Badge
    Chapter 9 Distributed Network Generation Based on Preferential Attachment in ABS
11. Altmetric Badge
    Chapter 10 Completeness of Hoare Logic Relative to the Standard Model
12. Altmetric Badge
    Chapter 11 Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict
13. Altmetric Badge
    Chapter 12 Hardness of Deriving Invertible Sequences from Finite State Machines
14. Altmetric Badge
    Chapter 13 A Graph-Theoretical Characterisation of State Separation
15. Altmetric Badge
    Chapter 14 Selfish Transportation Games
16. Altmetric Badge
    Chapter 15 Decomposable Relaxation for Concurrent Data Structures
17. Altmetric Badge
    Chapter 16 Sufficient Conditions for a Connected Graph to Have a Hamiltonian Path
18. Altmetric Badge
    Chapter 17 Enumerating Minimal Tropical Connected Sets
19. Altmetric Badge
    Chapter 18 Bamboo Garden Trimming Problem (Perpetual Maintenance of Machines with Different Attendance Urgency Factors)
20. Altmetric Badge
    Chapter 19 Exact Quantum Query Complexity of $$\text {EXACT}_{k,l}^n$$
21. Altmetric Badge
    Chapter 20 Adjacent Vertices Can Be Hard to Find by Quantum Walks
22. Altmetric Badge
    Chapter 21 Matrix Semigroup Freeness Problems in SL $$(2,\mathbb {Z})$$
23. Altmetric Badge
    Chapter 22 Order-Preserving 1-String Representations of Planar Graphs
24. Altmetric Badge
    Chapter 23 How to Draw a Planarization
25. Altmetric Badge
    Chapter 24 Finding Largest Common Substructures of Molecules in Quadratic Time
26. Altmetric Badge
    Chapter 25 Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints
27. Altmetric Badge
    Chapter 26 Parameterized and Exact Algorithms for Class Domination Coloring
28. Altmetric Badge
    Chapter 27 The Approximability of Partial Vertex Covers in Trees
29. Altmetric Badge
    Chapter 28 Longest Common Subsequence in at Least k Length Order-Isomorphic Substrings
30. Altmetric Badge
    Chapter 29 Computing Longest Single-arm-gapped Palindromes in a String
31. Altmetric Badge
    Chapter 30 Edit-Distance Between Visibly Pushdown Languages
32. Altmetric Badge
    Chapter 31 Model-Driven Development in Practice: From Requirements to Code
33. Altmetric Badge
    Chapter 32 Webpage Menu Detection Based on DOM
34. Altmetric Badge
    Chapter 33 A Hybrid Model for Linking Multiple Social Identities Across Heterogeneous Online Social Networks
35. Altmetric Badge
    Chapter 34 Eco-Data Warehouse Design Through Logical Variability
36. Altmetric Badge
    Chapter 35 On Featured Transition Systems
37. Altmetric Badge
    Chapter 36 Domain-Specific Languages: A Systematic Mapping Study
38. Altmetric Badge
    Chapter 37 Characterising Malicious Software with High-Level Behavioural Patterns
39. Altmetric Badge
    Chapter 38 AErlang at Work
40. Altmetric Badge
    Chapter 39 Software System Migration to Cloud-Native Architectures for SME-Sized Software Vendors
41. Altmetric Badge
    Chapter 40 Using n-grams for the Automated Clustering of Structural Models