Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests за авторством Haase, C, Zetzsche, G

The complexity of regular abstractions of one-counter languages за авторством Atig, M, Chistikov, D, Hofman, P, Narayan Kumar, K, Saivasan, P, Zetzsche, G