© 2012

Mathematical and Engineering Methods in Computer Science

7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

  • Zdeněk Kotásek
  • Jan Bouda
  • Ivana Černá
  • Lukáš Sekanina
  • Tomáš Vojnar
  • David Antoš
  • High quality selected papers

  • Unique visibility

  • State of the art research

Conference proceedings MEMICS 2011

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

Table of contents

  1. Front Matter
  2. Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis
    Pages 1-19
  3. Peter J. Bentley
    Pages 20-36
  4. Renato Renner
    Pages 57-62
  5. Vlastimil Babka, Petr Tůma
    Pages 63-75
  6. Kaspars Balodis, Ilja Kucevalovs, Rūsiņš Freivalds
    Pages 76-83
  7. Jiří Barnat, Ivana Černá, Jana Tůmová
    Pages 84-93
  8. Roland Cmorik, Galina Jirásková
    Pages 94-102
  9. Dalibor Klusáček, Hana Rudová
    Pages 103-113
  10. Bohuslav Křena, Zdeněk Letko, Tomáš Vojnar
    Pages 123-135
  11. Jiří Matela, Martin Šrom, Petr Holub
    Pages 136-145
  12. Jakub Mažgut, Martina Paulinyová, Peter Tiňo
    Pages 146-154
  13. Petr Hliněný, Ondrej Moriš
    Pages 155-166
  14. Jan Obdržálek, Jiří Slabý, Marek Trtík
    Pages 167-178
  15. Christos Sakellariou, Peter J. Bentley
    Pages 179-190
  16. Steven van der Vegt, Alfons Laarman
    Pages 191-204
  17. Roman Žilka, Vashek Matyáš, Libor Kyncl
    Pages 205-214

About these proceedings


This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathmatical and Engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011.
The 13 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 38 submissions. The papers address all current issues of mathematical and engineering methods in computer science, especially: software and hardware dependability, computer security, computer-aided analysis and verification, testing and diagnostics, simulation, parallel and distributed computing, grid computing, computer networks, modern hardware and its design, non-traditional computing architectures, software engineering, computational intelligence, quantum information processing, computer graphics and multimedia, signal, text, speech, and image processing, and theoretical computer science.


compact hashing micropayments multi-core parallel architecture timed automata algorithm analysis and problem complexity

Editors and affiliations

  • Zdeněk Kotásek
    • 1
  • Jan Bouda
    • 2
  • Ivana Černá
    • 2
  • Lukáš Sekanina
    • 1
  • Tomáš Vojnar
    • 1
  • David Antoš
    • 3
  1. 1.Faculty of Information TechnologyBrno University of TechnologyBrnoCzech Republic
  2. 2.Faculty of InformaticsMasaryk UniversityBrnoCzech Republic
  3. 3.Institute of Computer ScienceMasaryk UniversityBrnoCzech Republic

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences