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.

Engineering & Materials Science

Model checking
Markov processes
Petri nets
Specifications
Semantics
Chemical analysis
Experiments
Scheduling
Technical presentations
Particle accelerators
Hybrid systems
Industry
Clocks
Computer science
Polynomials
Information retrieval
Algebra
Parallel algorithms
Formal methods
Discrete event simulation
Static analysis
Spacecraft
Availability
Scalability
Software engineering
Syntactics
Linearization
Fault tree analysis
Observability
Temporal logic

Mathematics

Bisimulation
Model
Reachability
Markov chain
Probabilistic automata
Modeling
Continuous-time Markov chain
Timed automata
State space
Automata
Interval
Model checking
Process algebra
Computing
Blow-up