Theory and Applications of Models of Computation

11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings

  • T. V. Gopal
  • Manindra Agrawal
  • Angsheng Li
  • S. Barry Cooper
Conference proceedings TAMC 2014

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

Table of contents

  1. Front Matter
  2. T V Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper
    Pages 1-6
  3. Contributed Papers

    1. Anup Bhattacharya, Ragesh Jaiswal, Nir Ailon
      Pages 7-22
    2. Bala Ravikumar, Duncan Innes
      Pages 23-38
    3. Biswanath Sethi, Nazim Fatès, Sukanta Das
      Pages 39-49
    4. Cristian S. Calude, Ludwig Staiger, Frank Stephan
      Pages 50-66
    5. David Auger, Pierre Coucheney, Yann Strozecki
      Pages 67-85
    6. Jean-Yves Marion, Romain Péchoux
      Pages 124-140
    7. Klaus Meer, Ameen Naif
      Pages 168-187
    8. Marc Goerigk, Yogish Sabharwal, Anita Schöbel, Sandeep Sen
      Pages 203-215
    9. Min Lu, Tian Liu, Weitian Tong, Guohui Lin, Ke Xu
      Pages 248-258
    10. Rajiv Veeraraghavan, Rakesh Kashyap, Archita Chopde, Swapan Bhattacharya
      Pages 271-279
    11. Romain Péchoux, Thanh Dinh Ta
      Pages 280-299
    12. Samir Datta, Raghav Kulkarni
      Pages 300-311
    13. Steven Chaplick, Pavol Hell, Yota Otachi, Toshiki Saitoh, Ryuhei Uehara
      Pages 323-340
    14. Takehiro Ito, Marcin Kamiński, Hirotaka Ono, Akira Suzuki, Ryuhei Uehara, Katsuhisa Yamanaka
      Pages 341-351
    15. Venkata Padmavati Metta, Alica Kelemenová
      Pages 352-365
    16. Yuan Tian, Rongxin Sun, Xueyong Zhu
      Pages 378-400
    17. Yuan Tian, Xueyong Zhu, Rongxin Sun
      Pages 401-421
  4. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014. The 27 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers explore the algorithmic foundations, computational methods, and computing devices to meet today's and tomorrow's challenges of complexity, scalability, and sustainability, with wide-ranging impacts on everything from the design of biological systems to the understanding of economic markets and social networks.


algorithmic game theory complexity modal and temporal logics model checking optimization oracles and decision trees security and privacy social networks stochastic games theorem proving and SAT solving

Editors and affiliations

  • T. V. Gopal
    • 1
  • Manindra Agrawal
    • 2
  • Angsheng Li
    • 3
  • S. Barry Cooper
    • 4
  1. 1.Department of Computer Science and Engineering, College of EngineeringAnna University, ChennaiChennaiIndia
  2. 2.Department of Computer Science and EngineeringIndian Institute of TechnologyKanpurIndia
  3. 3.State Key Laboratory of Computer Science, Institute of SoftwareChinese Academy of SciencesBeijingChina
  4. 4.School of MathematicsUniversity of LeedsLeedsUK

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-06088-0
  • Online ISBN 978-3-319-06089-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site