Analyzing Conceptual Content of International Informatics Curricula for Secondary Education. - Erik Barendsen; Tim Steenvoorden (ISSEP, 2016)

A symbolic execution semantics for TopHat. - Nico Naus; Tim Steenvoorden; Markus Klinik (IFL, 2019)

TopHat: A formal foundation for task-oriented programming. - Tim Steenvoorden; Nico Naus; Markus Klinik (PPDP, 2019)

Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution. - Nico Naus; Tim Steenvoorden (TFP, 2020)

Semantic Equivalence of Task-Oriented Programs in TopHat. - Tosca Klijnsma; Tim Steenvoorden (TFP, 2022)

Creating Interactive Visualizations of TopHat Programs. - Mark Gerarts; Marc de Hoog; Nico Naus; Tim Steenvoorden (CoRR, 2022)

Dynamic TopHat: Start and Stop Tasks at Runtime. - Tim Steenvoorden; Nico Naus (IFL, 2023)

BeePL: Correct-by-compilation kernel extensions. - Swarn Priya; Frédéric Besson; Connor Sughrue; Tim Steenvoorden; Jamie Fulford; Freek Verbeek; Binoy Ravindran (CoRR, 2025)