Florín Manea
- An SMT Solver for Regular Expressions and Linear Arithmetic over String\n Length
2020/10/14 by Murphy Berzish, Berzish, Murphy, Mitja Kulczynski +11 · 4 citations
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Network Packet Processing and Optimization #semigroups and automata theory
- Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
2024/01/30 by Zhengyang Lu, Lu, Zhengyang, Stefan Siemer +9 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Games #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)
- The Satisfiability of Extended Word Equations: The Boundary Between\n Decidability and Undecidability
2018/02/01 by Joel D. Day, Vijay Ganesh, Day, Joel +7 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Security and Verification in Computing #Web Application Security Vulnerabilities
- Subsequence Matching and Analysis Problems for Formal Languages
2024/10/10 by Szilárd Zsolt Fazekas, Tore Koß, Fazekas, Szilárd Zsolt +7 · 3 citations
Computer Science · #68Q45 #Algorithms and Data Compression #Data Structures and Algorithms (cs.DS) #F.2.2 #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Natural Language Processing Techniques #semigroups and automata theory
- Enumerating m-Length Walks in Directed Graphs with Constant Delay
2024/01/04 by Duncan Adamson, Paweł Gawrychowski, Adamson, Duncan +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Algorithms and Data Compression #DNA and Biological Computing #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #semigroups and automata theory
- Longest Common Subsequence with Gap Constraints
2023/04/11 by Duncan Adamson, Adamson, Duncan, Maria Kosche +7 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Algorithms and Data Compression #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Genome Rearrangement Algorithms #semigroups and automata theory
- Matching Patterns with Variables Under Simon's Congruence
2023/08/16 by Pamela Fleischmann, Fleischmann, Pamela, Sung-Min Kim +11 · 1 citation
Computer Science · #semigroups and automata theory #Data Mining Algorithms and Applications #Advanced Database Systems and Queries