| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 4 |      | Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki: Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic. BIBE 2010: 232-237 |
| 2009 | ||
| 3 | | Naoko Izumi, Naoki Yonezaki: Formal system of interactions on biomedical ontology. EJC 2009: 291-298 |
| 2008 | ||
| 2 |  | Koji Tashima, Naoko Izumi, Naoki Yonezaki: A Quantitative Semantics of Formal Ontology of Drug Interactions. BIOCOMP 2008: 760-766 |
| 1996 | ||
| 1 | | Naoko Izumi, Takuya Katayama: An Object Logic for Object Base Capable of Version Management. SEKE 1996: 171-180 |
| 1 | Shigeki Hagihara | [4] |
| 2 | Sohei Ito | [4] |
| 3 | Takuya Katayama | [1] |
| 4 | Koji Tashima | [2] |
| 5 | Naoki Yonezaki | [2] [3] [4] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page