Stefan Siemer

According to our database, Stefan Siemer authored at least 16 papers between 2011 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Self-assembly of Strings and Languages Revisited: Efficiently Deciding Closure Under Self-assembly.

Katalin Anna Lázár, Florin Manea, Stefan Siemer, Timo Specht

Proceedings of the Developments in Language Theory - 30th International Conference, 2026

2025

Novel tree-search method for synthesizing SMT strategies.

Zhengyang John Lu, Joel D. Day, Piyush Jha, Paul Sarnighausen-Cahn, Stefan Siemer, Florin Manea, Vijay Ganesh

Acta Informatica, September, 2025

Longest Common Subsequence with Gap Constraints.

Duncan Adamson, Paul Sarnighausen-Cahn, Marius Dumitran, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer

Theory Comput. Syst., June, 2025

Efficiently Finding All Minimal and Shortest Absent Subsequences in a String.

Florin Manea, Tina Ringleb, Stefan Siemer, Maximilian Winkler

CoRR, April, 2025

2024

Matching Patterns with Variables in Approximate Settings.

Stefan Siemer

PhD thesis, 2024

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.

Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024

2023

Matching Patterns with Variables Under Simon's Congruence.

Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft

Proceedings of the Reachability Problems - 17th International Conference, 2023

Longest Common Subsequence with Gap Constraints.

Duncan Adamson, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer

Proceedings of the Combinatorics on Words - 14th International Conference, 2023

2022

Combinatorial Algorithms for Subsequence Matching: A Survey.

Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer

Proceedings of the Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications, 2022

Matching Patterns with Variables Under Edit Distance.

Pawel Gawrychowski, Florin Manea, Stefan Siemer

Proceedings of the String Processing and Information Retrieval, 2022

2021

Efficiently Testing Simon's Congruence.

Pawel Gawrychowski, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer

Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021

The Edit Distance to k-Subsequence Universality.

Joel D. Day, Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer

Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021

Absent Subsequences in Words.

Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer

Proceedings of the Reachability Problems - 15th International Conference, 2021

Matching Patterns with Variables Under Hamming Distance.

Pawel Gawrychowski, Florin Manea, Stefan Siemer

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

The Edit Distance to k-Subsequence Universality.

Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer

CoRR, 2020

2011

Quo vadis Robotische Medizin in der Urologie in Deutschland?

Stefan Siemer, Michael Stöckle

Proceedings of the 10. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboterassistierte Chirurgie, 2011