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
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