Stefan Siemer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CiE | Self-assembly of Strings and Languages Revisited: Efficient Membership Algorithms. | Katalin Anna Lzr, Florin Manea, Stefan Siemer, Timo Specht |
| 2026 | CiE | Efficiently Finding All Shortest Absent Subsequences in a String. | Florin Manea, Tina Ringleb, Stefan Siemer, Maximilian Winkler |
| 2026 | DLT | Self-assembly of Strings and Languages Revisited: Efficiently Deciding Closure Under Self-assembly. | Katalin Anna Lzr, Florin Manea, Stefan Siemer, Timo Specht |
| 2024 | IJCAI | Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. | Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh |
| 2022 | SPIRE | Matching Patterns with Variables Under Edit Distance. | Pawel Gawrychowski, Florin Manea, Stefan Siemer |
| 2021 | MFCS | Matching Patterns with Variables Under Hamming Distance. | Pawel Gawrychowski, Florin Manea, Stefan Siemer |
| 2021 | STACS | The Edit Distance to k-Subsequence Universality. | Joel D. Day, Pamela Fleischmann, Maria Kosche, Tore Ko, Florin Manea, Stefan Siemer |
| 2021 | STACS | Efficiently Testing Simon's Congruence. | Pawel Gawrychowski, Maria Kosche, Tore Ko, Florin Manea, Stefan Siemer |