会议文集


文集名Implementation and Application of Automata
会议名26th International Conference on Implementation and Application of Automata (CIAA 2022)
中译名《第二十六届国际自动机执行与应用会议》
会议日期June 28 - July 1, 2022
会议地点Rouen, France
出版年2022
馆藏号343339


题名作者出版年
On 25 Years of CIAA Through the Lens of Data ScienceHermann Gruber; Markus Holzer; Christian Rauch2022
Manipulation of Regular Expressions Using Derivatives: An OverviewNelma Moreira; Rogerio Reis2022
How to Settle the ReDoS Problem: Back to the Classical Automata TheorySicheol Sung; Hyunjoon Cheon; Yo-Sub Han2022
Ordered Context-Free GrammarsBrink van der Merwe; Martin Berglund2022
Symbolic Weighted Language Models, Quantitative Parsing and Automated Music TranscriptionFlorent Jacquemard; Lydia Rodriguez de la Nava2022
A Similarity Measure for Formal Languages Based on Convergent Geometric SeriesFlorian Bruse; Maurice Herwig; Martin Lange2022
Hybrid Tree Automata and the Yield Theorem for Constituent Tree AutomataFrank Drewes; Richard Morbitz; Heiko Vogler2022
Some Results Concerning Careful Synchronization of Partial Automata and Subset Synchronization of DFA'sJakub Ruszil2022
A Toolkit for Parikh MatricesLaura K. Hutchinson; Robert Mercas; Daniel Reidenbach2022
Syntax Checking Either WayMartin Kutrib; Uwe Meyer2022
On the Power of Pushing or Stationary Moves for Input-Driven Pushdown AutomataMartin Kutrib; Andreas Malcher; Matthias Wendlandt2022
The Cut Operation in Subclasses of Convex LanguagesMichal Hospodar; Viktor Olejar2022
Variations of the Separating Words ProblemNicholas Tran2022
Homomorphisms on Graph-Walking AutomataOlga Martynova; Alexander Okhotin2022
Nondeterministic State Complexity of Site-Directed DeletionOliver A. S. Lyon; Kai Salomaa2022
Energy Complexity of Regular Language RecognitionOyku Yilmaz; Firat Kiyak; Meric Ungor; A. C. Cem Say2022
Real-Time, Constant-Space, Constant-Randomness VerifiersOzdeniz Dolu; Nevzat Ersoy; M. Utkan Gezer; A. C. Cem Say2022
Constrained Synchronization for Monotonic and Solvable Automata and Automata with Simple IdempotentsStefan Hoffmann2022
An Ambiguity Hierarchy of Weighted Context-Free GrammarsYusuke Indie; Kenji Hashimoto; Hiroyuki Seki2022



制造业外文文献服务平台