Concepedia

Tachio Terauchi

TT

26

Publications

1.6K

Citations

18

H-Index

1999

Active since

Affiliations

Tohoku University(Current)

University of Tsukuba

Nagoya University

University of California, Berkeley

Japan Advanced Institute of Science and Technology

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

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisSoftware AnalysisAutomated ReasoningFormal SpecificationSoftware Engineering

Publications per year

1999–2023

26

Publications

26

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

Tobias Höllerer, Steven Feiner, Tachio Terauchi et al. · Computers & Graphics · 1999 · 436 citations · Full text

Engineering, Experimental Mobile, Augmented Reality Game +18

Flow-sensitive type qualifiers

Jeffrey S. Foster, Tachio Terauchi, Alex Aiken · 2002 · 371 citations

Engineering, Type Theory, Verification +20

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

Timos Antonopoulos, Paul Gazzillo, Michael Hicks et al. · 2017 · 86 citations · Full text

Engineering, Information Security, Computational Complexity +20

Dependent types from counterexamples

Tachio Terauchi · 2010 · 79 citations

Dependent Types, Engineering, Abstract Model Checking +14

Checking and inferring local non-aliasing

Alex Aiken, Jeffrey S. Foster, John Kodumal et al. · ACM SIGPLAN Notices · 2003 · 67 citations

Engineering, Verification, Software Engineering +21

Rows per page

1–5 of 26