If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Jeroen Keiren is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Mathematics

Bisimulation
Branching
Timed Automata
Computing
Equivalence
Game
Specification
Expressiveness
Process Algebra
Invariant
Divergence
Roots
Internal
Time Complexity
Abstraction
Labeled Transition System

Engineering & Materials Science

Model checking
Specifications
Defects
Algebra