From

Institution

Field

Type

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

Reset

Papers matching “program evaluation” 161

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
An alternative intervention for juvenile hackers? A qualitative evaluation of the Hack_Right intervention
2023 Journal of Crime and Justice article Computer Science Cybercrime and Law Enforcement Studies Open access

Jim A.M. Schiks, M. Susanne van ‘t Hoff-de Goede, Rutger Leukfeldt

11

citations
Open Science NL in Its Formative Years: Evaluation Report 2023–2025
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Research Data Management Practices Open access

Paul F. Wouters, Noémie Aubert Bonn, Henriikka Mustajoki, Robert van der Vooren

0

citations
Maturity Evaluation of Domain-Specific Language Ecosystems for Cyber-Physical Production Systems
2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Model-Driven Software Engineering Techniques

Sandra Greiner, Bianca Wiesmayr, Kevin Feichtinger, Kristof Meixner, Marco Konersmann, Jérôme Pfeiffer, +6 more

3

citations
Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs
2022 conference-paper Computer Science Software Testing and Debugging Techniques

Lechen Yu, Feiyang Jin, Joachim Protze, Vivek Sarkar

3

citations
Developing a low-cost, open-source, locally manufactured workstation and computational pipeline for automated histopathology evaluation using deep learning
2024 EBioMedicine article Computer Science AI in cancer detection Open access

Divya Choudhury, James M. Dolezal, Emma Dyer, Sara E. Kochanny, Siddhi Ramesh, Frederick Matthew Howard, +6 more

17

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Design, implementation and evaluation of the Hedy programming language
2022 Journal of Computer Languages article Computer Science Teaching and Learning Programming Open access

Marleen Gilsing, Jesús Pelay, Felienne Hermans

10

citations
Improving Evaluation of Recombination-based Cartesian Genetic Programming
2026 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Evolutionary Algorithms and Applications Open access

Duy Long Tran, Anja Jankovič, Marie Anastacio, Holger H. Hoos, Roman Kalkreuth

0

citations
Bayesian Generative Modelling of Student Results in Course Networks
2023 Journal of Learning Analytics article Computer Science Online Learning and Analytics Open access

M. Haas, Colin C. Caprani, Benji Van Beurden

2

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
TinyverseGP: Towards a Modular Cross-domain Benchmarking Framework for Genetic Programming
2025 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Evolutionary Algorithms and Applications Open access

Roman Kalkreuth, Fabrício Olivetti de França, Anja Jankovič, Marie Anastacio, Zdeněk Vašíček, Holger H. Hoos

3

citations
PERMAVOST '22
2022 ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC) conference-paper Computer Science Parallel Computing and Optimization Techniques

Radita Liem, Ana Veroneze Solorzano, Connor Francis Scully-Allison

0

citations
Towards representing OpenMP in SPMD IR: Concepts and realization in MLIR
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Parallel Computing and Optimization Techniques Open access

Frederic J. Malmendier

0

citations
Eleven Strategies for Making Reproducible Research and Open Science Training the Norm at Research Institutions
2023 preprint Computer Science Research Data Management Practices Open access

Friederike Elisabeth Kohrs, Susann Auer, Alexandra Bannach‐Brown, Susann Fiedler, Tamarinde Laura Haven, Verena Heise, +45 more

7

citations
Solving the Kidney Exchange Problem Using Privacy-Preserving Integer Programming
2022 conference-paper Computer Science Cryptography and Data Security Open access

Malte Breuer, Pascal Hein, Leonardo Pompe, Ben Temme, Ulrike Meyer, Susanne Wetzel

6

citations
WebWriter: remixing interactive learning resources with widgets and explorable authoring
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Open Education and E-Learning Open access

Frederic Salmen

0

citations
ReleaseEval: A Benchmark for Evaluating Language Models in Automated Release Note Generation
2025 arXiv (Cornell University) preprint Computer Science Software Engineering Research Open access

Qianru Meng, Zhaochun Ren, Joost Visser

0

citations
A calculus for modular loop acceleration and non-termination proofs
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

8

citations
A Calculus for Modular Loop Acceleration and Non-Termination Proofs
2021 BIROn (Birkbeck, University of London) article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

0

citations
Prioritization and exchange chains in privacy-preserving kidney exchange
2024 Journal of Computer Security article Computer Science Cryptography and Data Security

Malte Breuer, Pascal Hein, Urike Meyer, Susanne Wetzel

3

citations
On the applicability of hybrid systems safety verification tools from the automotive perspective
2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access

Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu

3

citations
Monitoring Open Science: a Landscape Overview
2026 Zenodo (CERN European Organization for Nuclear Research) report Computer Science Research Data Management Practices Open access

Louise M. Bezuidenhout

0

citations