Stefan Siemer

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 18

Top Topics

Approximate Matching

Longest Common Subsequence

Monte Carlo Tree Search

Top Venues

Fundam. Informaticae

Publications

Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. SMT@CAV (2024)
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. CoRR (2024)
Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft
Matching Patterns with Variables Under Simon's Congruence. CoRR (2023)
Duncan Adamson, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Longest Common Subsequence with Gap Constraints. WORDS (2023)
Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft
Matching Patterns with Variables Under Simon's Congruence. RP (2023)
Duncan Adamson, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Longest Common Subsequence with Gap Constraints. CoRR (2023)
Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Absent Subsequences in Words. Fundam. Informaticae 189 (3-4) (2022)
Pawel Gawrychowski, Florin Manea, Stefan Siemer
Matching Patterns with Variables Under Edit Distance. CoRR (2022)
Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Combinatorial Algorithms for Subsequence Matching: A Survey. NCMA (2022)
Pawel Gawrychowski, Florin Manea, Stefan Siemer
Matching Patterns with Variables Under Edit Distance. SPIRE (2022)
Pawel Gawrychowski, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Efficiently Testing Simon's Congruence. STACS (2021)
Pawel Gawrychowski, Florin Manea, Stefan Siemer
Matching Patterns with Variables under Hamming Distance. CoRR (2021)
Joel D. Day, Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
The Edit Distance to k-Subsequence Universality. STACS (2021)
Pawel Gawrychowski, Florin Manea, Stefan Siemer
Matching Patterns with Variables Under Hamming Distance. MFCS (2021)
Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Absent Subsequences in Words. CoRR (2021)
Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Absent Subsequences in Words. RP (2021)
Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
The Edit Distance to k-Subsequence Universality. CoRR (2020)
Pawel Gawrychowski, Maria Kosche, Tore Koss, Florin Manea, Stefan Siemer
Efficiently Testing Simon's Congruence. CoRR (2020)
Stefan Siemer, Michael Stöckle
Quo vadis Robotische Medizin in der Urologie in Deutschland? CURAC (2011)