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
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
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
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
In-Memory Indexed Caching for Distributed Data Processing
2021 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Alexandru Uta, Bogdan Ghiț, Ankur Dave, Jan S. Rellermeyer, Peter A. Boncz

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
Characterization of carbon dioxide on Ganymede and Europa supported by experiments: Effects of temperature, porosity, and mixing with water
2024 arXiv (Cornell University) preprint Physics and Astronomy Astro and Planetary Science Open access

L. Schiltz, Bruno Escribano, G. M. Muñoz Caro, Stéphanie M. Cazaux, C. del Burgo Olivares, H. Carrascosa, +5 more

0

citations
Distinct colorectal cancer genotypes shape microbial ecosystems and reveal stage-specific microbiota dependencies
2026 bioRxiv (Cold Spring Harbor Laboratory) preprint Biochemistry, Genetics and Molecular Biology Gut microbiota and health Open access

Valentina Brunner, Nicholas Bodenstein, Antonio Enrico Zaurito, M Silva, Frederic Saab, Fabian Springer, +18 more

0

citations