Subsequence Matching and Analysis Problems for Formal Languages. - Szilárd Zsolt Fazekas; Tore Koß; Florin Manea; Robert Mercas; Timo Specht (ISAAC, 2024)

On the Decidability and Expressive Power of Several Theories Based on String Constraints. - Justus Greve-Kramer; Tore Koß; Florin Manea; Timo Specht (DCFS, 2025)