ask others

21. CIAA 2016: Seoul, South Korea

> Home > Conferences and Workshops > CIAA

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/2016
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/2016
Yo-Sub Han, Kai Salomaa:
Implementation and Application of Automata - 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Lecture Notes in Computer Science 9705, Springer 2016, ISBN 978-3-319-40945-0

Invited Paper

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/KhoussainovL16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/KhoussainovL16
Bakhadyr Khoussainov, Jiamou Liu:
Decision Problems for Finite Automata over Infinite Algebraic Structures. 3-11

Regular Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Axelsen0K16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Axelsen0K16
Holger Bock Axelsen, Markus Holzer, Martin Kutrib:
The Degree of Irreversibility in Deterministic Finite Automata. 15-26
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/BenschBK16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/BenschBK16
Suna Bensch, Johanna Björklund, Martin Kutrib:
Deterministic Stack Transducers. 27-38
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Calvo-ZaragozaH16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Calvo-ZaragozaH16
Jorge Calvo-Zaragoza, Colin de la Higuera, José Oncina:
Computing the Expected Edit Distance from a String to a PFA. 39-50
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Demaille16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Demaille16
Akim Demaille:
Derived-Term Automata of Multitape Rational Expressions. 51-63
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/StasioMPV16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/StasioMPV16
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Solving Parity Games Using an Automata-Based Algorithm. 64-76
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Esik16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Esik16
Zoltán Ésik:
Ternary Equational Languages. 77-88
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/FernauK16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/FernauK16
Henning Fernau, Andreas Krebs:
Problems on Finite Automata and the Exponential Time Hypothesis. 89-100
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Fujiyoshi16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Fujiyoshi16
Akio Fujiyoshi:
A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of Tree-Width 2 for Spanning Tree Automata. 101-112
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Gluck16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Gluck16
Robert Glück:
A Practical Simulation Result for Two-Way Pushdown Automata. 113-124
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/HospodarJM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/HospodarJM16
Michal Hospodár, Galina Jirásková, Peter Mlynárcik:
Nondeterministic Complexity of Operations on Closed and Ideal Languages. 125-137
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/IbarraM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/IbarraM16
Oscar H. Ibarra, Ian McQuillan:
On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L. 138-149
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/JirasekS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/JirasekS16
Jozef Jirásek Jr., Juraj Sebej:
Kuratowski Algebras Generated by Prefix-Free Languages. 150-162
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/KapoutsisM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/KapoutsisM16
Christos A. Kapoutsis, Lamana Mulaffer:
A Logical Characterization of Small 2NFAs. 163-175
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/KisielewiczKS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/KisielewiczKS16
Andrzej Kisielewicz, Jakub Kowalski, Marek Szykula:
Experiments with Synchronizing Automata. 176-188
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/KonstantinidisM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/KonstantinidisM16
Stavros Konstantinidis, Casey Meijer, Nelma Moreira, Rogério Reis:
Implementation of Code Properties via Transducers. 189-201
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Lerner16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Lerner16
Emil Lerner:
On Synchronizing Automata and Uniform Distribution. 202-212
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/BelovsMY16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/BelovsMY16
Aleksandrs Belovs, J. Andres Montoya, Abuzer Yakaryilmaz:
Looking for Pairs that Hard to Separate: A Quantum Approach. 213-223
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Ng16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Ng16
Timothy Ng:
Prefix Distance Between Regular Languages. 224-235
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Prusa16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Prusa16
Daniel Prusa:
Complexity of Sets of Two-Dimensional Patterns. 236-247
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/SekiW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/SekiW16
Shinnosuke Seki, Andrew Winslow:
The Complexity of Fixed-Height Patterned Tile Self-assembly. 248-259
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/SulzmannL16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/SulzmannL16
Martin Sulzmann, Kenny Zhuo Ming Lu:
Derivative-Based Diagnosis of Regular Expression Ambiguity. 260-272
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Teichmann16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Teichmann16
Markus Teichmann:
Regular Approximation of Weighted Linear Nondeleting Context-Free Tree Languages. 273-284
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/Thiemann16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/Thiemann16
Peter Thiemann:
Derivatives for Enhanced Regular Expressions. 285-297
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/WangO16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/WangO16
Qichao Wang, Friedrich Otto:
Weighted Restarting Automata as Language Acceptors. 298-309
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/WaszczukSP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/WaszczukSP16
Jakub Waszczuk, Agata Savary, Yannick Parmentier:
Enhancing Practical TAG Parsing Efficiency by Capturing Redundancy. 310-321
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/WeidemanMBW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/WeidemanMBW16
Nicolaas Weideman, Brink van der Merwe, Martin Berglund, Bruce Watson:
Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA. 322-334

maintained by

, founded at