メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
English
日本語
ホーム
プロファイル
研究部門
研究成果
専門知識、名前、または所属機関で検索
Scopus著者プロファイル
寺内 多智弘
教授
Professor 教授
,
基幹理工学部
ウェブサイト
http://researchers.waseda.jp/profile/ja.84ee721c3b938054e1eb91856cda3067.html
1124
被引用数
出典: Scopus
14
h-index
Pureの文献数とScopusの被引用数に基づいて算出されます
1999
2020
年別の研究成果
概要
フィンガープリント
ネットワーク
研究成果
(41)
類似のプロファイル
(6)
Pureに変更を加えた場合、すぐここに表示されます。
研究成果
年別の研究成果
1999
2020
1124
被引用数
14
h-index
23
Conference contribution
14
Article
2
Paper
2
Conference article
年別の研究成果
年別の研究成果
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)