From

Institution

Field

Type

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

Reset

Papers matching “program simplification” 6

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 (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
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

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

1

citations
Implementing the ASEAN Agreement on Disaster Management and Emergency Response for Better Coordination and Simplification Procedures
2023 Jambe Law Journal article Social Sciences Disaster Management and Resilience Open access

Heribertus Jaka Triyana, Novita Putri Harjono, Rónán McDermott

1

citations
Inferring Lower Runtime Bounds for Integer Programs
2020 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl

12

citations
The effect of nonlinear pedagogy on the acquisition of game skills in a territorial game
2023 Frontiers in Psychology article Health Professions Physical Education and Pedagogy Open access

Jia Yi Chow, Laurentius A. Meerhoff, Corliss Zhi Yi Choo, Chris Button, Benjamin Su-Jim Tan

15

citations
An Analysis of Tutors’ Adoption of Explicit Instructional Strategies in an Introductory Programming Course
2022 Koli Calling International Conference on Computing Education Research conference-paper Computer Science Teaching and Learning Programming Open access

Olivier Goletti, Kim Mens, Felienne Hermans

3

citations

6 results