Jens Kosiol

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
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework Journal of Logical and Algebraic Methods in Programming	2024-02-12	Paper
Finding the right way to Rome: effect-oriented graph transformation	2024-01-12	Paper
Advanced consistency restoration with higher-order short-cut rules	2024-01-12	Paper
A Generic Construction for Crossovers of Graph-Like Structures	2022-12-07	Paper
A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications Journal of Logical and Algebraic Methods in Programming	2022-11-16	Paper
Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations Graph Transformation	2022-09-01	Paper
A generalized concurrent rule construction for double-pushout rewriting (available as arXiv preprint)	2022-03-21	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 optimized constraint-preserving application conditions for model transformation rules Journal of Logical and Algebraic Methods in Programming	2020-07-14	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
Constructing optimized validity-preserving application conditions for graph transformation rules	2020-02-06	Paper
Exploring conflict reasons for graph transformation systems	2020-02-06	Paper
Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach Journal of Logical and Algebraic Methods in Programming	2019-03-27	Paper

Research outcomes over time

This page was built for person: Jens Kosiol