![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
MEMICS 2012: Znojmo, Czech Republic
- Antonín Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomás Vojnar, David Antos:
Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7721, Springer 2013, ISBN 978-3-642-36044-2 - Dirk Beyer
, Andreas Stahlbauer:
BDD-Based Software Model Checking with CPAchecker. 1-11 - Dieter Gollmann:
Security for Cyber-Physical Systems. 12-14 - Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix:
Quantum Secret Sharing with Graph States. 15-31 - Said Hamdioui:
Testing Embedded Memories: A Survey. 32-42 - Colin McDiarmid:
Quicksort and Large Deviations. 43-52 - Peter Bro Miltersen:
Recent Results on Howard's Algorithm. 53-56 - Andris Ambainis, Janis Iraids
, Dmitry Kravchenko
, Madars Virza:
Advantage of Quantum Strategies in Random Symmetric XOR Games. 57-68 - Mathias Andersen, Heine Gatten Larsen, Jirí Srba
, Mathias Grund Sørensen, Jakob Haahr Taankvist:
Verification of Liveness Properties on Closed Timed-Arc Petri Nets. 69-81 - Martin Beyß:
Fast Algorithm for Rank-Width. 82-93 - Tomás Brázdil, Antonín Kucera, Petr Novotný
:
Determinacy in Stochastic Games with Unbounded Payoff Functions. 94-105 - Krishnendu Chatterjee, Rasmus Ibsen-Jensen
:
Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games. 106-117 - Martin Chmelik, Vojtech Rehák
:
Controllable-Choice Message Sequence Graphs. 118-130 - Filip Jurnecka, Vashek Matyás:
A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks. 131-142 - Denis Kurz, Petra Mutzel
, Bernd Zey
:
Parameterized Algorithms for Stochastic Steiner Tree Problems. 143-154 - Kim G. Larsen
, Simon Laursen
, Jirí Srba
:
Action Investment Energy Games. 155-167 - Michal Mikus, Marek Sýs
:
Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme. 168-179 - Andris Ambainis, Arturs Backurs, Nikolajs Nahimovs, Alexander Rivosh:
Grover's Algorithm with Errors. 180-189 - Sandra Ose, Juris Viksna
:
On WQO Property for Different Quasi Orderings of the Set of Permutations. 190-199 - Vít Rusnák, Lukás Rucka
, Petr Holub
:
Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems. 200-212
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.