Tachio Terauchi

Cited by

	All	Since 2018
Citations	2569	766
h-index	21	14
i10-index	29	17

160

120

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202326 49 58 111 95 114 100 107 104 119 132 135 111 134 122 99 142 134 154 136 108 115 119

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Hiroshi UnnoUniversity of TsukubaVerified email at cs.tsukuba.ac.jp
Eric KoskinenCharles Berendsen Associate Professor of Computer Science, Stevens Institute of TechnologyVerified email at stevens.edu
Jeffrey S. FosterComputer Science, Tufts UniversityVerified email at tufts.edu
Steven FeinerProfessor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Tobias HöllererProfessor, Computer Science, UC Santa BarbaraVerified email at cs.ucsb.edu
Timos AntonopoulosVerified email at yale.edu
Naoki KobayashiThe University of TokyoVerified email at is.s.u-tokyo.ac.jp
Paul GazzilloUniversity of Central FloridaVerified email at ucf.edu
Shiyi WeiAssociate Professor of Computer Science, University of Texas at DallasVerified email at utdallas.edu
Michael W. HicksSenior Principal Scientist, AWS, and Professor Emeritus, UMDVerified email at umd.edu
Nariyoshi ChidaNTT Social Informatics LaboratoriesVerified email at global.ntt
Ryosuke SatoThe University of TokyoVerified email at is.s.u-tokyo.ac.jp
Blair MacIntyreHead of Immersive Tech Research @ JPMorgan Chase. Professor of AR+Design & Computing at NortheasternVerified email at macmynatt.com
hong yuProfessor, Director, CHORDS; Professor, Miner school of computer & information sciences, UMassVerified email at uml.edu
Koji NakazawaNagoya UniversityVerified email at i.nagoya-u.ac.jp
Taro SekiyamaNational Institute of InformaticsVerified email at nii.ac.jp
William Stafford NobleProfessor of Genome Sciences, University of WashingtonVerified email at uw.edu

Tachio Terauchi

Professor of Computer Science and Engineering, Waseda University

Verified email at waseda.jp - Homepage

Programming Languages Program Verification Program Synthesis Security Type Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Exploring MARS: developing indoor and outdoor user interfaces to a mobile augmented reality system T Höllerer, S Feiner, T Terauchi, G Rashid, D Hallaway Computers & Graphics 23 (6), 779-785, 1999	726	1999
Flow-sensitive type qualifiers JS Foster, T Terauchi, A Aiken Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002	457	2002
Secure information flow as a safety problem T Terauchi, A Aiken International Static Analysis Symposium, 352-367, 2005	372	2005
Checking and inferring local non-aliasing A Aiken, JS Foster, J Kodumal, T Terauchi Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language …, 2003	104	2003
Decomposition instead of self-composition for proving the absence of timing channels T Antonopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei ACM SIGPLAN Notices 52 (6), 362-375, 2017	100	2017
Quantitative information flow-verification hardness and possibilities H Yasuoka, T Terauchi 2010 23rd IEEE Computer Security Foundations Symposium, 15-27, 2010	84	2010
Dependent types from counterexamples T Terauchi ACM Sigplan Notices 45 (1), 119-130, 2010	78	2010
Automating relatively complete verification of higher-order functional programs H Unno, T Terauchi, N Kobayashi Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013	55	2013
A type system for observational determinism T Terauchi 2008 21st IEEE Computer Security Foundations Symposium, 287-300, 2008	55	2008
Checking race freedom via linear programming T Terauchi ACM SIGPLAN Notices 43 (6), 1-10, 2008	48	2008
Automatic termination verification for higher-order functional programs T Kuwahara, T Terauchi, H Unno, N Kobayashi European Symposium on Programming Languages and Systems, 392-411, 2014	40	2014
A capability calculus for concurrency and determinism T Terauchi, A Aiken ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (5), 27, 2008	40	2008
Temporal verification of higher-order functional programs A Murase, T Terauchi, N Kobayashi, R Sato, H Unno Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016	31	2016
Constraint-based relational verification H Unno, T Terauchi, E Koskinen International Conference on Computer Aided Verification, 742-766, 2021	30	2021
Quantitative information flow as safety and liveness hyperproperties H Yasuoka, T Terauchi Theoretical Computer Science 538, 167-182, 2014	29	2014
Local temporal reasoning E Koskinen, T Terauchi Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	28	2014
On bounding problems of quantitative information flow H Yasuoka, T Terauchi Journal of Computer Security 19 (6), 1029-1082, 2011	26	2011
On bounding problems of quantitative information flow H Yasuoka, T Terauchi Computer Security–ESORICS 2010, 357-372, 2010	26	2010
A fixpoint logic and dependent effects for temporal property verification Y Nanjo, H Unno, E Koskinen, T Terauchi Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	23	2018
Relatively complete refinement type system for verification of higher-order non-deterministic programs H Unno, Y Satake, T Terauchi Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017	21	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors