Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Tachio Terauchi
Observed names:
T. Terauchi,
Tachio TERAUCHI,
Terauchi, Tachio
Institutions:
University of Nebraska–Lincoln,
Waseda University
Observed institutions:
University of Nebraska–Lincoln,
Waseda University,
Japan Advanced Institute of Science and Technology,
Tohoku University,
Nagoya University,
Columbia University,
University of California, Berkeley
show all 7
ORCID:
0000-0001-5305-4916
Observed ORCID:
0000-0001-5305-4916
OpenAlex ID:
A5031661604
Exploring MARS: developing indoor and outdoor user interfaces to a mobile augmented reality system
1999
·
Tobias Höllerer
, Steven Feiner
, et al.
·
Computers & Graphics
·
455
Flow-sensitive type qualifiers
2002
·
Jeffrey S. Foster
, Tachio Terauchi
, et al.
·
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
·
380
Secure Information Flow as a Safety Problem
2005
·
Tachio Terauchi
, Alex Aiken
·
Lecture notes in computer science
·
289
Decomposition instead of self-composition for proving the absence of timing channels
2017
·
Timos Antonopoulos
, Paul Gazzillo
, et al.
·
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
·
87
PDF
Dependent types from counterexamples
2010
·
Tachio Terauchi
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
74
Checking and inferring local non-aliasing
2003
·
Alex Aiken
, Jeffrey S. Foster
, et al.
·
ACM SIGPLAN Notices
·
67
Quantitative Information Flow - Verification Hardness and Possibilities
2010
·
Hirotoshi Yasuoka
, Tachio Terauchi
·
IEEE Computer Security Foundations Workshop (CSFW)
·
62
PDF
Checking and inferring local non-aliasing
2003
·
Alex Aiken
, Jeffrey S. Foster
, et al.
·
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
·
58
Constraint-Based Relational Verification
2021
·
Hiroshi Unno
, Tachio Terauchi
, et al.
·
Lecture notes in computer science
·
53
PDF
Automating relatively complete verification of higher-order functional programs
2013
·
Hiroshi Unno
, Tachio Terauchi
, et al.
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
50
A Type System for Observational Determinism
2008
·
Tachio Terauchi
·
IEEE Computer Security Foundations Workshop (CSFW)
·
44
Checking race freedom via linear programming
2008
·
Tachio Terauchi
·
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
·
43
Automatic Termination Verification for Higher-Order Functional Programs
2014
·
Takuya Kuwahara
, Tachio Terauchi
, et al.
·
Lecture notes in computer science
·
37
PDF
A capability calculus for concurrency and determinism
2008
·
Tachio Terauchi
, Alex Aiken
·
ACM Transactions on Programming Languages and Systems
·
36
PDF
Local temporal reasoning
2014
·
Eric Koskinen
, Tachio Terauchi
·
ACM/IEEE Symposium on Logic in Computer Science (LICS)
·
34
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
2023
·
Hiroshi Unno
, Tachio Terauchi
, et al.
·
Proceedings of the ACM on Programming Languages
·
33
PDF
Decomposition instead of self-composition for proving the absence of timing channels
2017
·
Timos Antonopoulos
, Paul Gazzillo
, et al.
·
ACM SIGPLAN Notices
·
29
Temporal verification of higher-order functional programs
2016
·
Akihiro Murase
, Tachio Terauchi
, et al.
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
29
A Fixpoint Logic and Dependent Effects for Temporal Property Verification
2018
·
Yoji Nanjo
, Hiroshi Unno
, et al.
·
ACM/IEEE Symposium on Logic in Computer Science (LICS)
·
28
Relatively complete refinement type system for verification of higher-order non-deterministic programs
2017
·
Hiroshi Unno
, Yuki Satake
, et al.
·
Proceedings of the ACM on Programming Languages
·
22
PDF
Quantitative information flow as safety and liveness hyperproperties
2013
·
Hirotoshi Yasuoka
, Tachio Terauchi
·
Theoretical Computer Science
·
22
PDF
Repairing DoS Vulnerability of Real-World Regexes
2022
·
Nariyoshi Chida
, Tachio Terauchi
·
IEEE Symposium on Security and Privacy (S&P)
·
21
PDF
On bounding problems of quantitative information flow
2011
·
Hirotoshi Yasuoka
, Tachio Terauchi
·
Journal of Computer Security
·
21
PDF
On Bounding Problems of Quantitative Information Flow
2010
·
Hirotoshi Yasuoka
, Tachio Terauchi
·
Lecture notes in computer science
·
19
On Lookaheads in Regular Expressions with Backreferences
2023
·
Nariyoshi CHIDA
, Tachio TERAUCHI
·
IEICE Transactions on Information and Systems
·
18
PDF
Show more works
View as search
Works count:
86
Citation count:
2,282
H-index:
21
I10-index:
37
Year
Topic
Type
