The refined consensus model of pedagogical content knowledge in science education J Carlson, KR Daehler, AC Alonzo, E Barendsen, A Berry, A Borowski, ... Repositioning pedagogical content knowledge in teachers’ knowledge for …, 2019 | 600 | 2019 |
Term rewriting systems M Bezem, JW Klop, R de Vrijer Cambridge University Press, 2003 | 290 | 2003 |
Relating teacher PCK and teacher practice using classroom observation E Barendsen, I Henze Research in Science Education 49 (5), 1141-1175, 2019 | 170 | 2019 |
Uniqueness typing for functional languages with graph rewriting semantics E Barendsen, S Smetsers Mathematical structures in computer science 6 (6), 579-612, 1996 | 160 | 1996 |
Conventional and uniqueness typing in graph rewrite systems E Barendsen, S Smetsers International Conference on Foundations of Software Technology and …, 1993 | 154 | 1993 |
Characterising computational thinking in mathematics education: A literature-informed Delphi study M Kallia, SP van Borkulo, P Drijvers, E Barendsen, J Tolboom Research in mathematics education 23 (2), 159-187, 2021 | 151 | 2021 |
Autarkic computations in formal proofs H Barendregt, E Barendsen Journal of Automated Reasoning 28, 321-336, 2002 | 120 | 2002 |
Introduction to lambda calculus HP Barendregt, E Barendsen Aspenæs Workshop on Implementation of Functional Languages, Göteborg …, 1988 | 88 | 1988 |
Designing a rubric for feedback on code quality in programming courses M Stegeman, E Barendsen, S Smetsers Proceedings of the 16th Koli Calling International Conference on Computing …, 2016 | 84 | 2016 |
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs S Smetsers, E Barendsen, M van Eekelen, R Plasmeijer Graph Transformations in Computer Science: International Workshop Dagstuhl …, 1994 | 82 | 1994 |
Concepts in K-9 computer science education E Barendsen, L Mannila, B Demo, N Grgurina, C Izu, C Mirolo, ... Proceedings of the 2015 ITiCSE on working group reports, 85-116, 2015 | 70 | 2015 |
Towards an empirically validated model for assessment of code quality M Stegeman, E Barendsen, S Smetsers Proceedings of the 14th Koli Calling international conference on computing …, 2014 | 70 | 2014 |
Introduction to lambda calculus HP Barendregt | 58 | 1984 |
Cognitive mechanisms of conceptual modelling: How do people do it? I Wilmont, S Hengeveld, E Barendsen, S Hoppenbrouwers Conceptual Modeling: 32th International Conference, ER 2013, Hong-Kong …, 2013 | 46 | 2013 |
Computer science education: Perspectives on teaching and learning in school S Sentance, E Barendsen, NR Howard, C Schulte Bloomsbury Publishing, 2023 | 45 | 2023 |
A new informatics curriculum for secondary education in the Netherlands E Barendsen, N Grgurina, J Tolboom Informatics in Schools: Improvement of Informatics Knowledge and Perception …, 2016 | 45 | 2016 |
Computational thinking in the mathematics classroom: fostering algorithmic thinking and generalization skills using dynamic mathematics software S van Borkulo, C Chytas, P Drijvers, E Barendsen, J Tolboom Proceedings of the 16th Workshop in Primary and Secondary Computing …, 2021 | 44 | 2021 |
Bringing design practices to chemistry classrooms: studying teachers’ pedagogical ideas in the context of a professional learning community H Stammes, I Henze, E Barendsen, M de Vries International Journal of Science Education 42 (4), 526-546, 2020 | 42 | 2020 |
Unravelling student science teachers’ pPCK development and the influence of personal factors using authentic data sources I Henze, E Barendsen Repositioning pedagogical content knowledge in teachers’ knowledge for …, 2019 | 40 | 2019 |
Graph rewriting aspects of functional programming E Barendsen, S Smetsers Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2 …, 1999 | 40 | 1999 |