Kenji Osari

According to our database, Kenji Osari authored at least 4 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Efficient Realizability Checking by Modularization of LTL Specifications.

Sohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Comput. J., 2022

2017

Modularization of formal specifications or efficient synthesis of reactive systems.

Masaya Shimakawa, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 6th International Conference on Software and Computer Applications, 2017

Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms.

Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Biomedical Engineering Systems and Technologies, 2017

Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach.

Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017