# 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

Markov processes

Algebra

Semantics

Nutrition

Specifications

Random processes

Distribution functions

Fault tree analysis

Chemical analysis

Specification languages

Formal methods

Temporal logic

Transient analysis

Scalability

Synchronization

Formal logic

Network protocols

Parallel algorithms

Competitive intelligence

Describing functions

Epidemiology

Aerospace applications

Mobile computing

Costs

Directed graphs

Process engineering

Explosions

Bioinformatics

Semantic Web

Computer programming

Information retrieval

Petri nets

Systems analysis

Availability

Nuclear energy

Probability distributions

Computer hardware

Cryptography

Learning systems

Equivalence classes

Computational complexity

Energy dissipation

### Mathematics

Performability

Model Checking

Reward

Markov chain

Logic

Process Algebra

Continuous-time Markov Chain

Graph Rewriting

Automata

Automatic Verification

Fault Tree

Confluence

Regular Expressions

Temporal Logic

Specification

Path

Stochastic Systems

State Space

Counterexample

Synchronization

Stochastic Process Algebra

Bisimulation

Model

Discrete Event Systems

Likelihood

Explosion

Contention

Timed Automata

Combinatorial argument

Leader Election

Queuing Networks

Stochastic Petri Nets