Theory and Applications of Models of Computation

10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

  • T-H. Hubert Chan
  • Lap Chi Lau
  • Luca Trevisan
Conference proceedings TAMC 2013

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

Table of contents

  1. Front Matter
  2. Lin Chen, Deshi Ye, Guochuan Zhang
    Pages 1-9
  3. Eric Angel, Evripidis Bampis, Vincent Chau, Dimitrios Letsios
    Pages 10-19
  4. Martin Birks, Stanley Fung
    Pages 20-31
  5. Tetsuo Asano, Amr Elmasry, Jyrki Katajainen
    Pages 32-41
  6. Mingfei Li, Chu Chung Christopher Ma, Li Ning
    Pages 42-51
  7. Hee-Kap Ahn, Sang Won Bae, Wanbin Son
    Pages 52-61
  8. Andreas Bley, S. Mehdi Hashemi, Mohsen Rezapour
    Pages 72-83
  9. Manu Agarwal, Ragesh Jaiswal, Arindam Pal
    Pages 84-95
  10. Jan Kratochvíl, Torsten Ueckerdt
    Pages 108-120
  11. Siu-Wing Cheng, Yuya Higashikawa, Naoki Katoh, Guanqun Ni, Bing Su, Yinfeng Xu
    Pages 121-132
  12. Nathanael L. Ackerman, Cameron E. Freer
    Pages 133-143
  13. Wolfgang Merkle, Frank Stephan, Jason Teutsch, Wei Wang, Yue Yang
    Pages 144-155
  14. Oscar H. Ibarra, Shinnosuke Seki
    Pages 156-168
  15. Olivier Bournez, Daniel S. Graça, Amaury Pouly
    Pages 169-180
  16. Alejandro López-Ortiz, Alejandro Salinger
    Pages 193-204
  17. Tor Lattimore, Marcus Hutter
    Pages 212-223
  18. Raghav Kulkarni, Youming Qiao, Xiaoming Sun
    Pages 224-235
  19. Andrew Chester, Riccardo Dondi, Anthony Wirth
    Pages 260-271
  20. Yukun Cheng, Qiaoming Han, Wei Yu, Guochuan Zhang
    Pages 272-281
  21. Hongfeng Wu, Rongquan Feng
    Pages 282-293
  22. Hirotoshi Takebe, Keisuke Tanaka
    Pages 294-305
  23. Endre Boros, Pinar Heggernes, Pim van ’t Hof, Martin Milanič
    Pages 331-342
  24. Mamadou Moustapha Kanté, Christian Laforest, Benjamin Momège
    Pages 343-354
  25. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main themes of the conference which were computability, complexity, and algorithms and present current research in these fields with aspects to theoretical computer science, algorithmic mathematics, and applications to the physical sciences.


complexity elliptic curve provable security public-key cryptography steganography

Editors and affiliations

  • T-H. Hubert Chan
    • 1
  • Lap Chi Lau
    • 2
  • Luca Trevisan
    • 3
  1. 1.The University of Hong KongHong Kong
  2. 2.The Chinese University of Hong KongHong Kong
  3. 3.Department of Computer ScienceStanford UniversityStanfordUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-38235-2
  • Online ISBN 978-3-642-38236-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods