Abstract is missing.
- BDD-Based Software Model Checking with CPAcheckerDirk Beyer, Andreas Stahlbauer. 1-11 [doi]
- Security for Cyber-Physical SystemsDieter Gollmann. 12-14 [doi]
- Quantum Secret Sharing with Graph StatesSylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix. 15-31 [doi]
- Testing Embedded Memories: A SurveySaid Hamdioui. 32-42 [doi]
- Quicksort and Large DeviationsColin McDiarmid. 43-52 [doi]
- Recent Results on Howard's AlgorithmPeter Bro Miltersen. 53-56 [doi]
- Advantage of Quantum Strategies in Random Symmetric XOR GamesAndris Ambainis, Janis Iraids, Dmitry Kravchenko, Madars Virza. 57-68 [doi]
- Verification of Liveness Properties on Closed Timed-Arc Petri NetsMathias Andersen, Heine Gatten Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist. 69-81 [doi]
- Fast Algorithm for Rank-WidthMartin Beyß. 82-93 [doi]
- Determinacy in Stochastic Games with Unbounded Payoff FunctionsTomás Brázdil, Antonín Kucera, Petr Novotný. 94-105 [doi]
- Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic GamesKrishnendu Chatterjee, Rasmus Ibsen-Jensen. 106-117 [doi]
- Controllable-Choice Message Sequence GraphsMartin Chmelik, Vojtech Rehák. 118-130 [doi]
- A Better Way towards Key Establishment and Authentication in Wireless Sensor NetworksFilip Jurnecka, Vashek Matyás. 131-142 [doi]
- Parameterized Algorithms for Stochastic Steiner Tree ProblemsDenis Kurz, Petra Mutzel, Bernd Zey. 143-154 [doi]
- Action Investment Energy GamesKim G. Larsen, Simon Laursen, Jirí Srba. 155-167 [doi]
- Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic SchemeMichal Mikus, Marek Sýs. 168-179 [doi]
- Grover's Algorithm with ErrorsAndris Ambainis, Arturs Backurs, Nikolajs Nahimovs, Alexander Rivosh. 180-189 [doi]
- On WQO Property for Different Quasi Orderings of the Set of PermutationsSandra Ose, Juris Viksna. 190-199 [doi]
- Towards User-Aware Multi-touch Interaction Layer for Group Collaborative SystemsVit Rusnak, Lukas Rucka, Petr Holub. 200-212 [doi]