| Tophat: a formal foundation for task-oriented programming T Steenvoorden, N Naus, M Klinik Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 10 | 2019 |
| Building a generic feedback system for rule-based problems N Naus, J Jeuring Trends in Functional Programming: 17th International Conference, TFP 2016 …, 2019 | 10 | 2019 |
| A formal semantics for P-Code N Naus, F Verbeek, D Walker, B Ravindran Working Conference on Verified Software: Theories, Tools, and Experiments …, 2022 | 5 | 2022 |
| Generating next step hints for task oriented programs using symbolic execution N Naus, T Steenvoorden International Symposium on Trends in Functional Programming, 2020 | 4 | 2020 |
| Dynamic flow analysis for JavaScript N Naus, P Thiemann Trends in Functional Programming: 17th International Conference, TFP 2016 …, 2019 | 4 | 2019 |
| Use expert knowledge instead of data: generating hints for hour of code exercises M Buwalda, J Jeuring, N Naus Proceedings of the Fifth Annual ACM Conference on Learning at Scale, 1-4, 2018 | 4 | 2018 |
| Assisting End Users in Workflow Systems N Naus Utrecht University, 2020 | 3 | 2020 |
| A Symbolic Execution Semantics For TopHat N Naus, T Steenvoorden, M Klinik Implementation and Application of Functional Languages, 2019 | 3 | 2019 |
| Low-level Reachability Analysis based on Formal Logic N Naus, F Verbeek, M Schoolderman, B Ravindran 17th International Conference on Tests and Proofs (TAP 2023), 2023 | 1 | 2023 |
| Creating Interactive Visualizations of TopHat Programs M Gerarts, M de Hoog, N Naus, T Steenvoorden arXiv preprint arXiv:2208.13870, 2022 | 1 | 2022 |
| Reachability logic for low-level programs N Naus, F Verbeek, M Schoolderman, B Ravindran arXiv preprint arXiv:2204.00076, 2022 | 1 | 2022 |
| Dynamic type inference for JavaScript N Naus | 1 | 2015 |
| End-user feedback in multi-user workflow systems N Naus, J Jeuring Proceedings of the 32nd Symposium on Implementation and Application of …, 2020 | | 2020 |
| Source code for the TopHat implementation TJ Steenvoorden, N Naus DANS EASY, 2020 | | 2020 |
| Source code for the symbolic TopHat execution engine N Naus, TJ Steenvoorden DANS EASY, 2020 | | 2020 |
Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityVerified email at uu.nl
