# 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

Petri nets

Semantics

Specifications

Formal methods

Technical presentations

Particle accelerators

Scheduling

Hybrid systems

Chemical analysis

Fault tree analysis

Information retrieval

Computer science

Clocks

Parallel algorithms

Algebra

Discrete event simulation

Static analysis

Polynomials

Experiments

Spacecraft

Industry

Syntactics

Availability

Scalability

Linearization

Observability

Temporal logic

Competitive intelligence

Describing functions

Epidemiology

Software engineering

Directed graphs

### Mathematics

Bisimulation

Reachability

Probabilistic automata

Continuous-time Markov chain

Timed automata

Markov chain

Process algebra

Automata

State space

Model checking

Modeling

Piecewise deterministic Markov process

Generalized stochastic Petri net

Stochastic process algebra

Interval

Symbolic analysis

Congruence relation

System of integral equations

Fault tree

Labeled transition system

Blow-up

Linear process

Rate function

Computing

Model

Transition systems

Dependent data

Piecewise polynomials