Timo Specht

According to our database, Timo Specht authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

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