Arend Rensink

prof.dr.ir.

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

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.

Engineering & Materials Science

Software engineering
Nutrition
Specifications
Interoperability
Scheduling
Gluing
Fault tree analysis
Specification languages
Formal methods
Semantics
Algebra
Satellites
Scalability
Television receivers
Directed graphs
Model checking
Application programming interfaces (API)
Railroad cars
Nuclear power plants
Synchronization
Aircraft
Reusability
Arches
Sampling
Engines
Query languages
Curricula
Computer hardware
Industry
Software design
Vehicle routing
Experiments
Taxonomies
Industrial plants
Data structures
Logistics

Mathematics

Graph Rewriting
Graph Transformation
Fault Tree
First-order Logic
Graph in graph theory
First-order
Operator
Leader Election
Gluing
Tool Support
Reliability Modeling
Functional Dependency
Usability
Reliability Analysis
Rewriting
Large Set
Directed Graph
Attribute
Simplification
Equivalence
Logic
Timing
Correctness
Scalability
Simplify
State Space
Evaluate
Heuristics
Benchmark