• 1356 Citations
1988 …2019
If you made any changes in Pure these will be visible here soon.

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

Engineering & Materials Science

Software engineering
Model checking
Specifications
Interoperability
Semantics
Scheduling
Specification languages
Fault tree analysis
Formal methods
Algebra
Classifiers
Scalability
Directed graphs
Curricula
Application programming interfaces (API)
Synchronization
Reusability
Java programming language
Sampling
Query languages
Static analysis
Computer programming languages
Computer hardware
Industry
Software design
Experiments
Taxonomies

Mathematics

Graph Rewriting
Graph Transformation
Graph in graph theory
Fault Tree
Rewriting
Software Engineering
First-order Logic
Model-based
First-order
Topos
Operator
Leader Election
Categorical
Annotation
Gluing
Tool Support
Reliability Modeling
Classifier
Functional Dependency
Usability
Partial
Reliability Analysis
Large Set
Directed Graph
Attribute
Simplification
Equivalence