Tachio Terauchi

Tachio Terauchi

Waseda University - Tokyo / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 449803
早稲田大学
person_outline Tachio Terauchi's MOST POPULAR ARTICLES
1-) Exploring MARS: developing indoor and outdoor user interfaces to a mobile augmented reality systemT Höllerer, S Feiner, T Terauchi, G Rashid, D HallawayComputers & Graphics 23 (6), 779-785, 19997071999
2-) Flow-sensitive type qualifiersJS Foster, T Terauchi, A AikenProceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 20024542002
3-) Secure information flow as a safety problemT Terauchi, A AikenInternational Static Analysis Symposium, 352-367, 20053432005
4-) Decomposition instead of self-composition for proving the absence of timing channelsT Antonopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S WeiACM SIGPLAN Notices 52 (6), 362-375, 20171182017
5-) Checking and inferring local non-aliasingA Aiken, JS Foster, J Kodumal, T TerauchiProceedings of the ACM SIGPLAN 2003 Conference on Programming Language …, 20031092003