• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
19982021

Research activity per year

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

Search results

  • 2004

    The Interface Definition Language for Fail-Safe C

    Suenaga, K., Oiwa, Y., Sumii, E. & Yonezawa, A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Futatsugi, K., Mizoguchi, F. & Yonezaki, N. (eds.). Springer Verlag, p. 192-208 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3233).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • 2003

    Fail-safe ANSI-C compiler: An approach to making C programs secure progress report

    Oiwa, Y., Sekiguchi, T., Sumii, E. & Yonezawa, A., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Okada, M., Pierce, B. C., Scedrov, A., Tokuda, H. & Yonezawa, A. (eds.). Springer Verlag, p. 133-153 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2609).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    13 Citations (Scopus)