From

Institution

Field

Type

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

Reset

Papers matching “program transformation” 19

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Use of Blockchain Technology to Accelerate Digital Health Transformation Programs
2025 Blockchain in Healthcare Today article Computer Science Blockchain Technology Applications and Security Open access

Regien Sumo, Simcha Jong

5

citations
Targeting Completeness: Automated Complexity Analysis of Integer Programs
2026 Journal of Automated Reasoning article Computer Science Logic, programming, and type systems Open access

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

4

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
Inner approximations of coherent lower probabilities and their application to decision making problems
2023 Annals of Operations Research article Computer Science Bayesian Modeling and Causal Inference Open access

Enrique Miranda, Ignacio Montes, Andrés Presa

6

citations
CF-GKAT: Efficient Validation of Control-Flow Transformations
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus

3

citations
A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Lena Verscht, Benjamin Lucien Kaminski

3

citations
An Elementary Proof of the FMP for Kleene Algebra
2026 Fundamenta Informaticae article Computer Science semigroups and automata theory Open access

Tobias Kappé

1

citations
Capacity of the covariance perceptron
2020 Journal of Physics A Mathematical and Theoretical article Computer Science Neural Networks and Applications Open access

7

citations
Capacity of the covariance perceptron
2020 RWTH Publications (RWTH Aachen) article Computer Science Neural Networks and Applications Open access

David Dahmen, Matthieu Gilson, Moritz Helias

6

citations
The FAIR data point populator: collaborative FAIRification and population of FAIR data points
2025 BMC Medical Informatics and Decision Making article Computer Science Research Data Management Practices Open access

Daphne Wijnbergen, Rajaram Kaliyaperumal, Luiz Olavo Bonino da Silva Santos, Barend Mons, Marco Roos, Eleni Mina

3

citations
The Role of Open-Source Software in the Energy Sector
2023 Energies article Computer Science Open Source Software Innovations Open access

Jonathan Klimt, Niklas Eiling, Felix Wege, Jonas Baude, Antonello Monti

9

citations
What practicing pathologists and oncologists should know about the new computational pathology‐based companion diagnostic tools
2026 The Journal of Pathology article Computer Science AI in cancer detection Open access

Diana Montezuma, Sara P. Oliveira, Inti Zlobec, Nadieh Khalili, Jordi Temprana‐Salvador, Sabine Maria Leh, +6 more

2

citations
Quantum channel coding: Approximation algorithms and strong converse exponents
2025 Quantum article Computer Science Quantum Information and Cryptography Open access

Aadil Oufkir, Mario Berta

2

citations
Evaluating the Performance of OpenMP Offloading on the NEC SX-Aurora TSUBASA Vector Engine
2021 Supercomputing Frontiers and Innovations article Computer Science Parallel Computing and Optimization Techniques Open access

Tim Cramer

2

citations
Applying the FAIR Principles to Open Educational Resources: A Semantic Similarity Approach to Improve Resource Discovery
2025 IEEE Access article Computer Science Open Education and E-Learning Open access

Farzaneh Sadeghi, Auriol Degbelo, Carsten Keßler, Reza Zolnouri

0

citations
„AGMB 2020: Innovativ in die nächsten 50 Jahre“. Online-Jahrestagung der Arbeitsgemeinschaft für Medizinisches Bibliothekswesen (AGMB) e.V. vom 21. bis 22. September 2020
2020 German Medical Science (German Research Foundation) article Computer Science Library Science and Information Open access

Dagmar Härter, Elisabeth Müller, Iris Reimann, Martina Semmler‐Schmetz

0

citations
Resilient Technologies. Why Decades-Old Tools Define the ROOT of Modern Research Data Management
2025 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Research Data Management Practices Open access

0

citations
Resilient Technologies. Why Decades-Old Tools Define the ROOT of Modern Research Data Management
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Research Data Management Practices Open access

Lukas C. Bossert

0

citations
Technical Considerations for a Transactional Model to Realize the Digital Extended Specimen
2021 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access

Nelson Rios, Sharif Islam, James Macklin, Andrew C. Bentley

0

citations

19 results