Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Erik Barendsen
@article{DBLP:journals/csedu/Nijenhuis-Voogt23,
author = {Jacqueline Nijenhuis{-}Voogt and
Durdane Bayram{-}Jacobs and
Paulien C. Meijer and
Erik Barendsen},
title = {Teaching algorithms in upper secondary education: a study of teachers'
pedagogical content knowledge},
journal = {Comput. Sci. Educ.},
volume = {33},
number = {1},
pages = {61--93},
year = {2023},
url = {https://doi.org/10.1080/08993408.2021.1935554},
doi = {10.1080/08993408.2021.1935554},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csedu/Nijenhuis-Voogt23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DoornVMB23,
author = {Niels Doorn and
Tanja E. J. Vos and
Beatriz Mar{\'{\i}}n and
Erik Barendsen},
title = {Set the right example when teaching programming: Test Informed Learning
with Examples {(TILE)}},
booktitle = {{IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2023, Dublin, Ireland, April 16-20, 2023},
pages = {269--280},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICST57152.2023.00033},
doi = {10.1109/ICST57152.2023.00033},
timestamp = {Thu, 01 Jun 2023 13:31:05 +0200},
biburl = {https://dblp.org/rec/conf/icst/DoornVMB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/DoornVMBDB23,
author = {Niels Doorn and
Tanja E. J. Vos and
Beatriz Mar{\'{\i}}n and
Christoph Bockisch and
Steffen Dick and
Erik Barendsen},
editor = {Selmin Nurcan and
Andreas L. Opdahl and
Haralambos Mouratidis and
Aggeliki Tsohou},
title = {Domain TILEs: Test Informed Learning with Examples from the Testing
Domain},
booktitle = {Research Challenges in Information Science: Information Science and
the Connected World - 17th International Conference, {RCIS} 2023,
Corfu, Greece, May 23-26, 2023, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {476},
pages = {501--508},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33080-3\_31},
doi = {10.1007/978-3-031-33080-3\_31},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/DoornVMBDB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iie/NijenhuisVoogtBMB22,
author = {Jacqueline Nijenhuis{-}Voogt and
Durdane Bayram{-}Jacobs and
Paulien C. Meijer and
Erik Barendsen},
title = {Recognizing Algorithmic Concepts in New Contexts: An Analysis of Students'
Reasoning},
journal = {Informatics Educ.},
volume = {21},
number = {3},
pages = {541--568},
year = {2022},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iie/NijenhuisVoogtBMB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fablearn/ChytasBDB22,
author = {Christos Chytas and
Eike Brahms and
Ira Diethelm and
Erik Barendsen},
title = {Youth's Perspectives of Computational Design in Making-based Coding
Activities},
booktitle = {FabLearn Europe / MakeEd 2022: FabLearn Europe / MakeEd 2022 - An
International Conference on Computing, Design and Making in Education,
Copenhagen, Denmark, May 30 - 31, 2022},
pages = {4:1--4:9},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3535227.3535231},
doi = {10.1145/3535227.3535231},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fablearn/ChytasBDB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/YeniNHB22,
author = {Sabiha Yeni and
Jacqueline Nijenhuis{-}Voogt and
Felienne Hermans and
Erik Barendsen},
editor = {Mareen Grillenberger and
Marc Berges},
title = {An Integration of Computational Thinking and Language Arts: The Contribution
of Digital Storytelling to Students' Learning},
booktitle = {WiPSCE '22: The 17th Workshop in Primary and Secondary Computing Education,
Morschach, Switzerland, 31 October 2022 - 2 November 2022},
pages = {3:1--3:10},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3556787.3556858},
doi = {10.1145/3556787.3556858},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wipsce/YeniNHB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2022-1,
editor = {Brett A. Becker and
Keith Quille and
Mikko{-}Jussi Laakso and
Erik Barendsen and
Simon},
title = {ITiCSE 2022: Innovation and Technology in Computer Science Education,
Dublin, Ireland, July 8 - 13, 2022, Volume 1},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3502718},
doi = {10.1145/3502718},
isbn = {978-1-4503-9201-3},
timestamp = {Mon, 11 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/2022-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2022-2,
editor = {Brett A. Becker and
Keith Quille and
Mikko{-}Jussi Laakso and
Erik Barendsen and
Simon},
title = {ITiCSE 2022: Innovation and Technology in Computer Science Education,
Dublin, Ireland, July 8 - 13, 2022, Volume 2},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3502717},
doi = {10.1145/3502717},
isbn = {978-1-4503-9200-6},
timestamp = {Mon, 11 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/2022-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2022wgr,
editor = {Brett A. Becker and
Keith Quille and
Mikko{-}Jussi Laakso and
Erik Barendsen},
title = {Proceedings of the 2022 Working Group Reports on Innovation and Technology
in Computer Science Education, ITiCSE-WGR 2022, Dublin, Ireland, July
8-13, 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3571785},
doi = {10.1145/3571785},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/2022wgr.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csedu/Nijenhuis-Voogt21,
author = {Jacqueline Nijenhuis{-}Voogt and
Durdane Bayram{-}Jacobs and
Paulien C. Meijer and
Erik Barendsen},
title = {Omnipresent yet elusive: Teachers' views on contexts for teaching
algorithms in secondary education},
journal = {Comput. Sci. Educ.},
volume = {31},
number = {1},
pages = {30--59},
year = {2021},
url = {https://doi.org/10.1080/08993408.2020.1783149},
doi = {10.1080/08993408.2020.1783149},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csedu/Nijenhuis-Voogt21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/ZadelhoffRB21,
author = {Bas Van Zadelhoff and
Ebrahim Rahimi and
Erik Barendsen},
editor = {Otto Sepp{\"{a}}l{\"{a}} and
Andrew Petersen},
title = {Principles to facilitate design-based learning environments for programming
in secondary education while making learning visible in an authentic
way},
booktitle = {Koli Calling '21: 21st Koli Calling International Conference on Computing
Education Research, Joensuu, Finland, November 18 - 21, 2021},
pages = {12:1--12:10},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3488042.3488067},
doi = {10.1145/3488042.3488067},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kolicalling/ZadelhoffRB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/BorkuloCDBT21,
author = {Sylvia P. van Borkulo and
Christos Chytas and
Paul Drijvers and
Erik Barendsen and
Jos Tolboom},
editor = {Marc Berges and
Andraes M{\"{u}}hling and
Michal Armoni},
title = {Computational Thinking in the Mathematics Classroom: Fostering Algorithmic
Thinking and Generalization Skills Using Dynamic Mathematics Software},
booktitle = {WiPSCE '21: The 16th Workshop in Primary and Secondary Computing Education,
Virtual Event / Erlangen, Germany, October 18-20, 2021},
pages = {19:1--19:9},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3481312.3481319},
doi = {10.1145/3481312.3481319},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wipsce/BorkuloCDBT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/YeniGHTB21,
author = {Sabiha Yeni and
Natasa Grgurina and
Felienne Hermans and
Jos Tolboom and
Erik Barendsen},
editor = {Marc Berges and
Andraes M{\"{u}}hling and
Michal Armoni},
title = {Exploring Teachers' {PCK} for Computational Thinking in Context},
booktitle = {WiPSCE '21: The 16th Workshop in Primary and Secondary Computing Education,
Virtual Event / Erlangen, Germany, October 18-20, 2021},
pages = {20:1--20:10},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3481312.3481320},
doi = {10.1145/3481312.3481320},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wipsce/YeniGHTB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issep/2021,
editor = {Erik Barendsen and
Christos Chytas},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {13057},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90228-5},
doi = {10.1007/978-3-030-90228-5},
isbn = {978-3-030-90227-8},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issep/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2021,
editor = {Carsten Schulte and
Brett A. Becker and
Monica Divitini and
Erik Barendsen},
title = {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},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3430665},
doi = {10.1145/3430665},
isbn = {978-1-4503-8214-4},
timestamp = {Tue, 13 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2021wgr,
editor = {Carsten Schulte and
Brett A. Becker and
Monica Divitini and
Erik Barendsen},
title = {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},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3456565},
doi = {10.1145/3456565},
isbn = {978-1-4503-8397-4},
timestamp = {Tue, 13 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/2021wgr.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/TalsmaBS20,
author = {Renske Talsma and
Erik Barendsen and
Sjaak Smetsers},
editor = {Dave R. Stikkolorum and
Ebrahim Rahimi},
title = {Analyzing the influence of block highlighting on beginning programmers'
reading behavior using eye tracking},
booktitle = {{CSERC} '20: the 9th Computer Science Education Research Conference,
Virtual Event, The Netherlands, 19-20 October, 2020},
pages = {9:1--9:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3442481.3442505},
doi = {10.1145/3442481.3442505},
timestamp = {Thu, 22 Apr 2021 18:40:35 +0200},
biburl = {https://dblp.org/rec/conf/cserc/TalsmaBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/WeedaIKB20,
author = {Renske Weeda and
Cruz Izu and
Maria Kallia and
Erik Barendsen},
editor = {Nick Falkner and
Otto Sepp{\"{a}}l{\"{a}}},
title = {Towards an Assessment Rubric for EiPE Tasks in Secondary Education:
Identifying Quality Indicators and Descriptors},
booktitle = {Koli Calling '20: 20th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 19-22, 2020},
pages = {30:1--30:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3428029.3428031},
doi = {10.1145/3428029.3428031},
timestamp = {Sat, 21 Oct 2023 10:46:28 +0200},
biburl = {https://dblp.org/rec/conf/kolicalling/WeedaIKB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/WilmontBH19,
author = {Ilona Wilmont and
Erik Barendsen and
Stijn Hoppenbrouwers},
editor = {Henderik A. Proper and
Janis Stirna},
title = {A Case Study of Executive Functions in Real Process Modeling Sessions},
booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2019 International
Workshops, Rome, Italy, June 3-7, 2019, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {349},
pages = {17--28},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20948-3\_2},
doi = {10.1007/978-3-030-20948-3\_2},
timestamp = {Thu, 23 May 2019 13:32:10 +0200},
biburl = {https://dblp.org/rec/conf/caise/WilmontBH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/StuurmanPGB19,
author = {Sylvia Stuurman and
Harrie J. M. Passier and
Fr{\'{e}}d{\'{e}}rique Geven and
Erik Barendsen},
editor = {Ebrahim Rahimi and
Dave R. Stikkolorum},
title = {Autism: Implications for Inclusive Education with respect to Software
Engineering},
booktitle = {{CSERC} '19: The 8th Computer Science Education Research Conference,
Larnaca, Cyprus, November 18-20, 2019},
pages = {15--25},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3375258.3375261},
doi = {10.1145/3375258.3375261},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cserc/StuurmanPGB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/PearsBDDJ19,
author = {Arnold Pears and
Erik Barendsen and
Valentina Dagiene and
Vladimiras Dolgopolovas and
Egle Jasute},
editor = {Sergei N. Pozdniakov and
Valentina Dagiene},
title = {Holistic {STEAM} Education Through Computational Thinking: {A} Perspective
on Training Future Teachers},
booktitle = {Informatics in Schools. New Ideas in School Informatics - 12th International
Conference on Informatics in Schools: Situation, Evolution, and Perspectives,
{ISSEP} 2019, Larnaca, Cyprus, November 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11913},
pages = {41--52},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33759-9\_4},
doi = {10.1007/978-3-030-33759-9\_4},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issep/PearsBDDJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/FaberKWSB19,
author = {Hylke H. Faber and
Josina I. Koning and
Menno D. M. Wierdsma and
Henderien W. Steenbeek and
Erik Barendsen},
editor = {Sergei N. Pozdniakov and
Valentina Dagiene},
title = {Observing Abstraction in Young Children Solving Algorithmic Tasks},
booktitle = {Informatics in Schools. New Ideas in School Informatics - 12th International
Conference on Informatics in Schools: Situation, Evolution, and Perspectives,
{ISSEP} 2019, Larnaca, Cyprus, November 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11913},
pages = {95--106},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33759-9\_8},
doi = {10.1007/978-3-030-33759-9\_8},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issep/FaberKWSB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/Nijenhuis-Voogt19,
author = {Jacqueline Nijenhuis{-}Voogt and
Durdane Bayram{-}Jacobs and
Paulien C. Meijer and
Erik Barendsen},
title = {Analyzing students' recontextualization strategies for algorithmic
concepts},
booktitle = {Proceedings of the 14th Workshop in Primary and Secondary Computing
Education, WiPSCE 2019, Glasgow, Scotland, UK, October 23-25, 2019},
pages = {7:1--7:2},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3361721.3361734},
doi = {10.1145/3361721.3361734},
timestamp = {Fri, 25 Oct 2019 12:15:28 +0200},
biburl = {https://dblp.org/rec/conf/wipsce/Nijenhuis-Voogt19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/RahimiHHB18,
author = {Ebrahim Rahimi and
Ineke Henze and
Felienne Hermans and
Erik Barendsen},
editor = {Sergei N. Pozdniakov and
Valentina Dagiene},
title = {Investigating the Pedagogical Content Knowledge of Teachers Attending
a {MOOC} on Scratch Programming},
booktitle = {Informatics in Schools. Fundamentals of Computer Science and Software
Engineering - 11th International Conference on Informatics in Schools:
Situation, Evolution, and Perspectives, {ISSEP} 2018, St. Petersburg,
Russia, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11169},
pages = {180--193},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02750-6\_14},
doi = {10.1007/978-3-030-02750-6\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issep/RahimiHHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/GrgurinaTB18,
author = {Natasa Grgurina and
Jos Tolboom and
Erik Barendsen},
editor = {Sergei N. Pozdniakov and
Valentina Dagiene},
title = {The Second Decade of Informatics in Dutch Secondary Education},
booktitle = {Informatics in Schools. Fundamentals of Computer Science and Software
Engineering - 11th International Conference on Informatics in Schools:
Situation, Evolution, and Perspectives, {ISSEP} 2018, St. Petersburg,
Russia, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11169},
pages = {271--282},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02750-6\_21},
doi = {10.1007/978-3-030-02750-6\_21},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issep/GrgurinaTB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/MarcellisBM18,
author = {Marco Marcellis and
Erik Barendsen and
Jeroen J. G. van Merri{\"{e}}nboer},
editor = {Mike Joy and
Petri Ihantola},
title = {Designing a Blended Course in Android App Development using 4C/ID},
booktitle = {Proceedings of the 18th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 22-25, 2018},
pages = {19:1--19:5},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3279720.3279739},
doi = {10.1145/3279720.3279739},
timestamp = {Wed, 28 Nov 2018 13:55:14 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/MarcellisBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BenvenutiBVV18,
author = {Laura Benvenuti and
Erik Barendsen and
Gerrit C. van der Veer and
Johan Versendaal},
editor = {Tiffany Barnes and
Daniel D. Garcia and
Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
title = {Understanding Computing in a Hybrid World: On the Undergraduate Curriculum
Front-End Development},
booktitle = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
pages = {580--585},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3159450.3159532},
doi = {10.1145/3159450.3159532},
timestamp = {Tue, 06 Nov 2018 11:07:13 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/BenvenutiBVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/GrgurinaBSZV18,
author = {Natasa Grgurina and
Erik Barendsen and
Cor J. M. Suhre and
Bert Zwaneveld and
Klaas van Veen},
editor = {Andreas M{\"{u}}hling and
Quintin I. Cutts},
title = {Assessment of modeling and simulation in secondary computing science
education},
booktitle = {Proceedings of the 13th Workshop in Primary and Secondary Computing
Education, WiPSCE 2018, Potsdam, Germany, October 04-06, 2018},
pages = {7:1--7:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3265757.3265764},
doi = {10.1145/3265757.3265764},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wipsce/GrgurinaBSZV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/RahimiBH18,
author = {Ebrahim Rahimi and
Erik Barendsen and
Ineke Henze},
editor = {Andreas M{\"{u}}hling and
Quintin I. Cutts},
title = {An instructional model to link designing and conceptual understanding
in secondary computer science education},
booktitle = {Proceedings of the 13th Workshop in Primary and Secondary Computing
Education, WiPSCE 2018, Potsdam, Germany, October 04-06, 2018},
pages = {11:1--11:4},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3265757.3265768},
doi = {10.1145/3265757.3265768},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wipsce/RahimiBH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/Nijenhuis-Voogt18,
author = {Jacqueline Nijenhuis{-}Voogt and
Paulien C. Meijer and
Erik Barendsen},
editor = {Andreas M{\"{u}}hling and
Quintin I. Cutts},
title = {Context-based teaching and learning of fundamental computer science
concepts: exploring teachers' ideas},
booktitle = {Proceedings of the 13th Workshop in Primary and Secondary Computing
Education, WiPSCE 2018, Potsdam, Germany, October 04-06, 2018},
pages = {15:1--15:4},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3265757.3265772},
doi = {10.1145/3265757.3265772},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wipsce/Nijenhuis-Voogt18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/WilmontHB17,
author = {Ilona Wilmont and
Stijn Hoppenbrouwers and
Erik Barendsen},
editor = {Andreas Metzger and
Anne Persson},
title = {An Observation Method for Behavioral Analysis of Collaborative Modeling
Skills},
booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2017 International
Workshops, Essen, Germany, June 12-16, 2017, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {286},
pages = {59--71},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60048-2\_6},
doi = {10.1007/978-3-319-60048-2\_6},
timestamp = {Wed, 28 Jun 2017 14:36:26 +0200},
biburl = {https://dblp.org/rec/conf/caise/WilmontHB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/GrgurinaBSVZ17,
author = {Natasa Grgurina and
Erik Barendsen and
Cor J. M. Suhre and
Klaas van Veen and
Bert Zwaneveld},
editor = {Valentina Dagiene and
Arto Hellas},
title = {Investigating Informatics Teachers' Initial Pedagogical Content Knowledge
on Modeling and Simulation},
booktitle = {Informatics in Schools: Focus on Learning Programming - 10th International
Conference on Informatics in Schools: Situation, Evolution, and Perspectives,
{ISSEP} 2017, Helsinki, Finland, November 13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10696},
pages = {65--76},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71483-7\_6},
doi = {10.1007/978-3-319-71483-7\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issep/GrgurinaBSVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/RahimiBH17,
author = {Ebrahim Rahimi and
Erik Barendsen and
Ineke Henze},
editor = {Valentina Dagiene and
Arto Hellas},
title = {Identifying Students' Misconceptions on Basic Algorithmic Concepts
Through Flowchart Analysis},
booktitle = {Informatics in Schools: Focus on Learning Programming - 10th International
Conference on Informatics in Schools: Situation, Evolution, and Perspectives,
{ISSEP} 2017, Helsinki, Finland, November 13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10696},
pages = {155--168},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71483-7\_13},
doi = {10.1007/978-3-319-71483-7\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issep/RahimiBH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wipsce/2017,
editor = {Erik Barendsen and
Peter Hubwieser},
title = {Proceedings of the 12th Workshop on Primary and Secondary Computing
Education, WiPSCE 2017, Nijmegen, The Netherlands, November 8-10,
2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3137065},
doi = {10.1145/3137065},
isbn = {978-1-4503-5428-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wipsce/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/BarendsenS16,
author = {Erik Barendsen and
Tim Steenvoorden},
editor = {Andrej Brodnik and
Fran{\c{c}}oise Tort},
title = {Analyzing Conceptual Content of International Informatics Curricula
for Secondary Education},
booktitle = {Informatics in Schools: Improvement of Informatics Knowledge and Perception
- 9th International Conference on Informatics in Schools: Situation,
Evolution, and Perspectives, {ISSEP} 2016, M{\"{u}}nster, Germany,
October 13-15, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9973},
pages = {14--27},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46747-4\_2},
doi = {10.1007/978-3-319-46747-4\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/issep/BarendsenS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/RahimiBH16,
author = {Ebrahim Rahimi and
Erik Barendsen and
Ineke Henze},
editor = {Andrej Brodnik and
Fran{\c{c}}oise Tort},
title = {Typifying Informatics Teachers' {PCK} of Designing Digital Artefacts
in Dutch Upper Secondary Education},
booktitle = {Informatics in Schools: Improvement of Informatics Knowledge and Perception
- 9th International Conference on Informatics in Schools: Situation,
Evolution, and Perspectives, {ISSEP} 2016, M{\"{u}}nster, Germany,
October 13-15, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9973},
pages = {65--77},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46747-4\_6},
doi = {10.1007/978-3-319-46747-4\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issep/RahimiBH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/BarendsenGT16,
author = {Erik Barendsen and
Natasa Grgurina and
Jos Tolboom},
editor = {Andrej Brodnik and
Fran{\c{c}}oise Tort},
title = {A New Informatics Curriculum for Secondary Education in The Netherlands},
booktitle = {Informatics in Schools: Improvement of Informatics Knowledge and Perception
- 9th International Conference on Informatics in Schools: Situation,
Evolution, and Perspectives, {ISSEP} 2016, M{\"{u}}nster, Germany,
October 13-15, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9973},
pages = {105--117},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46747-4\_9},
doi = {10.1007/978-3-319-46747-4\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issep/BarendsenGT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/GrgurinaBZVS16,
author = {Natasa Grgurina and
Erik Barendsen and
Bert Zwaneveld and
Klaas van Veen and
Cor J. M. Suhre},
editor = {Andrej Brodnik and
Fran{\c{c}}oise Tort},
title = {Defining and Observing Modeling and Simulation in Informatics},
booktitle = {Informatics in Schools: Improvement of Informatics Knowledge and Perception
- 9th International Conference on Informatics in Schools: Situation,
Evolution, and Perspectives, {ISSEP} 2016, M{\"{u}}nster, Germany,
October 13-15, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9973},
pages = {130--141},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46747-4\_11},
doi = {10.1007/978-3-319-46747-4\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issep/GrgurinaBZVS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/StuurmanPB16,
author = {Sylvia Stuurman and
Harrie Passier and
Erik Barendsen},
editor = {Judy Sheard and
Calkin Suero Montero},
title = {Analyzing students' software redesign strategies},
booktitle = {Proceedings of the 16th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 24-27, 2016},
pages = {110--119},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2999559},
timestamp = {Tue, 06 Nov 2018 16:58:30 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/StuurmanPB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/StegemanBS16,
author = {Martijn Stegeman and
Erik Barendsen and
Sjaak Smetsers},
editor = {Judy Sheard and
Calkin Suero Montero},
title = {Designing a rubric for feedback on code quality in programming courses},
booktitle = {Proceedings of the 16th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 24-27, 2016},
pages = {160--164},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2999555},
timestamp = {Thu, 24 Nov 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/StegemanBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wipsce/2016,
editor = {Jan Vahrenhold and
Erik Barendsen},
title = {Proceedings of the 11th Workshop in Primary and Secondary Computing
Education, WiPSCE 2016, M{\"{u}}nster, Germany, October 13-15,
2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2978249},
doi = {10.1145/2978249},
isbn = {978-1-4503-4223-0},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wipsce/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BarendsenMDGIMS15,
author = {Erik Barendsen and
Linda Mannila and
Barbara Demo and
Natasa Grgurina and
Cruz Izu and
Claudio Mirolo and
Sue Sentance and
Amber Settle and
Gabriele Stupuriene},
editor = {Noa Ragonis and
P{\"{a}}ivi Kinnunen},
title = {Concepts in {K-9} Computer Science Education},
booktitle = {Proceedings of the 2015 ITiCSE Working Group Reports, {ITICSE-WGR}
2015, Vilnius, Lithuania, July 4-8, 2015},
pages = {85--116},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2858796.2858800},
doi = {10.1145/2858796.2858800},
timestamp = {Tue, 13 Sep 2022 16:33:19 +0200},
biburl = {https://dblp.org/rec/conf/iticse/BarendsenMDGIMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/GrgurinaBVSZ15,
author = {Natasa Grgurina and
Erik Barendsen and
Klaas van Veen and
Cor J. M. Suhre and
Bert Zwaneveld},
editor = {Judith Gal{-}Ezer and
Sue Sentance and
Jan Vahrenhold},
title = {Exploring Students' Computational Thinking Skills in Modeling and
Simulation Projects: a Pilot Study},
booktitle = {Proceedings of the Workshop in Primary and Secondary Computing Education,
WiPSCE 2015, London, United Kingdom, November 9-11, 2015},
pages = {65--68},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2818314.2818325},
doi = {10.1145/2818314.2818325},
timestamp = {Tue, 06 Nov 2018 16:59:05 +0100},
biburl = {https://dblp.org/rec/conf/wipsce/GrgurinaBVSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/StegemanBS14,
author = {Martijn Stegeman and
Erik Barendsen and
Sjaak Smetsers},
editor = {Simon and
P{\"{a}}ivi Kinnunen},
title = {Towards an empirically validated model for assessment of code quality},
booktitle = {Proceedings of the 14th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 20-23, 2014},
pages = {99--108},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2674683.2674702},
doi = {10.1145/2674683.2674702},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/StegemanBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/GrgurinaBZVS14,
author = {Natasa Grgurina and
Erik Barendsen and
Bert Zwaneveld and
Klaas van Veen and
Idzard Stoker},
editor = {Simon and
P{\"{a}}ivi Kinnunen},
title = {Computational thinking skills in dutch secondary education: exploring
pedagogical content knowledge},
booktitle = {Proceedings of the 14th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 20-23, 2014},
pages = {173--174},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2674683.2674704},
doi = {10.1145/2674683.2674704},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/GrgurinaBZVS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/GrgurinaBZVS14,
author = {Natasa Grgurina and
Erik Barendsen and
Bert Zwaneveld and
Klaas van Veen and
Idzard Stoker},
editor = {Carsten Schulte and
Michael E. Caspersen and
Judith Gal{-}Ezer},
title = {Computational thinking skills in dutch secondary education: exploring
teacher's perspective},
booktitle = {Proceedings of the 9th Workshop in Primary and Secondary Computing
Education, WiPSCE 2014, Berlin, Germany, November 5-7, 2014},
pages = {124--125},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2670757.2670761},
doi = {10.1145/2670757.2670761},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wipsce/GrgurinaBZVS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cserc/2014,
editor = {Erik Barendsen and
Valentina Dagiene},
title = {Proceedings of the Computer Science Education Research Conference,
{CSERC} 2014, Berlin, Germany, November 5-6, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2691352},
doi = {10.1145/2691352},
isbn = {978-1-4503-3347-4},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cserc/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SmetsersB13,
author = {Sjaak Smetsers and
Erik Barendsen},
editor = {Peter Achten and
Pieter W. M. Koopman},
title = {Verifying Functional Formalizations - {A} Type-Theoretical Case Study
in {PVS}},
booktitle = {The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer
on the Occasion of His 61st Birthday},
series = {Lecture Notes in Computer Science},
volume = {8106},
pages = {47--59},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40355-2\_5},
doi = {10.1007/978-3-642-40355-2\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SmetsersB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/WilmontHBH13,
author = {Ilona Wilmont and
Sytse Hengeveld and
Erik Barendsen and
Stijn Hoppenbrouwers},
editor = {Wilfred Ng and
Veda C. Storey and
Juan Trujillo},
title = {Cognitive Mechanisms of Conceptual Modelling - How Do People Do It?},
booktitle = {Conceptual Modeling - 32th International Conference, {ER} 2013, Hong-Kong,
China, November 11-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8217},
pages = {74--87},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41924-9\_7},
doi = {10.1007/978-3-642-41924-9\_7},
timestamp = {Fri, 22 Mar 2024 08:49:47 +0100},
biburl = {https://dblp.org/rec/conf/er/WilmontHBH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/BarendsenS13,
author = {Erik Barendsen and
Idzard Stoker},
editor = {Mikko{-}Jussi Laakso and
Simon},
title = {Computational thinking in {CS} teaching materials: a pilot study},
booktitle = {13th Koli Calling International Conference on Computing Education
Research, Koli Calling '13, Koli, Finland, November 14-17, 2013},
pages = {199--200},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2526968.2526995},
doi = {10.1145/2526968.2526995},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/BarendsenS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/GrgurinaBZGS13,
author = {Natasa Grgurina and
Erik Barendsen and
Bert Zwaneveld and
Wim van de Grift and
Idzard Stoker},
editor = {Michael E. Caspersen and
Maria Knobelsdorf and
Ralf Romeike},
title = {Computational thinking skills in Dutch secondary education},
booktitle = {Proceedings of the 8th Workshop in Primary and Secondary Computing
Education, WiPSCE '13, Aarhus, Denmark, November 11-13, 2013},
pages = {31--32},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2532748.2532768},
doi = {10.1145/2532748.2532768},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wipsce/GrgurinaBZGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cserc/2013,
editor = {Marko C. J. D. van Eekelen and
Erik Barendsen and
Peter B. Sloep and
Gerrit C. van der Veer},
title = {Proceedings of the 3rd Computer Science Education Research Conference,
{CSERC} 2013, Arnhem, The Netherlands, April 04 - 05, 2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2541917},
timestamp = {Thu, 30 Oct 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cserc/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/WilmontBHH12,
author = {Ilona Wilmont and
Erik Barendsen and
Stijn Hoppenbrouwers and
Sytse Hengeveld},
title = {Abstract Reasoning in Collaborative Modeling},
booktitle = {45th Hawaii International International Conference on Systems Science
{(HICSS-45} 2012), Proceedings, 4-7 January 2012, Grand Wailea, Maui,
HI, {USA}},
pages = {170--179},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HICSS.2012.88},
doi = {10.1109/HICSS.2012.88},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/WilmontBHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip8-1/WilmontBH12,
author = {Ilona Wilmont and
Erik Barendsen and
Stijn Hoppenbrouwers},
editor = {Kurt Sandkuhl and
Ulf Seigerroth and
Janis Stirna},
title = {Determining the Role of Abstraction and Executive Control in Process
Modeling},
booktitle = {Short Paper Proceedings of the 5th {IFIP} {WG} 8.1 Working Conference
on the Practice of Enterprise Modeling, Rostock, Germany, November
7-8, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {933},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-933/pap2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:10 +0100},
biburl = {https://dblp.org/rec/conf/ifip8-1/WilmontBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/OyoWB09,
author = {Benedict Oyo and
Ddembe Williams and
Erik Barendsen},
title = {Integrating Action Research and System Dynamics: Towards a Generic
Process Design for Participative Modelling},
booktitle = {42st Hawaii International International Conference on Systems Science
{(HICSS-42} 2009), Proceedings {(CD-ROM} and online), 5-8 January
2009, Waikoloa, Big Island, HI, {USA}},
pages = {1--11},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/HICSS.2009.266},
doi = {10.1109/HICSS.2009.266},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/OyoWB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BarendregtB02,
author = {Henk Barendregt and
Erik Barendsen},
title = {Autarkic Computations in Formal Proofs},
journal = {J. Autom. Reason.},
volume = {28},
number = {3},
pages = {321--336},
year = {2002},
url = {https://doi.org/10.1023/A:1015761529444},
doi = {10.1023/A:1015761529444},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BarendregtB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GeuversB99,
author = {Herman Geuvers and
Erik Barendsen},
title = {Some logical and syntactical observations concerning the first-order
dependent type system lambda-P},
journal = {Math. Struct. Comput. Sci.},
volume = {9},
number = {4},
pages = {335--359},
year = {1999},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44837},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GeuversB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BarendsenB96,
author = {Erik Barendsen and
Marc Bezem},
title = {Polymorphic Extensions of Simple Type Structures - With an Application
to Bar Recursive Minimization},
journal = {Ann. Pure Appl. Log.},
volume = {79},
number = {3},
pages = {221--280},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(95)00025-9},
doi = {10.1016/0168-0072(95)00025-9},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BarendsenB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BarendsenS96,
author = {Erik Barendsen and
Sjaak Smetsers},
title = {Uniqueness Typing for Functional Languages with Graph Rewriting Semantics},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {6},
pages = {579--612},
year = {1996},
url = {https://doi.org/10.1017/s0960129500070109},
doi = {10.1017/S0960129500070109},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BarendsenS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/BarendsenS95,
author = {Erik Barendsen and
Sjaak Smetsers},
editor = {David N. Turner},
title = {Uniqueness Typing in Natural Deduction Style},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {1},
publisher = {Springer},
year = {1995},
timestamp = {Tue, 19 Jun 2018 20:15:26 +0200},
biburl = {https://dblp.org/rec/conf/fp/BarendsenS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BarendsenS95,
author = {Erik Barendsen and
Sjaak Smetsers},
editor = {Manuel V. Hermenegildo and
S. Doaitse Swierstra},
title = {Uniqueness Type Inference},
booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International
Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {982},
pages = {189--206},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0026821},
doi = {10.1007/BFB0026821},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/BarendsenS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarendsenS95,
author = {Erik Barendsen and
Sjaak Smetsers},
editor = {Andrea Corradini and
Ugo Montanari},
title = {A derivation system for uniqueness typing},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {11--18},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80175-6},
doi = {10.1016/S1571-0661(05)80175-6},
timestamp = {Fri, 11 Nov 2022 13:14:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarendsenS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BaredsenS93,
author = {Erik Barendsen and
Sjaak Smetsers},
editor = {Hans J{\"{u}}rgen Schneider and
Hartmut Ehrig},
title = {Extending Graph Rewriting with Copying},
booktitle = {Graph Transformations in Computer Science, International Workshop,
Dagstuhl Castle, Germany, January 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {776},
pages = {51--70},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57787-4\_4},
doi = {10.1007/3-540-57787-4\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BaredsenS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SmetsersBEP93,
author = {Sjaak Smetsers and
Erik Barendsen and
Marko C. J. D. van Eekelen and
Marinus J. Plasmeijer},
editor = {Hans J{\"{u}}rgen Schneider and
Hartmut Ehrig},
title = {Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness
Information for Graphs},
booktitle = {Graph Transformations in Computer Science, International Workshop,
Dagstuhl Castle, Germany, January 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {776},
pages = {358--379},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57787-4\_23},
doi = {10.1007/3-540-57787-4\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SmetsersBEP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BarendsenS93,
author = {Erik Barendsen and
Sjaak Smetsers},
editor = {R. K. Shyamasundar},
title = {Conventional and Uniqueness Typing in Graph Rewrite Systems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
13th Conference, Bombay, India, December 15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {761},
pages = {41--51},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57529-4\_42},
doi = {10.1007/3-540-57529-4\_42},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BarendsenS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Barendsen91,
author = {Erik Barendsen},
title = {An Unsolvable Numeral System in lambda Calculus},
journal = {J. Funct. Program.},
volume = {1},
number = {3},
pages = {367--372},
year = {1991},
url = {https://doi.org/10.1017/S0956796800000149},
doi = {10.1017/S0956796800000149},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Barendsen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-22 19:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
