Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sicheol Sung, Sang-Ki Ko, Yo-Sub Han |
Smaller Representation of Compiled Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 290-301, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ryoma Sin'ya |
Measuring Power of Generalised Definite Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 278-289, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Maletti, Andreea-Teodora Nász |
Weighted Bottom-Up and Top-Down Tree Transformations Are Incomparable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 218-229, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Olga Martynova 0001, Alexander Okhotin |
A Time to Cast Away Stones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 242-253, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey O. Shallit, Anatoly Zavyalov |
Transduction of Automatic Sequences and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 266-277, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pighizzini, Luca Prigioniero |
Two-Way Machines and de Bruijn Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 254-265, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Al Serhali, Joachim Niehren |
Earliest Query Answering for Deterministic Stepwise Hedge Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 53-65, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Samira Attou, Ludovic Mignot, Clément Miklarz, Florent Nicart |
Constrained Multi-Tildes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 66-78, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hermann Gruber, Markus Holzer 0001, Christian Rauch 0001 |
The Pumping Lemma for Regular Languages is Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 128-140, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Maneth, Martin Vu |
Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 230-241, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib |
Sweeping Input-Driven Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 194-205, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![Springer, 978-3-031-40246-3 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joonghyuk Hahn, Hyunjoon Cheon, Yo-Sub Han |
M-equivalence of Parikh Matrix over a Ternary Alphabet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 141-152, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Václav Blazej, Jan Janousek, Stepán Plachý |
On the Smallest Synchronizing Terms of Finite Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 79-90, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 166-178, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 103-115, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Viliam Geffert |
Binary Coded Unary Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 3-20, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Otto |
A Survey on Automata with Translucent Letters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 21-50, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Michal Hospodár, Galina Jirásková |
Operational Complexity in Subregular Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 153-165, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shmuel T. Klein, Dana Shapira |
Enhanced Ternary Fibonacci Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 179-193, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 206-217, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Szilárd Zsolt Fazekas, Robert Mercas |
Sweep Complexity Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 116-127, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Boigelot, Pascal Fontaine, Baptiste Vergain |
Universal First-Order Quantification over Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 91-102, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nelma Moreira, Rogério Reis |
Manipulation of Regular Expressions Using Derivatives: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 19-33, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Ruszil |
Some Results Concerning Careful Synchronization of Partial Automata and Subset Synchronization of DFA's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 106-115, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Brink van der Merwe, Martin Berglund |
Ordered Context-Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 53-66, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Florent Jacquemard, Lydia Rodriguez de la Nava |
Symbolic Weighted Language Models, Quantitative Parsing and Automated Music Transcription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 67-79, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 34-49, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 140-151, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki |
An Ambiguity Hierarchy of Weighted Context-Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 238-250, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Oliver A. S. Lyon, Kai Salomaa |
Nondeterministic State Complexity of Site-Directed Deletion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 189-199, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Öykü Yilmaz, Firat Kiyak, Meriç Üngör, A. C. Cem Say |
Energy Complexity of Regular Language Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 200-211, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hoffmann 0001 |
Constrained Synchronization for Monotonic and Solvable Automata and Automata with Simple Idempotents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 225-237, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michal Hospodár, Viktor Olejár |
The Cut Operation in Subclasses of Convex Languages (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 152-164, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Laura K. Hutchinson, Robert Mercas, Daniel Reidenbach |
A Toolkit for Parikh Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 116-127, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 3-18, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![Springer, 978-3-031-07468-4 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Florian Bruse, Maurice Herwig, Martin Lange |
A Similarity Measure for Formal Languages Based on Convergent Geometric Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 80-92, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Olga Martynova 0001, Alexander Okhotin |
Homomorphisms on Graph-Walking Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 177-188, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Uwe Meyer 0003 |
Syntax Checking Either Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 128-139, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Özdeniz Dolu, Nevzat Ersoy, M. Utkan Gezer, A. C. Cem Say |
Real-Time, Constant-Space, Constant-Randomness Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 212-224, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Q. Tran |
Variations of the Separating Words Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 165-176, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Richard Mörbitz, Heiko Vogler |
Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 93-105, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes |
Guessing the Buffer Bound for k-Synchronizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 102-114, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hoffmann 0001 |
The Commutative Closure of Shuffle Languages over Group Languages is Regular. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 53-64, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 90-101, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Brink van der Merwe, Jacobie Mouton, Steyn van Litsenborgh, Martin Berglund |
Memoized Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 39-52, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Luca Prigioniero |
Boolean Kernels of Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 152-164, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Su-Hyeon Kim, Hyeonseung Im, Sang-Ki Ko |
Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 65-76, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Maletti, Teodora Nasz, Kevin Stier, Markus Ulbricht 0001 |
Ambiguity Hierarchies for Weighted Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 140-151, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey O. Shallit |
Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 14-24, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Taylor J. Smith, Kai Salomaa |
Degrees of Restriction for Two-Dimensional Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 77-89, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hoffmann 0001 |
Regularity Conditions for Iterated Shuffle on Commutative Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 27-38, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Simone Faro, Stefano Scafiti |
Efficient String Matching Based on a Two-Step Simulation of the Suffix Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 165-177, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hoffmann 0001 |
State Complexity of Permutation and Related Decision Problems on Alphabetical Pattern Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 115-126, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![Springer, 978-3-030-79120-9 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza |
Back to the Future: A Fresh Look at Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 3-13, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guy Arbitman, Shmuel T. Klein, Pierre Peterlongo, Dana Shapira |
Approximate Hashing for Bioinformatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 178-189, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diana Geneva, Georgi Shopov, Stoyan Mihov |
Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, pp. 127-139, 2021, Springer, 978-3-030-79120-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Okhotin |
Graph-Walking Automata: From Whence They Come, and Whither They are Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 10-29, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Simon Beier, Markus Holzer 0001 |
Semi-linear Lattices and Right One-Way Jumping Finite Automata (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 70-82, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Akio Fujiyoshi, Daniel Prusa |
A Simple Extension to Finite Tree Automata for Defining Sets of Labeled, Connected Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 121-132, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anguraj Baskar, R. Ramanujam 0001, S. P. Suresh |
Dolev-Yao Theory with Associative Blindpair Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 58-69, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![Springer, 978-3-030-23678-6 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Konstantinidis, Mitja Mastnak, Juraj Sebej |
Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 171-183, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gilad Baruch, Shmuel T. Klein, Dana Shapira |
New Approaches for Context Sensitive Flash Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 45-57, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
Input-Driven Multi-counter Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 197-208, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuta Takahashi, Kazuyuki Asada, Keisuke Nakano 0001 |
Streaming Ranked-Tree-to-String Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 235-247, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 146-157, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Mráz, Daniel Prusa, Michael Wehar |
Two-Dimensional Pattern Matching Against Basic Picture Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 209-221, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Bakaric, Damir Korencic, Strahil Ristov |
Enumerated Automata Implementation of String Dictionaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 33-44, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Maneth |
Static Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 3-9, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti |
A Benchmark Production Tool for Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 95-107, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Johanna Björklund, Frank Drewes, Giorgio Satta |
Z-Automata for Compact and Direct Representation of Unranked Tree Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 83-94, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Fülöp 0001, Andreas Maletti |
Composition Closure of Linear Weighted Extended Top-Down Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 133-145, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 184-196, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Taylor J. Smith, Kai Salomaa |
Decision Problems for Restricted Variants of Two-Dimensional Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 222-234, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michal Hospodár |
Descriptional Complexity of Power and Positive Closure on Convex Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 158-170, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shuhei Denzumi |
New Algorithms for Manipulating Sequence BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, pp. 108-120, 2019, Springer, 978-3-030-23678-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Jirásek 0001, Galina Jirásková |
The Exact Complexity of Star-Complement-Star. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 223-235, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Gerdjikov |
Generalised Twinning Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 173-185, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
Boosting Pushdown and Queue Machines by Preprocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 28-40, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Corwin Sinnamon |
Complexity of Proper Suffix-Convex Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 324-338, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Janusz A. Brzozowski, Lila Kari, Bai Li, Marek Szykula |
State Complexity of Overlap Assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 109-120, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michal Hospodár, Markus Holzer 0001 |
The Ranges of Accepting State Complexities of Languages Resulting From Some Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 198-210, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Matthias Wendlandt |
Parametrizing String Assembling Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 236-247, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shubh Narayan Singh, Kanduru V. Krishna |
On Syntactic Complexity of Circular Semi-flower Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 312-323, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Bartholdi, Thibault Godin, Ines Klimann, Matthieu Picantin |
A New Hierarchy for Automaton Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 71-83, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Samira Attou, Ludovic Mignot, Djelloul Ziadi |
The Bottom-Up Position Tree Automaton and Its Compact Version. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 59-70, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Birzhan Moldagaliyev, Ludwig Staiger, Frank Stephan 0001 |
On the Values for Factor Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 274-285, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Lombardy, Jacques Sakarovitch |
Two Routes to Automata Minimization and the Ways to Reach It Efficiently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 248-260, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Nozaki, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara |
Enumeration of Cryptarithms Using Deterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 286-298, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![Springer, 978-3-319-94811-9 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marco Cognetta, Yo-Sub Han |
Online Stochastic Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 121-132, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail V. Berlinkov, Cyril Nicaud |
Synchronizing Random Almost-Group Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 84-96, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Di Stasio 0001, Aniello Murano, Moshe Y. Vardi |
Solving Parity Games: Explicit vs Symbolic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 159-172, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Lombardy, Jacques Sakarovitch |
The Validity of Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 41-45, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anne Condon |
On Design and Analysis of Chemical Reaction Network Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 1-3, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cyril Allauzen, Michael D. Riley |
Algorithms for Weighted Finite Automata with Failure Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 46-58, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero |
Non-self-embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, pp. 186-197, 2018, Springer, 978-3-319-94811-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|