Tachio Terauchi

Citée par

	Toutes	Depuis 2019
Citations	2761	811
indice h	21	15
indice i10	33	21

160

120

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202426 49 57 109 98 116 102 110 106 120 132 135 111 138 124 97 141 133 156 135 112 108 143 156

Accès public

Tout afficher

7 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Alex AikenProfessor of Computer Science, Stanford UniversityAdresse e-mail validée de cs.stanford.edu
Hiroshi UnnoTohoku UniversityAdresse e-mail validée de acm.org
Eric KoskinenCharles Berendsen Associate Professor of Computer Science, Stevens Institute of TechnologyAdresse e-mail validée de stevens.edu
Jeffrey S. FosterComputer Science, Tufts UniversityAdresse e-mail validée de tufts.edu
Steven FeinerProfessor of Computer Science, Columbia UniversityAdresse e-mail validée de cs.columbia.edu
Tobias HöllererProfessor, Computer Science, UC Santa BarbaraAdresse e-mail validée de cs.ucsb.edu
Timos AntonopoulosResearch Scientist, Yale UniversityAdresse e-mail validée de yale.edu
Naoki KobayashiThe University of TokyoAdresse e-mail validée de is.s.u-tokyo.ac.jp
Nariyoshi ChidaNTT Social Informatics LaboratoriesAdresse e-mail validée de global.ntt
Paul GazzilloUniversity of Central FloridaAdresse e-mail validée de ucf.edu
Shiyi WeiAssociate Professor of Computer Science, University of Texas at DallasAdresse e-mail validée de utdallas.edu
Michael W. HicksSenior Principal Scientist, AWS, and Professor Emeritus, UMDAdresse e-mail validée de umd.edu
Ryosuke SatoTokyo University of Agriculture and TechnologyAdresse e-mail validée de acm.org
Blair MacIntyreHead of Immersive Tech Research @ JPMorgan Chase. Professor of AR+Design & Computing at NortheasternAdresse e-mail validée de macmynatt.com
Koji NakazawaNagoya UniversityAdresse e-mail validée de i.nagoya-u.ac.jp
Taro SekiyamaNational Institute of InformaticsAdresse e-mail validée de nii.ac.jp
hong yuProfessor, Director, CHORDS; Professor, Miner school of computer & information sciences, UMassAdresse e-mail validée de uml.edu
William Stafford NobleProfessor of Genome Sciences, University of WashingtonAdresse e-mail validée de uw.edu

Suivre

Tachio Terauchi

Professor of Computer Science and Engineering, Waseda University

Adresse e-mail validée de waseda.jp - Page d'accueil

Programming Languages Program Verification Program Synthesis Security Type Systems


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	747	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	117	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
Constraint-based relational verification H Unno, T Terauchi, E Koskinen International Conference on Computer Aided Verification, 742-766, 2021	57	2021
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
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	45	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	31	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	28	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs