From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “program transformation” 13

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Enabling the digital transformation in materials science and engineering: leveraging ontologies for knowledge representation, provenance, and text mining
2025 JuSER (Forschungszentrum Jülich) dissertation Computer Science Semantic Web and Ontologies Open access

0

citations
Sound and complete proof rules for almost-sure termination: from probabilistic control-flow graphs to program-level reasoning
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Jonas Seidel

0

citations
BIM information management for thermal energetic simulation of building service systems
2020 RWTH Publications (RWTH Aachen) dissertation Engineering BIM and Construction Integration Open access

Reinhard Wimmer

0

citations
EduCrypt: an educational tool for learning game-based cryptographic proofs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Teaching and Learning Programming Open access

Jonas Broeckmann

0

citations
Predicatet transformers for nondeterministic quantum programs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Xi Wang

0

citations
Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt

0

citations
Methoden für die automatische Komplexitäts- und Terminierungsanalyse von (probabilistischen) Programmen und ihre Vollständigkeit
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Marcel Hark

1

citations
Building immersive worlds: authoring content and interactivity in virtual reality
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Interactive and Immersive Displays Open access

Sevinc Eroglu

0

citations
Genuine videobased E-learning in Teacher education: media didactic modalities of working with Learning Management Systems
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Educational Technology and E-Learning Open access

Jan Mühlhausen

0

citations
Design and optimization of renewable energy carrier supply chains: global logistics, energy storage, and policy frameworks
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Integrated Energy Systems Optimization Open access

Mohammad Zardoshti Zadeh Yazdi

0

citations
High-performance computing methods in large-scale power system simulation; 1. Auflage
2020 RWTH Publications (RWTH Aachen) dissertation Engineering Real-time simulation and control systems Open access

Lukas Razik

3

citations
Public diplomacy as a contributing factor to solving managing identity-based conflict: Taiwan repositions its identity and security status (2000-2020)
2025 Leiden Repository (Leiden University) dissertation Social Sciences International Relations and Foreign Policy Open access

0

citations
Dissecting inflammatory microenvironments during aging and their effect on the development of chronic blood cancer
2026 RWTH Publications (RWTH Aachen) dissertation Medicine Myeloproliferative Neoplasms: Diagnosis and Treatment Open access

Salim Atakhanov

0

citations

13 results