Dirk Nowotka
- An SMT Solver for Regular Expressions and Linear Arithmetic over String\n Length
2020/10/14 by Murphy Berzish, Mitja Kulczynski, Berzish, Murphy +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
- Scattered Factor Universality -- The Power of the Remainder
2021/04/19 by Pamela Fleischmann, Fleischmann, Pamela, Sebastian Bernhard Germann +3 · 1 citation
Computer Science · Biochemistry, Genetics and Molecular Biology · #semigroups and automata theory #DNA and Biological Computing #Algorithms and Data Compression
- α-β-Factorization and the Binary Case of Simon's Congruence
2023/06/25 by Pamela Fleischmann, Fleischmann, Pamela, Jonas Höfer +5 · 1 citation
Computer Science · #Authorship Attribution and Profiling #Coding theory and cryptography #Combinatorics (math.CO) #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Mathematics #semigroups and automata theory
- Matching Patterns with Variables Under Simon's Congruence
2023/08/16 by Pamela Fleischmann, Sung-Min Kim, Fleischmann, Pamela +11 · 1 citation
Computer Science · #semigroups and automata theory #Data Mining Algorithms and Applications #Advanced Database Systems and Queries