From

Institution

Field

Type

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

Reset

Papers matching “program effectiveness” 92

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Teaching Quality in Programming Education:
2022 ACM Conference on International Computing Education Research (ICER) conference-paper Computer Science Teaching and Learning Programming Open access

Xiaohua Jia, Felienne Hermans

6

citations
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Till Hofmann, Gerhard Lakemeyer

1

citations
Introducing Eye Movement Modeling Examples for Programming Education and the Role of Teacher's Didactic Guidance
2020 ACM Symposium on Eye Tracking Research and Applications (ETRA) conference-paper Computer Science Teaching and Learning Programming Open access

Selina N. Emhardt, Halszka M. Jarodzka, Saskia Brand‐Gruwel, Christian Drumm, Tamara van Gog

3

citations
Flowboard: How Seamless, Live, Flow-Based Programming Impacts Learning to Code for Embedded Electronics
2022 ACM Transactions on Computer-Human Interaction article Computer Science Teaching and Learning Programming

Anke Brocker, René Schäfer, Christian Remy, Simon Voelker, Jan Borchers

15

citations
Students' Behavioral Intention to Use Gradual Programming Language Hedy
2022 conference-paper Computer Science Teaching and Learning Programming Open access

Sabiha Yeni, Anna van der Meulen

2

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Jens Claßen

1

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Jens Claßen

0

citations
Computational Thinking through Design Patterns in Video Games
2020 International Conference on the Foundations of Digital Games (FDG) conference-paper Computer Science Teaching and Learning Programming Open access

Giulio Barbero, Marcello A. Gómez-Maureira, Felienne Hermans

3

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

31

citations
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Šimon Stupinský

21

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

0

citations
A Study of Memory Anomalies in OpenMP Applications
2020 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

Lechen Yu, Joachim Protze, Óscar Hernández, Vivek Sarkar

4

citations
Quantifier Elimination and Craig Interpolation, Quantitatively
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Computerized adaptive assessment of understanding of programming concepts in primary school children
2021 Computer Science Education article Computer Science Teaching and Learning Programming Open access

Sally A. M. Hogenboom, Felienne Hermans, Han L. J. van der Maas

19

citations
Choose Your Reference Frame Right: An Immersive Authoring Technique for Creating Reactive Behavior
2024 ACM Symposium on Virtual Reality Software and Technology (VRST) conference-paper Computer Science Interactive and Immersive Displays Open access

Sevinc Eroglu, Kilian Sinke, David Anders, Torsten Kuhlen, Benjamin Weyers

2

citations
Quantifier Elimination and Craig Interpolation: The Quantitative Way
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Computational thinking integrated in school subjects – A cross-case analysis of students’ experiences
2024 International Journal of Child-Computer Interaction article Computer Science Teaching and Learning Programming Open access

Sabiha Yeni, Jacqueline Nijenhuis-Voogt, Mara Saeli, Erik Barendsen, Felienne Hermans

16

citations
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen

13

citations
Automatic Compiler-Based Data Structure Generation
2022 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Kristian F. D. Rietveld, Harry A. G. Wijshoff

1

citations
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen

0

citations
Bayesian Inference in Quantum Programs
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

0

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
Building immersive worlds: authoring content and interactivity in virtual reality
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Interactive and Immersive Displays Open access

Sevinc Eroglu

0

citations
The Linear Algebra Mapping Problem. Current State of Linear Algebra Languages and Libraries
2022 ACM Transactions on Mathematical Software article Computer Science Parallel Computing and Optimization Techniques Open access

Christos Psarras, Henrik Barthels, Paolo Bientinesi

15

citations
RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs
2023 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Simon Schwitanski, Joachim Jenke, Sven Klotz

12

citations