Advertisement

Mathematical Foundations of Computer Science 2009

34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings

  • Rastislav Královič
  • Damian Niwiński
Conference proceedings MFCS 2009

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Didier Caucal
      Pages 2-23
    2. Javier Esparza
      Pages 24-33
    3. Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn
      Pages 34-54
    4. S. Muthukrishnan
      Pages 55-55
    5. Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis
      Pages 56-76
    6. Peter Widmayer
      Pages 77-77
  3. Contributed Papers

    1. Vikraman Arvind, Pushkar S. Joglekar
      Pages 78-89
    2. Stavros Athanassopoulos, Ioannis Caragiannis, Christos Kaklamanis, Maria Kyropoulou
      Pages 90-101
    3. Stavros Athanassopoulos, Ioannis Caragiannis, Christos Kaklamanis, Evi Papaioannou
      Pages 102-111
    4. Vincenzo Auletta, Paolo Penna, Giuseppe Persiano
      Pages 112-123
    5. Ivona Bezáková, William A. Rummler
      Pages 137-148
    6. Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
      Pages 149-161
    7. Bernd Borchert, Pierre McKenzie, Klaus Reinhardt
      Pages 162-174
    8. Mark Braverman, Stephen Cook, Pierre McKenzie, Rahul Santhanam, Dustin Wehr
      Pages 175-186
    9. Irénée Briquel, Pascal Koiran
      Pages 187-198
    10. Yi Cao, Joseph Culberson, Lorna Stewart
      Pages 199-210
    11. Arturo Carpi, Flavio D’Alessandro
      Pages 211-222
    12. Mathieu Chapelle, Frédéric Mazoit, Ioan Todinca
      Pages 223-234
    13. Francisco Claude, Gonzalo Navarro
      Pages 235-246
    14. Paolo D’Arco, Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
      Pages 247-257
    15. Julien Degorre, Marc Kaplan, Sophie Laplante, Jérémie Roland
      Pages 270-281
    16. Feodor F. Dragan, Yang Xiang
      Pages 282-294
    17. Sagarmoy Dutta, Piyush P. Kurur
      Pages 295-306
    18. Michael R. Fellows, Jiong Guo, Hannes Moser, Rolf Niedermeier
      Pages 319-330
    19. Diego Figueira, Luc Segoufin
      Pages 331-343
    20. Marco Gaboardi, Luca Roversi, Luca Vercelli
      Pages 344-355
    21. Paweł Gawrychowski, Artur Jeż
      Pages 356-368
    22. Wouter Gelade, Marc Gyssens, Wim Martens
      Pages 369-381
    23. Petr A. Golovach, Pinar Heggernes
      Pages 382-391
    24. Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle
      Pages 392-402
    25. Kyriaki Ioannidou, George B. Mertzios, Stavros D. Nikolopoulos
      Pages 403-414
    26. Łukasz Kaiser
      Pages 415-426
    27. Ahmet Kara, Volker Weber, Martin Lange, Thomas Schwentick
      Pages 427-438
    28. Jarkko Kari, Pascal Vanier, Thomas Zeume
      Pages 439-450
    29. Alexander Kartzow
      Pages 451-463
    30. Delia Kesner, Fabien Renaud
      Pages 464-476
    31. Bakhadyr Khoussainov, Jiamou Liu, Imran Khaliq
      Pages 477-488
    32. Adrian Kosowski, Alfredo Navarra
      Pages 501-512
    33. Manfred Kufleitner, Pascal Weil
      Pages 513-524
    34. Tomi Kärki, Anne Lacroix, Michel Rigo
      Pages 525-536
    35. Johannes Köbler, Sebastian Kuhnert
      Pages 537-548
    36. Violetta Lonati, Matteo Pradella
      Pages 549-560
    37. P. Madhusudan, Mahesh Viswanathan
      Pages 561-573
    38. Giulio Manzonetto
      Pages 574-586

About these proceedings

Keywords

automata theory calculus complexity cryptography databases energy-efficient communication geometry graph theory logic quantum algorithms stochastic data streams stochastic games stochastic processes symbolic computation theoretical computer science

Editors and affiliations

  • Rastislav Královič
    • 1
  • Damian Niwiński
    • 2
  1. 1.Department of Computer Science, Faculty of Mathematics, Physics and InformaticsComenius University, Research partially funded by grant APVV 0433-06BratislavaSlovakia
  2. 2.Members of EACSL Jury for the Ackermann AwardPoland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-03816-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-03815-0
  • Online ISBN 978-3-642-03816-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site