CIAA C

28 papers

YearTitle / Authors
2016A Logical Characterization of Small 2NFAs.
Christos A. Kapoutsis, Lamana Mulaffer
2016A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of Tree-Width 2 for Spanning Tree Automata.
Akio Fujiyoshi
2016A Practical Simulation Result for Two-Way Pushdown Automata.
Robert Glück
2016Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA.
Nicolaas Weideman, Brink van der Merwe, Martin Berglund, Bruce W. Watson
2016Complexity of Sets of Two-Dimensional Patterns.
Daniel Prusa
2016Computing the Expected Edit Distance from a String to a PFA.
Jorge Calvo-Zaragoza, Colin de la Higuera, José Oncina
2016Decision Problems for Finite Automata over Infinite Algebraic Structures.
Bakhadyr Khoussainov, Jiamou Liu
2016Derivative-Based Diagnosis of Regular Expression Ambiguity.
Martin Sulzmann, Kenny Zhuo Ming Lu
2016Derivatives for Enhanced Regular Expressions.
Peter Thiemann
2016Derived-Term Automata of Multitape Rational Expressions.
Akim Demaille
2016Deterministic Stack Transducers.
Suna Bensch, Johanna Björklund, Martin Kutrib
2016Enhancing Practical TAG Parsing Efficiency by Capturing Redundancy.
Jakub Waszczuk, Agata Savary, Yannick Parmentier
2016Experiments with Synchronizing Automata.
Andrzej Kisielewicz, Jakub Kowalski, Marek Szykula
2016Implementation and Application of Automata - 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
Yo-Sub Han, Kai Salomaa
2016Implementation of Code Properties via Transducers.
Stavros Konstantinidis, Casey Meijer, Nelma Moreira, Rogério Reis
2016Kuratowski Algebras Generated by Prefix-Free Languages.
Jozef Jirásek Jr., Juraj Sebej
2016Looking for Pairs that Hard to Separate: A Quantum Approach.
Aleksandrs Belovs, J. Andres Montoya, Abuzer Yakaryilmaz
2016Nondeterministic Complexity of Operations on Closed and Ideal Languages.
Michal Hospodár, Galina Jirásková, Peter Mlynárcik
2016On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L.
Oscar H. Ibarra, Ian McQuillan
2016On Synchronizing Automata and Uniform Distribution.
Emil Lerner
2016Prefix Distance Between Regular Languages.
Timothy Ng
2016Problems on Finite Automata and the Exponential Time Hypothesis.
Henning Fernau, Andreas Krebs
2016Regular Approximation of Weighted Linear Nondeleting Context-Free Tree Languages.
Markus Teichmann
2016Solving Parity Games Using an Automata-Based Algorithm.
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2016Ternary Equational Languages.
Zoltán Ésik
2016The Complexity of Fixed-Height Patterned Tile Self-assembly.
Shinnosuke Seki, Andrew Winslow
2016The Degree of Irreversibility in Deterministic Finite Automata.
Holger Bock Axelsen, Markus Holzer, Martin Kutrib
2016Weighted Restarting Automata as Language Acceptors.
Qichao Wang, Friedrich Otto