Aljoscha Windhorst

dblp:142/8106 · DBLP profile ↗
← Back
3ranked-venue papers
0as first author
3since 2021 · last 2025
0009-0007-2082-9552ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 3 since 2021Databases, data management, data science and information retrieval · 2 · 2 since 2021
YearPublicationVenuePosition
2025 Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories
abstract
In this paper, we investigate the relationship between two elementary operations on derivations in the framework of graph transformation based on adhesive categories: moving a derivation along a derivation based on parallel and sequential independence on one hand and restriction of a derivation with respect to a monomorphism into the start object on the other hand. Intuitively, a restriction clips off parts of the start object that are never matched by a rule application throughout the derivation on the other hand. As main result, it is shown that moving a derivation preserves its spine being the minimal restriction.
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
Log. Methods Comput. Sci.3
2024 Extension and Restriction of Derivations in Adhesive Categories
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
ICGT3
2023 Moving a Derivation Along a Derivation Preserves the Spine
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst
ICGT4