Aljoscha Windhorst

According to our database, Aljoscha Windhorst authored at least 7 papers between 2014 and 2025.

Collaborative distances:

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

2025

Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories.

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

Log. Methods Comput. Sci., 2025

Post-Quantum Cryptography for Maritime Systems.

Daniel Berger, Aaron Lye, Anton Maidl, Jannis Stoppe, Aljoscha Windhorst

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2025

2024

Extension and Restriction of Derivations in Adhesive Categories.

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

Proceedings of the Graph Transformation - 17th International Conference, 2024

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