Ken Sakayori
Orcid: 0000-0003-3238-9279
According to our database1,
Ken Sakayori
authored at least 9 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024
2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
2021
Termination Analysis for the π-Calculus by Reduction to Sequential Program Termination.
CoRR, 2021
Proceedings of the Static Analysis - 28th International Symposium, 2021
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021
Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination.
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021
2019
Proceedings of the Programming Languages and Systems, 2019
2017
Proceedings of the Foundations of Software Science and Computation Structures, 2017