Stefan Siemer

According to our database, Stefan Siemer authored at least 12 papers between 2011 and 2024.

Collaborative distances:

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

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 Thirty-Third International Joint Conference on Artificial Intelligence, 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

Absent Subsequences in Words.

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

Fundam. Informaticae, 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

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