default search action

combined dblp search
author search
venue search
publication search

ask others

Harmen Kastenberg

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KastenbergR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KastenbergR18
Harmen Kastenberg, Arend Rensink:
Graph Attribution Through Sub-Graphs. Graph Transformation, Specifications, and Nets 2018: 245-265

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Kastenberg08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Kastenberg08
Harmen Kastenberg:
Graph-based software specification and verification. University of Twente, Enschede, Netherlands, 2008
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/KastenbergR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KastenbergR08
Harmen Kastenberg, Arend Rensink:
Dynamic Partial Order Reduction Using Probe Sets. CONCUR 2008: 233-247
2007
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BonevaHKR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BonevaHKR07
Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink:
Simulating Multigraph Transformations Using Simple Graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007)
2006
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/HermannKM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/HermannKM06
Frank Hermann, Harmen Kastenberg, Tony Modica:
Towards Translating Graph Transformation Approaches by Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006)
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/KastenbergKR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/KastenbergKR06
Harmen Kastenberg, Anneke Kleppe, Arend Rensink:
Defining Object-Oriented Execution Semantics Using Graph Transformations. FMOODS 2006: 186-201
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/KastenbergR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KastenbergR06
Harmen Kastenberg, Arend Rensink:
Model Checking Dynamic States in GROOVE. SPIN 2006: 299-305
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/SmelikRK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/SmelikRK06
Ruben Smelik, Arend Rensink, Harmen Kastenberg:
Specification and Construction of Control Flow Semantics. VL/HCC 2006: 65-72
2005
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Kastenberg06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Kastenberg06
Harmen Kastenberg:
Towards Attributed Graphs in Groove: Work in Progress. GT-VC@CONCUR 2005: 47-54

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.