Mathematical Foundations of Computer Science 2014

39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II

  • Erzsébet Csuhaj-Varjú
  • Martin Dietzfelbinger
  • Zoltán Ésik
Conference proceedings MFCS 2014

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

Table of contents

  1. Front Matter
  2. Algorithms, Complexity and Games

    1. Hasan Abasi, Nader H. Bshouty, Ariel Gabizon, Elad Haramaty
      Pages 1-12
    2. Eric Allender, Bireswar Das
      Pages 25-32
    3. Tetsuo Asano, David Kirkpatrick, Kotaro Nakagawa, Osamu Watanabe
      Pages 45-56
    4. Rémy Belmonte, Pim van ’t Hof, Marcin Kamiński, Daniël Paulusma
      Pages 57-68
    5. René van Bevern, Robert Bredereck, Jiehua Chen, Vincent Froese, Rolf Niedermeier, Gerhard J. Woeginger
      Pages 69-80
    6. Olaf Beyersdorff, Leroy Chew, Mikoláš Janota
      Pages 81-93
    7. Ivona Bezáková, Zachary Langley
      Pages 94-105
    8. Vittorio Bilò, Angelo Fanelli, Michele Flammini, Gianpiero Monaco, Luca Moscardelli
      Pages 106-117
    9. Beate Bollig
      Pages 118-129
    10. Joan Boyar, Magnus Gausdal Find
      Pages 130-140
    11. Leizhen Cai, Junjie Ye
      Pages 141-152
    12. Jiehua Chen, Piotr Faliszewski, Rolf Niedermeier, Nimrod Talmon
      Pages 153-164
    13. Ruiwen Chen, Valentine Kabanets, Nitin Saurabh
      Pages 165-176
    14. Suryajith Chillara, Partha Mukhopadhyay
      Pages 177-188
    15. Marek Cygan, Dániel Marx, Marcin Pilipczuk, Michał Pilipczuk
      Pages 189-200
    16. Maurits de Graaf, Bodo Manthey
      Pages 201-212
    17. Julie De Pril, János Flesch, Jeroen Kuipers, Gijs Schoenmakers, Koos Vrieze
      Pages 213-225
    18. Thomas Decker, Gábor Ivanyos, Raghav Kulkarni, Youming Qiao, Miklos Santha
      Pages 226-238
    19. Nicolas Delfosse, Zhentao Li, Stéphan Thomassé
      Pages 239-250
    20. Josep Díaz, George B. Mertzios
      Pages 251-262
    21. Thomas Erlebach, Michael Hoffmann, Frank Kammer
      Pages 263-274
    22. Stefan Fafianie, Stefan Kratsch
      Pages 275-286
    23. Carl Feghali, Matthew Johnson, Daniël Paulusma
      Pages 287-298
    24. Stefan Felsner, Kolja Knauer, George B. Mertzios, Torsten Ueckerdt
      Pages 299-310
    25. Petr A. Golovach
      Pages 324-335
    26. Kristoffer Arnsfelt Hansen, Balagopal Komarath, Jayalal Sarma, Sven Skyum, Navid Talebanfard
      Pages 336-347
    27. Chien-Chung Huang, Sebastian Ott
      Pages 360-371
    28. Dmitry Itsykson, Dmitry Sokolov
      Pages 372-383
    29. Riko Jacob, Tobias Lieber, Nodari Sitchinava
      Pages 384-395
    30. Matthew Johnson, Daniël Paulusma, Anthony Stewart
      Pages 396-407
    31. Peter Jonsson, Victor Lagerkvist, Johannes Schmidt, Hannes Uppman
      Pages 408-419
    32. Peter Jonsson, Johan Thapper
      Pages 420-431
    33. Akitoshi Kawamura, Hiroyuki Ota
      Pages 432-444
    34. Hartmut Klauck, Supartha Podder
      Pages 445-456
    35. Sudeshna Kolay, Pranabendu Misra, M. S. Ramanujan, Saket Saurabh
      Pages 457-468
    36. Ivan Kováč, Ivana Selečéniová, Monika Steinová
      Pages 469-480
    37. Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere
      Pages 481-492
    38. Jan Kratochvíl, Jan Arne Telle, Marek Tesař
      Pages 493-504
    39. Jeremy Kun, Lev Reyzin
      Pages 517-528
    40. Moshe Lewenstein, J. Ian Munro, Yakov Nekrich, Sharma V. Thankachan
      Pages 529-540
    41. Akaki Mamageishvili, Matúš Mihalák, Simone Montemezzani
      Pages 541-552
    42. Othon Michail, Paul G. Spirakis
      Pages 553-564
    43. Yuto Nakashima, Takashi Okabe, Tomohiro I, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
      Pages 565-576
    44. Meghana Nasre, Matteo Pontecorvi, Vijaya Ramachandran
      Pages 577-588

Other volumes

  1. 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I
  2. Mathematical Foundations of Computer Science 2014
    39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II

About these proceedings


This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014.
The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity,  Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.


algebra and categories in computer science algorithmic game theory algorithmic learning theory algorithms and data structures approximation algorithms automata computational complexity concurrency theory cryptography and security databases and knowledge-based systems formal specifications and program development foundations of computing grammars and formal languages lambda-calculus linear programming logic networks parallel and distributed computing quantum computing semantics and verification of programs

Editors and affiliations

  • Erzsébet Csuhaj-Varjú
    • 1
  • Martin Dietzfelbinger
    • 2
  • Zoltán Ésik
    • 3
  1. 1.Faculty of InformaticsEötvös Loránd UniversityBudapestHungary
  2. 2.Fakultät für Informatik und AutomatisierungTechnische Universität IlmenauIlmenauGermany
  3. 3.Institute of InformaticsSzeged UniversitySzegedHungary

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-44464-1
  • Online ISBN 978-3-662-44465-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment