Mathematical and Engineering Methods in Computer Science

9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

  • Petr Hliněný
  • Zdeněk Dvořák
  • Jiří Jaroš
  • Jan Kofroň
  • Jan Kořenek
  • Petr Matula
  • Karel Pala
Conference proceedings MEMICS 2014

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 8934)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Gianni Antichi, Lisa Donatini, Rosario G. Garroppo, Stefano Giordano, Andrew W. Moore
    Pages 1-15
  3. Jozef Ivanecký, Stephan Mehlhase
    Pages 16-29
  4. Daniel Kroening, Michael Tautschnig
    Pages 30-39
  5. Petr Bauch, Vojtěch Havel, Jiří Barnat
    Pages 47-59
  6. Stephan Beyer, Markus Chimani
    Pages 60-72
  7. Jan Fiedor, Zdeněk Letko, João Lourenço, Tomáš Vojnar
    Pages 73-87
  8. Juraj Nižnan, Radek Pelánek, Jiří Řihák
    Pages 113-124
  9. Vladimír Štill, Petr Ročkai, Jiří Barnat
    Pages 135-146
  10. Back Matter
    Pages 159-159

About these proceedings


This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telč, Czech Republic, in October 2014.
The 13 thoroughly revised papers were carefully selected out of 28 submissions and are presented together with 4 invited papers. The topics covered by the papers include: algorithms, logic, and games; high performance computing; computer aided analysis, verification, and testing; hardware design and diagnostics; computer graphics and image processing; and artificial intelligence and natural language processing.


Algorithms And Complexity Biomedical Images FPGA Hardware Diagnostics High Performance Computing Image Processing Natural Language Processing Open-Source Parallelization QoS Software Analysis Temporal Logic Testing Verification VoIP

Editors and affiliations

  • Petr Hliněný
    • 1
  • Zdeněk Dvořák
    • 2
  • Jiří Jaroš
    • 3
  • Jan Kofroň
    • 4
  • Jan Kořenek
    • 5
  • Petr Matula
    • 6
  • Karel Pala
    • 7
  1. 1.Masaryk UniversityBrnoCzech Republic
  2. 2.Charles UniversityPrahaCzech Republic
  3. 3.Brno University of TechnologyBrnoCzech Republic
  4. 4.Charles UniversityPrahaCzech Republic
  5. 5.Brno University of TechnologyBrnoCzech Republic
  6. 6.Masaryk UniversityBrnoCzech Republic
  7. 7.Masaryk UniversityBrnoCzech Republic

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-14895-3
  • Online ISBN 978-3-319-14896-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment