Separability and Non-Determinizability of WSTS. - Eren Keskin; Roland Meyer 001 (CONCUR, 2023)

Contextual Equivalence for Alternation and Urgency. - Eren Keskin; Roland Meyer 001; Sören van der Wall (CoRR, 2023)

Urgency Annotations for Alternating Choices. - Eren Keskin; Roland Meyer 001; Sören van der Wall (Principles of Verification (3), 2024)

Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities. - Pascal Baumann 001; Eren Keskin; Roland Meyer 001; Georg Zetzsche (ICALP, 2024)

On the Separability Problem of VASS Reachability Languages. - Eren Keskin; Roland Meyer 001 (LICS, 2024)

PVASS Reachability is Decidable. - Roland Guttenberg; Eren Keskin; Roland Meyer 001 (CoRR, 2025)