• 991 引用
  • 12 h指数
19992019
Pureに変更を加えた場合、すぐここに表示されます。

Fingerprint Tachio Terauchiが取り組む研究トピックをご確認ください。これらのトピックラベルは、この人物の研究に基づいています。これらを共に使用することで、固有の認識が可能になります。

Mathematics

Information Flow
Refinement
Safety
Recursion
Predicate
Calculus
Liveness
Determinism
Termination
Temporal Reasoning
Horn clause
Program Verification
Fractional
Confluence
Fixpoint
Formal Analysis
Higher Order
Leakage
Counterexample
Communication Channels
Type Systems
Stratification
Concurrency
Buffer
Linear programming
Partial
Reasoning
Concurrent
Timing
Hardness
Reachability
Undecidability
Intersection
Heuristics
Constraint Solving
Synthesis
Logic
Static Analysis
Ranking Function
Reachability Analysis
Dependent
Cell
Prototype
Noninterference
Polynomial time
Casting
Shannon Entropy
Attack
Deductive System
Compositionality

Engineering & Materials Science

Linear programming
Hardness
Chemical analysis
Polynomials
Entropy
Static analysis
Semantics
Acoustic waves
Recursive functions
Context free languages
Turing machines
Augmented reality
Channel capacity
Adaptive systems
Model checking
User interfaces
Casting
Automation
Experiments
Sampling
Decomposition
Specifications
Joining
Temporal logic
Communication
Synchronization
Polymorphism
Computer programming languages
Surface mount technology
Linux
Testbeds
Data storage equipment
Interpolation
Display devices