Eren Keskin

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 7

Top Topics

Arabic Language

Linguistic Resources

Transitive Closure

Top Venues

Publications

Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
Separability in Büchi Vass and Singly Non-Linear Systems of Inequalities. CoRR (2024)
Eren Keskin, Roland Meyer
On the Separability Problem of VASS Reachability Languages. CoRR (2024)
Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities. ICALP (2024)
Eren Keskin, Roland Meyer
On the Separability Problem of VASS Reachability Languages. LICS (2024)
Eren Keskin, Roland Meyer
Separability and Non-Determinizability of WSTS. CoRR (2023)
Eren Keskin, Roland Meyer, Sören van der Wall
Contextual Equivalence for Alternation and Urgency. CoRR (2023)
Eren Keskin, Roland Meyer
Separability and Non-Determinizability of WSTS. CONCUR (2023)