Jan St\"uckrath

Identifiers

• name variant Jan St\"uckrath 0.60 · backfill

Papers (2)

1. Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations cs.LO · 2014 · author #2
2. A General Framework for Well-Structured Graph Transformation Systems cs.LO · 2014 · author #2

Mentions

• 1407.4394 #2 · backfill · confidence 0.70 Jan St\"uckrath
• 1406.4782 #2 · backfill · confidence 0.70 Jan St\"uckrath

Frequent Coauthors

• Barbara K\"onig 1 shared papers
• Giorgio Delzanno 1 shared papers