Theory and Applications of Models of Computation

9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

  • Manindra Agrawal
  • S. Barry Cooper
  • Angsheng Li

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

Table of contents

  1. Front Matter
  2. Turing Lectures 2012

  3. Invited Lectures

    1. Yicheng Pan
      Pages 30-39
    2. A. Bonato, D. Mitsche, P. Prałat
      Pages 50-60
    3. Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li
      Pages 61-71
    4. Shuling Wang, Naijun Zhan, Dimitar Guelev
      Pages 72-83
    5. Albert F. Lawrence, Séastien Phan, Mark Ellisman
      Pages 109-130
  4. Contributed Papers

    1. Hiro Ito, Susumu Kiyoshima, Yuichi Yoshida
      Pages 131-142
    2. Alexandru Popa, Prudence W. H. Wong, Fencol C. C. Yung
      Pages 164-176
    3. Kun-Mao Chao, An-Chiang Chu, Jesper Jansson, Richard S. Lemence, Alban Mancheron
      Pages 177-188
    4. Samir Datta, Rameshwar Pratap
      Pages 189-201
    5. Bruno Escoffier, Vangelis Th. Paschos, Emeric Tourniaire
      Pages 202-213
    6. Guizhen Zhu, Daqing Wan
      Pages 214-224
    7. Deshi Ye, Guochuan Zhang
      Pages 225-236
    8. Andrew C. Yao, Yunlei Zhao
      Pages 237-247
    9. Sheng Yu, Jude-Thaddeus Ojiaku, Prudence W. H. Wong, Yinfeng Xu
      Pages 260-272
    10. Jun Zhang, Fang-Wei Fu, Daqing Wan
      Pages 295-306
    11. Lin Wang, Antonio Fernández Anta, Fa Zhang, Chenying Hou, Zhiyong Liu
      Pages 307-318
    12. Xiao Yang, Florian Sikora, Guillaume Blin, Sylvie Hamel, Romeo Rizzi, Srinivas Aluru
      Pages 319-329
    13. H. Baumann, P. Fraigniaud, H. A. Harutyunyan, R. de Verclos
      Pages 330-345
    14. Zhiguo Fu, Jin-Yi Cai
      Pages 346-359
    15. Mingyu Xiao, Hiroshi Nagamochi
      Pages 360-372
    16. Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu
      Pages 373-384
    17. Nathaniel Hobbs, Yuexuan Wang, Qiang-Sheng Hua, Dongxiao Yu, Francis C. M. Lau
      Pages 385-399
    18. Marcos Villagra, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima
      Pages 400-411
    19. Weiwei Wu, Minming Li, He Huang, Enhong Chen
      Pages 412-422
    20. Sanjay Jain, Frank Stephan, Thomas Zeugmann
      Pages 423-434
    21. Denys Duchier, Jérôme Durand-Lose, Maxime Senot
      Pages 435-447
    22. Mordechai Shalom, Ariella Voloshin, Prudence W. H. Wong, Fencol C. C. Yung, Shmuel Zaks
      Pages 448-460
    23. Jordi Arjona Aroca, Antonio Fernández Anta
      Pages 461-472
    24. Beate Bollig, Marc Gillé, Tobias Pröger
      Pages 473-486
    25. Eugen Jiresch, Bernhard Gramlich
      Pages 509-524
    26. Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich
      Pages 525-536

About these proceedings


This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing’s unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy, and the wider scientific world. Eight Turing Lectures were given at the TAMC 2012.
The 40 revised full papers presented together with invited talks were carefully reviewed and selected from 86 submissions. The papers address 4 special sessions at TAMC 2012 which were algorithms and information in networks, complexity and cryptography, models of computing and networking, programming and verification.


elliptic curve hybrid systems key exchange multiparty communication turing machine

Editors and affiliations

  • Manindra Agrawal
    • 1
  • S. Barry Cooper
    • 2
  • Angsheng Li
    • 3
  1. 1.Department of Computer Science and Engineering, Resource Planning and GenerationIndian Institute of Technology KanpurKanpurIndia
  2. 2.Department of Pure Mathematics, LeedsUniversity of LeedsUK
  3. 3.Institute of SoftwareChinese Academy of SciencesBeijingP.R. China

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-29951-3
  • Online ISBN 978-3-642-29952-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software