default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMEMICS 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
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.
last updated on 2026-01-29 02:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
