Dennis Nolte

According to our database, Dennis Nolte authored at least 7 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java.

H. J. Sander Bruggink, Barbara König, Marleen Matjeka, Dennis Nolte, Lara Stoltenow

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Analysis and Abstraction of Graph Transformation Systems via Type Graphs.

Dennis Nolte

PhD thesis, 2019

Specifying graph languages with type graphs.

Andrea Corradini, Barbara König, Dennis Nolte

J. Log. Algebraic Methods Program., 2019

CoReS: A tool for computing core graphs via SAT/SMT solvers.

Barbara König, Maxime Nederkorn, Dennis Nolte

J. Log. Algebraic Methods Program., 2019

Rewriting Abstract Structures: Materialization Explained Categorically.

Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

A Tutorial on Graph Transformation.

Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2015

Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings.

H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema

Proceedings of the Graph Transformation - 8th International Conference, 2015