Robert Ferens
Orcid: 0000-0002-0079-1936
According to our database1,
Robert Ferens
authored at least 12 papers
between 2017 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
2022
Completely Reachable Automata: A Polynomial Solution and Quadratic Bounds for the Subset Reachability Problem.
CoRR, 2022
2021
Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021
Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
2020
All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
2019
2018
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018
2017
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017