Theory and Applications of Models of Computation

6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

  • Jianer Chen
  • S. Barry Cooper
Conference proceedings TAMC 2009

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

Table of contents

  1. Front Matter
  2. Plenary Talks

  3. Invited Special Session: Models of Computation

    1. Alessandra Carbone, Linda Dib
      Pages 6-17
    2. S. Barry Cooper
      Pages 18-28
    3. Andrea Sorbi
      Pages 29-38
  4. Invited Special Session: Algorithms and Complexity

  5. Contributed Papers

    1. Faisal N. Abu-Khzam
      Pages 81-87
    2. Klaus Ambos-Spies, Thorsten Kräling
      Pages 88-97
    3. Ei Ando, Hirotaka Ono, Kunihiko Sadakane, Masafumi Yamashita
      Pages 98-107
    4. Evangelos Bampas, Andreas-Nikolas Göbel, Aris Pagourtzis, Aris Tentes
      Pages 108-117
    5. Sergey Bereg, Minghui Jiang, Boting Yang, Binhai Zhu
      Pages 118-127
    6. Jasper Berendsen, Taolue Chen, David N. Jansen
      Pages 128-137
    7. Jin-Yi Cai, Pinyan Lu, Mingji Xia
      Pages 138-149
    8. Maw-Shang Chang, Ling-Ju Hung, Ton Kloks, Sheng-Lung Peng
      Pages 150-157
    9. Ruei-Yuan Chang, Guanling Lee, Sheng-Lung Peng
      Pages 158-167
    10. Jianer Chen, Iyad A. Kanj, Ge Xia
      Pages 168-177
    11. Atish Das Sarma, Richard J. Lipton, Danupon Nanongkai
      Pages 178-191
    12. Michael Elberfeld, Ilka Schnoor, Till Tantau
      Pages 201-210
    13. Qilong Feng, Yang Liu, Songjian Lu, Jianxin Wang
      Pages 211-220
    14. Jiří Fiala, Petr A. Golovach, Jan Kratochvíl
      Pages 221-230
    15. Pinar Heggernes, Daniel Meister, Charis Papadopoulos
      Pages 241-250
    16. Markus Hinkelmann, Andreas Jakoby
      Pages 251-260
    17. Grégory Lafitte, Michael Weiss
      Pages 271-280
    18. Daniel Lokshtanov, Matthias Mnich, Saket Saurabh
      Pages 281-290
    19. Takaaki Mizuki, Hitoshi Tsubata, Takao Nishizeki
      Pages 301-310
    20. Paulo Eustáquio Duarte Pinto, Fábio Protti, Jayme Luiz Szwarcfiter
      Pages 311-324
    21. Christoph Schubert
      Pages 325-334
    22. Andrea Sorbi, Guohua Wu, Yue Yang
      Pages 335-344
    23. Bo Jiang, Xuehou Tan
      Pages 345-359
    24. Sophie Toulouse, Roberto Wolfler Calvo
      Pages 360-369
    25. Lusheng Wang, Binhai Zhu
      Pages 400-409
    26. Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu, Guohua Wu
      Pages 420-429
    27. Zhilin Wu, Stéphane Grumbach
      Pages 430-439
    28. John Z. Zhang
      Pages 450-459
    29. Peng Zhang, Jin-Yi Cai, Linqing Tang, Wenbo Zhao
      Pages 460-469

About these proceedings


This book constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009.

The 39 full papers presented together with 7 invited papers as well as 3 plenary talks were selected from 86 submissions. The papers address the three main themes of the conference which were Computability, Complexity, and Algorithms. The conference aimed to bring together researchers with interests in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.


algebra algorithm algorithms automata complexity computability computer science constraints distributed systems exponential time logic models of computation path counting tree topology undecidability

Editors and affiliations

  • Jianer Chen
    • 1
  • S. Barry Cooper
    • 2
  1. 1.Department of Computer Science and EngineeringTexas A&M UniversityTexasUSA
  2. 2.School of MathematicsUniversity of LeedsU.K.

Bibliographic information

  • DOI
  • Copyright Information Springer Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-02016-2
  • Online ISBN 978-3-642-02017-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site