| 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 | 218 | 2019 |
| Conventional and uniqueness typing in graph rewrite systems E Barendsen, S Smetsers International Conference on Foundations of Software Technology and …, 1993 | 151 | 1993 |
| Uniqueness typing for functional languages with graph rewriting semantics E Barendsen, S Smetsers Mathematical structures in computer science 6 (6), 579-612, 1996 | 137 | 1996 |
| Autarkic computations in formal proofs H Barendregt, E Barendsen Journal of Automated Reasoning 28 (3), 321-336, 2002 | 110 | 2002 |
| Introduction to lambda calculus HP Barendregt, E Barendsen Aspenćs Workshop on Implementation of Functional Languages, Göteborg …, 1988 | 76 | 1988 |
| Guaranteeing safe destructive updates through a type system with uniqueness information for graphs S Smetsers, E Barendsen, M Eekelen, R Plasmeijer Graph Transformations in Computer Science, 358-379, 1994 | 72 | 1994 |
| Relating teacher PCK and teacher practice using classroom observation E Barendsen, I Henze Research in Science Education 49 (5), 1141-1175, 2019 | 63 | 2019 |
| Term rewriting systems E Barendsen Cambridge University Press, 2003 | 61 | 2003 |
| 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 | 53 | 2015 |
| Introduction to lambda calculus HP Barendregt | 51 | 1984 |
| 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 | 43 | 2016 |
| 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 | 41 | 2014 |
| Graph rewriting aspects of functional programming E Barendsen, S Smetsers Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2 …, 1999 | 38 | 1999 |
| Cognitive mechanisms of conceptual modelling I Wilmont, S Hengeveld, E Barendsen, S Hoppenbrouwers International Conference on Conceptual Modeling, 74-87, 2013 | 35 | 2013 |
| A system dynamics tool for higher education funding and quality policy analysis B Oyo, D Williams, E Barendsen Proceedings of the 24th International Conference of the System Dynamics Society, 2008 | 33 | 2008 |
| Uniqueness type inference E Barendsen, S Smetsers International Symposium on Programming Language Implementation and Logic …, 1995 | 30 | 1995 |
| A new informatics curriculum for secondary education in the Netherlands E Barendsen, N Grgurina, J Tolboom International conference on informatics in schools: Situation, evolution …, 2016 | 26 | 2016 |
| Abstract reasoning in collaborative modeling I Wilmont, E Barendsen, S Hoppenbrouwers, S Hengeveld 2012 45th Hawaii International Conference on System Sciences, 170-179, 2012 | 25 | 2012 |
| Computational thinking skills in dutch secondary education: Exploring pedagogical content knowledge N Grgurina, E Barendsen, B Zwaneveld, K van Veen, I Stoker Proceedings of the 14th Koli calling international conference on computing …, 2014 | 22 | 2014 |
| Some logical and syntactical observations concerning the first-order dependent type system λP H Geuvers, E Barendsen Mathematical structures in computer science 9 (4), 335-359, 1999 | 20 | 1999 |
