skip to content
Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings Preview this item
ClosePreview this item
Checking...

Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Author: Stavros Konstantinidis
Publisher: Heidelberg : Springer, [2013]
Series: Lecture notes in computer science, 7982.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Ebook
Congresses
Additional Physical Format: Print version:
CIAA (Conference) (18th : 2013 : Halifax, N.S.).
Implementation and application of automata. CIAA (Conference) (18th : 2013 : Halifax, N.S.).
Heidelberg : Springer, [2013]
(OCoLC)864684896
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Stavros Konstantinidis
ISBN: 9783642392740 3642392741
OCLC Number: 853120086
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xiii, 358 pages) : illustrations (black and white).
Contents: Invited Talks: Cover Languages and Implementations / Cezar Câmpeanu --
Automata for Codes / Helmut Jürgensen --
Applications of Symbolic Finite Automata / Margus Veanes --
Regular Papers: Computing Weights / Houda Abbad and Eric Laugerotte --
Partial Word DFAs / Eric Balkanski, F. Blanchet-Sadri, Matthew Kilgore, and B.J. Wyatt --
Using Regular Grammars for Event-Based Testing / Fevzi Belli and Mutlu Beyazıt --
Two-Pass Greedy Regular Expression Parsing / Niels Bjørn Bugge Grathwohl, Fritz Henglein, Lasse Nielsen, and Ulrik Terp Rasmussen --
Universal Witnesses for State Complexity of Basic Operations Combined with Reversal / Janusz Brzozowski and David Liu --
Trimming Visibly Pushdown Automata / Mathieu Caralp, Pierre-Alain Reynier, and Jean-Marc Talbot --
A Uniformization Theorem for Nested Word to Word Transductions / Dmitry Chistikov and Rupak Majumdar --
Towards Nominal Context-Free Model-Checking / Pierpaolo Degano, Gian-Luigi Ferrari, and Gianluca Mezzetti --
Implementation Concepts in Vaucanson 2 / Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, and Jacques Sakarovitch --
A Completion Algorithm for Lattice Tree Automata / Thomas Genet, Tristan Le Gall, Axel Legay, and Valérie Murat --
Approximate Matching between a Context-Free Grammar and a Finite-State Automaton / Yo-Sub Han, Sang-Ki Ko, and Kai Salomaa --
On Palindromic Sequence Automata and Applications / Md. Mahbubul Hasan, A.S.M. Sohidull Islam, M. Sohel Rahman, and Ayon Sen --
LALBLC A Program Testing the Equivalence of dpda's / Patrick Henry and Géraud Sénizergues --
Brzozowski's Minimization Algorithm--More Robust than Expected / Markus Holzer and Sebastian Jakobi --
Some Decision Problems Concerning NPDAs, Palindromes, and Dyck Languages / Oscar H. Ibarra and Bala Ravikumar --
On the Boundary of Regular Languages / Jozef Jirásek and Galina Jirásková --
On the Length of Homing Sequences for Nondeterministic Finite State Machines / Natalia Kushik and Nina Yevtushenko --
Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties / Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, and Matthias Wendlandt --
Hyper-optimization for Deterministic Tree Automata / Andreas Maletti --
Lambda-confluence is undeciable for clearing restarting automata / František Mráz and Friedrich Otto --
Comparing two-dimensional one-marker automata to Sgraffito automata / Daniel Průša, František Mráz, and Friedrich Otto --
Deterministic counter machines and parallel matching computations / Stefano Crespi Reghizzi and Pierluigi San Pietro --
Early Nested Word Automata for XPath Query Answering on XML Streams / Denis Debarbieux, Olivier Gauwin, Joachim Niehren, Tom Sebastian, and Mohamed Zergaoui --
Invertible Transducers, Iteration and Coordinates / Klaus Sutner --
Compressed Automata for Dictionary Matching / Tomohiro I, Takaaki Nishimoto, Shunsuke Inenaga, Hideo Bannai, and Masayuki Takeda --
Short Papers: Enhancing Approximations for Regular Reachability Analysis / Aloı̈s Dreyfus, Pierre-Cyrille Héam, and Olga Kouchnarenko --
Generating Small Automata and the Černý Conjecture / Andrzej Kisielewicz and Marek Szykula --
Incomplete Transition Complexity of Basic Operations on Finite Languages / Eva Maia, Nelma Moreira, and Rogério Reis.
Series Title: Lecture notes in computer science, 7982.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: CIAA 2013
Responsibility: Stavros Konstantinidis (ed.).

Abstract:

This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/853120086> # Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "853120086" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1441131716#Topic/robotics> ; # Robotics
    schema:about <http://id.worldcat.org/fast/1098997> ; # Robotics
    schema:about <http://experiment.worldcat.org/entity/work/data/1441131716#Topic/machine_theory> ; # Machine theory
    schema:about <http://dewey.info/class/621.39/e23/> ;
    schema:alternateName "CIAA 2013" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1441131716#Meeting/ciaa_conference_18th_2013_halifax_n_s> ; # CIAA (Conference) (18th : 2013 : Halifax, N.S.)
    schema:datePublished "2013" ;
    schema:description "This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata; picture languages; pushdown automata; queue automata; reachability analysis for software verification; restarting automata; transducers; tree automata; weighted automata; XML streams."@en ;
    schema:editor <http://viaf.org/viaf/305031277> ; # Stavros Konstantinidis
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1441131716> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Congresses"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Ebook"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1441131716#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1441131716#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1441131716#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://www.worldcat.org/oclc/864684896> ;
    schema:name "Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings"@en ;
    schema:productID "853120086" ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-39274-0> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-39274-0> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3101243> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-39274-0> ;
    schema:workExample <http://worldcat.org/isbn/9783642392740> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/853120086> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1441131716#Meeting/ciaa_conference_18th_2013_halifax_n_s> # CIAA (Conference) (18th : 2013 : Halifax, N.S.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1441131716#Place/halifax_n_s> ; # Halifax, N.S.)
    schema:name "CIAA (Conference) (18th : 2013 : Halifax, N.S.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1441131716#Place/halifax_n_s> # Halifax, N.S.)
    a schema:Place ;
    schema:name "Halifax, N.S.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1441131716#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/853120086> ; # Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1441131716#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/853120086> ; # Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1441131716#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/853120086> ; # Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
    schema:name "Machine theory"@en ;
    .

<http://id.worldcat.org/fast/1098997> # Robotics
    a schema:Intangible ;
    schema:name "Robotics"@en ;
    .

<http://viaf.org/viaf/305031277> # Stavros Konstantinidis
    a schema:Person ;
    schema:familyName "Konstantinidis" ;
    schema:givenName "Stavros" ;
    schema:name "Stavros Konstantinidis" ;
    .

<http://worldcat.org/isbn/9783642392740>
    a schema:ProductModel ;
    schema:isbn "3642392741" ;
    schema:isbn "9783642392740" ;
    .

<http://www.worldcat.org/oclc/864684896>
    a schema:CreativeWork ;
    rdfs:label "Implementation and application of automata. CIAA (Conference) (18th : 2013 : Halifax, N.S.)." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/853120086> ; # Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
    .

<http://www.worldcat.org/title/-/oclc/853120086>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/853120086> ; # Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
    schema:dateModified "2018-05-18" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.