Advertisement

SOFSEM 2010: Theory and Practice of Computer Science

36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

  • Jan van Leeuwen
  • Anca Muscholl
  • David Peleg
  • Jaroslav Pokorný
  • Bernhard Rumpe

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Arie van Deursen, Ali Mesbah
      Pages 16-28
    2. Theo Härder, Christian Mathis, Sebastian Bächle, Karsten Schmidt, Andreas M. Weiner
      Pages 29-46
    3. Maria Kontaki, Apostolos N. Papadopoulos, Yannis Manolopoulos
      Pages 47-60
    4. Christoph Lenzen, Thomas Locher, Philipp Sommer, Roger Wattenhofer
      Pages 61-70
    5. Yishay Mansour
      Pages 71-76
    6. Oscar Nierstrasz, Tudor Gîrba
      Pages 77-95
    7. Guus Schreiber
      Pages 108-111
    8. Andy Schürr, Sebastian Oster, Florian Markert
      Pages 112-131
    9. Filip Železný, Ondřej Kuželka
      Pages 132-140
  3. Regular Papers

    1. Luca Aceto, Anna Ingolfsdottir, MohammadReza Mousavi, Michel A. Reniers
      Pages 141-152
    2. Antonios Antoniadis, Andrzej Lingas
      Pages 153-164
    3. Maxim A. Babenko, Ignat I. Kolesnichenko, Ilya P. Razenshteyn
      Pages 165-175
    4. Philip Bille, Inge Li Gørtz
      Pages 188-199
    5. Hans L. Bodlaender, Marc Comas
      Pages 212-223
    6. François Bry, Jakub Kotowski
      Pages 235-246
    7. François Bry, Klara Weiand
      Pages 247-258
    8. Hatem Chatti, Laurent Gourvès, Jérôme Monnot
      Pages 271-282
    9. Pierre Courtieu, Gladys Gbedo, Olivier Pons
      Pages 283-295
    10. Maxime Crochemore, Costas S. Iliopoulos, Marcin Kubica, Wojciech Rytter, Tomasz Waleń
      Pages 296-307
    11. Krzysztof Diks, Piotr Stanczyk
      Pages 321-333
    12. Alan Eckhardt, Peter Vojtáš
      Pages 346-357
    13. John Fearnley, Marcin Jurdziński, Rahul Savani
      Pages 382-393
    14. Jędrzej Fulara, Krzysztof Jakubczyk
      Pages 407-418
    15. Travis Gagie, Gonzalo Navarro, Yakov Nekrich
      Pages 419-427
    16. Alexander Grigoriev, Bert Marchal, Natalya Usotskaya
      Pages 452-464
    17. Alexander Grigoriev, Joyce van Loon, Marc Uetz
      Pages 465-476
    18. David Harel, Hillel Kugler, Shahar Maoz, Itai Segall
      Pages 477-488
    19. Hovhannes Harutyunyan, Shahin Kamali
      Pages 489-502
    20. Pim van ’t Hof, Marcin Kamiński, Daniël Paulusma, Stefan Szeider, Dimitrios M. Thilikos
      Pages 503-514
    21. Heikki Hyyrö, Kazuyuki Narisawa, Shunsuke Inenaga
      Pages 515-527
    22. Mikoláš Janota, Goetz Botterweck, Radu Grigore, Joao Marques-Silva
      Pages 528-539
    23. Violetta Lonati, Matteo Pradella
      Pages 576-587
    24. Tamara Mchedlidze, Antonios Symvonis
      Pages 588-599

About these proceedings

Keywords

Code Graph classification data mining design graph theory linear optimization load balancing modeling optimization parametrized verification rules mining search trees software reuse verification

Editors and affiliations

  • Jan van Leeuwen
    • 1
  • Anca Muscholl
    • 2
  • David Peleg
    • 3
  • Jaroslav Pokorný
    • 4
  • Bernhard Rumpe
    • 5
  1. 1.Department of Information and Computing SciencesUtrecht UniversityUtrechtThe Netherlands
  2. 2.LaBRIUniversit BordeauxTalence CedexFrance
  3. 3.Department of Computer Science & Applied MathematicsWeizmann Institute, Faculty of Mathematics and Computer ScienceRehovotIsrael
  4. 4.Department of Software Engineering Faculty of Mathematics and Physics Malostranské námCharles UniversityPrague 1Czech Republic
  5. 5.Software Engineering, Department of Computer ScienceRWTH Aachen UniversityAachenGermany

Bibliographic information

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