Advertisement

Language and Automata Theory and Applications

7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

  • Adrian-Horia Dediu
  • Carlos Martín-Vide
  • Bianca Truthe

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. Rajeev Alur, Sampath Kannan, Kevin Tian, Yifei Yuan
      Pages 44-55
    2. Takahito Aoto, Munehiro Iwami
      Pages 56-67
    3. Aistis Atminas, Vadim Lozin, Mikhail Moshkov
      Pages 68-79
    4. Parisa Babaali, Christopher Knaplund
      Pages 80-91
    5. Sebastian Bala, Dariusz Jackowski
      Pages 92-103
    6. Sebastian Bala, Artur Koniński
      Pages 104-115
    7. Billel Benzaid, Riccardo Dondi, Nadia El-Mabrouk
      Pages 116-127
    8. Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wąsowski
      Pages 128-140
    9. Johanna Björklund, Henning Fernau, Anna Kasprzik
      Pages 141-152
    10. Francine Blanchet-Sadri, Michelle Bodnar, Nathan Fox, Joe Hidakatsu
      Pages 153-164
    11. Francine Blanchet-Sadri, Justin Lazarow
      Pages 165-176
    12. Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara, Thomas Schwentick
      Pages 177-189
    13. Véronique Bruyère, Marc Ducobu, Olivier Gauwin
      Pages 190-201
    14. Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Ludovic Mignot
      Pages 202-213
    15. Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin
      Pages 214-225
    16. Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra
      Pages 226-237
    17. Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong
      Pages 250-261
    18. Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
      Pages 262-274
    19. Henning Fernau, Pinar Heggernes, Yngve Villanger
      Pages 275-286
    20. Rūsiņš Freivalds, Thomas Zeugmann, Grant R. Pogosyan
      Pages 287-298
    21. Daniel Goč, Hamoon Mousavi, Jeffrey Shallit
      Pages 299-310
    22. Daniel Goč, Kalle Saari, Jeffrey Shallit
      Pages 311-322
    23. Stuart Haber, William Horne, Pratyusa Manadhata, Miranda Mowbray, Prasad Rao
      Pages 323-334
    24. Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
      Pages 335-346
    25. Milka Hutagalung, Martin Lange, Etienne Lozes
      Pages 347-358
    26. Oscar H. Ibarra, Bala Ravikumar
      Pages 359-370
    27. Florent Jacquemard, Michael Rusinowitch
      Pages 371-382
    28. Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Tomasz Waleń
      Pages 383-394
    29. Éric Laugerotte, Nadia Ouali Sebti, Djelloul Ziadi
      Pages 395-406
    30. Michael Luttenberger, Maximilian Schlund
      Pages 407-418
    31. Brink van der Merwe, Mark Farag, Jaco Geldenhuys
      Pages 419-430
    32. Angelo Montanari, Pietro Sala
      Pages 431-443
    33. Friedrich Otto
      Pages 456-467
    34. Jurriaan Rot, Marcello Bonsangue, Jan Rutten
      Pages 480-492
    35. Victor Selivanov, Anton Konovalov
      Pages 504-515
    36. Seppo Sippu, Eljas Soisalon-Soininen
      Pages 523-534
    37. Rodrigo de Souza
      Pages 547-558

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 7th International Conference on Language and Automata Theory and Applications, LATA 2013, held in Bilbao, Spain in April 2013.
The 45 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 97 initial submissions. The volume features contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.). Among the topics covered are algebraic language theory; algorithms for semi-structured data mining; algorithms on automata and words; automata and logic; automata for system analysis and program verifiation; automata, concurrency and Petri nets; automatic structures; cellular automata; combinatorics on words; computability; computational complexity; computational linguistics; data and image compression; decidability questions on words and languages; descriptional complexity; DNA and other models of bio-inspired computing; document engineering; foundations of finite state technology; foundations of XML; fuzzy and rough languages; grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.); grammars and automata architectures; grammatical inference and algorithmic learning; graphs and graph transformation; language varieties and semigroups; language-based cryptography; language-theoretic foundations of artificial intelligence and artifi- cial life; parallel and regulated rewriting; parsing; pattern recognition; patterns and codes; power series; quantum, chemical and optical computing; semantics; string and combinatorial issues in computational biology and bioinformatics; string processing algorithms; symbolic dynamics; symbolic neural networks; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.

Keywords

dynamic programming formal languages model checking process calculus static typechecking

Editors and affiliations

  • Adrian-Horia Dediu
    • 1
  • Carlos Martín-Vide
    • 1
  • Bianca Truthe
    • 2
  1. 1.Research Group on Mathematical LinguisticsUniversitat Rovira i VirgiliTarragonaSpain
  2. 2.Fakultät für Informatik, Institut für Wissens- und SprachverarbeitungOtto-von-Guericke-Universität MagdeburgMagdeburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-37064-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-37063-2
  • Online ISBN 978-3-642-37064-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site