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

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
  • Print ISBN 978-3-319-06088-0
  • Online ISBN 978-3-319-06089-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors