寺内 多智弘

研究成果

年別の研究成果 1999 2020

• 1124 被引用数
• 14 h-index
• 23 Conference contribution
• 14 Article
• 2 Paper
• 2 Conference article

年別の研究成果

年別の研究成果

検索結果

• 2012

  Quantitative information flow as safety and liveness hyperproperties

  Yasuoka, H. & Terauchi, T., 2012 7 3, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 85, p. 77-91 15 p.

  研究成果: Conference article › 査読

  • Hardness
  • Chemical analysis
  3 被引用数 (Scopus)
• 2003

  Checking and inferring local non-aliasing

  Aiken, A., Foster, J. S., Kodumal, J. & Terauchi, T., 2003 5, In: ACM SIGPLAN Notices. 38, 5, p. 129-140 12 p.

  研究成果: Conference article › 査読

  • Linux
  • Experiments
  9 被引用数 (Scopus)