Advertisement

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
    13. Ken C. K. Fong, Minming Li, Yungao Li, Sheung-Hung Poon, Weiwei Wu, Yingchao Zhao
      Pages 247-259
    14. Emanuele Frittaion, Silvia Steila, Keita Yokoyama
      Pages 260-273
    15. Roland Glück
      Pages 274-288
    16. Tesshu Hanaka, Hans L. Bodlaender, Tom C. van der Zanden, Hirotaka Ono
      Pages 304-318
    17. Mamadou Moustapha Kanté, Takeaki Uno
      Pages 333-347
    18. Leon Kellerhals, Viatcheslav Korenwein, Philipp Zschoche, Robert Bredereck, Jiehua Chen
      Pages 348-361
    19. Hans Kleine Büning, Piotr Wojciechowski, K. Subramani
      Pages 362-372
    20. Minming Li, Frances F. Yao, Hao Yuan
      Pages 389-400
    21. Andrzej Lingas, Mia Persson, Dzmitry Sledneu
      Pages 412-424
    22. Neil Lutz, D. M. Stull
      Pages 425-439
    23. Luca Paolini, Margherita Zorzi
      Pages 455-469
    24. Daniël Paulusma, Christophe Picouleau, Bernard Ries
      Pages 470-483
    25. Photchchara Pisantechakool, Xuehou Tan
      Pages 499-514
    26. Sheung-Hung Poon, Wei-Lin Wang
      Pages 515-528
    27. Mozhgan Pourmoradnasseri, Dirk Oliver Theis
      Pages 529-542
    28. Maciej Skorski
      Pages 600-613
    29. Tomáš Masařík, Tomáš Toufar
      Pages 628-642

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-319-55911-7
  • 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