Dennis Nolte

ORCID

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 11

Top Venues

ICGT

CoRR

J. Log. Algebraic Methods Program.

FoSSaCS

University of Duisburg-Essen, Germany (PHD)

Education History

University of Duisburg-Essen, Germany

PHD

Publications

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

Dennis Nolte.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dennis Nolte