An Object Logic for Object Base Capable of Version Management. - Naoko Izumi; Takuya Katayama (SEKE, 1996)

A Quantitative Semantics of Formal Ontology of Drug Interactions. - Koji Tashima; Naoko Izumi; Naoki Yonezaki (BIOCOMP, 2008)

Formal system of interactions on biomedical ontology. - Naoko Izumi; Naoki Yonezaki (EJC, 2009)

Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic. - Sohei Ito; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (BIBE, 2010)

Qualitative Analysis of Gene Regulatory Networks using Network Motifs. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (BIOINFORMATICS, 2013)

Formal Analysis of Gene Networks Using Network Motifs. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (BIOSTEC (Selected Papers), 2013)

Modular analysis of gene networks by linear temporal logic. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (J. Integr. Bioinform., 2013)

Qualitative analysis of gene regulatory networks by temporal logic. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (Theor. Comput. Sci., 2015)