Eren Keskin

Orcid: 0009-0009-5621-6568

According to our database1, Eren Keskin authored at least 4 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
On the Separability Problem of VASS Reachability Languages.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities.
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2023
Contextual Equivalence for Alternation and Urgency.
CoRR, 2023

Separability and Non-Determinizability of WSTS.
Proceedings of the 34th International Conference on Concurrency Theory, 2023


  Loading...