Arend Rensink

Research output

Research output per year 1988 2000 2001 2004 2005 2006 2007 2008 2009 2010 2011 2012 2014 2017 2018 2024

• 100 Conference contribution
• 55 Report
• 31 Article
• 21 Chapter
• 35 More
  • 18 Paper
  • 8 Book editing
  • 3 Foreword/postscript
  • 2 Editorial
  • 1 Inaugural speech
  • 1 Conference article
  • 1 PhD Thesis - Research UT, graduation UT
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2011

  Neighbourhood Abstraction in GROOVE

  Rensink, A. & Zambon, E., 11 Apr 2011, In: EASST electronic communications. 32, p. 1-13 13 p.

  Research output: Contribution to journal › Conference article › Academic › peer-review

  Open Access

  • Models 100%
  • Classes 100%
  • Model Checking 100%
  • State Space 100%
  • Traditional Model 100%
  9 Citations (Scopus)

  1 Downloads (Pure)