Login / Signup
Kenji Osari
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 4
Top Topics
Formal Specification
Object Oriented Design
Microarray
Statistical Analysis
Top Venues
BIOSTEC (Selected Papers)
ICSCA
BIOINFORMATICS
Comput. J.
</>
Publications
</>
Sohei Ito
,
Kenji Osari
,
Masaya Shimakawa
,
Shigeki Hagihara
,
Naoki Yonezaki
Efficient Realizability Checking by Modularization of LTL Specifications.
Comput. J.
65 (10) (2022)
Sohei Ito
,
Kenji Osari
,
Shigeki Hagihara
,
Naoki Yonezaki
Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms.
BIOSTEC (Selected Papers)
(2017)
Sohei Ito
,
Kenji Osari
,
Shigeki Hagihara
,
Naoki Yonezaki
Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach.
BIOINFORMATICS
(2017)
Masaya Shimakawa
,
Kenji Osari
,
Shigeki Hagihara
,
Naoki Yonezaki
Modularization of formal specifications or efficient synthesis of reactive systems.
ICSCA
(2017)