From

Institution

Field

Type

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

Reset

Papers matching “program analysis” 1,159

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Fabian Meyer, Jürgen Giesl

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations
SPSS Syntax for Combining Results of Principal Component Analysis of Multiply Imputed Data Sets using Generalized Procrustes Analysis
2021 Applied Psychological Measurement article Mathematics Statistical Methods and Applications Open access

Bart van Wingerde, Joost R. van Ginkel

13

citations
Unravelling the skills of data scientists: A text mining analysis of Dutch university master programs in data science and artificial intelligence
2024 PLoS ONE article Computer Science Information Systems Education and Curriculum Development Open access

Mathijs J. Mol, Barbara Belfi, Zsuzsa Bakk

1

citations
What does this Python code do? An exploratory analysis of novice students’ code explanations
2021 conference-paper Computer Science Teaching and Learning Programming Open access

Vivian van der Werf, Efthimia Aivaloglou, Felienne Hermans, Marcus M. Specht

7

citations
Reconstructing North Korea’s plutonium production history with Bayesian inference-based reprocessing waste analysis
2025 Nuclear Engineering and Technology article Engineering Nuclear reactor physics and engineering Open access

Benjamin Jung, Johannes Bosse, Malte Göttsche

0

citations
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

citations
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

citations
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

citations
PyTEA-O: a Python implementation of Two-Entropies Analysis for protein sequence variation analysis
2026 Bioinformatics article Biochemistry, Genetics and Molecular Biology Genomics and Phylogenetic Studies Open access

Rosan C.M. Kuin, Alexander Thomas Julian, J Chander, S Lee, Gerard J. P. van Westen

1

citations
Quantitative bias analysis in practice: review of software for regression with unmeasured confounding
2023 BMC Medical Research Methodology article Mathematics Advanced Causal Inference Techniques Open access

Emily Kawabata, Kate M. Tilling, Rolf H. H. Groenwold, Rachael A. Hughes

20

citations
Assistance for PLC Programming during Development based on Static Analysis
2020 RWTH Publications (RWTH Aachen) book Computer Science Logic, programming, and type systems Open access

Mathias Obster

0

citations
Unraveling the Skillsets of Data Scientists: Text Mining Analysis of Dutch University Master Programs in Data Science and Artificial Intelligence
2023 arXiv (Cornell University) preprint Computer Science Information Systems Education and Curriculum Development Open access

Mathijs J. Mol, Barbara Belfi, Zsuzsa Bakk

1

citations
Kidney Transplantation After Rescue Allocation—the Eurotransplant Experience: A Retrospective Multicenter Outcome Analysis
2021 Transplantation article Medicine Renal Transplantation Outcomes and Treatments Open access

Volker Aßfalg, Gregor Miller, Felix Stocker, Marieke van Meel, Tiny Groenevelt, Ineke Tieken, +43 more

14

citations
Whole genome analysis of plasma fibrinogen reveals population-differentiated genetic regulators with putative liver roles
2023 medRxiv preprint Medicine Blood properties and coagulation Open access

Jennifer E. Huffman, Jayna Nicolas, Julie M. Hahn, Adam S. Heath, Laura M. Raffield, Lisa R. Yanek, +92 more

1

citations
AProVE: Modular Termination Analysis of Memory-Manipulating C Programs
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Frank Emrich, Jera Hensel, Jürgen Giesl

1

citations
Outcome after renal transplantation utilizing octogenarian donors– retrospective single-center analysis within the Eurotransplant region
2026 Langenbeck s Archives of Surgery article Medicine Renal Transplantation Outcomes and Treatments Open access

Dennis Kleine-Döpke, Oliver Beetz, Christian Hinze, Ulrich Zwirner, Cornelius J. van Beekum, Philipp Felgendreff, +4 more

0

citations
FEM shakedown analysis of structures under random strength with chance constrained programming
2022 Vietnam Journal of Mechanics article Decision Sciences Probabilistic and Robust Engineering Design Open access

Ngọc Trình Trần, Tu Luc Trinh, Dao Ngọc Tien, Tan Giap Van, Khuyen Truong Manh, Thuy Ha Dinh, +1 more

0

citations
Randomized controlled trial of an internet-based self-guided hand exercise program to improve hand function in people with systemic sclerosis: the Scleroderma Patient-centered Intervention Network Hand Exercise Program (SPIN-HAND) trial
2022 Trials article Medicine Systemic Sclerosis and Related Diseases Open access

Linda Kwakkenbos, Marie‐Eve Carrier, Joep Welling, Brooke Levis, A.H. Levis, Maureen Sauvé, +89 more

15

citations
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Fabian Meyer, Jürgen Giesl

7

citations
Model-independent Approach of the JUNO 8 B Solar Neutrino Program
2024 The Astrophysical Journal article Physics and Astronomy Neutrino Physics Research Open access

Jie Zhao, Bin Yue, Haoqi Lu, Yufeng Li, Jiajie Ling, Zeyuan Yu, +92 more

15

citations
Model Independent Approach of the JUNO $^8$B Solar Neutrino Program
2022 GSI Repository (German Federal Government) preprint Physics and Astronomy Neutrino Physics Research Open access

J. Y. Zhao, Haoqi Lu, Yufeng Li, Jiajie Ling, Angel Abusleme, S. Ahmad, +64 more

8

citations
OP0126 INFECTIONS AND SERIOUS INFECTIONS IN THE FILGOTINIB RHEUMATOID ARTHRITIS PROGRAM
2021 Annals of the Rheumatic Diseases conference-abstract Medicine Rheumatoid Arthritis Research and Therapies Open access

James Benjamin Galloway, Maya H Buch, Kunihiro Yamaoka, Cianna L. Leatherwood, Alena Pechonkina, Iyabode Tiamiyu, +5 more

3

citations
Prediabetes Remission and Cardiovascular Morbidity and Mortality: A Post-Hoc Analysis from Dppos and Daqingdpos
2025 SSRN Electronic Journal preprint Medicine Diabetes, Cardiovascular Risks, and Lipoproteins Open access

Elsa Vazquez Arreola, Qiuhong Gong, Robert L. Hanson, Jingping Wang, Leontine Sandforth, Siyao He, +12 more

1

citations