Fiedor, Tomáš
- Mata, a Fast and Simple Finite Automata Library (Technical Report)
2023/10/16 by David Chocholatý, Chocholatý, David, Tomáš Fiedor +11 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Natural Language Processing Techniques #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
- Lazy Automata Techniques for WS1S
2017/01/23 by Tomáš Fiedor, Lukáš Holík, Fiedor, Tomáš +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Testing and Debugging Techniques