Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach. - Sohei Ito; Kenji Osari; Shigeki Hagihara; Naoki Yonezaki (BIOINFORMATICS, 2017)

Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms. - Sohei Ito; Kenji Osari; Shigeki Hagihara; Naoki Yonezaki (BIOSTEC (Selected Papers), 2017)

Modularization of formal specifications or efficient synthesis of reactive systems. - Masaya Shimakawa; Kenji Osari; Shigeki Hagihara; Naoki Yonezaki (ICSCA, 2017)

Efficient Realizability Checking by Modularization of LTL Specifications. - Sohei Ito; Kenji Osari; Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (Comput. J., 2022)