Concepedia

Author

Tachio Terauchi

Tohoku UniversityORCID

Also Known As

T. Terauchi, Tachio TERAUCHI, Tachio Terauchi, Terauchi, Tachio

78

Publications

2.1K

Citations

19

H-Index

66

Concepts

All Affiliations

Tohoku UniversityUniversity of TsukubaNagoya UniversityUniversity of California, BerkeleyJapan Advanced Institute of Science and Technology
TT

About

Tachio Terauchi is an author at Tohoku University specializing in engineering, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

17

24

1.5K

2

Business

1

1

436

3

Language Studies

1

1

15

4

Social Sciences

1

1

31

5

Cognitive Science

1

1

31

Tachio Terauchi

×

26

Publications

1.6K

Citations

18

H-Index

YearCitations

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

Tobias Höllerer, Steven Feiner, Tachio Terauchi,

Computers & Graphics

1999

436

Flow-sensitive type qualifiers

Jeffrey S. Foster, Tachio Terauchi, Alex Aiken

2002

371

Decomposition instead of self-composition for proving the absence of timing channels

Timos Antonopoulos, Paul Gazzillo, Michael Hicks,

2017

86

Dependent types from counterexamples

Tachio Terauchi

2010

79

Checking and inferring local non-aliasing

Alex Aiken, Jeffrey S. Foster, John Kodumal,

ACM SIGPLAN Notices

2003

67

Quantitative Information Flow - Verification Hardness and Possibilities

Hirotoshi Yasuoka, Tachio Terauchi

2010

56

Checking and inferring local non-aliasing

Alex Aiken, Jeffrey S. Foster, John Kodumal,

2003

54

Automating relatively complete verification of higher-order functional programs

Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi

2013

51

A Type System for Observational Determinism

Tachio Terauchi

2008

45

Checking race freedom via linear programming

Tachio Terauchi

2008

42

Page 1