Skip to content

Dominik Steenken

  • Dipl. Inform.
  • Research Assistant
  • Universität Paderborn - University of Paderborn
  • 0ReadersNumber of instances of Dominik's publications in Mendeley libraries. Updated daily.
  • 3PublicationsNumber of items in Dominik's My Publications folder on Mendeley.

Research interests

Model CheckingShape AnalysisGraph TransformationFormal Methods

Followers (2)

  • Arne Schwabe

    Arne SchwabeUniversität Paderborn - University of Paderborn

  • Nils Timm

    Nils Timm

Following (2)

  • Arne Schwabe

    Arne SchwabeUniversität Paderborn - University of Paderborn

  • Nils Timm

    Nils Timm

Publications (3)

  • Sound and Complete Abstract Graph Transformation

    • Steenken D
    • Wehrheim H
    • Wonisch D
    N/AReaders
    N/ACitations
    Get full text
  • Using Shape Analysis to verify Graph Transformations in Model Driven Design

    • Steenken D
    • Wonisch D
    N/AReaders
    N/ACitations
  • Multiobjective optimization for transistor sizing of CMOS logic standard cells using set-oriented numerical techniques

    • Blesken M
    • Ruckert U
    • Steenken D
    N/AReaders
    N/ACitations
    Get full text

Professional experience

Research Assistant

Universität Paderborn - University of Paderborn

November 2009 - Present

Student Member

Chair for Applied Mathematics at University of Paderborn

October 2005 - September 2009(4 years)

Education history

Diplom Mathematiker

Universität Paderborn - University of Paderborn

April 2004 - Present

Diplom Informatiker

Universität Paderborn - University of Paderborn

October 2003 - November 2009(6 years)