Tachio Terauchi

年別の研究成果

Pureに変更を加えた場合、すぐここに表示されます。

フィルター

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 › 査読

Open Access
4 被引用数 (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 › 査読
13 被引用数 (Scopus)

寺内 多智弘