From

Institution

Field

Type

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

Reset

Papers matching “program transformation” 139

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

kMap.py: A Python program for simulation and data analysis in photoemission tomography
2021 Computer Physics Communications article Materials Science Electron and X-Ray Spectroscopy Techniques Open access

Dominik Brandstetter, Xiaosheng Yang, Daniel Lüftner, Frank Stefan Tautz, Peter Puschnig

1

citations
kMap.py: A Python program for simulation and data analysis in photoemission tomography
2020 arXiv (Cornell University) preprint Materials Science Electron and X-Ray Spectroscopy Techniques Open access

Dominik Brandstetter, Xiaosheng Yang, Daniel Lüftner, Frank Stefan Tautz, Peter Puschnig

23

citations
Supplementary material: Model coupling through reproducible adapter workflows based on shared transformation functions
2025 JuSER (Forschungszentrum Jülich) supplementary-materials Open access

0

citations
Enabling the digital transformation in materials science and engineering: leveraging ontologies for knowledge representation, provenance, and text mining
2025 JuSER (Forschungszentrum Jülich) dissertation Materials Science Machine Learning in Materials Science 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 Formal Methods in Verification Open access

Jonas Seidel

0

citations
Automated analysis of non-stationary online electrochemical impedance spectroscopy data for PEM fuel cells using continuous wavelet transform
2026 Results in Engineering article Engineering Fuel Cells and Related Materials Open access

Oliver Schopen, Daniel Bendotti, Thomas Esch, Bahman Shabani

2

citations
Ten years after: findings from the medical surveillance program on Health Effects in High-Level Exposure to PCB (HELPcB)
2023 Archives of Toxicology article Biochemistry, Genetics and Molecular Biology Carcinogens and Genotoxicity Assessment Open access

Jens Rengelshausen, Isabella Eva Randerath, Thomas Schettgen, André Esser, Andrea Kaifie, Jessica Lang, +2 more

10

citations
Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

0

citations
Highly Incremental: A Simple Programmatic Approach for Many Objectives
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Philipp Schröer, Joost-Pieter Katoen

1

citations
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Philipp Schröer, Joost-Pieter Katoen

0

citations
Targeting Completeness: Automated Complexity Analysis of Integer Programs
2026 Journal of Automated Reasoning article Computer Science Software Engineering Research Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

4

citations
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

1

citations
Bridging the Gap: A Python-to-Structured Text Compiler with IEC 61131-3 Compliance
2024 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Industrial Automation and Control Systems

Yuanchen Zhao, Alicia Eve, Torben Miny, Tobias Kleinert

1

citations
Experiments with Automated Reasoning in the Class
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Isabela Drămnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat

1

citations
Creating and Staying with the Trouble – Potenziale von weiblichen* ‚Non-Traditional Students‘ für eine transformierte und transformative Wissenschaft
2026 GENDER – Zeitschrift für Geschlecht Kultur und Gesellschaft article Social Sciences Sustainability in Higher Education Open access

Jennifer Dahmen-Adkins, Andrea Wolffram

0

citations
Keine Angst vor Nähe: Herausforderungen von Mischung und Vielfalt
2022 Springer eBooks book-chapter Environmental Science Ecology, Conservation, and Geographical Studies

Christa Reicher, Anne Söfker-Rieniets

0

citations
Toward Low-Code Industrial Data Integration through Asset Administration Shell-Based Flow Generation in Node-RED
2025 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Digital Transformation in Industry

Tamás Farkas, Wei Liang Guo, Ornella Mboudia, Igor Garmaev, Torben Miny, Tobias Kleinert

0

citations
AProVE (KoAT + LoAT)
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Nils Lommen, Jürgen Giesl

5

citations
Robust Resource Allocation for Two-Tier HetNets: An Interference-Efficiency Perspective
2021 IEEE Transactions on Green Communications and Networking article Engineering Advanced MIMO Systems Optimization

Yongjun Xu, Guan Gui, Tomoaki Otsuki Ohtsuki, Haris Gacanin, Bamidele Adebisi, Hikmet Sari, +1 more

31

citations
The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES
2024 Technische Universität Berlin – Universitätsbibliothek article Computer Science Model-Driven Software Engineering Techniques Open access

Christian Fuß, Christof Mosler, Ulrike Ranger, Erhard Schultchen

13

citations
Design of high strength medium manganese zinc coated steel for the automotive industry
2025 RWTH Publications (RWTH Aachen) book-chapter Engineering Microstructure and Mechanical Properties of Steels Open access

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
Design of high strength medium manganese zinc coated steel for the automotive industry
2025 Zenodo (CERN European Organization for Nuclear Research) article Engineering Microstructure and Mechanical Properties of Steels Open access

0

citations
Design of high strength medium manganese zinc coated steel for the automotive industry
2025 Zenodo (CERN European Organization for Nuclear Research) article Engineering Microstructure and Mechanical Properties of Steels Open access

0

citations
Exploring Digital Leadership Traits: An Approach to Understanding Their Internalization
2024 IEEE International Conference on Engineering, Technology and Innovation (ICE/ITMC) conference-paper Business, Management and Accounting Corporate Management and Leadership

Haroon R. Abbu, Gerhard Gudergan, Sarah Sabin Khan, Paul Mugge

0

citations