Mathematical and Engineering Methods in Computer Science  8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers /  [electronic resource] : 
edited by Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (XII, 213 p. 32 ill.) 
 - Lecture Notes in Computer Science,  7721  0302-9743 ; .
<br/><br/>BDD-Based Software Model Checking with CPAchecker -- Security for Cyber-Physical Systems -- Quantum Secret Sharing with Graph States -- Testing Embedded Memories: A Survey -- Quicksort and Large Deviations -- Recent Results on Howard's Algorithm -- Advantage of Quantum Strategies in Random Symmetric XOR Games -- Verification of Liveness Properties on Closed Timed-Arc Petri Nets -- Fast Algorithm for Rank-Width -- Determinacy in Stochastic Games with Unbounded Payoff Functions -- Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games -- Controllable-Choice Message Sequence Graphs -- A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks -- Parameterized Algorithms for Stochastic Steiner Tree Problems -- Action Investment Energy Games -- Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme -- Grover's Algorithm with Errors -- On WQO Property for Different Quasi Orderings of the Set of Permutations -- Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems. 
<br/><br/><label>ISBN: </label>9783642360466 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Algorithms.<br/>Management information systems.<br/>Economic theory.