Search dblp for Publications

export results for "toc:db/conf/wia/ciaa2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/wia/AhnH09,
  author       = {Jae{-}Hee Ahn and
                  Yo{-}Sub Han},
  editor       = {Sebastian Maneth},
  title        = {Implementation of State Elimination Using Heuristics},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {178--187},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_21},
  doi          = {10.1007/978-3-642-02979-0\_21},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/AhnH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/AlmeidaAAMR09,
  author       = {Andr{\'{e}} Almeida and
                  Marco Almeida and
                  Jos{\'{e}} Alves and
                  Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  editor       = {Sebastian Maneth},
  title        = {FAdo and GUItar},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {65--74},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_10},
  doi          = {10.1007/978-3-642-02979-0\_10},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/AlmeidaAAMR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/AtigT09,
  author       = {Mohamed Faouzi Atig and
                  Tayssir Touili},
  editor       = {Sebastian Maneth},
  title        = {Verifying Parallel Programs with Dynamic Communication Structures},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {145--154},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_18},
  doi          = {10.1007/978-3-642-02979-0\_18},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/AtigT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Barthelemy09,
  author       = {Fran{\c{c}}ois Barth{\'{e}}lemy},
  editor       = {Sebastian Maneth},
  title        = {A Testing Framework for Finite-State Morphology},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {75--83},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_11},
  doi          = {10.1007/978-3-642-02979-0\_11},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Barthelemy09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/CaoN09,
  author       = {Jing Cao and
                  Albert Nymeyer},
  editor       = {Sebastian Maneth},
  title        = {Formally Synthesising a Protocol Converter: {A} Case Study},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {249--252},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_30},
  doi          = {10.1007/978-3-642-02979-0\_30},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/CaoN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/CaronCM09,
  author       = {Pascal Caron and
                  Jean{-}Marc Champarnaud and
                  Ludovic Mignot},
  editor       = {Sebastian Maneth},
  title        = {Small Extended Expressions for Acyclic Automata},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {198--207},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_23},
  doi          = {10.1007/978-3-642-02979-0\_23},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/CaronCM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/CastiglioneRS09,
  author       = {Giusi Castiglione and
                  Antonio Restivo and
                  Marinella Sciortino},
  editor       = {Sebastian Maneth},
  title        = {On Extremal Cases of Hopcroft's Algorithm},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {14--23},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_5},
  doi          = {10.1007/978-3-642-02979-0\_5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/CastiglioneRS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/ClarridgeS09,
  author       = {Adam Clarridge and
                  Kai Salomaa},
  editor       = {Sebastian Maneth},
  title        = {A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {44--53},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_8},
  doi          = {10.1007/978-3-642-02979-0\_8},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/ClarridgeS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/CleophasH09,
  author       = {Loek G. Cleophas and
                  Kees Hemerik},
  editor       = {Sebastian Maneth},
  title        = {Forest {FIRE:} {A} Taxonomy-based Toolkit of Tree Automata and Regular
                  Tree Algorithms},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {245--248},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_29},
  doi          = {10.1007/978-3-642-02979-0\_29},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/CleophasH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/CourbisHK09,
  author       = {Rom{\'{e}}o Courbis and
                  Pierre{-}Cyrille H{\'{e}}am and
                  Olga Kouchnarenko},
  editor       = {Sebastian Maneth},
  title        = {{TAGED} Approximations for Temporal Properties Model-Checking},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {135--144},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_17},
  doi          = {10.1007/978-3-642-02979-0\_17},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/CourbisHK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Freivalds09,
  author       = {Rusins Freivalds},
  editor       = {Sebastian Maneth},
  title        = {Amount of Nonconstructivity in Finite Automata},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {227--236},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_26},
  doi          = {10.1007/978-3-642-02979-0\_26},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Freivalds09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/FreivaldsI09,
  author       = {Rusins Freivalds and
                  Kazuo Iwama},
  editor       = {Sebastian Maneth},
  title        = {Quantum Queries on Permutations with a Promise},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {208--216},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_24},
  doi          = {10.1007/978-3-642-02979-0\_24},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/FreivaldsI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Fujiyoshi09,
  author       = {Akio Fujiyoshi},
  editor       = {Sebastian Maneth},
  title        = {Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree
                  Automata},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {105--114},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_14},
  doi          = {10.1007/978-3-642-02979-0\_14},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Fujiyoshi09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/GantyMR09,
  author       = {Pierre Ganty and
                  Nicolas Maquet and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Sebastian Maneth},
  title        = {Fixpoint Guided Abstraction Refinement for Alternating Automata},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {155--164},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_19},
  doi          = {10.1007/978-3-642-02979-0\_19},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/GantyMR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/GruberHT09,
  author       = {Hermann Gruber and
                  Markus Holzer and
                  Michael Tautschnig},
  editor       = {Sebastian Maneth},
  title        = {Short Regular Expressions from Finite Automata: Empirical Results},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {188--197},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_22},
  doi          = {10.1007/978-3-642-02979-0\_22},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/GruberHT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/HeamNS09,
  author       = {Pierre{-}Cyrille H{\'{e}}am and
                  Cyril Nicaud and
                  Sylvain Schmitz},
  editor       = {Sebastian Maneth},
  title        = {Random Generation of Deterministic Tree (Walking) Automata},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {115--124},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_15},
  doi          = {10.1007/978-3-642-02979-0\_15},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/HeamNS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/HolubS09,
  author       = {Jan Holub and
                  Stanislav Stekr},
  editor       = {Sebastian Maneth},
  title        = {On Parallel Implementations of Deterministic Finite Automata},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {54--64},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_9},
  doi          = {10.1007/978-3-642-02979-0\_9},
  timestamp    = {Sat, 07 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/HolubS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/HolzerM09,
  author       = {Markus Holzer and
                  Andreas Maletti},
  editor       = {Sebastian Maneth},
  title        = {An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic
                  Automaton},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {4--13},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_4},
  doi          = {10.1007/978-3-642-02979-0\_4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/HolzerM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/InabaH09,
  author       = {Kazuhiro Inaba and
                  Haruo Hosoya},
  editor       = {Sebastian Maneth},
  title        = {Compact Representation for Answer Sets of n-ary Regular Queries},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {94--104},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_13},
  doi          = {10.1007/978-3-642-02979-0\_13},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/InabaH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/IosifR09,
  author       = {Radu Iosif and
                  Adam Rogalewicz},
  editor       = {Sebastian Maneth},
  title        = {Automata-Based Termination Proofs},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {165--177},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_20},
  doi          = {10.1007/978-3-642-02979-0\_20},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/IosifR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Koch09,
  author       = {Christoph Koch},
  editor       = {Sebastian Maneth},
  title        = {Applications of Automata in {XML} Processing},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {2},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_2},
  doi          = {10.1007/978-3-642-02979-0\_2},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Koch09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/KutribM09,
  author       = {Martin Kutrib and
                  Andreas Malcher},
  editor       = {Sebastian Maneth},
  title        = {Cellular Automata with Sparse Communication},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {34--43},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_7},
  doi          = {10.1007/978-3-642-02979-0\_7},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/KutribM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/LiuYLT09,
  author       = {Yanbing Liu and
                  Yifu Yang and
                  Ping Liu and
                  Jianlong Tan},
  editor       = {Sebastian Maneth},
  title        = {A Table Compression Method for Extended Aho-Corasick Automaton},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {84--93},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_12},
  doi          = {10.1007/978-3-642-02979-0\_12},
  timestamp    = {Wed, 22 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/LiuYLT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/LuY09,
  author       = {Hanlin Lu and
                  Sheng Yu},
  editor       = {Sebastian Maneth},
  title        = {Are Statecharts Finite Automata?},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {258--261},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_32},
  doi          = {10.1007/978-3-642-02979-0\_32},
  timestamp    = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/LuY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Navarro09,
  author       = {Gonzalo Navarro},
  editor       = {Sebastian Maneth},
  title        = {Implementation and Application of Automata in String Processing},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {1},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_1},
  doi          = {10.1007/978-3-642-02979-0\_1},
  timestamp    = {Wed, 28 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/Navarro09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Prochazka09,
  author       = {Jan Proch{\'{a}}zka},
  editor       = {Sebastian Maneth},
  title        = {Compiler Generator Based on Restarting Automata},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {253--257},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_31},
  doi          = {10.1007/978-3-642-02979-0\_31},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Prochazka09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Sastre-Martinez09,
  author       = {Javier Miguel Sastre{-}Mart{\'{\i}}nez},
  editor       = {Sebastian Maneth},
  title        = {Efficient Parsing Using Filtered-Popping Recursive Transition Networks},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {241--244},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_28},
  doi          = {10.1007/978-3-642-02979-0\_28},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Sastre-Martinez09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Savary09,
  author       = {Agata Savary},
  editor       = {Sebastian Maneth},
  title        = {Multiflex: {A} Multilingual Finite-State Tool for Multi-Word Units},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {237--240},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_27},
  doi          = {10.1007/978-3-642-02979-0\_27},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Savary09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Seidl09,
  author       = {Helmut Seidl},
  editor       = {Sebastian Maneth},
  title        = {Program Analysis through Finite Tree Automata},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {3},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_3},
  doi          = {10.1007/978-3-642-02979-0\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Seidl09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/SuzukiO09,
  author       = {Taro Suzuki and
                  Satoshi Okui},
  editor       = {Sebastian Maneth},
  title        = {Hedge Pattern Partial Derivative},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {125--134},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_16},
  doi          = {10.1007/978-3-642-02979-0\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/SuzukiO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/VuilleminG09,
  author       = {Jean Vuillemin and
                  Nicolas Gama},
  editor       = {Sebastian Maneth},
  title        = {Compact Normal Form for Regular Languages as Xor Automata},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {24--33},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_6},
  doi          = {10.1007/978-3-642-02979-0\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/VuilleminG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Zimmermann09,
  author       = {Martin Zimmermann},
  editor       = {Sebastian Maneth},
  title        = {Time-Optimal Winning Strategies for Poset Games},
  booktitle    = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  pages        = {217--226},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0\_25},
  doi          = {10.1007/978-3-642-02979-0\_25},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/Zimmermann09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wia/2009,
  editor       = {Sebastian Maneth},
  title        = {Implementation and Application of Automata, 14th International Conference,
                  {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5642},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02979-0},
  doi          = {10.1007/978-3-642-02979-0},
  isbn         = {978-3-642-02978-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.