Erik Barendsen

According to our database, Erik Barendsen authored at least 56 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Teaching algorithms in upper secondary education: a study of teachers' pedagogical content knowledge.

Jacqueline Nijenhuis-Voogt, Durdane Bayram-Jacobs, Paulien C. Meijer, Erik Barendsen

Comput. Sci. Educ., 2023

Domain TILEs: Test Informed Learning with Examples from the Testing Domain.

Niels Doorn, Tanja E. J. Vos, Beatriz Marín, Christoph Bockisch, Steffen Dick, Erik Barendsen

Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023

Set the right example when teaching programming: Test Informed Learning with Examples (TILE).

Niels Doorn, Tanja E. J. Vos, Beatriz Marín, Erik Barendsen

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

2022

Recognizing Algorithmic Concepts in New Contexts: An Analysis of Students' Reasoning.

Jacqueline Nijenhuis-Voogt, Durdane Bayram-Jacobs, Paulien C. Meijer, Erik Barendsen

Informatics Educ., 2022

An Integration of Computational Thinking and Language Arts: The Contribution of Digital Storytelling to Students' Learning.

Sabiha Yeni, Jacqueline Nijenhuis-Voogt, Felienne Hermans, Erik Barendsen

Proceedings of the WiPSCE '22: The 17th Workshop in Primary and Secondary Computing Education, Morschach, Switzerland, 31 October 2022, 2022

Youth's Perspectives of Computational Design in Making-based Coding Activities.

Christos Chytas, Eike Brahms, Ira Diethelm, Erik Barendsen

Proceedings of the FabLearn Europe / MakeEd 2022: FabLearn Europe / MakeEd 2022 - An International Conference on Computing, Design and Making in Education, Copenhagen, Denmark, May 30, 2022

2021

Omnipresent yet elusive: Teachers' views on contexts for teaching algorithms in secondary education.

Jacqueline Nijenhuis-Voogt, Durdane Bayram-Jacobs, Paulien C. Meijer, Erik Barendsen

Comput. Sci. Educ., 2021

Exploring Teachers' PCK for Computational Thinking in Context.

Sabiha Yeni, Natasa Grgurina, Felienne Hermans, Jos Tolboom, Erik Barendsen

Proceedings of the WiPSCE '21: The 16th Workshop in Primary and Secondary Computing Education, 2021

Computational Thinking in the Mathematics Classroom: Fostering Algorithmic Thinking and Generalization Skills Using Dynamic Mathematics Software.

Sylvia P. van Borkulo, Christos Chytas, Paul Drijvers, Erik Barendsen, Jos Tolboom

Proceedings of the WiPSCE '21: The 16th Workshop in Primary and Secondary Computing Education, 2021

Principles to facilitate design-based learning environments for programming in secondary education while making learning visible in an authentic way.

Bas Van Zadelhoff, Ebrahim Rahimi, Erik Barendsen

Proceedings of the Koli Calling '21: 21st Koli Calling International Conference on Computing Education Research, Joensuu, Finland, November 18, 2021

2020

Towards an Assessment Rubric for EiPE Tasks in Secondary Education: Identifying Quality Indicators and Descriptors.

Renske Weeda, Cruz Izu, Maria Kallia, Erik Barendsen

Proceedings of the Koli Calling '20: 20th Koli Calling International Conference on Computing Education Research, 2020

Analyzing the influence of block highlighting on beginning programmers' reading behavior using eye tracking.

Renske Talsma, Erik Barendsen, Sjaak Smetsers

Proceedings of the CSERC '20: the 9th Computer Science Education Research Conference, 2020

2019

Analyzing students' recontextualization strategies for algorithmic concepts.

Jacqueline Nijenhuis-Voogt, Durdane Bayram-Jacobs, Paulien C. Meijer, Erik Barendsen

Proceedings of the 14th Workshop in Primary and Secondary Computing Education, 2019

Holistic STEAM Education Through Computational Thinking: A Perspective on Training Future Teachers.

Arnold Pears, Erik Barendsen, Valentina Dagiene, Vladimiras Dolgopolovas, Egle Jasute

Proceedings of the Informatics in Schools. New Ideas in School Informatics, 2019

Observing Abstraction in Young Children Solving Algorithmic Tasks.

Hylke H. Faber, Josina I. Koning, Menno D. M. Wierdsma, Henderien W. Steenbeek, Erik Barendsen

Proceedings of the Informatics in Schools. New Ideas in School Informatics, 2019

Autism: Implications for Inclusive Education with respect to Software Engineering.

Sylvia Stuurman, Harrie J. M. Passier, Frédérique Geven, Erik Barendsen

Proceedings of the CSERC '19: The 8th Computer Science Education Research Conference, 2019

A Case Study of Executive Functions in Real Process Modeling Sessions.

Ilona Wilmont, Erik Barendsen, Stijn Hoppenbrouwers

Proceedings of the Advanced Information Systems Engineering Workshops, 2019

2018

An instructional model to link designing and conceptual understanding in secondary computer science education.

Ebrahim Rahimi, Erik Barendsen, Ineke Henze

Proceedings of the 13th Workshop in Primary and Secondary Computing Education, 2018

Context-based teaching and learning of fundamental computer science concepts: exploring teachers' ideas.

Jacqueline Nijenhuis-Voogt, Paulien C. Meijer, Erik Barendsen

Proceedings of the 13th Workshop in Primary and Secondary Computing Education, 2018

Assessment of modeling and simulation in secondary computing science education.

Natasa Grgurina, Erik Barendsen, Cor J. M. Suhre, Bert Zwaneveld, Klaas van Veen

Proceedings of the 13th Workshop in Primary and Secondary Computing Education, 2018

Understanding Computing in a Hybrid World: On the Undergraduate Curriculum Front-End Development.

Laura Benvenuti, Erik Barendsen, Gerrit C. van der Veer, Johan Versendaal

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Designing a Blended Course in Android App Development using 4C/ID.

Marco Marcellis, Erik Barendsen, Jeroen J. G. van Merriënboer

Proceedings of the 18th Koli Calling International Conference on Computing Education Research, 2018

Investigating the Pedagogical Content Knowledge of Teachers Attending a MOOC on Scratch Programming.

Ebrahim Rahimi, Ineke Henze, Felienne Hermans, Erik Barendsen

Proceedings of the Informatics in Schools. Fundamentals of Computer Science and Software Engineering, 2018

The Second Decade of Informatics in Dutch Secondary Education.

Natasa Grgurina, Jos Tolboom, Erik Barendsen

Proceedings of the Informatics in Schools. Fundamentals of Computer Science and Software Engineering, 2018

2017

Identifying Students' Misconceptions on Basic Algorithmic Concepts Through Flowchart Analysis.

Ebrahim Rahimi, Erik Barendsen, Ineke Henze

Proceedings of the Informatics in Schools: Focus on Learning Programming, 2017

Investigating Informatics Teachers' Initial Pedagogical Content Knowledge on Modeling and Simulation.

Natasa Grgurina, Erik Barendsen, Cor J. M. Suhre, Klaas van Veen, Bert Zwaneveld

Proceedings of the Informatics in Schools: Focus on Learning Programming, 2017

An Observation Method for Behavioral Analysis of Collaborative Modeling Skills.

Ilona Wilmont, Stijn Hoppenbrouwers, Erik Barendsen

Proceedings of the Advanced Information Systems Engineering Workshops, 2017

2016

Analyzing students' software redesign strategies.

Sylvia Stuurman, Harrie Passier, Erik Barendsen

Proceedings of the 16th Koli Calling International Conference on Computing Education Research, 2016

Designing a rubric for feedback on code quality in programming courses.

Martijn Stegeman, Erik Barendsen, Sjaak Smetsers

Proceedings of the 16th Koli Calling International Conference on Computing Education Research, 2016

Typifying Informatics Teachers' PCK of Designing Digital Artefacts in Dutch Upper Secondary Education.

Ebrahim Rahimi, Erik Barendsen, Ineke Henze

Proceedings of the Informatics in Schools: Improvement of Informatics Knowledge and Perception, 2016

Defining and Observing Modeling and Simulation in Informatics.

Natasa Grgurina, Erik Barendsen, Bert Zwaneveld, Klaas van Veen, Cor J. M. Suhre

Proceedings of the Informatics in Schools: Improvement of Informatics Knowledge and Perception, 2016

Analyzing Conceptual Content of International Informatics Curricula for Secondary Education.

Erik Barendsen, Tim Steenvoorden

Proceedings of the Informatics in Schools: Improvement of Informatics Knowledge and Perception, 2016

A New Informatics Curriculum for Secondary Education in The Netherlands.

Erik Barendsen, Natasa Grgurina, Jos Tolboom

Proceedings of the Informatics in Schools: Improvement of Informatics Knowledge and Perception, 2016

2015

Exploring Students' Computational Thinking Skills in Modeling and Simulation Projects: a Pilot Study.

Natasa Grgurina, Erik Barendsen, Klaas van Veen, Cor J. M. Suhre, Bert Zwaneveld

Proceedings of the Workshop in Primary and Secondary Computing Education, 2015

Concepts in K-9 Computer Science Education.

Erik Barendsen, Linda Mannila, Barbara Demo, Natasa Grgurina, Cruz Izu, Claudio Mirolo, Sue Sentance, Amber Settle, Gabriele Stupuriene

Proceedings of the 2015 ITiCSE Working Group Reports, 2015

2014

Computational thinking skills in dutch secondary education: exploring teacher's perspective.

Natasa Grgurina, Erik Barendsen, Bert Zwaneveld, Klaas van Veen, Idzard Stoker

Proceedings of the 9th Workshop in Primary and Secondary Computing Education, 2014

Towards an empirically validated model for assessment of code quality.

Martijn Stegeman, Erik Barendsen, Sjaak Smetsers

Proceedings of the 14th Koli Calling International Conference on Computing Education Research, 2014

Computational thinking skills in dutch secondary education: exploring pedagogical content knowledge.

Natasa Grgurina, Erik Barendsen, Bert Zwaneveld, Klaas van Veen, Idzard Stoker

Proceedings of the 14th Koli Calling International Conference on Computing Education Research, 2014

2013

Computational thinking skills in Dutch secondary education.

Natasa Grgurina, Erik Barendsen, Bert Zwaneveld, Wim van de Grift, Idzard Stoker

Proceedings of the 8th Workshop in Primary and Secondary Computing Education, 2013

Computational thinking in CS teaching materials: a pilot study.

Erik Barendsen, Idzard Stoker

Proceedings of the 13th Koli Calling International Conference on Computing Education Research, 2013

Cognitive Mechanisms of Conceptual Modelling - How Do People Do It?

Ilona Wilmont, Sytse Hengeveld, Erik Barendsen, Stijn Hoppenbrouwers

Proceedings of the Conceptual Modeling - 32th International Conference, 2013

Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS.

Sjaak Smetsers, Erik Barendsen

Proceedings of the Beauty of Functional Code, 2013

2012

Determining the Role of Abstraction and Executive Control in Process Modeling.

Ilona Wilmont, Erik Barendsen, Stijn Hoppenbrouwers

Proceedings of the Short Paper Proceedings of the 5th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling, 2012

Abstract Reasoning in Collaborative Modeling.

Ilona Wilmont, Erik Barendsen, Stijn Hoppenbrouwers, Sytse Hengeveld

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

2009

Integrating Action Research and System Dynamics: Towards a Generic Process Design for Participative Modelling.

Benedict Oyo, Ddembe Williams, Erik Barendsen

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2002

Autarkic Computations in Formal Proofs.

Henk Barendregt, Erik Barendsen

J. Autom. Reason., 2002

1999

Some logical and syntactical observations concerning the first-order dependent type system lambda-P.

Herman Geuvers, Erik Barendsen

Math. Struct. Comput. Sci., 1999

1996

Uniqueness Typing for Functional Languages with Graph Rewriting Semantics.

Erik Barendsen, Sjaak Smetsers

Math. Struct. Comput. Sci., 1996

Polymorphic Extensions of Simple Type Structures - With an Application to Bar Recursive Minimization.

Erik Barendsen, Marc Bezem

Ann. Pure Appl. Log., 1996

1995

A derivation system for uniqueness typing.

Erik Barendsen, Sjaak Smetsers

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

Uniqueness Type Inference

Erik Barendsen, Sjaak Smetsers

Proceedings of the Programming Languages: Implementations, 1995

Uniqueness Typing in Natural Deduction Style.

Erik Barendsen, Sjaak Smetsers

Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

1993

Conventional and Uniqueness Typing in Graph Rewrite Systems.

Erik Barendsen, Sjaak Smetsers

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs.

Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Extending Graph Rewriting with Copying.

Erik Barendsen, Sjaak Smetsers

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1991

An Unsolvable Numeral System in lambda Calculus.

Erik Barendsen

J. Funct. Program., 1991