Old Web
English
Sign In
Acemap
>
authorDetail
>
Kenji Osari
Kenji Osari
Yahoo!
Computer science
Gene regulatory network
Machine learning
Artificial intelligence
Linear temporal logic
5
Papers
4
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Efficient Realizability Checking by Modularization of LTL Specifications
2021
The Computer Journal
Sohei Ito
Kenji Osari
Masaya Shimakawa
Shigeki Hagihara
Naoki Yonezaki
Show All
Source
Cite
Save
Citations (0)
Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach.
2017
BIOINFORMATICS | International Conference on Bioinformatics
Sohei Ito
Kenji Osari
Shigeki Hagihara
Naoki Yonezaki
Show All
Source
Cite
Save
Citations (1)
Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms
2017
BIOSTEC | Biomedical Engineering Systems and Technologies
Sohei Ito
Kenji Osari
Shigeki Hagihara
Naoki Yonezaki
Show All
Source
Cite
Save
Citations (0)
Modularization of formal specifications or efficient synthesis of reactive systems
2017
ICSCA | International Conference Software and Computer Applications
Masaya Shimakawa
Kenji Osari
Shigeki Hagihara
Naoki Yonezaki
Show All
Source
Cite
Save
Citations (2)
AN OBJECT-ORIENTED LANGUAGE FOR PARAMETERISED REACTIVE SYSTEM SPECIFICATION BASED ON LINEAR TEMPORAL LOGIC
2014
Kenji Osari
Takuya Murooka
Kiyotaka Hagiwara
Takahiro Ando
Masaya Shimakawa
Sohei Ito
Shigeki Hagihara
Naoki Yonezaki
Show All
Source
Cite
Save
Citations (1)
1