An Unsolvable Numeral System in lambda Calculus. - Erik Barendsen (J. Funct. Program., 1991)

Extending Graph Rewriting with Copying. - Erik Barendsen; Sjaak Smetsers (Dagstuhl Seminar on Graph Transformations in 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 (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Conventional and Uniqueness Typing in Graph Rewrite Systems. - Erik Barendsen; Sjaak Smetsers (FSTTCS, 1993)

Uniqueness Typing in Natural Deduction Style. - Erik Barendsen; Sjaak Smetsers (Functional Programming, 1995)

Uniqueness Type Inference - Erik Barendsen; Sjaak Smetsers (PLILP, 1995)

A derivation system for uniqueness typing. - Erik Barendsen; Sjaak Smetsers (SEGRAGRA, 1995)

Polymorphic Extensions of Simple Type Structures - With an Application to Bar Recursive Minimization. - Erik Barendsen; Marc Bezem (Ann. Pure Appl. Log., 1996)

Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. - Erik Barendsen; Sjaak Smetsers (Math. Struct. Comput. Sci., 1996)

Some logical and syntactical observations concerning the first-order dependent type system lambda-P. - Herman Geuvers; Erik Barendsen (Math. Struct. Comput. Sci., 1999)

Autarkic Computations in Formal Proofs. - Henk Barendregt; Erik Barendsen (J. Autom. Reason., 2002)

Integrating Action Research and System Dynamics: Towards a Generic Process Design for Participative Modelling. - Benedict Oyo; Ddembe Williams; Erik Barendsen (HICSS, 2009)

Abstract Reasoning in Collaborative Modeling. - Ilona Wilmont; Erik Barendsen; Stijn Hoppenbrouwers; Sytse Hengeveld (HICSS, 2012)

Determining the Role of Abstraction and Executive Control in Process Modeling. - Ilona Wilmont; Erik Barendsen; Stijn Hoppenbrouwers (PoEM (Short Papers), 2012)

Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS. - Sjaak Smetsers; Erik Barendsen (The Beauty of Functional Code, 2013)

Cognitive Mechanisms of Conceptual Modelling - How Do People Do It? - Ilona Wilmont; Sytse Hengeveld; Erik Barendsen; Stijn Hoppenbrouwers (ER, 2013)

Computational thinking in CS teaching materials: a pilot study. - Erik Barendsen; Idzard Stoker (Koli Calling, 2013)

Computational thinking skills in Dutch secondary education. - Natasa Grgurina; Erik Barendsen; Bert Zwaneveld; Wim van de Grift; Idzard Stoker (WiPSCE, 2013)

Computational thinking skills in dutch secondary education: exploring pedagogical content knowledge. - Natasa Grgurina; Erik Barendsen; Bert Zwaneveld; Klaas van Veen; Idzard Stoker (Koli Calling, 2014)

Towards an empirically validated model for assessment of code quality. - Martijn Stegeman; Erik Barendsen; Sjaak Smetsers (Koli Calling, 2014)

Computational thinking skills in dutch secondary education: exploring teacher's perspective. - Natasa Grgurina; Erik Barendsen; Bert Zwaneveld; Klaas van Veen; Idzard Stoker (WiPSCE, 2014)

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 (ITiCSE-WGR, 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 (WiPSCE, 2015)

A New Informatics Curriculum for Secondary Education in The Netherlands. - Erik Barendsen; Natasa Grgurina; Jos Tolboom (ISSEP, 2016)

Analyzing Conceptual Content of International Informatics Curricula for Secondary Education. - Erik Barendsen; Tim Steenvoorden (ISSEP, 2016)

Defining and Observing Modeling and Simulation in Informatics. - Natasa Grgurina; Erik Barendsen; Bert Zwaneveld; Klaas van Veen; Cor J. M. Suhre (ISSEP, 2016)

Typifying Informatics Teachers' PCK of Designing Digital Artefacts in Dutch Upper Secondary Education. - Ebrahim Rahimi; Erik Barendsen; Ineke Henze (ISSEP, 2016)

Designing a rubric for feedback on code quality in programming courses. - Martijn Stegeman; Erik Barendsen; Sjaak Smetsers (Koli Calling, 2016)

Analyzing students' software redesign strategies. - Sylvia Stuurman; Harrie Passier; Erik Barendsen (Koli Calling, 2016)

An Observation Method for Behavioral Analysis of Collaborative Modeling Skills. - Ilona Wilmont; Stijn Hoppenbrouwers; Erik Barendsen (CAiSE Workshops, 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 (ISSEP, 2017)

Identifying Students' Misconceptions on Basic Algorithmic Concepts Through Flowchart Analysis. - Ebrahim Rahimi; Erik Barendsen; Ineke Henze (ISSEP, 2017)

The Second Decade of Informatics in Dutch Secondary Education. - Natasa Grgurina; Jos Tolboom; Erik Barendsen (ISSEP, 2018)

Investigating the Pedagogical Content Knowledge of Teachers Attending a MOOC on Scratch Programming. - Ebrahim Rahimi; Ineke Henze; Felienne Hermans; Erik Barendsen (ISSEP, 2018)

Designing a Blended Course in Android App Development using 4C/ID. - Marco Marcellis; Erik Barendsen; Jeroen J. G. van Merriënboer (Koli Calling, 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 (SIGCSE, 2018)

Assessment of modeling and simulation in secondary computing science education. - Natasa Grgurina; Erik Barendsen; Cor J. M. Suhre; Bert Zwaneveld; Klaas van Veen (WiPSCE, 2018)

Context-based teaching and learning of fundamental computer science concepts: exploring teachers' ideas. - Jacqueline Nijenhuis-Voogt; Paulien C. Meijer; Erik Barendsen (WiPSCE, 2018)

An instructional model to link designing and conceptual understanding in secondary computer science education. - Ebrahim Rahimi; Erik Barendsen; Ineke Henze (WiPSCE, 2018)

A Case Study of Executive Functions in Real Process Modeling Sessions. - Ilona Wilmont; Erik Barendsen; Stijn Hoppenbrouwers (CAiSE Workshops, 2019)

Autism: Implications for Inclusive Education with respect to Software Engineering. - Sylvia Stuurman; Harrie J. M. Passier; Frédérique Geven; Erik Barendsen (CSERC, 2019)

Observing Abstraction in Young Children Solving Algorithmic Tasks. - Hylke H. Faber; Josina I. Koning; Menno D. M. Wierdsma; Henderien W. Steenbeek; Erik Barendsen (ISSEP, 2019)

Holistic STEAM Education Through Computational Thinking: A Perspective on Training Future Teachers. - Arnold Pears; Erik Barendsen; Valentina Dagiene; Vladimiras Dolgopolovas; Egle Jasute (ISSEP, 2019)

Analyzing students' recontextualization strategies for algorithmic concepts. - Jacqueline Nijenhuis-Voogt; Durdane Bayram-Jacobs; Paulien C. Meijer; Erik Barendsen (WiPSCE, 2019)

Analyzing the influence of block highlighting on beginning programmers' reading behavior using eye tracking. - Renske Talsma; Erik Barendsen; Sjaak Smetsers (CSERC, 2020)

Towards an Assessment Rubric for EiPE Tasks in Secondary Education: Identifying Quality Indicators and Descriptors. - Renske Weeda; Cruz Izu; Maria Kallia; Erik Barendsen (Koli Calling, 2020)

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 (Koli Calling, 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 (WiPSCE, 2021)

Exploring Teachers' PCK for Computational Thinking in Context. - Sabiha Yeni; Natasa Grgurina; Felienne Hermans; Jos Tolboom; Erik Barendsen (WiPSCE, 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)

Youth's Perspectives of Computational Design in Making-based Coding Activities. - Christos Chytas; Eike Brahms; Ira Diethelm; Erik Barendsen (FabLearn/MakeEd, 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 (WiPSCE, 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)

Set the right example when teaching programming: Test Informed Learning with Examples (TILE). - Niels Doorn; Tanja E. J. Vos; Beatriz Marín; Erik Barendsen (ICST, 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 (RCIS, 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)

AI in and for K-12 Informatics Education. Life after Generative AI. - Erik Barendsen; Violetta Lonati; Keith Quille; Rukiye Altin; Monica Divitini; Sara Hooshangi; Oscar Karnalim; Natalie Kiesler; Madison Melton; Calkin Suero Montero; Anna Morpurgo (SIGCSE Virtual (2), 2024)

Interdisciplinary Integration of Computational Thinking in K-12 Education: A Systematic Review. - Sabiha Yeni; Natasa Grgurina; Mara Saeli; Felienne Hermans; Jos Tolboom; Erik Barendsen (Informatics Educ., 2024)

Computational thinking integrated in school subjects - A cross-case analysis of students' experiences. - Sabiha Yeni; Jacqueline Nijenhuis-Voogt; Mara Saeli; Erik Barendsen; Felienne Hermans (Int. J. Child Comput. Interact., 2024)

Students as creators of contexts for learning algorithms: how collaborative context design contributes to a wide range of learning outcomes. - Jacqueline Nijenhuis-Voogt; Durdane Bayram-Jacobs; Paulien C. Meijer; Erik Barendsen (Int. J. Comput. Sci. Educ. Sch., 2024)

ITiCSE 2024: Call for Participation. - Violetta Lonati; Mattia Monga; Erik Barendsen (ACM SIGCSE Bull., 2024)

Unraveling novices' code composition difficulties. - Renske Weeda; Sjaak Smetsers; Erik Barendsen (Comput. Sci. Educ., 2024)

ITiCSE 2024 Recap. - Violetta Lonati; Mattia Monga; Erik Barendsen (ACM SIGCSE Bull., 2024)

ITiCSE Announcement. - Erik Barendsen; James H. Paterson; Keith Quille (ACM SIGCSE Bull., 2025)

ITiCSE 2025 Call for Participation. - Erik Barendsen; James H. Paterson; Keith Quille (ACM SIGCSE Bull., 2025)