עקוב אחר
Erik Barendsen
Erik Barendsen
Radboud University & Open University of the Netherlands
כתובת אימייל מאומתת בדומיין cs.ru.nl - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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
6372019
Term rewriting systems
M Bezem, JW Klop, R de Vrijer
Cambridge University Press, 2003
2982003
Relating teacher PCK and teacher practice using classroom observation
E Barendsen, I Henze
Research in Science Education 49 (5), 1141-1175, 2019
1792019
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
1772021
Uniqueness typing for functional languages with graph rewriting semantics
E Barendsen, S Smetsers
Mathematical structures in computer science 6 (6), 579-612, 1996
1591996
Conventional and uniqueness typing in graph rewrite systems
E Barendsen, S Smetsers
International Conference on Foundations of Software Technology and …, 1993
1561993
Introduction to lambda calculus
HP Barendregt
1451984
Autarkic computations in formal proofs
H Barendregt, E Barendsen
Journal of Automated Reasoning 28, 321-336, 2002
1192002
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
902016
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
841994
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
742014
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
732015
Computer science education: Perspectives on teaching and learning in school
S Sentance, E Barendsen, NR Howard, C Schulte
Bloomsbury Publishing, 2023
512023
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
462021
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
462020
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
452013
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
442016
Uniqueness type inference
E Barendsen, S Smetsers
International Symposium on Programming Language Implementation and Logic …, 1995
401995
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
392019
Graph rewriting aspects of functional programming
E Barendsen, S Smetsers
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2 …, 1999
391999
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20