Calculated based on number of publications stored in Pure and citations from Scopus
1997 …2023

Research activity per year

Filter
Conference contribution

Search results

  • 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); vol. 7605 LNBI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (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); vol. 5213 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)