Aljoscha Windhorst

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 4

Top Topics

Application Domains

Problems Involving

Hierarchical Structure

Top Venues

Publications

Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
Extension and Restriction of Derivations in Adhesive Categories. ICGT (2024)
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive High-level Replacement Systems. CoRR (2023)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst
Moving a Derivation Along a Derivation Preserves the Spine. ICGT (2023)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst
A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. CoRR (2022)
Aljoscha Windhorst, Hoang Minh Le, Daniel Große, Rolf Drechsler
Funktionale Abdeckungsanalyse von C-Programmen. MBMV (2014)