• 991 引用
  • 12 h指数
19992019
Pureに変更を加えた場合、すぐここに表示されます。

研究成果 1999 2019

  • 991 引用
  • 12 h指数
  • 24 Conference contribution
  • 12 Article
フィルター
Article
2016
4 引用 (Scopus)

Temporal verification of higher-order functional programs

Murase, A., Terauchi, T., Kobayashi, N., Sato, R. & Unno, H., 2016 4 8, : : ACM SIGPLAN Notices. 51, 1, p. 57-68 12 p.

研究成果: Article

Acoustic waves
2014
11 引用 (Scopus)

Quantitative information flow as safety and liveness hyperproperties

Yasuoka, H. & Terauchi, T., 2014, : : Theoretical Computer Science. 538, C, p. 167-182 16 p.

研究成果: Article

Liveness
Information Flow
Safety
Hardness
Reachability
2013
9 引用 (Scopus)

Automating relatively complete verification of higher-order functional programs

Unno, H., Terauchi, T. & Kobayashi, N., 2013 1, : : ACM SIGPLAN Notices. 48, 1, p. 75-86 12 p.

研究成果: Article

2012
3 引用 (Scopus)
Hardness
Chemical analysis
2011
9 引用 (Scopus)

On bounding problems of quantitative information flow

Yasuoka, H. & Terauchi, T., 2011, : : Journal of Computer Security. 19, 6, p. 1029-1082 54 p.

研究成果: Article

Entropy
Hardness
Channel capacity
Chemical analysis
2010
8 引用 (Scopus)

Dependent types from counterexamples

Terauchi, T., 2010 1, : : ACM SIGPLAN Notices. 45, 1, p. 119-130 12 p.

研究成果: Article

Recursive functions
Model checking
2008
21 引用 (Scopus)
Polynomials
Communication
2 引用 (Scopus)

Checking race freedom via linear programming

Terauchi, T., 2008 6, : : ACM SIGPLAN Notices. 43, 6, p. 1-10 10 p.

研究成果: Article

Linear programming
Static analysis
Joining
Synchronization
3 引用 (Scopus)

Witnessing side effects

Terauchi, T. & Aiken, A., 2008 5 1, : : ACM Transactions on Programming Languages and Systems. 30, 3, 15.

研究成果: Article

Semantics
2005
7 引用 (Scopus)

Witnessing side-effects

Terauchi, T. & Aiken, A., 2005, : : ACM SIGPLAN Notices. 40, 9, p. 105-115 11 p.

研究成果: Article

Semantics
2003
9 引用 (Scopus)

Checking and inferring local non-aliasing

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

研究成果: Article

Experiments
Linux
1999
263 引用 (Scopus)

Exploring MARS: Developing indoor and outdoor user interfaces to a mobile augmented reality system

Höllerer, T., Feiner, S., Terauchi, T., Rashid, G. & Hallaway, D., 1999, : : Computers and Graphics (Pergamon). 23, 6, p. 779-785 7 p.

研究成果: Article

Augmented reality
User interfaces
Testbeds
Display devices