Theory and Applications of Models of Computation

14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

  • T.V. Gopal
  • Gerhard Jäger
  • Silvia Steila

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10185)

Table of contents

  1. Front Matter
    Pages I-XXVI
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Maria Emilia Maietti
      Pages 12-23
    3. Adrian-Horia Dediu, Joana M. Matos, Carlos Martín-Vide
      Pages 24-38
  3. Contributed Papers

    1. Front Matter
      Pages 57-57
    2. Faisal N. Abu-Khzam, Shaowei Cai, Judith Egan, Peter Shaw, Kai Wang
      Pages 59-70
    3. Shareef Ahmed, Md. Saidur Rahman
      Pages 71-84
    4. Tristan Braquelaire, Marie Gasparoux, Mathieu Raffinot, Raluca Uricaru
      Pages 97-111
    5. Florian Bridoux, Pierre Guillon, Kévin Perrot, Sylvain Sené, Guillaume Theyssier
      Pages 112-128
    6. Diptarka Chakraborty, Satyadev Nandakumar, Himanshu Shukla
      Pages 129-143
    7. Vincent Chau, Minming Li, Kai Wang
      Pages 144-157
    8. Xujin Chen, Xiaodong Hu, Changjun Wang, Ying Zhang
      Pages 158-171
    9. Shantanu Das, Giuseppe Antonio Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta
      Pages 172-186
    10. Ning Ding, Yanli Ren, Dawu Gu
      Pages 187-200
    11. Henning Fernau, Lakshmanan Kuppusamy
      Pages 201-215
    12. Guillaume Fertin, Julien Fradin, Géraldine Jean
      Pages 216-230

About these proceedings


This book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017.

The 45 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 103 submissions. The main themes of TAMC 2017 have been computability, computer science logic, complexity, algorithms, and models of computation and systems theory.


approximation algorithms computational complexity and cryptography models of computation semantics and reasoning speech processing methods security protocols decidability design and analysis of algorithms discrete mathematics formal languages and automata theory knowledge representation and reasoning logic machine translation nonuniform attacks NP-completeness planning and scheduling randomness, geometry and discrete structures reverse mathematics theory and algorithms for application domains time complexity weighted automaton

Editors and affiliations

  • T.V. Gopal
    • 1
  • Gerhard Jäger
    • 2
  • Silvia Steila
    • 3
  1. 1.Anna UniversityChennaiIndia
  2. 2.Universität Bern BernSwitzerland
  3. 3.Universität Bern BernSwitzerland

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-55910-0
  • Online ISBN 978-3-319-55911-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site