ask others

14. CIAA 2009: Sydney, Australia

> Home > Conferences and Workshops > CIAA

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/2009
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/2009
Sebastian Maneth:
Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings. Lecture Notes in Computer Science 5642, Springer 2009, ISBN 978-3-642-02978-3

Invited Lectures

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Navarro09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Navarro09
Gonzalo Navarro:
Implementation and Application of Automata in String Processing. 1
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Koch09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Koch09
Christoph Koch:
Applications of Automata in XML Processing. 2
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Seidl09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Seidl09
Helmut Seidl:
Program Analysis through Finite Tree Automata. 3

Technical Contributions

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/HolzerM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/HolzerM09
Markus Holzer, Andreas Maletti:
An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton. 4-13
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/CastiglioneRS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/CastiglioneRS09
Giusi Castiglione, Antonio Restivo, Marinella Sciortino:
On Extremal Cases of Hopcroft's Algorithm. 14-23
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/VuilleminG09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/VuilleminG09
Jean Vuillemin, Nicolas Gama:
Compact Normal Form for Regular Languages as Xor Automata. 24-33
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/KutribM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/KutribM09
Martin Kutrib, Andreas Malcher:
Cellular Automata with Sparse Communication. 34-43
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/ClarridgeS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/ClarridgeS09
Adam Clarridge, Kai Salomaa:
A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule. 44-53
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/HolubS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/HolubS09
Jan Holub, Stanislav Stekr:
On Parallel Implementations of Deterministic Finite Automata. 54-64
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/AlmeidaAAMR09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/AlmeidaAAMR09
André Almeida, Marco Almeida, José Alves, Nelma Moreira, Rogério Reis:
FAdo and GUItar. 65-74
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Barthelemy09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Barthelemy09
François Barthélemy:
A Testing Framework for Finite-State Morphology. 75-83
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/LiuYLT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/LiuYLT09
Yanbing Liu, Yifu Yang, Ping Liu, Jianlong Tan:
A Table Compression Method for Extended Aho-Corasick Automaton. 84-93
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/InabaH09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/InabaH09
Kazuhiro Inaba, Haruo Hosoya:
Compact Representation for Answer Sets of n-ary Regular Queries. 94-104
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Fujiyoshi09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Fujiyoshi09
Akio Fujiyoshi:
Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree Automata. 105-114
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/HeamNS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/HeamNS09
Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz:
Random Generation of Deterministic Tree (Walking) Automata. 115-124
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/SuzukiO09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/SuzukiO09
Taro Suzuki, Satoshi Okui:
Hedge Pattern Partial Derivative. 125-134
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/CourbisHK09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/CourbisHK09
Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko:
TAGED Approximations for Temporal Properties Model-Checking. 135-144
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/AtigT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/AtigT09
Mohamed Faouzi Atig, Tayssir Touili:
Verifying Parallel Programs with Dynamic Communication Structures. 145-154
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/GantyMR09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/GantyMR09
Pierre Ganty, Nicolas Maquet, Jean-François Raskin:
Fixpoint Guided Abstraction Refinement for Alternating Automata. 155-164
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/IosifR09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/IosifR09
Radu Iosif, Adam Rogalewicz:
Automata-Based Termination Proofs. 165-177
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/AhnH09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/AhnH09
Jae-Hee Ahn, Yo-Sub Han:
Implementation of State Elimination Using Heuristics. 178-187
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/GruberHT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/GruberHT09
Hermann Gruber, Markus Holzer, Michael Tautschnig:
Short Regular Expressions from Finite Automata: Empirical Results. 188-197
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/CaronCM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/CaronCM09
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot:
Small Extended Expressions for Acyclic Automata. 198-207
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/FreivaldsI09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/FreivaldsI09
Rusins Freivalds, Kazuo Iwama:
Quantum Queries on Permutations with a Promise. 208-216
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Zimmermann09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Zimmermann09
Martin Zimmermann:
Time-Optimal Winning Strategies for Poset Games. 217-226
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Freivalds09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Freivalds09
Rusins Freivalds:
Amount of Nonconstructivity in Finite Automata. 227-236

Short Papers and Poster Abstracts

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Savary09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Savary09
Agata Savary:
Multiflex: A Multilingual Finite-State Tool for Multi-Word Units. 237-240
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Sastre-Martinez09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Sastre-Martinez09
Javier Miguel Sastre-Martínez:
Efficient Parsing Using Filtered-Popping Recursive Transition Networks. 241-244
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/CleophasH09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/CleophasH09
Loek G. Cleophas, Kees Hemerik:
Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms. 245-248
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/CaoN09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/CaoN09
Jing Cao, Albert Nymeyer:
Formally Synthesising a Protocol Converter: A Case Study. 249-252
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Prochazka09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Prochazka09
Jan Procházka:
Compiler Generator Based on Restarting Automata. 253-257
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/LuY09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/LuY09
Hanlin Lu, Sheng Yu:
Are Statecharts Finite Automata?. 258-261

maintained by

at