Jens Kosiol

From MaRDI portal
Person:780066

Available identifiers

zbMath Open kosiol.jensMaRDI QIDQ780066

List of research outcomes





PublicationDate of PublicationType
Advanced model consistency restoration with higher-order short-cut rules2024-11-12Paper
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework2024-02-12Paper
Finding the right way to Rome: effect-oriented graph transformation2024-01-12Paper
Advanced consistency restoration with higher-order short-cut rules2024-01-12Paper
A Generic Construction for Crossovers of Graph-Like Structures2022-12-07Paper
A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications2022-11-16Paper
Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations2022-09-01Paper
A generalized concurrent rule construction for double-pushout rewriting2022-03-21Paper
Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs2020-08-17Paper
Constructing optimized constraint-preserving application conditions for model transformation rules2020-07-14Paper
Constructing constraint-preserving interaction schemes in adhesive categories2020-06-08Paper
Adhesive subcategories of functor categories with instantiation to partial triple graphs2020-02-06Paper
Constructing optimized validity-preserving application conditions for graph transformation rules2020-02-06Paper
Exploring conflict reasons for graph transformation systems2020-02-06Paper
Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach2019-03-27Paper

Research outcomes over time

This page was built for person: Jens Kosiol