Skip to main content
SpringerLink
Log in
Book cover

Mathematical and Engineering Methods in Computer Science

8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Antonín Kučera

    1. Faculty of Informatics, Masaryk University, Brno, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thomas A. Henzinger

    1. Institute of Science and Technology Austria, Klosterneuburg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jaroslav Nešetřil

    1. Faculty of Mathematics and Physics, Charles University in Prague, Praha 1, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Tomáš Vojnar

    1. Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. David Antoš

    1. Institute of Computer Science, Masaryk University, Brno, Czec Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results in mathematical and engineering methods in computer science
  • Fast-track conference proceedings
  • State-of-the-art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7721)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: MEMICS 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  2. BDD-Based Software Model Checking with CPAchecker

    • Dirk Beyer, Andreas Stahlbauer
    Pages 1-11

  3. Security for Cyber-Physical Systems

    • Dieter Gollmann
    Pages 12-14

  4. Quantum Secret Sharing with Graph States

    • Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
    Pages 15-31

  5. Testing Embedded Memories: A Survey

    • Said Hamdioui
    Pages 32-42

  6. Quicksort and Large Deviations

    • Colin McDiarmid
    Pages 43-52

  7. Recent Results on Howard’s Algorithm

    • Peter Bro Miltersen
    Pages 53-56

  8. Advantage of Quantum Strategies in Random Symmetric XOR Games

    • Andris Ambainis, Jānis Iraids, Dmitry Kravchenko, Madars Virza
    Pages 57-68

  9. Verification of Liveness Properties on Closed Timed-Arc Petri Nets

    • Mathias Andersen, Heine Gatten Larsen, Jiří Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist
    Pages 69-81

  10. Fast Algorithm for Rank-Width

    • Martin Beyß
    Pages 82-93

  11. Determinacy in Stochastic Games with Unbounded Payoff Functions

    • Tomáš Brázdil, Antonín Kučera, Petr Novotný
    Pages 94-105

  12. Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games

    • Krishnendu Chatterjee, Rasmus Ibsen-Jensen
    Pages 106-117

  13. Controllable-Choice Message Sequence Graphs

    • Martin Chmelík, Vojtěch Řehák
    Pages 118-130

  14. A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks

    • Filip Jurnečka, Vashek Matyáš
    Pages 131-142

  15. Parameterized Algorithms for Stochastic Steiner Tree Problems

    • Denis Kurz, Petra Mutzel, Bernd Zey
    Pages 143-154

  16. Action Investment Energy Games

    • Kim G. Larsen, Simon Laursen, Jiří Srba
    Pages 155-167

  17. Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme

    • Michal Mikuš, Marek Sýs
    Pages 168-179

  18. Grover’s Algorithm with Errors

    • Andris Ambainis, Artūrs Bačkurs, Nikolajs Nahimovs, Alexander Rivosh
    Pages 180-189

  19. On WQO Property for Different Quasi Orderings of the Set of Permutations

    • Sandra Ose, Juris Viksna
    Pages 190-199

  20. Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems

    • Vít Rusňák, Lukáš Ručka, Petr Holub
    Pages 200-212
Back to top

Other volumes

  1. Mathematical and Engineering Methods in Computer Science

Keywords

About this book

This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include: computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information processing.

Editors and Affiliations

  • Faculty of Informatics, Masaryk University, Brno, Czech Republic

    Antonín Kučera

  • Institute of Science and Technology Austria, Klosterneuburg, Austria

    Thomas A. Henzinger

  • Faculty of Mathematics and Physics, Charles University in Prague, Praha 1, Czech Republic

    Jaroslav Nešetřil

  • Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic

    Tomáš Vojnar

  • Institute of Computer Science, Masaryk University, Brno, Czec Republic

    David Antoš

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation