CIAA

Keyphrases

Publications

2023

Ryoma Sin'ya
Measuring Power of Generalised Definite Languages. CIAA (2023)
Hermann Gruber, Markus Holzer, Christian Rauch
The Pumping Lemma for Regular Languages is Hard. CIAA (2023)
Jeffrey O. Shallit, Anatoly Zavyalov
Transduction of Automatic Sequences and Applications. CIAA (2023)
Giovanni Pighizzini, Luca Prigioniero
Two-Way Machines and de Bruijn Words. CIAA (2023)
Samira Attou, Ludovic Mignot, Clément Miklarz, Florent Nicart
Constrained Multi-Tildes. CIAA (2023)
Olga Martynova, Alexander Okhotin
A Time to Cast Away Stones. CIAA (2023)
Antonio Al Serhali, Joachim Niehren
Earliest Query Answering for Deterministic Stepwise Hedge Automata. CIAA (2023)
Szilárd Zsolt Fazekas, Robert Mercas
Sweep Complexity Revisited. CIAA (2023)
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions. CIAA (2023)
Václav Blazej, Jan Janousek, Stepán Plachý
On the Smallest Synchronizing Terms of Finite Tree Automata. CIAA (2023)
Martin Kutrib
Sweeping Input-Driven Pushdown Automata. CIAA (2023)
Joonghyuk Hahn, Hyunjoon Cheon, Yo-Sub Han
M-equivalence of Parikh Matrix over a Ternary Alphabet. CIAA (2023)
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Universal First-Order Quantification over Automata. CIAA (2023)
Shmuel T. Klein, Dana Shapira
Enhanced Ternary Fibonacci Codes. CIAA (2023)
Andreas Maletti, Andreea-Teodora Nász
Weighted Bottom-Up and Top-Down Tree Transformations Are Incomparable. CIAA (2023)
Sebastian Maneth, Martin Vu
Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer. CIAA (2023)
Michal Hospodár, Galina Jirásková
Operational Complexity in Subregular Classes. CIAA (2023)
Viliam Geffert
Binary Coded Unary Regular Languages. CIAA (2023)
Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull
Verified Verifying: SMT-LIB for Strings in Isabelle. CIAA (2023)
Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
When Is Context-Freeness Distinguishable from Regularity? an Extension of Parikh's Theorem. CIAA (2023)
Friedrich Otto
A Survey on Automata with Translucent Letters. CIAA (2023)
Sicheol Sung, Sang-Ki Ko, Yo-Sub Han
Smaller Representation of Compiled Regular Expressions. CIAA (2023)

volume 14151, 2023

Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings CIAA 14151 (2023)

2022

volume 13266, 2022

Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings CIAA 13266 (2022)

2021

volume 12803, 2021

Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings CIAA 12803 (2021)