Mathematical and Engineering Methods in Computer Science

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

  • Antonín Kučera
  • Thomas A. Henzinger
  • Jaroslav Nešetřil
  • Tomáš Vojnar
  • David Antoš
Conference proceedings MEMICS 2012

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

Table of contents

  1. Front Matter
  2. Dirk Beyer, Andreas Stahlbauer
    Pages 1-11
  3. Dieter Gollmann
    Pages 12-14
  4. Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
    Pages 15-31
  5. Said Hamdioui
    Pages 32-42
  6. Colin McDiarmid
    Pages 43-52
  7. Peter Bro Miltersen
    Pages 53-56
  8. Andris Ambainis, Jānis Iraids, Dmitry Kravchenko, Madars Virza
    Pages 57-68
  9. Mathias Andersen, Heine Gatten Larsen, Jiří Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist
    Pages 69-81
  10. Martin Beyß
    Pages 82-93
  11. Tomáš Brázdil, Antonín Kučera, Petr Novotný
    Pages 94-105
  12. Martin Chmelík, Vojtěch Řehák
    Pages 118-130
  13. Denis Kurz, Petra Mutzel, Bernd Zey
    Pages 143-154
  14. Kim G. Larsen, Simon Laursen, Jiří Srba
    Pages 155-167
  15. Andris Ambainis, Artūrs Bačkurs, Nikolajs Nahimovs, Alexander Rivosh
    Pages 180-189
  16. Vít Rusňák, Lukáš Ručka, Petr Holub
    Pages 200-212
  17. Back Matter

About these proceedings


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.


computer security model checking quantum strategies simple stochastic games tree problems

Editors and affiliations

  • Antonín Kučera
    • 1
  • Thomas A. Henzinger
    • 2
  • Jaroslav Nešetřil
    • 3
  • Tomáš Vojnar
    • 4
  • David Antoš
    • 5
  1. 1.Faculty of InformaticsMasaryk UniversityBrnoCzech Republic
  2. 2.Institute of Science and Technology AustriaKlosterneuburgAustria
  3. 3.Faculty of Mathematics and PhysicsCharles University in PraguePraha 1Czech Republic
  4. 4.Faculty of Information TechnologyBrno University of TechnologyBrnoCzech Republic
  5. 5.Institute of Computer ScienceMasaryk UniversityBrnoCzec Republic

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-36044-2
  • Online ISBN 978-3-642-36046-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site