Dennis Nolte

12 papers B 5Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2020 B conf
A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java.
ICGT
H. J. Sander Bruggink, Barbara König, Marleen Matjeka, Dennis Nolte, Lara Stoltenow
2019 — —
Analysis and Abstraction of Graph Transformation Systems via Type Graphs.
Dennis Nolte
2019 J jnl
CoReS: A tool for computing core graphs via SAT/SMT solvers.
J. Log. Algebraic Methods Program.
Barbara König, Maxime Nederkorn, Dennis Nolte
2019 B conf
Rewriting Abstract Structures: Materialization Explained Categorically.
FoSSaCS
Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
2019 J jnl
Rewriting Abstract Structures: Materialization Explained Categorically.
CoRR
Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
2019 J jnl
Specifying graph languages with type graphs.
J. Log. Algebraic Methods Program.
Andrea Corradini, Barbara König, Dennis Nolte
2018 — conf
A Tutorial on Graph Transformation.
Graph Transformation, Specifications, and Nets
Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink
2018 B conf
CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers.
ICGT
Barbara König, Maxime Nederkorn, Dennis Nolte
2017 B conf
Specifying Graph Languages with Type Graphs.
ICGT
Andrea Corradini, Barbara König, Dennis Nolte
2017 J jnl
Specifying Graph Languages with Type Graphs.
CoRR
Andrea Corradini, Barbara König, Dennis Nolte
2015 B conf
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings.
ICGT
H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema
2015 J jnl
Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings.
CoRR
H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema