Skip to content

Dominik Steenken

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2013–2014

Best venue rank

C

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2014FedCSISGrammar-Based Model Transformations.Galina Besova, Dominik Steenken, Heike Wehrheim
2013FORTEBounded Model Checking of Graph Transformation Systems via SMT Solving.Tobias Isenberg, Dominik Steenken, Heike Wehrheim