按照存儲在普爾(Pure)的出版物數量及斯高帕斯(Scopus)引文計算。
1997 …2023

每年研究成果

如果您對這些純文本內容做了任何改變,很快就會看到。
篩選
Conference contribution

搜尋結果

  • 2012

    Abstraction of graph-based models of bio-molecular reaction systems for efficient simulation

    Kawamata, I., Aubert, N., Hamano, M. & Hagiya, M., 2012, Computational Methods in Systems Biology - 10th International Conference, CMSB 2012, Proceedings. p. 187-206 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 7605 LNBI).

    研究成果: Conference contribution

    5 引文 斯高帕斯(Scopus)
  • 2008

    An indexed system for multiplicative additive polarized linear logic

    Hamano, M. & Takemura, R., 2008, Computer Science Logic - 22nd International Workshop, CSL 2008 - 17th Annual Conference of the EACSL, Proceedings. p. 262-277 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 5213 LNCS).

    研究成果: Conference contribution

    3 引文 斯高帕斯(Scopus)