Lars Fritsche
From MaRDI portal
Person:2185891
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Advanced model consistency restoration with higher-order short-cut rules Logical Methods in Computer Science | 2024-11-12 | Paper |
| Advanced consistency restoration with higher-order short-cut rules | 2024-01-12 | Paper |
| Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs Journal of Logical and Algebraic Methods in Programming | 2020-08-17 | Paper |
| Constructing constraint-preserving interaction schemes in adhesive categories | 2020-06-08 | Paper |
| Adhesive subcategories of functor categories with instantiation to partial triple graphs | 2020-02-06 | Paper |
| Leveraging incremental pattern matching techniques for model synchronisation Graph Transformation | 2019-11-22 | Paper |
Research outcomes over time
This page was built for person: Lars Fritsche
