Skip to main content
SpringerLink
Log in

Language and Automata Theory and Applications

9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Adrian-Horia Dediu

    1. Rovira i Virgili University, Tarragona, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Enrico Formenti

    1. Nice Sophia Antipolis University, Sophia Antipolis, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Carlos Martín-Vide

    1. Mathematical Linguistics, Rovira i Virgili University, Tarragona, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Bianca Truthe

    1. Justus-Liebig-Universität, Gießen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: LATA 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (58 papers)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications

      • Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli
      Pages 3-24

    3. Automated Program Verification

      • Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski
      Pages 25-46

    4. Hankel Matrices: From Words to Graphs (Extended Abstract)

      • Johann A. Makowsky, Nadia Labai
      Pages 47-55

    5. Complexity Classes for Membrane Systems: A Survey

      • Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca, Claudio Zandron
      Pages 56-69

    6. The Shuffle Product: New Research Directions

      • Antonio Restivo
      Pages 70-81

  3. Algorithms

    1. Front Matter

      Pages 83-83
      Download chapter PDF

    2. Average-Case Optimal Approximate Circular String Matching

      • Carl Barton, Costas S. Iliopoulos, Solon P. Pissis
      Pages 85-96

    3. An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring

      • Johanna Björklund, Frank Drewes, Niklas Zechner
      Pages 97-108

    4. Construction of a de Bruijn Graph for Assembly from a Truncated Suffix Tree

      • Bastien Cazaux, Thierry Lecroq, Eric Rivals
      Pages 109-120

    5. Frequent Pattern Mining with Non-overlapping Inversions

      • Da-Jung Cho, Yo-Sub Han, Hwee Kim
      Pages 121-132

    6. A Parallel Algorithm for Finding All Minimal Maximum Subsequences via Random Walk

      • H. K. Dai, Z. Wang
      Pages 133-144

    7. Building Bridges Between Sets of Partial Orders

      • Hernán Ponce-de-León, Andrey Mokhov
      Pages 145-160

    8. Complexity of Road Coloring with Prescribed Reset Words

      • Vojtěch Vorel, Adam Roman
      Pages 161-172

  4. Automata, Logic, and Concurrency

    1. Front Matter

      Pages 173-173
      Download chapter PDF

    2. Logics for Unordered Trees with Data Constraints on Siblings

      • Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
      Pages 175-187

    3. Weak and Nested Class Memory Automata

      • Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong
      Pages 188-199

    4. Insertion Operations on Deterministic Reversal-Bounded Counter Machines

      • Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
      Pages 200-211

    5. On the Synchronizing Probability Function and the Triple Rendezvous Time

      • François Gonze, Raphaël M. Jungers
      Pages 212-223
Back to top

Other volumes

  1. Language and Automata Theory and Applications

Keywords

About this book

This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015. The 53 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 115 submissions. The papers cover the following topics: algebraic language theory; algorithms for semi-structured data mining, algorithms on automata and words; automata and logic; automata for system analysis and program verification; automata networks, concurrency and Petri nets; automatic structures; cellular automata, codes, combinatorics on words; computational complexity; data and image compression; descriptional complexity; digital libraries and document engineering; foundations of finite state technology; foundations of XML; fuzzy and rough languages; grammatical inference and algorithmic learning; graphs and graph transformation; language varieties and semigroups; parallel and regulated rewriting; parsing; patterns; string and combinatorial issues in computational biology and bioinformatics; string processing algorithms; symbolic dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.

Editors and Affiliations

  • Rovira i Virgili University, Tarragona, Spain

    Adrian-Horia Dediu

  • Nice Sophia Antipolis University, Sophia Antipolis, France

    Enrico Formenti

  • Mathematical Linguistics, Rovira i Virgili University, Tarragona, Spain

    Carlos Martín-Vide

  • Justus-Liebig-Universität, Gießen, Germany

    Bianca Truthe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation