Naoko Izumi

According to our database, Naoko Izumi authored at least 8 papers between 1996 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

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

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

Formal Analysis of Gene Networks Using Network Motifs.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Biomedical Engineering Systems and Technologies, 2013

Qualitative Analysis of Gene Regulatory Networks using Network Motifs.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the BIOINFORMATICS 2013 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Barcelona, Spain, 11, 2013

2010

Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic.

Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 10th IEEE International Conference on Bioinformatics and Bioengineering, 2010

2009

Formal system of interactions on biomedical ontology.

Naoko Izumi, Naoki Yonezaki

Proceedings of the Information Modelling and Knowledge Bases XXI, 2009

2008

A Quantitative Semantics of Formal Ontology of Drug Interactions.

Koji Tashima, Naoko Izumi, Naoki Yonezaki

Proceedings of the International Conference on Bioinformatics & Computational Biology, 2008

1996

An Object Logic for Object Base Capable of Version Management.

Naoko Izumi, Takuya Katayama

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996