| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sicheol Sung, Sang-Ki Ko, Yo-Sub Han |
Smaller Representation of Compiled Regular Expressions.  |
CIAA  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryoma Sin'ya |
Measuring Power of Generalised Definite Languages. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Maletti, Andreea-Teodora Nász |
Weighted Bottom-Up and Top-Down Tree Transformations Are Incomparable. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Martynova 0001, Alexander Okhotin |
A Time to Cast Away Stones. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey O. Shallit, Anatoly Zavyalov |
Transduction of Automatic Sequences and Applications. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Pighizzini, Luca Prigioniero |
Two-Way Machines and de Bruijn Words. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Al Serhali, Joachim Niehren |
Earliest Query Answering for Deterministic Stepwise Hedge Automata. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Samira Attou, Ludovic Mignot, Clément Miklarz, Florent Nicart |
Constrained Multi-Tildes. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer 0001, Christian Rauch 0001 |
The Pumping Lemma for Regular Languages is Hard. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Maneth, Martin Vu |
Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib |
Sweeping Input-Driven Pushdown Automata. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedek Nagy (eds.) |
Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Joonghyuk Hahn, Hyunjoon Cheon, Yo-Sub Han |
M-equivalence of Parikh Matrix over a Ternary Alphabet. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Václav Blazej, Jan Janousek, Stepán Plachý |
On the Smallest Synchronizing Terms of Finite Tree Automata. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki |
When Is Context-Freeness Distinguishable from Regularity? an Extension of Parikh's Theorem. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis |
Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Viliam Geffert |
Binary Coded Unary Regular Languages. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Otto |
A Survey on Automata with Translucent Letters. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Hospodár, Galina Jirásková |
Operational Complexity in Subregular Classes. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel T. Klein, Dana Shapira |
Enhanced Ternary Fibonacci Codes. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull |
Verified Verifying: SMT-LIB for Strings in Isabelle. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Szilárd Zsolt Fazekas, Robert Mercas |
Sweep Complexity Revisited. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Pascal Fontaine, Baptiste Vergain |
Universal First-Order Quantification over Automata. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelma Moreira, Rogério Reis |
Manipulation of Regular Expressions Using Derivatives: An Overview. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakub Ruszil |
Some Results Concerning Careful Synchronization of Partial Automata and Subset Synchronization of DFA's. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Brink van der Merwe, Martin Berglund |
Ordered Context-Free Grammars. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Jacquemard, Lydia Rodriguez de la Nava |
Symbolic Weighted Language Models, Quantitative Parsing and Automated Music Transcription. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sicheol Sung, Hyunjoon Cheon, Yo-Sub Han |
How to Settle the ReDoS Problem: Back to the Classical Automata Theory. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
On the Power of Pushing or Stationary Moves for Input-Driven Pushdown Automata. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki |
An Ambiguity Hierarchy of Weighted Context-Free Grammars. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver A. S. Lyon, Kai Salomaa |
Nondeterministic State Complexity of Site-Directed Deletion. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Öykü Yilmaz, Firat Kiyak, Meriç Üngör, A. C. Cem Say |
Energy Complexity of Regular Language Recognition. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hoffmann 0001 |
Constrained Synchronization for Monotonic and Solvable Automata and Automata with Simple Idempotents. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Hospodár, Viktor Olejár |
The Cut Operation in Subclasses of Convex Languages (Extended Abstract). |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura K. Hutchinson, Robert Mercas, Daniel Reidenbach |
A Toolkit for Parikh Matrices. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer 0001, Christian Rauch 0001 |
On 25 Years of CIAA Through the Lens of Data Science. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Caron, Ludovic Mignot (eds.) |
Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Bruse, Maurice Herwig, Martin Lange |
A Similarity Measure for Formal Languages Based on Convergent Geometric Series. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Martynova 0001, Alexander Okhotin |
Homomorphisms on Graph-Walking Automata. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Uwe Meyer 0003 |
Syntax Checking Either Way. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Özdeniz Dolu, Nevzat Ersoy, M. Utkan Gezer, A. C. Cem Say |
Real-Time, Constant-Space, Constant-Randomness Verifiers. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Q. Tran |
Variations of the Separating Words Problem. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes, Richard Mörbitz, Heiko Vogler |
Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata. |
CIAA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes |
Guessing the Buffer Bound for k-Synchronizability. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hoffmann 0001 |
The Commutative Closure of Shuffle Languages over Group Languages is Regular. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer 0001, Christian Rauch 0001 |
The Range of State Complexities of Languages Resulting from the Cascade Product - The Unary Case (Extended Abstract). |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Brink van der Merwe, Jacobie Mouton, Steyn van Litsenborgh, Martin Berglund |
Memoized Regular Expressions. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Luca Prigioniero |
Boolean Kernels of Context-Free Languages. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Su-Hyeon Kim, Hyeonseung Im, Sang-Ki Ko |
Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Maletti, Teodora Nasz, Kevin Stier, Markus Ulbricht 0001 |
Ambiguity Hierarchies for Weighted Tree Automata. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey O. Shallit |
Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Taylor J. Smith, Kai Salomaa |
Degrees of Restriction for Two-Dimensional Automata. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hoffmann 0001 |
Regularity Conditions for Iterated Shuffle on Commutative Regular Languages. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Faro, Stefano Scafiti |
Efficient String Matching Based on a Two-Step Simulation of the Suffix Automaton. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hoffmann 0001 |
State Complexity of Permutation and Related Decision Problems on Alphabetical Pattern Constraints. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Maneth (eds.) |
Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza |
Back to the Future: A Fresh Look at Linear Temporal Logic. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Arbitman, Shmuel T. Klein, Pierre Peterlongo, Dana Shapira |
Approximate Hashing for Bioinformatics. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana Geneva, Georgi Shopov, Stoyan Mihov |
Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers. |
CIAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Okhotin |
Graph-Walking Automata: From Whence They Come, and Whither They are Bound. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Beier, Markus Holzer 0001 |
Semi-linear Lattices and Right One-Way Jumping Finite Automata (Extended Abstract). |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Akio Fujiyoshi, Daniel Prusa |
A Simple Extension to Finite Tree Automata for Defining Sets of Labeled, Connected Graphs. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anguraj Baskar, R. Ramanujam 0001, S. P. Suresh |
Dolev-Yao Theory with Associative Blindpair Operators. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Hospodár, Galina Jirásková (eds.) |
Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Konstantinidis, Mitja Mastnak, Juraj Sebej |
Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilad Baruch, Shmuel T. Klein, Dana Shapira |
New Approaches for Context Sensitive Flash Codes. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
Input-Driven Multi-counter Automata. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuta Takahashi, Kazuyuki Asada, Keisuke Nakano 0001 |
Streaming Ranked-Tree-to-String Transducers. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Hwee Kim, Yusei Masuda, Shinnosuke Seki |
A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Mráz, Daniel Prusa, Michael Wehar |
Two-Dimensional Pattern Matching Against Basic Picture Languages. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Bakaric, Damir Korencic, Strahil Ristov |
Enumerated Automata Implementation of String Dictionaries. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Maneth |
Static Garbage Collection. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti |
A Benchmark Production Tool for Regular Expressions. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Johanna Björklund, Frank Drewes, Giorgio Satta |
Z-Automata for Compact and Direct Representation of Unranked Tree Languages. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp 0001, Andreas Maletti |
Composition Closure of Linear Weighted Extended Top-Down Tree Transducers. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Konstantinidis, Nelma Moreira, João Pires 0002, Rogério Reis |
Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Taylor J. Smith, Kai Salomaa |
Decision Problems for Restricted Variants of Two-Dimensional Automata. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Hospodár |
Descriptional Complexity of Power and Positive Closure on Convex Languages. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuhei Denzumi |
New Algorithms for Manipulating Sequence BDDs. |
CIAA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jozef Jirásek 0001, Galina Jirásková |
The Exact Complexity of Star-Complement-Star. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gerdjikov |
Generalised Twinning Property. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
Boosting Pushdown and Queue Machines by Preprocessing. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Corwin Sinnamon |
Complexity of Proper Suffix-Convex Regular Languages. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Lila Kari, Bai Li, Marek Szykula |
State Complexity of Overlap Assembly. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Hospodár, Markus Holzer 0001 |
The Ranges of Accepting State Complexities of Languages Resulting From Some Operations. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Matthias Wendlandt |
Parametrizing String Assembling Systems. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Shubh Narayan Singh, Kanduru V. Krishna |
On Syntactic Complexity of Circular Semi-flower Automata. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Bartholdi, Thibault Godin, Ines Klimann, Matthieu Picantin |
A New Hierarchy for Automaton Semigroups. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Samira Attou, Ludovic Mignot, Djelloul Ziadi |
The Bottom-Up Position Tree Automaton and Its Compact Version. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Birzhan Moldagaliyev, Ludwig Staiger, Frank Stephan 0001 |
On the Values for Factor Complexity. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Lombardy, Jacques Sakarovitch |
Two Routes to Automata Minimization and the Ways to Reach It Efficiently. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuki Nozaki, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara |
Enumeration of Cryptarithms Using Deterministic Finite Automata. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezar Câmpeanu (eds.) |
Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cognetta, Yo-Sub Han |
Online Stochastic Pattern Matching. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail V. Berlinkov, Cyril Nicaud |
Synchronizing Random Almost-Group Automata. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Di Stasio 0001, Aniello Murano, Moshe Y. Vardi |
Solving Parity Games: Explicit vs Symbolic. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Lombardy, Jacques Sakarovitch |
The Validity of Weighted Automata. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon |
On Design and Analysis of Chemical Reaction Network Algorithms. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyril Allauzen, Michael D. Riley |
Algorithms for Weighted Finite Automata with Failure Transitions. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero |
Non-self-embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata. |
CIAA |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license