Lars Fritsche

From MaRDI portal
Person:2185891

Available identifiers

zbMath Open fritsche.larsMaRDI QIDQ2185891

List of research outcomes





PublicationDate of PublicationType
Advanced model consistency restoration with higher-order short-cut rules2024-11-12Paper
Advanced consistency restoration with higher-order short-cut rules2024-01-12Paper
Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs2020-08-17Paper
Constructing constraint-preserving interaction schemes in adhesive categories2020-06-08Paper
Adhesive subcategories of functor categories with instantiation to partial triple graphs2020-02-06Paper
Leveraging incremental pattern matching techniques for model synchronisation2019-11-22Paper

Research outcomes over time

This page was built for person: Lars Fritsche

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