Tachio Terauchi

Cited by

	All	Since 2019
Citations	2739	789
h-index	21	14
i10-index	32	20

160

120

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202426 49 57 109 98 117 101 110 106 120 132 135 111 138 123 98 141 133 156 135 112 108 140 138

Public access

View all

7 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 UnnoTohoku UniversityVerified email at acm.org
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 AntonopoulosResearch Scientist, Yale UniversityVerified email at yale.edu
Naoki KobayashiThe University of TokyoVerified email at is.s.u-tokyo.ac.jp
Nariyoshi ChidaNTT Social Informatics LaboratoriesVerified email at global.ntt
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
Ryosuke SatoTokyo University of Agriculture and TechnologyVerified email at acm.org
Blair MacIntyreHead of Immersive Tech Research @ JPMorgan Chase. Professor of AR+Design & Computing at NortheasternVerified email at macmynatt.com
Koji NakazawaNagoya UniversityVerified email at i.nagoya-u.ac.jp
hong yuProfessor, Director, CHORDS; Professor, Miner school of computer & information sciences, UMassVerified email at uml.edu
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	746	1999
Flow-sensitive type qualifiers JS Foster, T Terauchi, A Aiken Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002	472	2002
Secure information flow as a safety problem T Terauchi, A Aiken International Static Analysis Symposium, 352-367, 2005	389	2005
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	115	2017
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	108	2003
Quantitative information flow-verification hardness and possibilities H Yasuoka, T Terauchi 2010 23rd IEEE Computer Security Foundations Symposium, 15-27, 2010	88	2010
Dependent types from counterexamples T Terauchi ACM Sigplan Notices 45 (1), 119-130, 2010	80	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	56	2013
A type system for observational determinism T Terauchi 2008 21st IEEE Computer Security Foundations Symposium, 287-300, 2008	55	2008
Constraint-based relational verification H Unno, T Terauchi, E Koskinen International Conference on Computer Aided Verification, 742-766, 2021	52	2021
Checking race freedom via linear programming T Terauchi ACM SIGPLAN Notices 43 (6), 1-10, 2008	50	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	44	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	33	2016
Local temporal reasoning E Koskinen, T Terauchi Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	33	2014
Quantitative information flow as safety and liveness hyperproperties H Yasuoka, T Terauchi Theoretical Computer Science 538, 167-182, 2014	30	2014
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	27	2018
On bounding problems of quantitative information flow H Yasuoka, T Terauchi Computer Security–ESORICS 2010, 357-372, 2010	27	2010
On bounding problems of quantitative information flow H Yasuoka, T Terauchi Journal of Computer Security 19 (6), 1029-1082, 2011	26	2011
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	23	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