From

Institution

Field

Type

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

Reset

Papers matching “program transformation” 58

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
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
Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems 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 Logic, programming, and type systems 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 Logic, programming, and type systems 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 Logic, programming, and type systems 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
Experiments with Automated Reasoning in the Class
2022 Lecture notes in computer science conference-paper Computer Science Teaching and Learning Programming Open access

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

1

citations
The Impact of Agile Transformations on Organizational Performance: A Survey of Teams, Programs and Portfolios
2021 Lecture notes in business information processing conference-paper Computer Science Software Engineering Techniques and Practices Open access

Christoph Johann Stettina, Victor van, Job Croonenberg, Joost Visser

15

citations
AProVE (KoAT + LoAT)
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

5

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
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

16

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
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
AProVE: Non-Termination Witnesses for C Programs
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jera Hensel, Constantin Mensendiek, Jürgen Giesl

10

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
Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version)
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

0

citations
Cartesian Genetic Programming - From foundations to recent developments and applications
2025 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Evolutionary Algorithms and Applications Open access

Roman Kalkreuth, Sylvain Cussat‐Blanc, Dennis G. Wilson

0

citations
Partial Incorrectness Logic
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lena Verscht, Ānrán Wáng, Benjamin Lucien Kaminski

0

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
The 2-Attractor Problem is NP-Complete
2023 arXiv (Cornell University) preprint Computer Science Algorithms and Data Compression Open access

Janosch Fuchs

0

citations