Stepán Plachý

According to our database¹, Stepán Plachý authored at least 3 papers between 2020 and 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Shortest Characteristic Factors of a Deterministic Finite Automaton and Computing Its Positive Position Run by Pattern Set Matching.

[DOI]

Proceedings of the SOFSEM 2024: Theory and Practice of Computer Science, 2024

2023

On the Smallest Synchronizing Terms of Finite Tree Automata.

[DOI]

Proceedings of the Implementation and Application of Automata, 2023

2020

On Synchronizing Tree Automata and Their Work-Optimal Parallel Run, Usable for Parallel Tree Pattern Matching.

[DOI]

Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020