• 1057 Citations
  • 13 h-Index
19992019

Research output per year

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

Research Output

  • 1057 Citations
  • 13 h-Index
  • 23 Conference contribution
  • 10 Article
  • 2 Paper
  • 2 Conference article
Filter
Article
2016

Temporal verification of higher-order functional programs

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

Research output: Contribution to journalArticle

4 Citations (Scopus)
2014

Quantitative information flow as safety and liveness hyperproperties

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

Research output: Contribution to journalArticle

13 Citations (Scopus)
2013

Automating relatively complete verification of higher-order functional programs

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

Research output: Contribution to journalArticle

9 Citations (Scopus)
2011

On bounding problems of quantitative information flow

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

Research output: Contribution to journalArticle

12 Citations (Scopus)
2010

Dependent types from counterexamples

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

Research output: Contribution to journalArticle

9 Citations (Scopus)
2008

A capability calculus for concurrency and determinism

Terauchi, T. & Aiken, A., 2008 Aug 1, In : ACM Transactions on Programming Languages and Systems. 30, 5, 27.

Research output: Contribution to journalArticle

22 Citations (Scopus)

Checking race freedom via linear programming

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

Research output: Contribution to journalArticle

3 Citations (Scopus)

Witnessing side effects

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

Research output: Contribution to journalArticle

3 Citations (Scopus)
2005

Witnessing side-effects

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

Research output: Contribution to journalArticle

7 Citations (Scopus)
1999

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 Dec, In : Computers and Graphics (Pergamon). 23, 6, p. 779-785 7 p.

Research output: Contribution to journalArticle

271 Citations (Scopus)