Towards Efficient Shape Analysis with Tree Automata

von Hruska, Martin
Veröffentlicht in NETYS (9. : 2021 : Online) Networked Systems (2021)

Simplifying Alternating Automata for Emptiness Testing

von Vargovčik, Pavol
Veröffentlicht in APLAS (19. : 2021 : Chicago, Ill.; Online) Programming languages and systems (2021)

Fast Matching of Regular Patterns with Synchronizing Counting

von Holik, Lukáš
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)

Automated technology for verification and analysis : 20th International Symposium, ATVA 2022, virtual event, October 25-28, 2022, proceedings

Veröffentlicht 2022

Certificates for automata in a hostile environment

von Muskalla, Sebastian
Veröffentlicht 2024

Reasoning About Regular Properties: A Comparative Study

von Fiedor, Tomás
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Mata: A Fast and Simple Finite Automata Library

von Chocholatý, David
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)

Solving Not-Substring Constraint with Flat Abstraction

von Abdulla, Parosh Aziz
Veröffentlicht in APLAS (19. : 2021 : Chicago, Ill.; Online) Programming languages and systems (2021)