# 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

Specifications

Semantics

Testing

Syntactics

Formal methods

Specification languages

Embedded software

Algebra

Real time systems

Systems engineering

Embedded systems

Distribution functions

Information systems

Scheduling

Model checking

Black-box testing

Automata theory

Lacquers

Network protocols

Systems analysis

Hardware

Random processes

Petri nets

Merging

Planning

System theory

Software design

Quality of service

Hybrid systems

Costs

Computer science

Formal specification

### Mathematics

Process Algebra

Process Calculi

Timed Automata

Reachability

Markov chain

Costs

Concurrent

Bisimulation

Algebra

Modeling

Stochastic Process Algebra

Behavioral Approach

Hybrid Dynamical Systems

Markovian Process

Facet

Continuous-time Markov Chain

Nondeterminism

Concurrent Systems

Discrete Event Systems

Equivalence class

Interconnection

Linearly

Entire

Computer Science

Dynamical system

Equivalence

Computing

Internal