Adéla Stepková

According to our database¹, Adéla Stepková authored at least 3 papers in 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report).

[BibT_eX]

[DOI]

CoRR, July, 2025

Reversing Programs for Error Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2025

On Complementation of Nondeterministic Finite Automata Without Full Determinization.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory - 25th International Symposium, 2025