Hisao Moriya

Research activity per year

If you made any changes in Pure these will be visible here soon.

Filter

Chapter
Completing SBGN-AF networks by logic-based hypothesis finding
Yamamoto, Y., Rougny, A., Nabeshima, H., Inoue, K., Moriya, H., Froidevaux, C. & Iwanuma, K., 2014, Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Proceedings. Piazza, C. & Fages, F. (eds.). Springer Verlag, p. 165-179 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8738).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
1 Citation (Scopus)

Research output