BibTeX records: Erik Barendsen

download as .bib file

@inproceedings{DBLP:conf/issep/RahimiHHB18,
  author    = {Ebrahim Rahimi and
               Ineke Henze and
               Felienne Hermans and
               Erik Barendsen},
  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},
  pages     = {180--193},
  year      = {2018},
  crossref  = {DBLP:conf/issep/2018},
  url       = {https://doi.org/10.1007/978-3-030-02750-6\_14},
  doi       = {10.1007/978-3-030-02750-6\_14},
  timestamp = {Thu, 11 Oct 2018 14:18:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issep/RahimiHHB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/GrgurinaTB18,
  author    = {Natasa Grgurina and
               Jos Tolboom and
               Erik Barendsen},
  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},
  pages     = {271--282},
  year      = {2018},
  crossref  = {DBLP:conf/issep/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 14:18:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issep/GrgurinaTB18},
  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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/kolicalling/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/bib/conf/kolicalling/MarcellisBM18},
  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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/sigcse/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/bib/conf/sigcse/BenvenutiBVV18},
  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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/wipsce/2018},
  url       = {https://doi.org/10.1145/3265757.3265764},
  doi       = {10.1145/3265757.3265764},
  timestamp = {Wed, 21 Nov 2018 12:44:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wipsce/GrgurinaBSZV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/RahimiBH18,
  author    = {Ebrahim Rahimi and
               Erik Barendsen and
               Ineke Henze},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/wipsce/2018},
  url       = {https://doi.org/10.1145/3265757.3265768},
  doi       = {10.1145/3265757.3265768},
  timestamp = {Wed, 21 Nov 2018 12:44:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wipsce/RahimiBH18},
  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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/wipsce/2018},
  url       = {https://doi.org/10.1145/3265757.3265772},
  doi       = {10.1145/3265757.3265772},
  timestamp = {Wed, 21 Nov 2018 12:44:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wipsce/Nijenhuis-Voogt18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/WilmontHB17,
  author    = {Ilona Wilmont and
               Stijn Hoppenbrouwers and
               Erik Barendsen},
  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},
  pages     = {59--71},
  year      = {2017},
  crossref  = {DBLP:conf/caise/2017w},
  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/bib/conf/caise/WilmontHB17},
  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},
  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},
  pages     = {65--76},
  year      = {2017},
  crossref  = {DBLP:conf/issep/2017},
  url       = {https://doi.org/10.1007/978-3-319-71483-7\_6},
  doi       = {10.1007/978-3-319-71483-7\_6},
  timestamp = {Wed, 22 Nov 2017 13:55:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issep/GrgurinaBSVZ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/RahimiBH17,
  author    = {Ebrahim Rahimi and
               Erik Barendsen and
               Ineke Henze},
  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},
  pages     = {155--168},
  year      = {2017},
  crossref  = {DBLP:conf/issep/2017},
  url       = {https://doi.org/10.1007/978-3-319-71483-7\_13},
  doi       = {10.1007/978-3-319-71483-7\_13},
  timestamp = {Wed, 22 Nov 2017 13:55:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issep/RahimiBH17},
  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/bib/conf/wipsce/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/BarendsenS16,
  author    = {Erik Barendsen and
               Tim Steenvoorden},
  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},
  pages     = {14--27},
  year      = {2016},
  crossref  = {DBLP:conf/issep/2016},
  url       = {https://doi.org/10.1007/978-3-319-46747-4\_2},
  doi       = {10.1007/978-3-319-46747-4\_2},
  timestamp = {Sat, 16 Sep 2017 12:07:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issep/BarendsenS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/RahimiBH16,
  author    = {Ebrahim Rahimi and
               Erik Barendsen and
               Ineke Henze},
  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},
  pages     = {65--77},
  year      = {2016},
  crossref  = {DBLP:conf/issep/2016},
  url       = {https://doi.org/10.1007/978-3-319-46747-4\_6},
  doi       = {10.1007/978-3-319-46747-4\_6},
  timestamp = {Sat, 16 Sep 2017 12:07:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issep/RahimiBH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/BarendsenGT16,
  author    = {Erik Barendsen and
               Natasa Grgurina and
               Jos Tolboom},
  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},
  pages     = {105--117},
  year      = {2016},
  crossref  = {DBLP:conf/issep/2016},
  url       = {https://doi.org/10.1007/978-3-319-46747-4\_9},
  doi       = {10.1007/978-3-319-46747-4\_9},
  timestamp = {Sat, 16 Sep 2017 12:07:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issep/BarendsenGT16},
  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},
  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},
  pages     = {130--141},
  year      = {2016},
  crossref  = {DBLP:conf/issep/2016},
  url       = {https://doi.org/10.1007/978-3-319-46747-4\_11},
  doi       = {10.1007/978-3-319-46747-4\_11},
  timestamp = {Sat, 16 Sep 2017 12:07:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issep/GrgurinaBZVS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/StuurmanPB16,
  author    = {Sylvia Stuurman and
               Harrie Passier and
               Erik Barendsen},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/kolicalling/2016},
  url       = {http://dl.acm.org/citation.cfm?id=2999559},
  timestamp = {Tue, 06 Nov 2018 16:58:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kolicalling/StuurmanPB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/StegemanBS16,
  author    = {Martijn Stegeman and
               Erik Barendsen and
               Sjaak Smetsers},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/kolicalling/2016},
  url       = {http://dl.acm.org/citation.cfm?id=2999555},
  timestamp = {Tue, 06 Nov 2018 16:58:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kolicalling/StegemanBS16},
  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/bib/conf/wipsce/2016},
  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},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/iticse/2015wgr},
  url       = {https://doi.org/10.1145/2858796.2858800},
  doi       = {10.1145/2858796.2858800},
  timestamp = {Tue, 06 Nov 2018 11:07:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/BarendsenMDGIMS15},
  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},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/wipsce/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/bib/conf/wipsce/GrgurinaBVSZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/StegemanBS14,
  author    = {Martijn Stegeman and
               Erik Barendsen and
               Sjaak Smetsers},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/kolicalling/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/bib/conf/kolicalling/StegemanBS14},
  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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/kolicalling/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/bib/conf/kolicalling/GrgurinaBZVS14},
  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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/wipsce/2014},
  url       = {https://doi.org/10.1145/2670757.2670761},
  doi       = {10.1145/2670757.2670761},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wipsce/GrgurinaBZVS14},
  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/bib/conf/cserc/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SmetsersB13,
  author    = {Sjaak Smetsers and
               Erik Barendsen},
  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},
  pages     = {47--59},
  year      = {2013},
  crossref  = {DBLP:conf/birthday/2013plasmeijer},
  url       = {https://doi.org/10.1007/978-3-642-40355-2\_5},
  doi       = {10.1007/978-3-642-40355-2\_5},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/SmetsersB13},
  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},
  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},
  pages     = {74--87},
  year      = {2013},
  crossref  = {DBLP:conf/er/2013},
  url       = {https://doi.org/10.1007/978-3-642-41924-9\_7},
  doi       = {10.1007/978-3-642-41924-9\_7},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/er/WilmontHBH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/BarendsenS13,
  author    = {Erik Barendsen and
               Idzard Stoker},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/kolicalling/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/bib/conf/kolicalling/BarendsenS13},
  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},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/wipsce/2013},
  url       = {https://doi.org/10.1145/2532748.2532768},
  doi       = {10.1145/2532748.2532768},
  timestamp = {Tue, 06 Nov 2018 16:59:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wipsce/GrgurinaBZGS13},
  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/bib/conf/cserc/2013},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/hicss/2012},
  url       = {https://doi.org/10.1109/HICSS.2012.88},
  doi       = {10.1109/HICSS.2012.88},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hicss/WilmontBHH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip8-1/WilmontBH12,
  author    = {Ilona Wilmont and
               Erik Barendsen and
               Stijn Hoppenbrouwers},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/ifip8-1/2012s},
  url       = {http://ceur-ws.org/Vol-933/pap2.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip8-1/WilmontBH12},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/hicss/2009},
  url       = {https://doi.org/10.1109/HICSS.2009.266},
  doi       = {10.1109/HICSS.2009.266},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hicss/OyoWB09},
  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. Reasoning},
  volume    = {28},
  number    = {3},
  pages     = {321--336},
  year      = {2002},
  url       = {https://doi.org/10.1023/A:1015761529444},
  doi       = {10.1023/A:1015761529444},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/BarendregtB02},
  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   = {Mathematical Structures in Computer Science},
  volume    = {9},
  number    = {4},
  pages     = {335--359},
  year      = {1999},
  url       = {http://journals.cambridge.org/action/displayAbstract?aid=44837},
  timestamp = {Fri, 10 Jun 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/GeuversB99},
  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. Logic},
  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 = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/apal/BarendsenB96},
  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   = {Mathematical Structures in Computer Science},
  volume    = {6},
  number    = {6},
  pages     = {579--612},
  year      = {1996},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/BarendsenS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BarendsenS95,
  author    = {Erik Barendsen and
               Sjaak Smetsers},
  title     = {A derivation system for uniqueness typing},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {2},
  pages     = {11--18},
  year      = {1995},
  url       = {https://doi.org/10.1016/S1571-0661(05)80175-6},
  doi       = {10.1016/S1571-0661(05)80175-6},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BarendsenS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/BarendsenS95,
  author    = {Erik Barendsen and
               Sjaak Smetsers},
  title     = {Uniqueness Typing in Natural Deduction Style},
  booktitle = {Functional Programming, Glasgow, UK, 1995},
  pages     = {1},
  year      = {1995},
  crossref  = {DBLP:conf/fp/1995},
  timestamp = {Tue, 19 Jun 2018 20:15:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fp/BarendsenS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BarendsenS95,
  author    = {Erik Barendsen and
               Sjaak Smetsers},
  title     = {Uniqueness Type Inference},
  booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International
               Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
               Proceedings},
  pages     = {189--206},
  year      = {1995},
  crossref  = {DBLP:conf/plilp/95},
  url       = {https://doi.org/10.1007/BFb0026821},
  doi       = {10.1007/BFb0026821},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/plilp/BarendsenS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BaredsenS93,
  author    = {Erik Barendsen and
               Sjaak Smetsers},
  title     = {Extending Graph Rewriting with Copying},
  booktitle = {Graph Transformations in Computer Science, International Workshop,
               Dagstuhl Castle, Germany, January 1993, Proceedings},
  pages     = {51--70},
  year      = {1993},
  crossref  = {DBLP:conf/dagstuhl/1993gtcs},
  url       = {https://doi.org/10.1007/3-540-57787-4\_4},
  doi       = {10.1007/3-540-57787-4\_4},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/BaredsenS93},
  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},
  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},
  pages     = {358--379},
  year      = {1993},
  crossref  = {DBLP:conf/dagstuhl/1993gtcs},
  url       = {https://doi.org/10.1007/3-540-57787-4\_23},
  doi       = {10.1007/3-540-57787-4\_23},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/SmetsersBEP93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BarendsenS93,
  author    = {Erik Barendsen and
               Sjaak Smetsers},
  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},
  pages     = {41--51},
  year      = {1993},
  crossref  = {DBLP:conf/fsttcs/1993},
  url       = {https://doi.org/10.1007/3-540-57529-4\_42},
  doi       = {10.1007/3-540-57529-4\_42},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/BarendsenS93},
  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/bib/journals/jfp/Barendsen91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issep/2018,
  editor    = {Sergei N. Pozdniakov and
               Valentina Dagiene},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-02750-6},
  doi       = {10.1007/978-3-030-02750-6},
  isbn      = {978-3-030-02749-0},
  timestamp = {Thu, 11 Oct 2018 14:18:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issep/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kolicalling/2018,
  editor    = {Mike Joy and
               Petri Ihantola},
  title     = {Proceedings of the 18th Koli Calling International Conference on Computing
               Education Research, Koli, Finland, November 22-25, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3279720},
  doi       = {10.1145/3279720},
  isbn      = {978-1-4503-6535-2},
  timestamp = {Wed, 28 Nov 2018 13:55:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kolicalling/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcse/2018,
  editor    = {Tiffany Barnes and
               Daniel D. Garcia and
               Elizabeth K. Hawthorne and
               Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
  title     = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science
               Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3159450},
  doi       = {10.1145/3159450},
  timestamp = {Tue, 06 Nov 2018 11:07:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wipsce/2018,
  editor    = {Andreas M{\"{u}}hling and
               Quintin I. Cutts},
  title     = {Proceedings of the 13th Workshop in Primary and Secondary Computing
               Education, WiPSCE 2018, Potsdam, Germany, October 04-06, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3265757},
  doi       = {10.1145/3265757},
  timestamp = {Wed, 21 Nov 2018 12:44:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wipsce/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caise/2017w,
  editor    = {Andreas Metzger and
               Anne Persson},
  title     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-60048-2},
  doi       = {10.1007/978-3-319-60048-2},
  isbn      = {978-3-319-60047-5},
  timestamp = {Wed, 28 Jun 2017 14:36:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/2017w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issep/2017,
  editor    = {Valentina Dagiene and
               Arto Hellas},
  title     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-71483-7},
  doi       = {10.1007/978-3-319-71483-7},
  isbn      = {978-3-319-71482-0},
  timestamp = {Wed, 22 Nov 2017 13:55:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issep/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issep/2016,
  editor    = {Andrej Brodnik and
               Fran{\c{c}}oise Tort},
  title     = {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},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-46747-4},
  doi       = {10.1007/978-3-319-46747-4},
  isbn      = {978-3-319-46746-7},
  timestamp = {Sat, 16 Sep 2017 12:07:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issep/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kolicalling/2016,
  editor    = {Judy Sheard and
               Calkin Suero Montero},
  title     = {Proceedings of the 16th Koli Calling International Conference on Computing
               Education Research, Koli, Finland, November 24-27, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2999541},
  doi       = {10.1145/2999541},
  isbn      = {978-1-4503-4770-9},
  timestamp = {Tue, 06 Nov 2018 16:58:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kolicalling/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2015wgr,
  editor    = {Noa Ragonis and
               P{\"{a}}ivi Kinnunen},
  title     = {Proceedings of the 2015 ITiCSE Working Group Reports, {ITICSE-WGR}
               2015, Vilnius, Lithuania, July 4-8, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2858796},
  doi       = {10.1145/2858796},
  isbn      = {978-1-4503-4146-2},
  timestamp = {Tue, 06 Nov 2018 11:07:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/2015wgr},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wipsce/2015,
  editor    = {Judith Gal{-}Ezer and
               Sue Sentance and
               Jan Vahrenhold},
  title     = {Proceedings of the Workshop in Primary and Secondary Computing Education,
               WiPSCE 2015, London, United Kingdom, November 9-11, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2818314},
  doi       = {10.1145/2818314},
  isbn      = {978-1-4503-3753-3},
  timestamp = {Tue, 06 Nov 2018 16:59:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wipsce/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kolicalling/2014,
  editor    = {Simon and
               P{\"{a}}ivi Kinnunen},
  title     = {Proceedings of the 14th Koli Calling International Conference on Computing
               Education Research, Koli, Finland, November 20-23, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2674683},
  isbn      = {978-1-4503-3065-7},
  timestamp = {Mon, 10 Nov 2014 13:06:42 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kolicalling/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wipsce/2014,
  editor    = {Carsten Schulte and
               Michael E. Caspersen and
               Judith Gal{-}Ezer},
  title     = {Proceedings of the 9th Workshop in Primary and Secondary Computing
               Education, WiPSCE 2014, Berlin, Germany, November 5-7, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2670757},
  isbn      = {978-1-4503-3250-7},
  timestamp = {Fri, 31 Oct 2014 11:18:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wipsce/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2013plasmeijer,
  editor    = {Peter Achten and
               Pieter W. M. Koopman},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40355-2},
  doi       = {10.1007/978-3-642-40355-2},
  isbn      = {978-3-642-40354-5},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2013plasmeijer},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/er/2013,
  editor    = {Wilfred Ng and
               Veda C. Storey and
               Juan Trujillo},
  title     = {Conceptual Modeling - 32th International Conference, {ER} 2013, Hong-Kong,
               China, November 11-13, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8217},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41924-9},
  doi       = {10.1007/978-3-642-41924-9},
  isbn      = {978-3-642-41923-2},
  timestamp = {Thu, 25 May 2017 00:39:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/er/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kolicalling/2013,
  editor    = {Mikko{-}Jussi Laakso and
               Simon},
  title     = {13th Koli Calling International Conference on Computing Education
               Research, Koli Calling '13, Koli, Finland, November 14-17, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2526968},
  isbn      = {978-1-4503-2482-3},
  timestamp = {Sun, 06 Apr 2014 19:13:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kolicalling/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wipsce/2013,
  editor    = {Michael E. Caspersen and
               Maria Knobelsdorf and
               Ralf Romeike},
  title     = {Proceedings of the 8th Workshop in Primary and Secondary Computing
               Education, WiPSCE '13, Aarhus, Denmark, November 11-13, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2532748},
  doi       = {10.1145/2532748},
  isbn      = {978-1-4503-2455-7},
  timestamp = {Tue, 06 Nov 2018 16:59:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wipsce/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hicss/2012,
  title     = {45th Hawaii International International Conference on Systems Science
               {(HICSS-45} 2012), Proceedings, 4-7 January 2012, Grand Wailea, Maui,
               HI, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6148328},
  isbn      = {978-0-7695-4525-7},
  timestamp = {Wed, 23 Jul 2014 20:34:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hicss/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip8-1/2012s,
  editor    = {Kurt Sandkuhl and
               Ulf Seigerroth and
               Janis Stirna},
  title     = {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       = {http://ceur-ws.org/Vol-933},
  urn       = {urn:nbn:de:0074-933-7},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip8-1/2012s},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hicss/2009,
  title     = {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}},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4755313},
  isbn      = {978-0-7695-3450-3},
  timestamp = {Tue, 05 Apr 2016 11:46:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hicss/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fp/1995,
  editor    = {David N. Turner},
  title     = {Functional Programming, Glasgow, UK, 1995},
  series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1996},
  isbn      = {3-540-14580-X},
  timestamp = {Tue, 19 Jun 2018 20:15:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fp/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/95,
  editor    = {Manuel V. Hermenegildo and
               S. Doaitse Swierstra},
  title     = {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},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/BFb0026808},
  doi       = {10.1007/BFb0026808},
  isbn      = {3-540-60359-X},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/plilp/95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/1993gtcs,
  editor    = {Hans J{\"{u}}rgen Schneider and
               Hartmut Ehrig},
  title     = {Graph Transformations in Computer Science, International Workshop,
               Dagstuhl Castle, Germany, January 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {776},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-57787-4},
  doi       = {10.1007/3-540-57787-4},
  isbn      = {3-540-57787-4},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/1993gtcs},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1993,
  editor    = {R. K. Shyamasundar},
  title     = {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},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-57529-4},
  doi       = {10.1007/3-540-57529-4},
  isbn      = {3-540-57529-4},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier