• 209 Citations
  • 9 h-Index
20052019
If you made any changes in Pure these will be visible here soon.

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

Engineering & Materials Science

Model checking
Testing
Specifications
Explosions
Acoustic waves
Random processes
Chemical analysis
Statistical methods
Simulators
Flow control
Embedded systems
Process control
Semantics
Students
Statistical Models
Linearization
Automata theory
Data flow analysis
Data storage equipment
Costs
Black-box testing
Flavors
Static analysis
Syntactics
Teaching
Algebra
Repair
Energy utilization

Social Sciences

book review
synergy
driver
mathematics
innovation
curriculum
planning
Teaching
teacher
school
learning
student

Mathematics

Confluence
Automata
Nondeterminism
Bisimulation
Explosion
Branching