Dennis Nolte

From MaRDI portal
Person:1663976

Available identifiers

zbMath Open nolte.dennisMaRDI QIDQ1663976

List of research outcomes





PublicationDate of PublicationType
A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java2022-09-01Paper
Rewriting abstract structures: materialization explained categorically2020-01-28Paper
CoReS: a tool for computing core graphs via SAT/SMT solvers2019-11-28Paper
Specifying graph languages with type graphs2019-11-22Paper
Specifying graph languages with type graphs2019-06-20Paper
CoReS: a tool for computing core graphs via SAT/SMT solvers2018-08-24Paper
A tutorial on graph transformation2018-04-04Paper
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings2015-09-22Paper

Research outcomes over time

This page was built for person: Dennis Nolte

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1663976&oldid=6452193"
Powered by MediaWiki