1. Deterministic One-Way Simulation of Two-Way Deterministic Finite Automata Over Small Alphabets;International Journal of Foundations of Computer Science;2024-07-10
2. Finite-valued Streaming String Transducers;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Performing Regular Operations with 1-Limited Automata;Theory of Computing Systems;2024-03-14
4. Weighted two-way transducers;Information and Computation;2023-12
5. Black Ostrich: Web Application Scanning with String Solvers;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15