Mathematical and Engineering Methods in Computer Science

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 BDD-Based Software Model Checking with CPAchecker
3. Altmetric Badge
   Chapter 2 Security for Cyber-Physical Systems
4. Altmetric Badge
   Chapter 3 Quantum Secret Sharing with Graph States
5. Altmetric Badge
   Chapter 4 Testing Embedded Memories: A Survey
6. Altmetric Badge
   Chapter 5 Quicksort and Large Deviations
7. Altmetric Badge
   Chapter 6 Recent Results on Howard’s Algorithm
8. Altmetric Badge
   Chapter 7 Advantage of Quantum Strategies in Random Symmetric XOR Games
9. Altmetric Badge
   Chapter 8 Verification of Liveness Properties on Closed Timed-Arc Petri Nets
10. Altmetric Badge
    Chapter 9 Fast Algorithm for Rank-Width
11. Altmetric Badge
    Chapter 10 Determinacy in Stochastic Games with Unbounded Payoff Functions
12. Altmetric Badge
    Chapter 11 Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games
13. Altmetric Badge
    Chapter 12 Controllable-Choice Message Sequence Graphs
14. Altmetric Badge
    Chapter 13 A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks
15. Altmetric Badge
    Chapter 14 Parameterized Algorithms for Stochastic Steiner Tree Problems
16. Altmetric Badge
    Chapter 15 Action Investment Energy Games
17. Altmetric Badge
    Chapter 16 Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme
18. Altmetric Badge
    Chapter 17 Grover’s Algorithm with Errors
19. Altmetric Badge
    Chapter 18 On WQO Property for Different Quasi Orderings of the Set of Permutations
20. Altmetric Badge
    Chapter 19 Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems