Statistics
Publications
43
Citations
1.3K
H-Index
21
Active since
1996
Arend Rensink is an author at University of Twente specializing in computer science, computing, and formal methods.
Publications per year
1996–2024
43
43
Arend Rensink, Walter Vogler · Information and Computation · 2006 · 123 citations · Full text
Roberto Gorrieri, Arend Rensink · 1999 · 75 citations
Towards model checking graph grammars
Arend Rensink · 2003 · 64 citations
1–5 of 43