# Fingerprint The fingerprint is based on mining the text of the research documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit.

- Sort by
- Weight
- Alphabetically

### Mathematics

Axiomatization

Process Algebra

Bisimulation

Equivalence

Term

Specification

Term Rewriting

Rewriting

Preorder

Congruence

Modulo

Branching

Structural Operational Semantics

Lambda Calculus

Iteration

Term Rewriting Systems

Basic Algebra

Higher-order Logic

Model Checking

Prefix

Logic

Transition Systems

Equational Theory

Recursion

Higher Order

### Engineering & Materials Science

Algebra

Semantics

Specifications

Model checking

Acoustic waves

Data structures

Polynomials

Finite automata

Network protocols

Decomposition

Concretes

Transducers

Syntactics

Computability and decidability

Formal languages

Stars

Turing machines

Substitution reactions

Functional programming

Atoms

Mathematical operators

Mobile ad hoc networks

Chemical analysis

Surface mount technology

Equivalence classes