Lenka Turonová
Orcid: 0000-0003-1450-6136
According to our database1,
Lenka Turonová
authored at least 9 papers
between 2017 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
CoRR, 2023
Proceedings of the Foundations of Software Science and Computation Structures, 2023
2022
Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers.
Proceedings of the 31st USENIX Security Symposium, 2022
Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022
2020
2019
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report).
CoRR, 2019
Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019
2017
Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017