# Fingerprint Fingerprint is based on mining the text of the person's research documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

- Sort by
- Weight
- Alphabetically

### Engineering & Materials Science

Model checking

Testing

Fault tree analysis

Specifications

Semantics

Availability

Nutrition

Formal methods

Markov processes

Syntactics

Costs

Binary decision diagrams

Intelligent buildings

Specification languages

Probability distributions

Stochastic systems

Network protocols

Computer science

Software architecture

Stochastic models

Technical presentations

Reliability analysis

Repair

Chemical analysis

Acoustic waves

Decomposition

Bluetooth

Recovery

Importance sampling

Algebra

Aerospace applications

Statistical Models

Statistical methods

Directed graphs

Aircraft

Process engineering

Nuclear energy

Automata theory

Nuclear power plants

Explosions

Scalability

Water

Railroad cars

Flavors

Arches

Cost effectiveness

Engines

Risk management

### Mathematics

Fault Tree

Fault Tree Analysis

Graph Rewriting

Model-based Testing

Confluence

Transition Systems

Branching

Automata

Bisimulation

Metric

Trace

Modeling

Nondeterminism

Correctness

Inclusion

State Space

Equivalence

Common Cause Failure

Divergence

Soundness