Aljoscha Windhorst

According to our database, Aljoscha Windhorst authored at least 4 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Moving a Derivation Along a Derivation Preserves the Spine in Adhesive High-level Replacement Systems.

Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst

CoRR, 2023

Moving a Derivation Along a Derivation Preserves the Spine.

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst

Proceedings of the Graph Transformation - 16th International Conference, 2023

2022

A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems.

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst

Proceedings of the Thirteenth International Workshop on Graph Computation Models, 2022

2014

Funktionale Abdeckungsanalyse von C-Programmen.

Aljoscha Windhorst, Hoang Minh Le, Daniel Große, Rolf Drechsler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014