CIAA C

26 papers

YearTitle / Authors
2024Attributed Tree Transducers for Partial Functions.
Sebastian Maneth, Martin Vu
2024Automata and Grammars for Data Words.
Hiroyuki Seki
2024Benchmarking Regular Expression Matching.
Alexander Roodt, Brendan Keith Mark Watling, Willem Bester, Brink van der Merwe, Sicheol Sung, Yo-Sub Han
2024Block Languages and Their Bitmap Representations.
Guilherme Duarte, Nelma Moreira, Luca Prigioniero, Rogério Reis
2024Computing the Bandwidth of Meager Timed Automata.
Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán
2024Constructing a BPE Tokenization DFA.
Martin Berglund, Willeke Martens, Brink van der Merwe
2024Decision Problems for Reversible and Permutation Automata.
Maria Radionova, Alexander Okhotin
2024Decision Problems for Subregular Classes.
Michal Hospodár, Viktor Olejár, Juraj Sebej
2024Disproving Termination of Non-erasing Sole Combinatory Calculus with Tree Automata.
Keisuke Nakano, Munehiro Iwami
2024Exact Descriptional Complexity of Determinization of Input-Driven Pushdown Automata.
Olga Martynova
2024From Relation to Emulation and Interpretation: Computer Algebra Implementation of the Covering Lemma for Finite Transformation Semigroups.
Attila Egri-Nagy, Chrystopher L. Nehaniv
2024Global One-Counter Tree Automata.
Luisa Herrmann, Richard Mörbitz
2024Implementation and Application of Automata - 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings
Szilárd Zsolt Fazekas
2024Measuring Power of Commutative Group Languages.
Takao Yuyama, Ryoma Sin'ya
2024Non-emptiness Test for Automata over Words Indexed by the Reals and Rationals.
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
2024On Bidirectional Deterministic Finite Automata.
Simon Dieck, Sicco Verwer
2024On Properties of Languages Accepted by Deterministic Pushdown Automata with Translucent Input Letters.
Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Priscilla Raucci, Matthias Wendlandt
2024On Pumping Preserving Homomorphisms and the Complexity of the Pumping Problem (Extended Abstract).
Hermann Gruber, Markus Holzer, Christian Rauch
2024On the Complexity of Decision Problems for Parameterized Finite State Synchronous Transducers.
Tianxiang Tang, Vladimir A. Zakharov
2024PDFA Distillation with Error Bound Guarantees.
Robert Baumgartner, Sicco Verwer
2024Push Complexity: Optimal Bounds and Unary Inputs.
Giovanni Pighizzini
2024SAT-Based Automated Completion for Reachability Analysis.
Yohan Boichut, Vincent Hugot, Adrien Boiret
2024State Complexity of the Minimal Star Basis.
Jozef Jirásek, Galina Jirásková, Jeffrey O. Shallit
2024The Equivalence Problem of E-Pattern Languages with Regular Constraints Is Undecidable.
Dirk Nowotka, Max Wiedenhöft
2024Translation of Semi-extended Regular Expressions Using Derivatives.
Antoine Martin, Etienne Renault, Alexandre Duret-Lutz
2024Using Finite Automata to Compute the Base-b Representation of the Golden Ratio and Other Quadratic Irrationals.
Aaron Barnoff, Curtis Bright, Jeffrey O. Shallit