From

Institution

Field

Type

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

Reset

Papers matching “program transformation” 30

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
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
Conversion of the green mission for transformation-oriented industrial innovation: Green Growth and 2050 Carbon Neutrality in South Korea
2023 preprint Environmental Science Sustainable Development and Policies Open access

Soohong Eum

0

citations
Implementation of the Dutch Solid Start program: a mixed-methods study
2023 Research Square preprint Health Professions Health Policy Implementation Science Open access

Joyce M. Molenaar, Inge C. Boesveld, Jeroen Nathan Struijs, Jessica C. Kiefte–de Jong

0

citations
Beyond Impact Factors? Lessons from the Dutch Attempt to Transform Academic Research Assessment
2025 preprint Decision Sciences scientometrics and bibliometrics research Open access

Alexander Rushforth

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 (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Joost-Pieter Katoen

0

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

Janosch Fuchs

0

citations
Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
2023 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Till Hofmann

0

citations
Spatiotemporal heterogeneity of glioblastoma is dictated by microenvironmental interference
2021 bioRxiv (Cold Spring Harbor Laboratory) preprint Medicine Glioma Diagnosis and Treatment Open access

Vidhya Madapusi Ravi, Paulina Will, Jan Kueckelhaus, Na Sun, Kevin Joseph, Henrike Salié, +20 more

12

citations
Bayesian Inference in Quantum Programs
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

0

citations
Multiobjective Preexpectation Reasoning for Probabilistic Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lena Verscht, Hannah Mertens, Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen

0

citations
The impact of AI on engineering design procedures for dynamical systems
2024 arXiv (Cornell University) preprint Engineering Design Education and Practice Open access

Kristin M. de Payrebrune, Kathrin Flaßkamp, Tom Ströhla, Thomas Sattel, Dieter Bestle, Benedict Röder, +16 more

1

citations
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates
2023 Research Square preprint Computer Science Logic, Reasoning, and Knowledge Open access

Radhakrishnan Delhibabu

0

citations
Positional Encoding in the Context of Memristor-Based Analog Computation for Automatic Speech Recognition
2026 arXiv (Cornell University) preprint Engineering Advanced Memory and Neural Computing Open access

Benedikt Hilmes, Nick Rossenbach, Ralf Schlüter

0

citations
Designing Tractable Piecewise Affine Policies for Multi-Stage Adjustable Robust Optimization
2022 arXiv (Cornell University) preprint Decision Sciences Risk and Portfolio Optimization Open access

Simon Thomä, Grit Walther, Maximilian Schiffer

4

citations
Grand Challenges for Predictive Modeling in Small Molecule Drug Discovery
2026 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Connor W. Coley, Pankaj Daga, Marco De Vivo, Willem Jespers, Ashutosh S. Jogalekar, S Roy Kimura, +7 more

1

citations
The Impact of the Mining Facility on the Environment on the Example of the Křoví Quarry (Czech Republic)
2024 Preprints.org preprint Social Sciences Geology and Environmental Impact Studies Open access

Anna Dahlmanns, Anna Kostecka, Natalia Rerak, Wiktoria Sobczyk, Nika Vundać, Leona Zakova

1

citations
Early Exploration of the Scientific Discovery Space for the Habitable Worlds Observatory
2026 arXiv (Cornell University) preprint Physics and Astronomy Stellar, planetary, and galactic studies Open access

Courtney D. Dressing, D. Adams, E. Alécian, Gagandeep Anand, Giada Arney, Sarah G. A. Barbosa, +94 more

0

citations
Crosstalk between lymphoid and myeloid cells orchestrates glioblastoma immunity through Interleukin 10 signaling
2021 Research Square preprint Medicine Glioma Diagnosis and Treatment Open access

Vidhya Madapusi Ravi, Nicolas Noel Neidert, Paulina Will, Kevin Joseph, Julian P. Maier, Jan Kückelhaus, +20 more

0

citations
Quantum channel coding: Approximation algorithms and strong converse exponents
2024 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Aadil Oufkir, Mario Berta

0

citations
CareConnect: An Implementation Pilot Study of a Participatory Telecare Model in Long-Term Care Facilities
2025 Preprints.org preprint Medicine Telemedicine and Telehealth Implementation Open access

Miriam Hertwig, Franziska Göttgens, Susanne Rademacher, Manfred Vieweg, Torsten Nyhsen, Sandra Maria Dohmen, +5 more

0

citations