Stop the war!
Остановите войну!
for scientists:
default search action
25th CIAA 2021: Virtual Event
- Sebastian Maneth:
Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings. Lecture Notes in Computer Science 12803, Springer 2021, ISBN 978-3-030-79120-9
Invited Lectures
- Javier Esparza:
Back to the Future: A Fresh Look at Linear Temporal Logic. 3-13 - Jeffrey O. Shallit:
Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs. 14-24
Technical Contributions
- Stefan Hoffmann:
Regularity Conditions for Iterated Shuffle on Commutative Regular Languages. 27-38 - Brink van der Merwe, Jacobie Mouton, Steyn van Litsenborgh, Martin Berglund:
Memoized Regular Expressions. 39-52 - Stefan Hoffmann:
The Commutative Closure of Shuffle Languages over Group Languages is Regular. 53-64 - Su-Hyeon Kim, Hyeonseung Im, Sang-Ki Ko:
Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis. 65-76 - Taylor J. Smith, Kai Salomaa:
Degrees of Restriction for Two-Dimensional Automata. 77-89 - Markus Holzer, Christian Rauch:
The Range of State Complexities of Languages Resulting from the Cascade Product - The Unary Case (Extended Abstract). 90-101 - Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes:
Guessing the Buffer Bound for k-Synchronizability. 102-114 - Stefan Hoffmann:
State Complexity of Permutation and Related Decision Problems on Alphabetical Pattern Constraints. 115-126 - Diana Geneva, Georgi Shopov, Stoyan Mihov:
Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers. 127-139 - Andreas Maletti, Teodora Nasz, Kevin Stier, Markus Ulbricht:
Ambiguity Hierarchies for Weighted Tree Automata. 140-151 - Martin Kutrib, Luca Prigioniero:
Boolean Kernels of Context-Free Languages. 152-164 - Simone Faro, Stefano Scafiti:
Efficient String Matching Based on a Two-Step Simulation of the Suffix Automaton. 165-177 - Guy Arbitman, Shmuel T. Klein, Pierre Peterlongo, Dana Shapira:
Approximate Hashing for Bioinformatics. 178-189
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.