Timo Specht

According to our database, Timo Specht authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• 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

Subsequence Matching and Analysis Problems for Automata with Translucent Letters.

Szilárd Zsolt Fazekas, Béla Klein, Tore Koß, Florin Manea, Robert Mercas, Timo Specht

Proceedings of the Implementation and Application of Automata, 2025

On the Decidability and Expressive Power of Several Theories Based on String Constraints.

Justus Greve-Kramer, Tore Koß, Florin Manea, Timo Specht

Proceedings of the Descriptional Complexity of Formal Systems, 2025

2024

Subsequence Matching and Analysis Problems for Formal Languages.

Szilárd Zsolt Fazekas, Tore Koß, Florin Manea, Robert Mercas, Timo Specht

Proceedings of the 35th International Symposium on Algorithms and Computation, 2024