CIAA C

20 papers

YearTitle / Authors
2019A Benchmark Production Tool for Regular Expressions.
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2019A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata.
Yo-Sub Han, Hwee Kim, Yusei Masuda, Shinnosuke Seki
2019A Simple Extension to Finite Tree Automata for Defining Sets of Labeled, Connected Graphs.
Akio Fujiyoshi, Daniel Prusa
2019Composition Closure of Linear Weighted Extended Top-Down Tree Transducers.
Zoltán Fülöp, Andreas Maletti
2019Decision Problems for Restricted Variants of Two-Dimensional Automata.
Taylor J. Smith, Kai Salomaa
2019Descriptional Complexity of Power and Positive Closure on Convex Languages.
Michal Hospodár
2019Dolev-Yao Theory with Associative Blindpair Operators.
Anguraj Baskar, R. Ramanujam, S. P. Suresh
2019Enumerated Automata Implementation of String Dictionaries.
Robert Bakaric, Damir Korencic, Strahil Ristov
2019Graph-Walking Automata: From Whence They Come, and Whither They are Bound.
Alexander Okhotin
2019Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings
Michal Hospodár, Galina Jirásková
2019Input-Driven Multi-counter Automata.
Martin Kutrib, Andreas Malcher, Matthias Wendlandt
2019New Algorithms for Manipulating Sequence BDDs.
Shuhei Denzumi
2019New Approaches for Context Sensitive Flash Codes.
Gilad Baruch, Shmuel T. Klein, Dana Shapira
2019Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels.
Stavros Konstantinidis, Nelma Moreira, João Pires, Rogério Reis
2019Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations.
Stavros Konstantinidis, Mitja Mastnak, Juraj Sebej
2019Semi-linear Lattices and Right One-Way Jumping Finite Automata (Extended Abstract).
Simon Beier, Markus Holzer
2019Static Garbage Collection.
Sebastian Maneth
2019Streaming Ranked-Tree-to-String Transducers.
Yuta Takahashi, Kazuyuki Asada, Keisuke Nakano
2019Two-Dimensional Pattern Matching Against Basic Picture Languages.
Frantisek Mráz, Daniel Prusa, Michael Wehar
2019Z-Automata for Compact and Direct Representation of Unranked Tree Languages.
Johanna Björklund, Frank Drewes, Giorgio Satta