Theoretical Computer Science

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.

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