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
Fault tree analysis
Testing
Costs
Markov processes
Specifications
Availability
Semantics
Formal methods
Stochastic models
Throughput
Repair
Risk management
Data privacy
Nuclear power plants
Hardware
Discrete Fourier transforms
Embedded systems
Probability distributions
Decomposition
Quality of service
Binary decision diagrams
Energy utilization
Algebra
Biomedical equipment
Importance sampling
Technical presentations
Computer science
Scalability
Engineers
Cost effectiveness
Power plants
Water treatment
Specification languages
Flavors
Computer systems
Interoperability
Syntactics
Critical infrastructures
Mobile devices
Linearization
Industry
Agglomeration
Aircraft
Durability
Directed graphs
Recovery
Nutrition
Sampling
Compressors

Mathematics

Automata
Confluence
Process algebra
Probabilistic automata
Bisimulation
Transition systems
State space
Specification
Branching
Model-based testing
Boosting
Divergence
Model
Testing
Nondeterminism
Explosion
Symbolic analysis
Parallel composition
Compositionality
Labeled transition system
Demonstrate
Linear process
Output
Dependent data
Reformulation
Fairness
System modeling
Batch
Linearization