Stefan Siemer

25 papers A* 1A 2B 1C 1Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficiently Finding All Minimal and Shortest Absent Subsequences in a String.
CoRR
Florin Manea, Tina Ringleb, Stefan Siemer, Maximilian Winkler
2025 J jnl
Longest Common Subsequence with Gap Constraints.
Theory Comput. Syst.
Duncan Adamson, Paul Sarnighausen-Cahn, Marius Dumitran, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2025 J jnl
Novel tree-search method for synthesizing SMT strategies.
Acta Informatica
Zhengyang John Lu, Joel D. Day, Piyush Jha, Paul Sarnighausen-Cahn, Stefan Siemer, Florin Manea, Vijay Ganesh
2025 J jnl
The edit distance to k-subsequence universality.
J. Comput. Syst. Sci.
Joel D. Day, Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2024 A* conf
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
IJCAI
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
2024 — conf
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
SMT@CAV
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
2024 J jnl
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
CoRR
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
2024 — —
Matching Patterns with Variables in Approximate Settings.
Stefan Siemer
2023 — conf
Longest Common Subsequence with Gap Constraints.
WORDS
Duncan Adamson, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2023 J jnl
Longest Common Subsequence with Gap Constraints.
CoRR
Duncan Adamson, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2023 — conf
Matching Patterns with Variables Under Simon's Congruence.
RP
Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft
2023 J jnl
Matching Patterns with Variables Under Simon's Congruence.
CoRR
Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft
2022 J jnl
Absent Subsequences in Words.
Fundam. Informaticae
Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2022 — conf
Combinatorial Algorithms for Subsequence Matching: A Survey.
NCMA
Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2022 C conf
Matching Patterns with Variables Under Edit Distance.
SPIRE
Pawel Gawrychowski, Florin Manea, Stefan Siemer
2022 J jnl
Matching Patterns with Variables Under Edit Distance.
CoRR
Pawel Gawrychowski, Florin Manea, Stefan Siemer
2021 — conf
Absent Subsequences in Words.
RP
Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2021 J jnl
Absent Subsequences in Words.
CoRR
Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2021 A conf
Efficiently Testing Simon's Congruence.
STACS
Pawel Gawrychowski, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2021 B conf
Matching Patterns with Variables Under Hamming Distance.
MFCS
Pawel Gawrychowski, Florin Manea, Stefan Siemer
2021 J jnl
Matching Patterns with Variables under Hamming Distance.
CoRR
Pawel Gawrychowski, Florin Manea, Stefan Siemer
2021 A conf
The Edit Distance to k-Subsequence Universality.
STACS
Joel D. Day, Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2020 J jnl
Efficiently Testing Simon's Congruence.
CoRR
Pawel Gawrychowski, Maria Kosche, Tore Koss, Florin Manea, Stefan Siemer
2020 J jnl
The Edit Distance to k-Subsequence Universality.
CoRR
Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2011 — conf
Quo vadis Robotische Medizin in der Urologie in Deutschland?
CURAC
Stefan Siemer, Michael Stöckle