Erik Barendsen

83 papers A 4B 1Journal 17Unranked 45

Year	Rank	Type	Title / Venue / Authors
2025	—	`ed.`	2024 Working Group Reports on Innovation and Technology in Computer Science Education, ITiCSE 2024, Milan, Italy, 8 July 2024 ITiCSE-WGR Mattia Monga, Violetta Lonati, Erik Barendsen, Judithe Sheard, James H. Paterson
2025	J	`jnl`	ITiCSE 2025 Call for Participation. ACM SIGCSE Bull. Erik Barendsen, James H. Paterson, Keith Quille
2025	J	`jnl`	ITiCSE 2025 Recap. ACM SIGCSE Bull. Floor Binkhorst, Erik Barendsen, Charles Wallace
2025	J	`jnl`	ITiCSE Announcement. ACM SIGCSE Bull. Erik Barendsen, James H. Paterson, Keith Quille
2025	—	`ed.`	Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 1, ITiCSE 2025, Nijmegen, The Netherlands, 27 June 2025 - 2 July 2025 ITiCSE (1) Erik Barendsen, Floor Binkhorst, J. Ángel Velázquez-Iturbide, Jaime Urquiza-Fuentes, James Paterson, Keith Quille
2025	—	`ed.`	Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 2, ITiCSE 2025, Nijmegen, The Netherlands, 27 June 2025 - 2 July 2025 ITiCSE (2) Erik Barendsen, Floor Binkhorst, J. Ángel Velázquez-Iturbide, Jaime Urquiza-Fuentes, James Paterson, Keith Quille
2024	—	`conf`	AI in and for K-12 Informatics Education. Life after Generative AI. SIGCSE Virtual (2) Erik Barendsen, Violetta Lonati, Keith Quille, Rukiye Altin, Monica Divitini, Sara Hooshangi, Oscar Karnalim, Natalie Kiesler, Madison Melton, Calkin Suero Montero, Anna Morpurgo
2024	J	`jnl`	Computational thinking integrated in school subjects - A cross-case analysis of students' experiences. Int. J. Child Comput. Interact. Sabiha Yeni, Jacqueline Nijenhuis-Voogt, Mara Saeli, Erik Barendsen, Felienne Hermans
2024	J	`jnl`	ITiCSE 2024 Recap. ACM SIGCSE Bull. Violetta Lonati, Mattia Monga, Erik Barendsen
2024	J	`jnl`	ITiCSE 2024: Call for Participation. ACM SIGCSE Bull. Violetta Lonati, Mattia Monga, Erik Barendsen
2024	J	`jnl`	Interdisciplinary Integration of Computational Thinking in K-12 Education: A Systematic Review. Informatics Educ. Sabiha Yeni, Natasa Grgurina, Mara Saeli, Felienne Hermans, Jos Tolboom, Erik Barendsen
2024	—	`ed.`	Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, ITiCSE 2024, Milan, Italy, July 8-10, 2024 ITiCSE (1) Mattia Monga, Violetta Lonati, Erik Barendsen, Judithe Sheard, James H. Paterson
2024	—	`ed.`	Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 2, ITiCSE 2024, Milan, Italy, July 8-10, 2024 ITiCSE (2) Mattia Monga, Violetta Lonati, Erik Barendsen, Judithe Sheard, James H. Paterson
2024	J	`jnl`	Students as creators of contexts for learning algorithms: how collaborative context design contributes to a wide range of learning outcomes. Int. J. Comput. Sci. Educ. Sch. Jacqueline Nijenhuis-Voogt, Durdane Bayram-Jacobs, Paulien C. Meijer, Erik Barendsen
2024	—	`conf`	Teaching and Learning AI in K-12 Informatics Education. SIGCSE Virtual (Working Group Reports) Erik Barendsen, Violetta Lonati, Keith Quille, Rukiye Altin, Monica Divitini, Sara Hooshangi, Oscar Karnalim, Natalie Kiesler, Madison Melton, Calkin Suero Montero, Anna Morpurgo
2024	J	`jnl`	Unraveling novices' code composition difficulties. Comput. Sci. Educ. Renske Weeda, Sjaak Smetsers, Erik Barendsen
2023	B	`conf`	Domain TILEs: Test Informed Learning with Examples from the Testing Domain. RCIS Niels Doorn, Tanja E. J. Vos, Beatriz Marín, Christoph Bockisch, Steffen Dick, Erik Barendsen
2023	A	`conf`	Set the right example when teaching programming: Test Informed Learning with Examples (TILE). ICST Niels Doorn, Tanja E. J. Vos, Beatriz Marín, Erik Barendsen
2023	J	`jnl`	Teaching algorithms in upper secondary education: a study of teachers' pedagogical content knowledge. Comput. Sci. Educ. Jacqueline Nijenhuis-Voogt, Durdane Bayram-Jacobs, Paulien C. Meijer, Erik Barendsen
2022	—	`conf`	An Integration of Computational Thinking and Language Arts: The Contribution of Digital Storytelling to Students' Learning. WiPSCE Sabiha Yeni, Jacqueline Nijenhuis-Voogt, Felienne Hermans, Erik Barendsen
2022	—	`ed.`	ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8 - 13, 2022, Volume 1 ITiCSE (1) Brett A. Becker, Keith Quille, Mikko-Jussi Laakso, Erik Barendsen, Simon
2022	—	`ed.`	ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8 - 13, 2022, Volume 2 ITiCSE (2) Brett A. Becker, Keith Quille, Mikko-Jussi Laakso, Erik Barendsen, Simon
2022	—	`ed.`	Proceedings of the 2022 Working Group Reports on Innovation and Technology in Computer Science Education, ITiCSE-WGR 2022, Dublin, Ireland, July 8-13, 2022 ITiCSE-WGR Brett A. Becker, Keith Quille, Mikko-Jussi Laakso, Erik Barendsen
2022	J	`jnl`	Recognizing Algorithmic Concepts in New Contexts: An Analysis of Students' Reasoning. Informatics Educ. Jacqueline Nijenhuis-Voogt, Durdane Bayram-Jacobs, Paulien C. Meijer, Erik Barendsen
2022	—	`conf`	Youth's Perspectives of Computational Design in Making-based Coding Activities. FabLearn/MakeEd Christos Chytas, Eike Brahms, Ira Diethelm, Erik Barendsen
2021	—	`conf`	Computational Thinking in the Mathematics Classroom: Fostering Algorithmic Thinking and Generalization Skills Using Dynamic Mathematics Software. WiPSCE Sylvia P. van Borkulo, Christos Chytas, Paul Drijvers, Erik Barendsen, Jos Tolboom
2021	—	`conf`	Exploring Teachers' PCK for Computational Thinking in Context. WiPSCE Sabiha Yeni, Natasa Grgurina, Felienne Hermans, Jos Tolboom, Erik Barendsen
2021	—	`ed.`	ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26 - July 1, 2021. ITiCSE Carsten Schulte, Brett A. Becker, Monica Divitini, Erik Barendsen
2021	—	`ed.`	ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.2, Virtual Event, Germany, June 26 - July 1, 2021. ITiCSE (2) Carsten Schulte, Brett A. Becker, Monica Divitini, Erik Barendsen
2021	—	`ed.`	Informatics in Schools. Rethinking Computing Education - 14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual Event, November 3-5, 2021, Proceedings ISSEP Erik Barendsen, Christos Chytas
2021	J	`jnl`	Omnipresent yet elusive: Teachers' views on contexts for teaching algorithms in secondary education. Comput. Sci. Educ. Jacqueline Nijenhuis-Voogt, Durdane Bayram-Jacobs, Paulien C. Meijer, Erik Barendsen
2021	—	`conf`	Principles to facilitate design-based learning environments for programming in secondary education while making learning visible in an authentic way. Koli Calling Bas Van Zadelhoff, Ebrahim Rahimi, Erik Barendsen
2020	—	`conf`	Analyzing the influence of block highlighting on beginning programmers' reading behavior using eye tracking. CSERC Renske Talsma, Erik Barendsen, Sjaak Smetsers
2020	—	`conf`	Towards an Assessment Rubric for EiPE Tasks in Secondary Education: Identifying Quality Indicators and Descriptors. Koli Calling Renske Weeda, Cruz Izu, Maria Kallia, Erik Barendsen
2019	—	`conf`	A Case Study of Executive Functions in Real Process Modeling Sessions. CAiSE Workshops Ilona Wilmont, Erik Barendsen, Stijn Hoppenbrouwers
2019	—	`conf`	Analyzing students' recontextualization strategies for algorithmic concepts. WiPSCE Jacqueline Nijenhuis-Voogt, Durdane Bayram-Jacobs, Paulien C. Meijer, Erik Barendsen
2019	—	`conf`	Autism: Implications for Inclusive Education with respect to Software Engineering. CSERC Sylvia Stuurman, Harrie J. M. Passier, Frédérique Geven, Erik Barendsen
2019	—	`conf`	Holistic STEAM Education Through Computational Thinking: A Perspective on Training Future Teachers. ISSEP Arnold Pears, Erik Barendsen, Valentina Dagiene, Vladimiras Dolgopolovas, Egle Jasute
2019	—	`conf`	Observing Abstraction in Young Children Solving Algorithmic Tasks. ISSEP Hylke H. Faber, Josina I. Koning, Menno D. M. Wierdsma, Henderien W. Steenbeek, Erik Barendsen
2018	—	`conf`	An instructional model to link designing and conceptual understanding in secondary computer science education. WiPSCE Ebrahim Rahimi, Erik Barendsen, Ineke Henze
2018	—	`conf`	Assessment of modeling and simulation in secondary computing science education. WiPSCE Natasa Grgurina, Erik Barendsen, Cor J. M. Suhre, Bert Zwaneveld, Klaas van Veen
2018	—	`conf`	Context-based teaching and learning of fundamental computer science concepts: exploring teachers' ideas. WiPSCE Jacqueline Nijenhuis-Voogt, Paulien C. Meijer, Erik Barendsen
2018	—	`conf`	Designing a Blended Course in Android App Development using 4C/ID. Koli Calling Marco Marcellis, Erik Barendsen, Jeroen J. G. van Merriënboer
2018	—	`conf`	Investigating the Pedagogical Content Knowledge of Teachers Attending a MOOC on Scratch Programming. ISSEP Ebrahim Rahimi, Ineke Henze, Felienne Hermans, Erik Barendsen
2018	—	`conf`	The Second Decade of Informatics in Dutch Secondary Education. ISSEP Natasa Grgurina, Jos Tolboom, Erik Barendsen
2018	A	`conf`	Understanding Computing in a Hybrid World: On the Undergraduate Curriculum Front-End Development. SIGCSE Laura Benvenuti, Erik Barendsen, Gerrit C. van der Veer, Johan Versendaal
2017	—	`conf`	An Observation Method for Behavioral Analysis of Collaborative Modeling Skills. CAiSE Workshops Ilona Wilmont, Stijn Hoppenbrouwers, Erik Barendsen
2017	—	`conf`	Identifying Students' Misconceptions on Basic Algorithmic Concepts Through Flowchart Analysis. ISSEP Ebrahim Rahimi, Erik Barendsen, Ineke Henze
2017	—	`conf`	Investigating Informatics Teachers' Initial Pedagogical Content Knowledge on Modeling and Simulation. ISSEP Natasa Grgurina, Erik Barendsen, Cor J. M. Suhre, Klaas van Veen, Bert Zwaneveld
2017	—	`ed.`	Proceedings of the 12th Workshop on Primary and Secondary Computing Education, WiPSCE 2017, Nijmegen, The Netherlands, November 8-10, 2017 WiPSCE Erik Barendsen, Peter Hubwieser
2016	—	`conf`	A New Informatics Curriculum for Secondary Education in The Netherlands. ISSEP Erik Barendsen, Natasa Grgurina, Jos Tolboom
2016	—	`conf`	Analyzing Conceptual Content of International Informatics Curricula for Secondary Education. ISSEP Erik Barendsen, Tim Steenvoorden
2016	—	`conf`	Analyzing students' software redesign strategies. Koli Calling Sylvia Stuurman, Harrie Passier, Erik Barendsen
2016	—	`conf`	Defining and Observing Modeling and Simulation in Informatics. ISSEP Natasa Grgurina, Erik Barendsen, Bert Zwaneveld, Klaas van Veen, Cor J. M. Suhre
2016	—	`conf`	Designing a rubric for feedback on code quality in programming courses. Koli Calling Martijn Stegeman, Erik Barendsen, Sjaak Smetsers
2016	—	`ed.`	Proceedings of the 11th Workshop in Primary and Secondary Computing Education, WiPSCE 2016, Münster, Germany, October 13-15, 2016 WiPSCE Jan Vahrenhold, Erik Barendsen
2016	—	`conf`	Typifying Informatics Teachers' PCK of Designing Digital Artefacts in Dutch Upper Secondary Education. ISSEP Ebrahim Rahimi, Erik Barendsen, Ineke Henze
2015	—	`conf`	Concepts in K-9 Computer Science Education. ITiCSE-WGR Erik Barendsen, Linda Mannila, Barbara Demo, Natasa Grgurina, Cruz Izu, Claudio Mirolo, Sue Sentance, Amber Settle, Gabriele Stupuriene
2015	—	`conf`	Exploring Students' Computational Thinking Skills in Modeling and Simulation Projects: a Pilot Study. WiPSCE Natasa Grgurina, Erik Barendsen, Klaas van Veen, Cor J. M. Suhre, Bert Zwaneveld
2014	—	`conf`	Computational thinking skills in dutch secondary education: exploring pedagogical content knowledge. Koli Calling Natasa Grgurina, Erik Barendsen, Bert Zwaneveld, Klaas van Veen, Idzard Stoker
2014	—	`conf`	Computational thinking skills in dutch secondary education: exploring teacher's perspective. WiPSCE Natasa Grgurina, Erik Barendsen, Bert Zwaneveld, Klaas van Veen, Idzard Stoker
2014	—	`ed.`	Proceedings of the Computer Science Education Research Conference, CSERC 2014, Berlin, Germany, November 5-6, 2014 CSERC Erik Barendsen, Valentina Dagiene
2014	—	`conf`	Towards an empirically validated model for assessment of code quality. Koli Calling Martijn Stegeman, Erik Barendsen, Sjaak Smetsers
2013	A	`conf`	Cognitive Mechanisms of Conceptual Modelling - How Do People Do It? ER Ilona Wilmont, Sytse Hengeveld, Erik Barendsen, Stijn Hoppenbrouwers
2013	—	`conf`	Computational thinking in CS teaching materials: a pilot study. Koli Calling Erik Barendsen, Idzard Stoker
2013	—	`conf`	Computational thinking skills in Dutch secondary education. WiPSCE Natasa Grgurina, Erik Barendsen, Bert Zwaneveld, Wim van de Grift, Idzard Stoker
2013	—	`ed.`	Proceedings of the 3rd Computer Science Education Research Conference, CSERC 2013, Arnhem, The Netherlands, April 04 - 05, 2013 CSERC Marko C. J. D. van Eekelen, Erik Barendsen, Peter B. Sloep, Gerrit C. van der Veer
2013	—	`conf`	Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS. The Beauty of Functional Code Sjaak Smetsers, Erik Barendsen
2012	—	`conf`	Abstract Reasoning in Collaborative Modeling. HICSS Ilona Wilmont, Erik Barendsen, Stijn Hoppenbrouwers, Sytse Hengeveld
2012	—	`conf`	Determining the Role of Abstraction and Executive Control in Process Modeling. PoEM (Short Papers) Ilona Wilmont, Erik Barendsen, Stijn Hoppenbrouwers
2009	—	`conf`	Integrating Action Research and System Dynamics: Towards a Generic Process Design for Participative Modelling. HICSS Benedict Oyo, Ddembe Williams, Erik Barendsen
2002	J	`jnl`	Autarkic Computations in Formal Proofs. J. Autom. Reason. Henk Barendregt, Erik Barendsen
1999	J	`jnl`	Some logical and syntactical observations concerning the first-order dependent type system lambda-P. Math. Struct. Comput. Sci. Herman Geuvers, Erik Barendsen
1996	J	`jnl`	Polymorphic Extensions of Simple Type Structures - With an Application to Bar Recursive Minimization. Ann. Pure Appl. Log. Erik Barendsen, Marc Bezem
1996	J	`jnl`	Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. Math. Struct. Comput. Sci. Erik Barendsen, Sjaak Smetsers
1995	—	`conf`	A derivation system for uniqueness typing. SEGRAGRA Erik Barendsen, Sjaak Smetsers
1995	—	`—`	Types and computations in lambda calculi and graph rewrite systems. Erik Barendsen
1995	—	`conf`	Uniqueness Type Inference PLILP Erik Barendsen, Sjaak Smetsers
1995	A	`conf`	Uniqueness Typing in Natural Deduction Style. Functional Programming Erik Barendsen, Sjaak Smetsers
1993	—	`conf`	Conventional and Uniqueness Typing in Graph Rewrite Systems. FSTTCS Erik Barendsen, Sjaak Smetsers
1993	—	`conf`	Extending Graph Rewriting with Copying. Dagstuhl Seminar on Graph Transformations in Computer Science Erik Barendsen, Sjaak Smetsers
1993	—	`conf`	Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. Dagstuhl Seminar on Graph Transformations in Computer Science Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
1991	J	`jnl`	An Unsolvable Numeral System in lambda Calculus. J. Funct. Program. Erik Barendsen