Naoko Izumi

Publication Activity (10 Years)

Years Active: 1996-2015
Publications (10 Years): 1

Top Topics

Qualitative Analysis

Gene Regulatory Networks

Structure Learning

Top Venues

BIOSTEC (Selected Papers)

J. Integr. Bioinform.

Theor. Comput. Sci.

Publications

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
Qualitative analysis of gene regulatory networks by temporal logic. Theor. Comput. Sci. 594 (2015)
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
Modular analysis of gene networks by linear temporal logic. J. Integr. Bioinform. 10 (2) (2013)
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
Qualitative Analysis of Gene Regulatory Networks using Network Motifs. BIOINFORMATICS (2013)
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
Formal Analysis of Gene Networks Using Network Motifs. BIOSTEC (Selected Papers) (2013)
Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic. BIBE (2010)
Naoko Izumi, Naoki Yonezaki
Formal system of interactions on biomedical ontology. EJC (2009)
Koji Tashima, Naoko Izumi, Naoki Yonezaki
A Quantitative Semantics of Formal Ontology of Drug Interactions. BIOCOMP (2008)
Naoko Izumi, Takuya Katayama
An Object Logic for Object Base Capable of Version Management. SEKE (1996)