Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Johan Jeuring
@article{DBLP:journals/bjet/ArztmannAHJK24,
author = {Michaela Arztmann and
Jessica Lizeth Dom{\'{\i}}nguez Alfaro and
Lisette Hornstra and
Johan Jeuring and
Liesbeth Kester},
title = {In-game performance: The role of students' socio-economic status,
self-efficacy and situational interest in an augmented reality game},
journal = {Br. J. Educ. Technol.},
volume = {55},
number = {2},
pages = {484--498},
year = {2024},
url = {https://doi.org/10.1111/bjet.13395},
doi = {10.1111/BJET.13395},
timestamp = {Sun, 14 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bjet/ArztmannAHJK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ace/RoestKJ24,
author = {Lianne Roest and
Hieke Keuning and
Johan Jeuring},
editor = {Nicole Herbert and
Carolyn Seton},
title = {Next-Step Hint Generation for Introductory Programming Using Large
Language Models},
booktitle = {Proceedings of the 26th Australasian Computing Education Conference,
{ACE} 2024, Sydney, NSW, Australia, 29 January 2024- 2 February 2024},
pages = {144--153},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3636243.3636259},
doi = {10.1145/3636243.3636259},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ace/RoestKJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/BorstlerBHJKKMDSTA23,
author = {J{\"{u}}rgen B{\"{o}}rstler and
Kwabena Ebo Bennin and
Sara Hooshangi and
Johan Jeuring and
Hieke Keuning and
Carsten Kleiner and
Bonnie K. MacKellar and
Rodrigo Duran and
Harald St{\"{o}}rrle and
Daniel Toll and
Jelle van Assema},
title = {Developers talking about code quality},
journal = {Empir. Softw. Eng.},
volume = {28},
number = {6},
pages = {128},
year = {2023},
url = {https://doi.org/10.1007/s10664-023-10381-0},
doi = {10.1007/S10664-023-10381-0},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/BorstlerBHJKKMDSTA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsg/BellottiHGJMNVWB23,
author = {Francesco Bellotti and
Jannicke Baalsrud Hauge and
Manuel Gentile and
Johan Jeuring and
Iza Marfisi{-}Schottman and
Manuel Ninaus and
Remco C. Veltkamp and
Vanissa Wanick and
Riccardo Berta},
title = {Alessandro De Gloria: 1955 - 2023},
journal = {Int. J. Serious Games},
volume = {10},
number = {1},
year = {2023},
url = {https://doi.org/10.17083/ijsg.v10i1.612},
doi = {10.17083/IJSG.V10I1.612},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsg/BellottiHGJMNVWB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/LubbeBBVJ23,
author = {Laura M. van der Lubbe and
Sylvia P. van Borkulo and
Peter B. J. Boon and
W. P. G. van Velthoven and
Johan Jeuring},
editor = {Jelena Jovanovic and
Irene{-}Angelica Chounta and
James Uhomoibhi and
Bruce M. McLaren},
title = {Bridging the Computer Science Teacher Shortage with a Digital Learning
Platform},
booktitle = {Proceedings of the 15th International Conference on Computer Supported
Education, {CSEDU} 2023, Volume 1, Prague - Czech Republic, April
21-23, 2023},
pages = {289--296},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011971900003470},
doi = {10.5220/0011971900003470},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csedu/LubbeBBVJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/Jeuring23,
author = {Johan Jeuring},
editor = {Ren{\'{e}} R{\"{o}}pke and
Ulrik Schroeder},
title = {Automatic feedback and hints on steps students take when learning
how to program},
booktitle = {{DELFI} 2023, Die 21. Fachtagung Bildungstechnologien der Gesellschaft
f{\"{u}}r Informatik e.V., 11.-13. September 2023, Aachen},
series = {{LNI}},
volume = {{P-338}},
pages = {2},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://doi.org/10.18420/delfi2023-02},
doi = {10.18420/DELFI2023-02},
timestamp = {Wed, 18 Oct 2023 15:31:18 +0200},
biburl = {https://dblp.org/rec/conf/delfi/Jeuring23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/KeuningJH23,
author = {Hieke Keuning and
Johan Jeuring and
Bastiaan Heeren},
editor = {Mikko{-}Jussi Laakso and
Mattia Monga and
Simon and
Judithe Sheard},
title = {A Systematic Mapping Study of Code Quality in Education},
booktitle = {Proceedings of the 2023 Conference on Innovation and Technology in
Computer Science Education V. 1, ITiCSE 2023, Turku, Finland, July
7-12, 2023},
pages = {5--11},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3587102.3588777},
doi = {10.1145/3587102.3588777},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/KeuningJH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/OliveiraKJ23,
author = {Eduardo Oliveira and
Hieke Keuning and
Johan Jeuring},
editor = {Mikko{-}Jussi Laakso and
Mattia Monga and
Simon and
Judithe Sheard},
title = {Student Code Refactoring Misconceptions},
booktitle = {Proceedings of the 2023 Conference on Innovation and Technology in
Computer Science Education V. 1, ITiCSE 2023, Turku, Finland, July
7-12, 2023},
pages = {19--25},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3587102.3588840},
doi = {10.1145/3587102.3588840},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/OliveiraKJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/JeuringGK23,
author = {Johan Jeuring and
Roel Groot and
Hieke Keuning},
editor = {Andreas M{\"{u}}hling and
Ilkka Jormanainen},
title = {What Skills Do You Need When Developing Software Using ChatGPT? (Discussion
Paper)},
booktitle = {Proceedings of the 23rd Koli Calling International Conference on Computing
Education Research, Koli Calling 2023, Koli, Finland, November 13-18,
2023},
pages = {38:1--38:6},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3631802.3631807},
doi = {10.1145/3631802.3631807},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/JeuringGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/MullenersJH23,
author = {Niek Mulleners and
Johan Jeuring and
Bastiaan Heeren},
editor = {Michael Hanus and
Daniela Inclezan},
title = {Program Synthesis Using Example Propagation},
booktitle = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13880},
pages = {20--36},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24841-2\_2},
doi = {10.1007/978-3-031-24841-2\_2},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/MullenersJH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-13451,
author = {Hieke Keuning and
Johan Jeuring and
Bastiaan Heeren},
title = {A Systematic Mapping Study of Code Quality in Education - with Complete
Bibliography},
journal = {CoRR},
volume = {abs/2304.13451},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.13451},
doi = {10.48550/ARXIV.2304.13451},
eprinttype = {arXiv},
eprint = {2304.13451},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-13451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-05998,
author = {Johan Jeuring and
Roel Groot and
Hieke Keuning},
title = {What Skills Do You Need When Developing Software Using ChatGPT? (Discussion
Paper)},
journal = {CoRR},
volume = {abs/2310.05998},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.05998},
doi = {10.48550/ARXIV.2310.05998},
eprinttype = {arXiv},
eprint = {2310.05998},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-05998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-10055,
author = {Lianne Roest and
Hieke Keuning and
Johan Jeuring},
title = {Next-Step Hint Generation for Introductory Programming Using Large
Language Models},
journal = {CoRR},
volume = {abs/2312.10055},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.10055},
doi = {10.48550/ARXIV.2312.10055},
eprinttype = {arXiv},
eprint = {2312.10055},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-10055.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/JeuringKMBIKLLP22,
author = {Johan Jeuring and
Hieke Keuning and
Samiha Marwan and
Dennis J. Bouvier and
Cruz Izu and
Natalie Kiesler and
Teemu Lehtinen and
Dominic Lohr and
Andrew Petersen and
Sami Sarsa},
editor = {Brett A. Becker and
Keith Quille and
Mikko{-}Jussi Laakso and
Erik Barendsen},
title = {Towards Giving Timely Formative Feedback and Hints to Novice Programmers},
booktitle = {Proceedings of the 2022 Working Group Reports on Innovation and Technology
in Computer Science Education, ITiCSE-WGR 2022, Dublin, Ireland, July
8-13, 2022},
pages = {95--115},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3571785.3574124},
doi = {10.1145/3571785.3574124},
timestamp = {Tue, 05 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/JeuringKMBIKLLP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/JeuringKMBIKLL022,
author = {Johan Jeuring and
Hieke Keuning and
Samiha Marwan and
Dennis J. Bouvier and
Cruz Izu and
Natalie Kiesler and
Teemu Lehtinen and
Dominic Lohr and
Andrew Petersen and
Sami Sarsa},
editor = {Brett A. Becker and
Keith Quille and
Mikko{-}Jussi Laakso and
Erik Barendsen and
Simon},
title = {Steps Learners Take when Solving Programming Tasks, and How Learning
Environments (Should) Respond to Them},
booktitle = {ITiCSE 2022: Innovation and Technology in Computer Science Education,
Dublin, Ireland, July 8 - 13, 2022, Volume 2},
pages = {570--571},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3502717.3532168},
doi = {10.1145/3502717.3532168},
timestamp = {Tue, 05 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/JeuringKMBIKLL022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/JongJ22,
author = {Imke de Jong and
Johan Jeuring},
editor = {Ilkka Jormanainen and
Andrew Petersen},
title = {Developing a Self-efficacy Scale for Computational Thinking {(CT-SES)}},
booktitle = {Koli Calling '22: 22nd Koli Calling International Conference on Computing
Education Research, Koli 2022, Koli, Finland, November 17-20, 2022},
pages = {28:1--28:2},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3564721.3565954},
doi = {10.1145/3564721.3565954},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/JongJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/JongSJ22,
author = {Imke de Jong and
Bo Sichterman and
Johan Jeuring},
editor = {Ilkka Jormanainen and
Andrew Petersen},
title = {Examining the Use of Computational Thinking Skills When Solving Bebras
Tasks},
booktitle = {Koli Calling '22: 22nd Koli Calling International Conference on Computing
Education Research, Koli 2022, Koli, Finland, November 17-20, 2022},
pages = {31:1--31:2},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3564721.3565957},
doi = {10.1145/3564721.3565957},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/JongSJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-13873,
author = {Niek Mulleners and
Johan Jeuring and
Bastiaan Heeren},
title = {Program Synthesis Using Example Propagation},
journal = {CoRR},
volume = {abs/2210.13873},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.13873},
doi = {10.48550/ARXIV.2210.13873},
eprinttype = {arXiv},
eprint = {2210.13873},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-13873.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedu/LodderHJN21,
author = {Josje Lodder and
Bastiaan Heeren and
Johan Jeuring and
Wendy Neijenhuis},
title = {Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic
Proof Tutor},
journal = {Int. J. Artif. Intell. Educ.},
volume = {31},
number = {1},
pages = {99--133},
year = {2021},
url = {https://doi.org/10.1007/s40593-020-00222-2},
doi = {10.1007/S40593-020-00222-2},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiedu/LodderHJN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcal/TacomaDJ21,
author = {Sietske Tacoma and
Paul Drijvers and
Johan Jeuring},
title = {Combined inner and outer loop feedback in an intelligent tutoring
system for statistics in higher education},
journal = {J. Comput. Assist. Learn.},
volume = {37},
number = {2},
pages = {319--332},
year = {2021},
url = {https://doi.org/10.1111/jcal.12491},
doi = {10.1111/JCAL.12491},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcal/TacomaDJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/KeuningHJ21,
author = {Hieke Keuning and
Bastiaan Heeren and
Johan Jeuring},
editor = {Mark Sherriff and
Laurence D. Merkle and
Pamela A. Cutter and
Alvaro E. Monge and
Judithe Sheard},
title = {A Tutoring System to Learn Code Refactoring},
booktitle = {{SIGCSE} '21: The 52nd {ACM} Technical Symposium on Computer Science
Education, Virtual Event, USA, March 13-20, 2021},
pages = {562--568},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3408877.3432526},
doi = {10.1145/3408877.3432526},
timestamp = {Wed, 07 Apr 2021 16:26:26 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/KeuningHJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/BirdGHHJMMMSSW21,
author = {Richard S. Bird and
Jeremy Gibbons and
Ralf Hinze and
Peter H{\"{o}}fner and
Johan Jeuring and
Lambert G. L. T. Meertens and
Bernhard M{\"{o}}ller and
Carroll Morgan and
Tom Schrijvers and
Wouter Swierstra and
Nicolas Wu},
editor = {Michael Goedicke and
Erich J. Neuhold and
Kai Rannenberg},
title = {Algorithmics},
booktitle = {Advancing Research in Information and Communication Technology - IFIP's
Exciting First 60+ Years, Views from the Technical Committees and
Working Groups},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {600},
pages = {59--98},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81701-5\_3},
doi = {10.1007/978-3-030-81701-5\_3},
timestamp = {Wed, 21 Dec 2022 15:22:06 +0100},
biburl = {https://dblp.org/rec/series/ifip/BirdGHHJMMMSSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedu/TacomaHJD20,
author = {Sietske Tacoma and
Bastiaan Heeren and
Johan Jeuring and
Paul Drijvers},
title = {Intelligent Feedback on Hypothesis Testing},
journal = {Int. J. Artif. Intell. Educ.},
volume = {30},
number = {4},
pages = {616--636},
year = {2020},
url = {https://doi.org/10.1007/s40593-020-00218-y},
doi = {10.1007/S40593-020-00218-Y},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiedu/TacomaHJD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/TacomaGSJD20,
author = {Sietske Tacoma and
Corine Geurts and
Bert Slof and
Johan Jeuring and
Paul Drijvers},
title = {Enhancing learning with inspectable student models: Worth the effort?},
journal = {Comput. Hum. Behav.},
volume = {107},
pages = {106276},
year = {2020},
url = {https://doi.org/10.1016/j.chb.2020.106276},
doi = {10.1016/J.CHB.2020.106276},
timestamp = {Mon, 04 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chb/TacomaGSJD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsg/OverbeekLJ20,
author = {Timo Overbeek and
Raja Lala and
Johan Jeuring},
title = {Scenario smells: signalling potential problems in dialogue scenarios
in a serious game},
journal = {Int. J. Serious Games},
volume = {7},
number = {4},
pages = {51--73},
year = {2020},
url = {https://doi.org/10.17083/ijsg.v7i4.364},
doi = {10.17083/IJSG.V7I4.364},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijsg/OverbeekLJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/KampsHJ20,
author = {Sander Kamps and
Bastiaan Heeren and
Johan Jeuring},
editor = {Tom Schrijvers},
title = {Assessing the quality of evolving Haskell systems by measuring structural
inequality},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020},
pages = {67--79},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3406088.3409014},
doi = {10.1145/3406088.3409014},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/KampsHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/NausJ20,
author = {Nico Naus and
Johan Jeuring},
editor = {Olaf Chitil},
title = {End-user feedback in multi-user workflow systems},
booktitle = {{IFL} 2020: 32nd Symposium on Implementation and Application of Functional
Languages, Virtual Event / Canterbury, UK, September 2-4, 2020},
pages = {23--32},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3462172.3462188},
doi = {10.1145/3462172.3462188},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifl/NausJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/FincherJMDBHHHL20a,
author = {Sally Fincher and
Johan Jeuring and
Craig S. Miller and
Peter Donaldson and
Benedict du Boulay and
Matthias Hauswirth and
Arto Hellas and
Felienne Hermans and
Colleen M. Lewis and
Andreas M{\"{u}}hling and
Janice L. Pearce and
Andrew Petersen},
editor = {Michail N. Giannakos and
Guttorm Sindre and
Andrew Luxton{-}Reilly and
Monica Divitini},
title = {Notional Machines in Computing Education: The Education of Attention},
booktitle = {Proceedings of the Working Group Reports on Innovation and Technology
in Computer Science Education, ITiCSE-WGR 2020, Trondheim, Norway,
June 15-19, 2020},
pages = {21--50},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3437800.3439202},
doi = {10.1145/3437800.3439202},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/FincherJMDBHHHL20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/FincherJMDBHHHL20,
author = {Sally Fincher and
Johan Jeuring and
Craig S. Miller and
Peter Donaldson and
Benedict du Boulay and
Matthias Hauswirth and
Arto Hellas and
Felienne Hermans and
Colleen M. Lewis and
Andreas M{\"{u}}hling and
Janice L. Pearce and
Andrew Petersen},
editor = {Michail N. Giannakos and
Guttorm Sindre and
Andrew Luxton{-}Reilly and
Monica Divitini},
title = {Capturing and Characterising Notional Machines},
booktitle = {Proceedings of the 2020 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June
15-19, 2020},
pages = {502--503},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341525.3394988},
doi = {10.1145/3341525.3394988},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/FincherJMDBHHHL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/KeuningHJ20,
author = {Hieke Keuning and
Bastiaan Heeren and
Johan Jeuring},
editor = {Nick Falkner and
Otto Sepp{\"{a}}l{\"{a}}},
title = {Student Refactoring Behaviour in a Programming Tutor},
booktitle = {Koli Calling '20: 20th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 19-22, 2020},
pages = {4:1--4:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3428029.3428043},
doi = {10.1145/3428029.3428043},
timestamp = {Sat, 21 Oct 2023 10:46:28 +0200},
biburl = {https://dblp.org/rec/conf/kolicalling/KeuningHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/JongJ20,
author = {Imke de Jong and
Johan Jeuring},
editor = {Nick Falkner and
Otto Sepp{\"{a}}l{\"{a}}},
title = {Computational Thinking Interventions in Higher Education: {A} Scoping
Literature Review of Interventions Used to Teach Computational Thinking},
booktitle = {Koli Calling '20: 20th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 19-22, 2020},
pages = {35:1--35:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3428029.3428055},
doi = {10.1145/3428029.3428055},
timestamp = {Mon, 30 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/JongJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-07510,
author = {Niek Mulleners and
Johan Jeuring and
Bastiaan Heeren},
title = {Model-Driven Synthesis for Programming Tutors},
journal = {CoRR},
volume = {abs/2011.07510},
year = {2020},
url = {https://arxiv.org/abs/2011.07510},
eprinttype = {arXiv},
eprint = {2011.07510},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-07510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcal/LodderHJ19,
author = {Josje Lodder and
Bastiaan Heeren and
Johan Jeuring},
title = {A comparison of elaborated and restricted feedback in LogEx, a tool
for teaching rewriting logical formulae},
journal = {J. Comput. Assist. Learn.},
volume = {35},
number = {5},
pages = {620--632},
year = {2019},
url = {https://doi.org/10.1111/jcal.12365},
doi = {10.1111/JCAL.12365},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcal/LodderHJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jeric/KeuningJH19,
author = {Hieke Keuning and
Johan Jeuring and
Bastiaan Heeren},
title = {A Systematic Literature Review of Automated Feedback Generation for
Programming Exercises},
journal = {{ACM} Trans. Comput. Educ.},
volume = {19},
number = {1},
pages = {3:1--3:43},
year = {2019},
url = {https://doi.org/10.1145/3231711},
doi = {10.1145/3231711},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jeric/KeuningJH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aied/RusetiLGDJG19,
author = {Stefan Ruseti and
Raja Lala and
Gabriel Gutu{-}Robu and
Mihai Dascalu and
Johan Jeuring and
Marcell van Geest},
editor = {Seiji Isotani and
Eva Mill{\'{a}}n and
Amy Ogan and
Peter M. Hastings and
Bruce M. McLaren and
Rose Luckin},
title = {Semantic Matching of Open Texts to Pre-scripted Answers in Dialogue-Based
Learning},
booktitle = {Artificial Intelligence in Education - 20th International Conference,
{AIED} 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11626},
pages = {242--246},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23207-8\_45},
doi = {10.1007/978-3-030-23207-8\_45},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aied/RusetiLGDJG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aied/TacomaHJD19,
author = {Sietske Tacoma and
Bastiaan Heeren and
Johan Jeuring and
Paul Drijvers},
editor = {Seiji Isotani and
Eva Mill{\'{a}}n and
Amy Ogan and
Peter M. Hastings and
Bruce M. McLaren and
Rose Luckin},
title = {Automated Feedback on the Structure of Hypothesis Tests},
booktitle = {Artificial Intelligence in Education - 20th International Conference,
{AIED} 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11626},
pages = {281--285},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23207-8\_52},
doi = {10.1007/978-3-030-23207-8\_52},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aied/TacomaHJD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/ConstantinLFAPN19,
author = {Aurora Constantin and
Catherine Lai and
Elaine Farrow and
Beatrice Alex and
Ruth Pel{-}Littel and
Henk Herman Nap and
Johan Jeuring},
editor = {Regan L. Mandryk and
Stephen A. Brewster and
Mark Hancock and
Geraldine Fitzpatrick and
Anna L. Cox and
Vassilis Kostakos and
Mark Perry},
title = {"Why is the Doctor a Man": Reactions of Older Adults to
a Virtual Training Doctor},
booktitle = {Extended Abstracts of the 2019 {CHI} Conference on Human Factors in
Computing Systems, {CHI} 2019, Glasgow, Scotland, UK, May 04-09, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3290607.3312811},
doi = {10.1145/3290607.3312811},
timestamp = {Mon, 21 Sep 2020 12:42:04 +0200},
biburl = {https://dblp.org/rec/conf/chi/ConstantinLFAPN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscl/LalaGRJDDGH19,
author = {Raja Lala and
Marcell van Geest and
Stefan Ruseti and
Johan Jeuring and
Mihai Dascalu and
Jordy van Dortmont and
Gabriel Gutu{-}Robu and
Michiel Hulsbergen},
editor = {Kristine Lund and
Gerald P. Niccolai and
{\'{E}}lise Lavou{\'{e}} and
Cindy E. Hmelo{-}Silver and
Gahgene Gweon and
Michael Baker},
title = {Enhancing Free-text Interactions in a Communication Skills Learning
Environment},
booktitle = {13th International Conference on Computer Supported Collaborative
Learning, {CSCL} 2019, Lyon, France, June 17-21, 2019},
publisher = {International Society of the Learning Sciences},
year = {2019},
url = {https://repository.isls.org/handle/1/4543},
timestamp = {Tue, 27 Apr 2021 17:12:18 +0200},
biburl = {https://dblp.org/rec/conf/cscl/LalaGRJDDGH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/BentJH19,
author = {Renate van der Bent and
Johan Jeuring and
Bastiaan Heeren},
editor = {Maren Scheffel and
Julien Broisin and
Viktoria Pammer{-}Schindler and
Andri Ioannou and
Jan Schneider},
title = {The Diagnosing Behaviour of Intelligent Tutoring Systems},
booktitle = {Transforming Learning with Meaningful Technologies - 14th European
Conference on Technology Enhanced Learning, {EC-TEL} 2019, Delft,
The Netherlands, September 16-19, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11722},
pages = {112--126},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29736-7\_9},
doi = {10.1007/978-3-030-29736-7\_9},
timestamp = {Sat, 30 Sep 2023 09:39:33 +0200},
biburl = {https://dblp.org/rec/conf/ectel/BentJH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gala/LalaJG19,
author = {Raja Lala and
Johan Jeuring and
Marcell van Geest},
editor = {Antonios Liapis and
Georgios N. Yannakakis and
Manuel Gentile and
Manuel Ninaus},
title = {Scaffolding Open Text Input in a Scripted Communication Skills Learning
Environment},
booktitle = {Games and Learning Alliance - 8th International Conference, {GALA}
2019, Athens, Greece, November 27-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11899},
pages = {169--179},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34350-7\_17},
doi = {10.1007/978-3-030-34350-7\_17},
timestamp = {Wed, 20 Nov 2019 16:55:09 +0100},
biburl = {https://dblp.org/rec/conf/gala/LalaJG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gala/LalaCJ19,
author = {Raja Lala and
Gemma Corbalan and
Johan Jeuring},
editor = {Antonios Liapis and
Georgios N. Yannakakis and
Manuel Gentile and
Manuel Ninaus},
title = {Evaluation of Interventions in Blended Learning Using a Communication
Skills Serious Game},
booktitle = {Games and Learning Alliance - 8th International Conference, {GALA}
2019, Athens, Greece, November 27-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11899},
pages = {322--331},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34350-7\_31},
doi = {10.1007/978-3-030-34350-7\_31},
timestamp = {Wed, 20 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gala/LalaCJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/KeuningHJ19,
author = {Hieke Keuning and
Bastiaan Heeren and
Johan Jeuring},
editor = {Bruce Scharlau and
Roger McDermott and
Arnold Pears and
Mihaela Sabin},
title = {How Teachers Would Help Students to Improve Their Code},
booktitle = {Proceedings of the 2019 {ACM} Conference on Innovation and Technology
in Computer Science Education, Aberdeen, Scotland, UK, July 15-17,
2019},
pages = {119--125},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3304221.3319780},
doi = {10.1145/3304221.3319780},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/KeuningHJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2002-12552,
author = {Josje Lodder and
Bastiaan Heeren and
Johan Jeuring},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Providing Hints, Next Steps and Feedback in a Tutoring System for
Structural Induction},
booktitle = {Proceedings 8th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August
2019},
series = {{EPTCS}},
volume = {313},
pages = {17--34},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.313.2},
doi = {10.4204/EPTCS.313.2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12552.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/HeerenJSDBTKWGC18,
author = {Bastiaan Heeren and
Johan Jeuring and
Sergey A. Sosnovsky and
Paul Drijvers and
Peter B. J. Boon and
Sietske Tacoma and
Jesse Koops and
Armin Weinberger and
Brigitte Grugeon{-}Allys and
Fran{\c{c}}oise Chenevotot{-}Quentin and
Jorn van Wijk and
Ferdinand van Walree},
editor = {Viktoria Pammer{-}Schindler and
Mar P{\'{e}}rez{-}Sanagust{\'{\i}}n and
Hendrik Drachsler and
Raymond Elferink and
Maren Scheffel},
title = {Fine-Grained Cognitive Assessment Based on Free-Form Input for Math
Story Problems},
booktitle = {Lifelong Technology-Enhanced Learning - 13th European Conference on
Technology Enhanced Learning, {EC-TEL} 2018, Leeds, UK, September
3-5, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11082},
pages = {262--276},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98572-5\_20},
doi = {10.1007/978-3-319-98572-5\_20},
timestamp = {Mon, 28 Aug 2023 21:17:28 +0200},
biburl = {https://dblp.org/rec/conf/ectel/HeerenJSDBTKWGC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euspn/Pel-LittelZSNJ18,
author = {Ruth Pel{-}Littel and
Henk van Zeijts and
Nadine Schram and
Henk Herman Nap and
Johan Jeuring},
editor = {Elhadi M. Shakshuki and
Ansar{-}Ul{-}Haque Yasar},
title = {A training simulation for practicing shared decision making for older
patients},
booktitle = {The 9th International Conference on Emerging Ubiquitous Systems and
Pervasive Networks {(EUSPN} 2018) / The 8th International Conference
on Current and Future Trends of Information and Communication Technologies
in Healthcare {(ICTH-2018)} / Affiliated Workshops, November 5-8,
2018, Leuven, Belgium},
series = {Procedia Computer Science},
volume = {141},
pages = {287--293},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.procs.2018.10.198},
doi = {10.1016/J.PROCS.2018.10.198},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euspn/Pel-LittelZSNJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lats/BuwaldaJN18,
author = {Milo Buwalda and
Johan Jeuring and
Nico Naus},
editor = {Rose Luckin and
Scott R. Klemmer and
Kenneth R. Koedinger},
title = {Use expert knowledge instead of data: generating hints for hour of
code exercises},
booktitle = {Proceedings of the Fifth Annual {ACM} Conference on Learning at Scale,
London, UK, June 26-28, 2018},
pages = {32:1--32:4},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3231644.3231690},
doi = {10.1145/3231644.3231690},
timestamp = {Sat, 11 Sep 2021 23:19:16 +0200},
biburl = {https://dblp.org/rec/conf/lats/BuwaldaJN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedu/GerdesHJB17,
author = {Alex Gerdes and
Bastiaan Heeren and
Johan Jeuring and
L. Thomas van Binsbergen},
title = {Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated
Feedback},
journal = {Int. J. Artif. Intell. Educ.},
volume = {27},
number = {1},
pages = {65--100},
year = {2017},
url = {https://doi.org/10.1007/s40593-015-0080-x},
doi = {10.1007/S40593-015-0080-X},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiedu/GerdesHJB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsg/BottinoJ17,
author = {Rosa Maria Bottino and
Johan Jeuring},
title = {Guest editorial},
journal = {Int. J. Serious Games},
volume = {4},
number = {3},
year = {2017},
url = {https://doi.org/10.17083/ijsg.v4i3.215},
doi = {10.17083/IJSG.V4I3.215},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijsg/BottinoJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aied/HeerenJ17,
author = {Bastiaan Heeren and
Johan Jeuring},
editor = {Elisabeth Andr{\'{e}} and
Ryan S. Baker and
Xiangen Hu and
Ma. Mercedes T. Rodrigo and
Benedict du Boulay},
title = {An Extensible Domain-Specific Language for Describing Problem-Solving
Procedures},
booktitle = {Artificial Intelligence in Education - 18th International Conference,
{AIED} 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10331},
pages = {77--89},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61425-0\_7},
doi = {10.1007/978-3-319-61425-0\_7},
timestamp = {Sat, 30 Sep 2023 09:33:58 +0200},
biburl = {https://dblp.org/rec/conf/aied/HeerenJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BorstlerSTADHJK17a,
author = {J{\"{u}}rgen B{\"{o}}rstler and
Harald St{\"{o}}rrle and
Daniel Toll and
Jelle van Assema and
Rodrigo Duran and
Sara Hooshangi and
Johan Jeuring and
Hieke Keuning and
Carsten Kleiner and
Bonnie K. MacKellar},
editor = {Judithe Sheard and
Ari Korhonen},
title = {"I know it when {I} see it" Perceptions of Code Quality:
ITiCSE '17 Working Group Report},
booktitle = {Proceedings of the 2017 ITiCSE Working Group Reports, ITiCSE-WGR 2017,
Bologna, Italy, July 3-5, 2017},
pages = {70--85},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3174781.3174785},
doi = {10.1145/3174781.3174785},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/BorstlerSTADHJK17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/KeuningHJ17,
author = {Hieke Keuning and
Bastiaan Heeren and
Johan Jeuring},
editor = {Renzo Davoli and
Michael Goldweber and
Guido R{\"{o}}{\ss}ling and
Irene Polycarpou},
title = {Code Quality Issues in Student Programs},
booktitle = {Proceedings of the 2017 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCSE 2017, Bologna, Italy, July 3-5,
2017},
pages = {110--115},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3059009.3059061},
doi = {10.1145/3059009.3059061},
timestamp = {Tue, 06 Nov 2018 11:07:09 +0100},
biburl = {https://dblp.org/rec/conf/iticse/KeuningHJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BorstlerSTADHJK17,
author = {J{\"{u}}rgen B{\"{o}}rstler and
Harald St{\"{o}}rrle and
Daniel Toll and
Jelle van Assema and
Rodrigo Duran and
Sara Hooshangi and
Johan Jeuring and
Hieke Keuning and
Carsten Kleiner and
Bonnie K. MacKellar},
editor = {Renzo Davoli and
Michael Goldweber and
Guido R{\"{o}}{\ss}ling and
Irene Polycarpou},
title = {"I know it when {I} see it": Perceptions of Code Quality},
booktitle = {Proceedings of the 2017 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCSE 2017, Bologna, Italy, July 3-5,
2017},
pages = {389},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3059009.3081328},
doi = {10.1145/3059009.3081328},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/BorstlerSTADHJK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/ArendsKHJ17,
author = {Hugo Arends and
Hieke Keuning and
Bastiaan Heeren and
Johan Jeuring},
editor = {Calkin Suero Montero and
Mike Joy},
title = {An intelligent tutor to learn the evaluation of microcontroller {I/O}
programming expressions},
booktitle = {Proceedings of the 17th Koli Calling Conference on Computing Education
Research, Koli, Finland, November 16-19, 2017},
pages = {2--9},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3141880.3141884},
doi = {10.1145/3141880.3141884},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/ArendsKHJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/EsJ17,
author = {Nienke van Es and
Johan Jeuring},
editor = {Calkin Suero Montero and
Mike Joy},
title = {Designing and comparing two scratch-based teaching approaches for
students aged 10-12 years},
booktitle = {Proceedings of the 17th Koli Calling Conference on Computing Education
Research, Koli, Finland, November 16-19, 2017},
pages = {178--182},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3141880.3141883},
doi = {10.1145/3141880.3141883},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/EsJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/LodderHJ17,
author = {Josje Lodder and
Bastiaan Heeren and
Johan Jeuring},
editor = {Michael E. Caspersen and
Stephen H. Edwards and
Tiffany Barnes and
Daniel D. Garcia},
title = {Generating Hints and Feedback for Hilbert-style Axiomatic Proofs},
booktitle = {Proceedings of the 2017 {ACM} {SIGCSE} Technical Symposium on Computer
Science Education, {SIGCSE} 2017, Seattle, WA, USA, March 8-11, 2017},
pages = {387--392},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3017680.3017736},
doi = {10.1145/3017680.3017736},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/LodderHJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/LodderHJ16,
author = {Josje Lodder and
Bastiaan Heeren and
Johan Jeuring},
title = {A Domain Reasoner for Propositional Logic},
journal = {J. Univers. Comput. Sci.},
volume = {22},
number = {8},
pages = {1097--1122},
year = {2016},
url = {http://www.jucs.org/jucs\_22\_8/a\_domain\_reasoner\_for},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/LodderHJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/KeuningJH16,
author = {Hieke Keuning and
Johan Jeuring and
Bastiaan Heeren},
editor = {Alison Clear and
Ernesto Cuadros{-}Vargas and
Janet Carter and
Yv{\'{a}}n T{\'{u}}pac},
title = {Towards a Systematic Review of Automated Feedback Generation for Programming
Exercises},
booktitle = {Proceedings of the 2016 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13,
2016},
pages = {41--46},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2899415.2899422},
doi = {10.1145/2899415.2899422},
timestamp = {Tue, 06 Nov 2018 11:07:10 +0100},
biburl = {https://dblp.org/rec/conf/iticse/KeuningJH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/NausJ16,
author = {Nico Naus and
Johan Jeuring},
editor = {David Van Horn and
John Hughes},
title = {Building a Generic Feedback System for Rule-Based Problems},
booktitle = {Trends in Functional Programming - 17th International Conference,
{TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10447},
pages = {172--191},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-030-14805-8\_10},
doi = {10.1007/978-3-030-14805-8\_10},
timestamp = {Tue, 21 Mar 2023 21:02:23 +0100},
biburl = {https://dblp.org/rec/conf/sfp/NausJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gala/2016,
editor = {Rosa Bottino and
Johan Jeuring and
Remco C. Veltkamp},
title = {Games and Learning Alliance - 5th International Conference, {GALA}
2016, Utrecht, The Netherlands, December 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10056},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50182-6},
doi = {10.1007/978-3-319-50182-6},
isbn = {978-3-319-50181-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gala/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/JeuringM16,
editor = {Johan Jeuring and
Jay McCarthy},
title = {Proceedings of the 4th and 5th International Workshop on Trends in
Functional Programming in Education, {TFPIE} 2016, Sophia-Antipolis,
France, and University of Maryland, College Park, MD, USA, June 2,
2015, and June 7, 2016},
series = {{EPTCS}},
volume = {230},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.230},
doi = {10.4204/EPTCS.230},
timestamp = {Thu, 21 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JeuringM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LeatherJLS15,
author = {Sean Leather and
Johan Jeuring and
Andres L{\"{o}}h and
Bram Schuur},
title = {Type-changing rewriting and semantics-preserving transformation},
journal = {Sci. Comput. Program.},
volume = {112},
pages = {145--169},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.07.009},
doi = {10.1016/J.SCICO.2015.07.009},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/LeatherJLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/JeuringGHHIJMSW15,
author = {Johan Jeuring and
Frans Grosfeld and
Bastiaan Heeren and
Michiel Hulsbergen and
Richta IJntema and
Vincent Jonker and
Nicole Mastenbroek and
Maarten van der Smagt and
Frank Wijmans and
Majanne Wolters and
Henk van Zeijts},
editor = {Gr{\'{a}}inne Conole and
Tomaz Klobucar and
Christoph Rensing and
Johannes Konert and
{\'{E}}lise Lavou{\'{e}}},
title = {Communicate! - {A} Serious Game for Communication Skills -},
booktitle = {Design for Teaching and Learning in a Networked World - 10th European
Conference on Technology Enhanced Learning, {EC-TEL} 2015, Toledo,
Spain, September 15-18, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9307},
pages = {513--517},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24258-3\_49},
doi = {10.1007/978-3-319-24258-3\_49},
timestamp = {Sat, 30 Sep 2023 09:39:33 +0200},
biburl = {https://dblp.org/rec/conf/ectel/JeuringGHHIJMSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gala/SmaleOJG15,
author = {Stephanie de Smale and
Tom Overmans and
Johan Jeuring and
Liesbeth van de Grint},
editor = {Alessandro De Gloria and
Remco C. Veltkamp},
title = {The Effect of Simulations and Games on Learning Objectives in Tertiary
Education: {A} Systematic Review},
booktitle = {Games and Learning Alliance - 4th International Conference, {GALA}
2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9599},
pages = {506--516},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-40216-1\_55},
doi = {10.1007/978-3-319-40216-1\_55},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gala/SmaleOJG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/AlkemadeJ15,
author = {Thijs Alkemade and
Johan Jeuring},
editor = {Manuel Serrano and
Jurriaan Hage},
title = {Type Class Instances for Type-Level Lambdas in Haskell},
booktitle = {Trends in Functional Programming - 16th International Symposium, {TFP}
2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9547},
pages = {60--84},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-39110-6\_4},
doi = {10.1007/978-3-319-39110-6\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/AlkemadeJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LodderHJ15,
author = {Josje Lodder and
Bastiaan Heeren and
Johan Jeuring},
title = {A pilot study of the use of LogEx, lessons learned},
journal = {CoRR},
volume = {abs/1507.03671},
year = {2015},
url = {http://arxiv.org/abs/1507.03671},
eprinttype = {arXiv},
eprint = {1507.03671},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LodderHJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ce/VaessenPJ14,
author = {Bram E. Vaessen and
Frans J. Prins and
Johan Jeuring},
title = {University students' achievement goals and help-seeking strategies
in an intelligent tutoring system},
journal = {Comput. Educ.},
volume = {72},
pages = {196--208},
year = {2014},
url = {https://doi.org/10.1016/j.compedu.2013.11.001},
doi = {10.1016/J.COMPEDU.2013.11.001},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ce/VaessenPJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HeerenJ14,
author = {Bastiaan Heeren and
Johan Jeuring},
title = {Feedback services for stepwise exercises},
journal = {Sci. Comput. Program.},
volume = {88},
pages = {110--129},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.02.021},
doi = {10.1016/J.SCICO.2014.02.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HeerenJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GayoJR14,
author = {Jos{\'{e}} Emilio Labra Gayo and
Johan Jeuring and
Jos{\'{e}} Mar{\'{\i}}a {\'{A}}lvarez Rodr{\'{\i}}guez},
title = {Inductive representations of {RDF} graphs},
journal = {Sci. Comput. Program.},
volume = {95},
pages = {135--146},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.12.011},
doi = {10.1016/J.SCICO.2013.12.011},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GayoJR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/JeuringBGH14,
author = {Johan Jeuring and
L. Thomas van Binsbergen and
Alex Gerdes and
Bastiaan Heeren},
editor = {Erik Barendsen and
Valentina Dagiene},
title = {Model solutions and properties for diagnosing student programs in
Ask-Elle},
booktitle = {Proceedings of the Computer Science Education Research Conference,
{CSERC} 2014, Berlin, Germany, November 5-6, 2014},
pages = {31--40},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2691352.2691355},
doi = {10.1145/2691352.2691355},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cserc/JeuringBGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/KeuningHJ14,
author = {Hieke Keuning and
Bastiaan Heeren and
Johan Jeuring},
editor = {Erik Barendsen and
Valentina Dagiene},
title = {Strategy-based feedback in a programming tutor},
booktitle = {Proceedings of the Computer Science Education Research Conference,
{CSERC} 2014, Berlin, Germany, November 5-6, 2014},
pages = {43--54},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2691352.2691356},
doi = {10.1145/2691352.2691356},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cserc/KeuningHJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LeatherJLS14,
author = {Sean Leather and
Johan Jeuring and
Andres L{\"{o}}h and
Bram Schuur},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Type-changing rewriting and semantics-preserving transformation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {109--120},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543734},
doi = {10.1145/2543728.2543734},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/LeatherJLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/OlmerHJ14,
author = {Tim Olmer and
Bastiaan Heeren and
Johan Jeuring},
editor = {James L. Caldwell and
Philip K. F. H{\"{o}}lzenspies and
Peter Achten},
title = {Evaluating Haskell expressions in a tutoring environment},
booktitle = {Proceedings 3rd International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2014, Soesterberg, The Netherlands, 25th May
2014},
series = {{EPTCS}},
volume = {170},
pages = {50--66},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.170.4},
doi = {10.4204/EPTCS.170.4},
timestamp = {Thu, 25 Feb 2021 14:03:49 +0100},
biburl = {https://dblp.org/rec/journals/corr/OlmerHJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2014,
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136},
doi = {10.1145/2628136},
isbn = {978-1-4503-2873-9},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Jeuring13,
author = {Johan Jeuring},
editor = {Peter Achten and
Pieter W. M. Koopman},
title = {Finding Palindromes: Variants and Algorithms},
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 = {258--272},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40355-2\_18},
doi = {10.1007/978-3-642-40355-2\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Jeuring13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gala/JeuringRP13,
author = {Johan Jeuring and
Rick van Rooij and
Nicolas Pronost},
editor = {Alessandro De Gloria},
title = {The 5/10 Method: {A} Method for Designing Educational Games},
booktitle = {Games and Learning Alliance - Second International Conference, {GALA}
2013, Paris, France, October 23-25, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8605},
pages = {364--369},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12157-4\_30},
doi = {10.1007/978-3-319-12157-4\_30},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/gala/JeuringRP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gkr/GayoJR13,
author = {Jos{\'{e}} Emilio Labra Gayo and
Johan Jeuring and
Jos{\'{e}} Mar{\'{\i}}a {\'{A}}lvarez Rodr{\'{\i}}guez},
editor = {Madalina Croitoru and
Sebastian Rudolph and
Stefan Woltran and
Christophe Gonzales},
title = {Inductive Triple Graphs: {A} Purely Functional Approach to Represent
{RDF}},
booktitle = {Graph Structures for Knowledge Representation and Reasoning - Third
International Workshop, {GKR} 2013, Beijing, China, August 3, 2013.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8323},
pages = {92--110},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04534-4\_7},
doi = {10.1007/978-3-319-04534-4\_7},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gkr/GayoJR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BezirgiannisJL13,
author = {Nikolaos Bezirgiannis and
Johan Jeuring and
Sean Leather},
editor = {Jacques Carette and
Jeremiah Willcock},
title = {Usage of generic programming on hackage: experience report},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
pages = {47--52},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502488.2502494},
doi = {10.1145/2502488.2502494},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BezirgiannisJL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HastjarjantoJL13,
author = {Tom Hastjarjanto and
Johan Jeuring and
Sean Leather},
editor = {Kendra M. L. Cooper and
Walt Scacchi and
Alf Inge Wang},
title = {A {DSL} for describing the artificial intelligence in real-time video
games},
booktitle = {Proceedings of the 3rd International Workshop on Games and Software
Engineering: Engineering Computer Games to Enable Positive, Progressive
Change, {GAS} 2013, San Francisco, CA, USA, May 18, 2013},
pages = {8--14},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/GAS.2013.6632583},
doi = {10.1109/GAS.2013.6632583},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HastjarjantoJL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Andres13,
author = {Eric Andres and
Bastiaan Heeren and
Johan Jeuring},
editor = {Christoph Lange and
David Aspinall and
Jacques Carette and
James H. Davenport and
Andrea Kohlhase and
Michael Kohlhase and
Paul Libbrecht and
Pedro Quaresma and
Florian Rabe and
Petr Sojka and
Iain Whiteside and
Wolfgang Windsteiger},
title = {Towards automatic generation of domain-specific mathematical input
support},
booktitle = {Joint Proceedings of the MathUI, OpenMath, {PLMMS} and ThEdu Workshops
and Work in Progress at CICM, Bath, {UK}},
series = {{CEUR} Workshop Proceedings},
volume = {1010},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1010/paper-10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Andres13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/GerdesHJ12,
author = {Alex Gerdes and
Bastiaan Heeren and
Johan Jeuring},
editor = {Andrew Ravenscroft and
Stefanie N. Lindstaedt and
Carlos Delgado Kloos and
Davinia Hern{\'{a}}ndez Leo},
title = {Teachers and Students in Charge - Using Annotated Model Solutions
in a Functional Programming Tutor},
booktitle = {21st Century Learning for 21st Century Skills - 7th European Conference
of Technology Enhanced Learning, {EC-TEL} 2012, Saarbr{\"{u}}cken,
Germany, September 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7563},
pages = {383--388},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33263-0\_31},
doi = {10.1007/978-3-642-33263-0\_31},
timestamp = {Mon, 28 Aug 2023 21:17:28 +0200},
biburl = {https://dblp.org/rec/conf/ectel/GerdesHJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/JeuringGH12,
author = {Johan Jeuring and
Alex Gerdes and
Bastiaan Heeren},
editor = {Andrew Ravenscroft and
Stefanie N. Lindstaedt and
Carlos Delgado Kloos and
Davinia Hern{\'{a}}ndez Leo},
title = {Ask-Elle: {A} Haskell Tutor - Demonstration},
booktitle = {21st Century Learning for 21st Century Skills - 7th European Conference
of Technology Enhanced Learning, {EC-TEL} 2012, Saarbr{\"{u}}cken,
Germany, September 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7563},
pages = {453--458},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33263-0\_42},
doi = {10.1007/978-3-642-33263-0\_42},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ectel/JeuringGH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/JeuringJA12,
author = {Johan Jeuring and
Patrik Jansson and
Cl{\'{a}}udio Amaral},
editor = {Janis Voigtl{\"{a}}nder},
title = {Testing type class laws},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2012, Copenhagen, Denmark, 13 September 2012},
pages = {49--60},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364506.2364514},
doi = {10.1145/2364506.2364514},
timestamp = {Thu, 24 Jun 2021 16:19:29 +0200},
biburl = {https://dblp.org/rec/conf/haskell/JeuringJA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KeuchelJ12,
author = {Steven Keuchel and
Johan Jeuring},
editor = {Andres L{\"{o}}h and
Ronald Garcia},
title = {Generic conversions of abstract syntax representations},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
pages = {57--68},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364394.2364403},
doi = {10.1145/2364394.2364403},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/KeuchelJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/GerdesJH12,
author = {Alex Gerdes and
Johan Jeuring and
Bastiaan Heeren},
editor = {Tami Lapidot and
Judith Gal{-}Ezer and
Michael E. Caspersen and
Orit Hazzan},
title = {An interactive functional programming tutor},
booktitle = {Annual Conference on Innovation and Technology in Computer Science
Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
pages = {250--255},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2325296.2325356},
doi = {10.1145/2325296.2325356},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/GerdesJH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lak/RoijersJF12,
author = {Diederik M. Roijers and
Johan Jeuring and
Ad Feelders},
editor = {Shane Dawson and
Caroline Haythornthwaite and
Simon Buckingham Shum and
Dragan Gasevic and
Rebecca Ferguson},
title = {Probability estimation and a competence model for rule based e-tutoring
systems},
booktitle = {Second International Conference on Learning Analytics and Knowledge,
{LAK} 2012, Vancouver, BC, Canada, April 29 - May 02, 2012},
pages = {255--258},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2330601.2330663},
doi = {10.1145/2330601.2330663},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lak/RoijersJF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2012,
editor = {Johan Jeuring and
John A. Campbell and
Jacques Carette and
Gabriel Dos Reis and
Petr Sojka and
Makarius Wenzel and
Volker Sorge},
title = {Intelligent Computer Mathematics - 11th International Conference,
{AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop,
{DML} 2012, 11th International Conference, {MKM} 2012, Systems and
Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7362},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31374-5},
doi = {10.1007/978-3-642-31374-5},
isbn = {978-3-642-31373-8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/JeuringGH11,
author = {Johan Jeuring and
Alex Gerdes and
Bastiaan Heeren},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {A Programming Tutor for Haskell},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {1--45},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_1},
doi = {10.1007/978-3-642-32096-5\_1},
timestamp = {Mon, 03 Jan 2022 22:17:59 +0100},
biburl = {https://dblp.org/rec/conf/cefp/JeuringGH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MagalhaesJ11,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Johan Jeuring},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Generic programming for indexed datatypes},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {37--46},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036924},
doi = {10.1145/2036918.2036924},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/MagalhaesJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HeerenJ11,
author = {Bastiaan Heeren and
Johan Jeuring},
editor = {James H. Davenport and
William M. Farmer and
Josef Urban and
Florian Rabe},
title = {Interleaving Strategies},
booktitle = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
18-23, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6824},
pages = {196--211},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22673-1\_14},
doi = {10.1007/978-3-642-22673-1\_14},
timestamp = {Fri, 20 Nov 2020 16:08:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/HeerenJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/NoortYHJHM10,
author = {Thomas van Noort and
Alexey Rodriguez Yakushev and
Stefan Holdermans and
Johan Jeuring and
Bastiaan Heeren and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
title = {A lightweight approach to datatype-generic rewriting},
journal = {J. Funct. Program.},
volume = {20},
number = {3-4},
pages = {375--413},
year = {2010},
url = {https://doi.org/10.1017/S0956796810000183},
doi = {10.1017/S0956796810000183},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/NoortYHJHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/HeerenJG10,
author = {Bastiaan Heeren and
Johan Jeuring and
Alex Gerdes},
title = {Specifying Rewrite Strategies for Interactive Exercises},
journal = {Math. Comput. Sci.},
volume = {3},
number = {3},
pages = {349--370},
year = {2010},
url = {https://doi.org/10.1007/s11786-010-0027-4},
doi = {10.1007/S11786-010-0027-4},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/HeerenJG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HeerenJ10,
author = {Bastiaan Heeren and
Johan Jeuring},
editor = {Serge Autexier and
Jacques Calmet and
David Delahaye and
Patrick D. F. Ion and
Laurence Rideau and
Renaud Rioboo and
Alan P. Sexton},
title = {Adapting Mathematical Domain Reasoners},
booktitle = {Intelligent Computer Mathematics, 10th International Conference, {AISC}
2010, 17th Symposium, Calculemus 2010, and 9th International Conference,
{MKM} 2010, Paris, France, July 5-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6167},
pages = {315--330},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14128-7\_27},
doi = {10.1007/978-3-642-14128-7\_27},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/HeerenJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/MagalhaesDJL10,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Atze Dijkstra and
Johan Jeuring and
Andres L{\"{o}}h},
editor = {Jeremy Gibbons},
title = {A generic deriving mechanism for Haskell},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2010, Baltimore, MD, USA, 30 September 2010},
pages = {37--48},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863523.1863529},
doi = {10.1145/1863523.1863529},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/haskell/MagalhaesDJL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SteenbergenMJ10,
author = {Martijn Van Steenbergen and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Johan Jeuring},
editor = {Bruno C. d. S. Oliveira and
Marcin Zalewski},
title = {Generic selections of subexpressions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
pages = {37--48},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863495.1863501},
doi = {10.1145/1863495.1863501},
timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
biburl = {https://dblp.org/rec/conf/icfp/SteenbergenMJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MagalhaesHJL10,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Stefan Holdermans and
Johan Jeuring and
Andres L{\"{o}}h},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Optimizing generics is easy!},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {33--42},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706366},
doi = {10.1145/1706356.1706366},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/MagalhaesHJL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/GerdesJH10,
author = {Alex Gerdes and
Johan Jeuring and
Bastiaan Heeren},
editor = {Gary Lewandowski and
Steven A. Wolfman and
Thomas J. Cortina and
Ellen Lowenfeld Walker},
title = {Using strategies for assessment of programming exercises},
booktitle = {Proceedings of the 41st {ACM} technical symposium on Computer science
education, {SIGCSE} 2010, Milwaukee, Wisconsin, USA, March 10-13,
2010},
pages = {441--445},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1734263.1734412},
doi = {10.1145/1734263.1734412},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/GerdesJH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-5561,
author = {Alex Gerdes and
Bastiaan Heeren and
Johan Jeuring},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Properties of Exercise Strategies},
booktitle = {Proceedings International Workshop on Strategies in Rewriting, Proving,
and Programming, {IWS} 2010, Edinburgh, UK, 9th July 2010},
series = {{EPTCS}},
volume = {44},
pages = {21--34},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.44.2},
doi = {10.4204/EPTCS.44.2},
timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-5561.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-4762,
author = {Bastiaan Heeren and
Johan Jeuring},
title = {Adapting Mathematical Domain Reasoners},
journal = {CoRR},
volume = {abs/1005.4762},
year = {2010},
url = {http://arxiv.org/abs/1005.4762},
eprinttype = {arXiv},
eprint = {1005.4762},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-4762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/YakushevJ09,
author = {Alexey Rodriguez Yakushev and
Johan Jeuring},
editor = {Ute Schmid and
Emanuel Kitzelmann and
Rinus Plasmeijer},
title = {Enumerating Well-Typed Terms Generically},
booktitle = {Approaches and Applications of Inductive Programming, Third International
Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5812},
pages = {93--116},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11931-6\_5},
doi = {10.1007/978-3-642-11931-6\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/aaip/YakushevJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/GerdesHJ09,
author = {Alex Gerdes and
Bastiaan Heeren and
Johan Jeuring},
editor = {Jos{\'{e}} A. Moinhos Cordeiro and
Boris Shishkov and
Alexander Verbraeck and
Markus Helfert},
title = {Constructing Strategies for Programming},
booktitle = {{CSEDU} 2009 - Proceedings of the First International Conference on
Computer Supported Education, Lisboa, Portugal, March 23-26, 2009
- Volume 1},
pages = {65--72},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Mon, 14 Sep 2009 15:59:09 +0200},
biburl = {https://dblp.org/rec/conf/csedu/GerdesHJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/YakushevHLJ09,
author = {Alexey Rodriguez Yakushev and
Stefan Holdermans and
Andres L{\"{o}}h and
Johan Jeuring},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Generic programming with fixed points for mutually recursive datatypes},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {233--244},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596585},
doi = {10.1145/1596550.1596585},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/YakushevHLJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/LeatherLJ09,
author = {Sean Leather and
Andres L{\"{o}}h and
Johan Jeuring},
editor = {Marco T. Moraz{\'{a}}n and
Sven{-}Bodo Scholz},
title = {Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional
Incrementalization},
booktitle = {Implementation and Application of Functional Languages - 21st International
Symposium, {IFL} 2009, South Orange, NJ, USA, September 23-25, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6041},
pages = {159--178},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-16478-1\_10},
doi = {10.1007/978-3-642-16478-1\_10},
timestamp = {Mon, 05 Feb 2024 20:35:40 +0100},
biburl = {https://dblp.org/rec/conf/ifl/LeatherLJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HeerenJ09,
author = {Bastiaan Heeren and
Johan Jeuring},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Canonical Forms in Interactive Exercise Assistants},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {325--340},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_27},
doi = {10.1007/978-3-642-02614-0\_27},
timestamp = {Sun, 02 Jun 2019 21:17:34 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HeerenJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/JeuringMH09,
author = {Johan Jeuring and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Bastiaan Heeren},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {Generic Programming for Domain Reasoners},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {113--128},
publisher = {Intellect},
year = {2009},
timestamp = {Tue, 04 Jun 2013 08:01:28 +0200},
biburl = {https://dblp.org/rec/conf/sfp/JeuringMH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/JeuringLMY08,
author = {Johan Jeuring and
Sean Leather and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Alexey Rodriguez Yakushev},
editor = {Pieter W. M. Koopman and
Rinus Plasmeijer and
S. Doaitse Swierstra},
title = {Libraries for Generic Programming in Haskell},
booktitle = {Advanced Functional Programming, 6th International School, {AFP} 2008,
Heijen, The Netherlands, May 2008, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {5832},
pages = {165--229},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04652-0\_4},
doi = {10.1007/978-3-642-04652-0\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/afp/JeuringLMY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HeerenJLG08,
author = {Bastiaan Heeren and
Johan Jeuring and
Arthur van Leeuwen and
Alex Gerdes},
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
title = {Specifying Strategies for Exercises},
booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
2008, 15th Symposium, Calculemus 2008, 7th International Conference,
{MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {430--445},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3\_36},
doi = {10.1007/978-3-540-85110-3\_36},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/HeerenJLG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/RodriguezJJGKO08,
author = {Alexey Rodriguez and
Johan Jeuring and
Patrik Jansson and
Alex Gerdes and
Oleg Kiselyov and
Bruno C. d. S. Oliveira},
editor = {Andy Gill},
title = {Comparing libraries for generic programming in haskell},
booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2008, Victoria, BC, Canada, 25 September 2008},
pages = {111--122},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411286.1411301},
doi = {10.1145/1411286.1411301},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/haskell/RodriguezJJGKO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NoortRHJH08,
author = {Thomas van Noort and
Alexey Rodriguez and
Stefan Holdermans and
Johan Jeuring and
Bastiaan Heeren},
editor = {Ralf Hinze and
Don Syme},
title = {A lightweight approach to datatype-generic rewriting},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2008, Victoria, BC, Canada, September 20, 2008},
pages = {13--24},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411318.1411321},
doi = {10.1145/1411318.1411321},
timestamp = {Tue, 15 Feb 2022 13:05:32 +0100},
biburl = {https://dblp.org/rec/conf/icfp/NoortRHJH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DolstraHHHJLLMRS08,
author = {Eelco Dolstra and
Jurriaan Hage and
Bastiaan Heeren and
Stefan Holdermans and
Johan Jeuring and
Andres L{\"{o}}h and
Clara L{\"{o}}h and
Arie Middelkoop and
Alexey Rodriguez and
John van Schie},
editor = {James Hook and
Peter Thiemann},
title = {Report on the tenth {ICFP} programming contest},
booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
20-28, 2008},
pages = {397--408},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411204.1411259},
doi = {10.1145/1411204.1411259},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DolstraHHHJLLMRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeerenJ09,
author = {Bastiaan Heeren and
Johan Jeuring},
editor = {Aart Middeldorp},
title = {Recognizing Strategies},
booktitle = {Proceedings of the 8th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July
14, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {237},
pages = {91--106},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.037},
doi = {10.1016/J.ENTCS.2009.03.037},
timestamp = {Thu, 09 Mar 2023 13:23:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeerenJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AtanassowJ07,
author = {Frank Atanassow and
Johan Jeuring},
title = {Customizing an XML-Haskell data binding with type isomorphism inference
in Generic Haskell},
journal = {Sci. Comput. Program.},
volume = {65},
number = {2},
pages = {72--107},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.01.005},
doi = {10.1016/J.SCICO.2006.01.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AtanassowJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssdgp/2006,
editor = {Roland Carl Backhouse and
Jeremy Gibbons and
Ralf Hinze and
Johan Jeuring},
title = {Datatype-Generic Programming - International Spring School, {SSDGP}
2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {4719},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76786-2},
doi = {10.1007/978-3-540-76786-2},
isbn = {978-3-540-76785-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssdgp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evol/JeuringP06,
author = {Johan Jeuring and
Rinus Plasmeijer},
editor = {Laurence Duchien and
Maja D'Hondt and
Tom Mens},
title = {Generic Programming for Software Evolution},
booktitle = {2nd {ERCIM} Workshop on Software Evolution, {EVOL} 2006, Lille, France,
April 6-7, 2006},
pages = {97--104},
year = {2006},
timestamp = {Thu, 12 Mar 2020 16:17:00 +0100},
biburl = {https://dblp.org/rec/conf/evol/JeuringP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HinzeJL06,
author = {Ralf Hinze and
Johan Jeuring and
Andres L{\"{o}}h},
editor = {Masami Hagiya and
Philip Wadler},
title = {Typed Contracts for Functional Programming},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {208--225},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_15},
doi = {10.1007/11737414\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HinzeJL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/JeuringRS06,
author = {Johan Jeuring and
Alexey Rodriguez and
Gideon Smeding},
editor = {Ralf Hinze},
title = {Generating generic functions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {23--32},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159865},
doi = {10.1145/1159861.1159865},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/JeuringRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/JanssonJCEKMOV06,
author = {Patrik Jansson and
Johan Jeuring and
Laurence Cabenda and
Gerbo Engels and
Jacob Kleerekoper and
Sander Mak and
Michiel Overeem and
Kees Visser},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Andrew Butterfield},
title = {Testing Properties of Generic Functions},
booktitle = {Implementation and Application of Functional Languages, 18th International
Symp osium, {IFL} 2006, Budapest, Hungary, September 4-6, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4449},
pages = {217--234},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74130-5\_13},
doi = {10.1007/978-3-540-74130-5\_13},
timestamp = {Mon, 03 Jan 2022 22:26:06 +0100},
biburl = {https://dblp.org/rec/conf/ifl/JanssonJCEKMOV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HoldermansJLR06,
author = {Stefan Holdermans and
Johan Jeuring and
Andres L{\"{o}}h and
Alexey Rodriguez},
editor = {Tarmo Uustalu},
title = {Generic Views on Data Types},
booktitle = {Mathematics of Program Construction, 8th International Conference,
{MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4014},
pages = {209--234},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783596\_14},
doi = {10.1007/11783596\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/HoldermansJLR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssdgp/HinzeJL06,
author = {Ralf Hinze and
Johan Jeuring and
Andres L{\"{o}}h},
editor = {Roland Carl Backhouse and
Jeremy Gibbons and
Ralf Hinze and
Johan Jeuring},
title = {Comparing Approaches to Generic Programming in Haskell},
booktitle = {Datatype-Generic Programming - International Spring School, {SSDGP}
2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {4719},
pages = {72--149},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-76786-2\_2},
doi = {10.1007/978-3-540-76786-2\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ssdgp/HinzeJL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aied/PassierJ05,
author = {Harrie Passier and
Johan Jeuring},
editor = {Chee{-}Kit Looi and
Gordon I. McCalla and
Bert Bredeweg and
Joost Breuker},
title = {Using Schema Analysis for Feedback in Authoring Tools for Learning
Environments},
booktitle = {Artificial Intelligence in Education - Supporting Learning through
Intelligent and Socially Informed Technology, Proceedings of the 12th
International Conference on Artificial Intelligence in Education,
{AIED} 2005, July 18-22, 2005, Amsterdam, The Netherlands},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {125},
pages = {911--913},
publisher = {{IOS} Press},
year = {2005},
timestamp = {Fri, 13 Feb 2009 12:45:10 +0100},
biburl = {https://dblp.org/rec/conf/aied/PassierJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HinzeJL04,
author = {Ralf Hinze and
Johan Jeuring and
Andres L{\"{o}}h},
title = {Type-indexed data types},
journal = {Sci. Comput. Program.},
volume = {51},
number = {1-2},
pages = {117--151},
year = {2004},
url = {https://doi.org/10.1016/j.scico.2003.07.001},
doi = {10.1016/J.SCICO.2003.07.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HinzeJL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/AtanassowJ04,
author = {Frank Atanassow and
Johan Jeuring},
editor = {Dexter Kozen and
Carron Shankland},
title = {Inferring Type Isomorphisms Generically},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {32--53},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_4},
doi = {10.1007/978-3-540-27764-4\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/AtanassowJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AtanassowCJ04,
author = {Frank Atanassow and
Dave Clarke and
Johan Jeuring},
editor = {Bharat Jayaraman},
title = {{UUXML:} {A} Type-Preserving {XML} Schema-Haskell Data Binding},
booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium,
{PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3057},
pages = {71--85},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24836-1\_6},
doi = {10.1007/978-3-540-24836-1\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/AtanassowCJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/HinzeJ03,
author = {Ralf Hinze and
Johan Jeuring},
editor = {Roland Carl Backhouse and
Jeremy Gibbons},
title = {Generic Haskell: Practice and Theory},
booktitle = {Generic Programming - Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2793},
pages = {1--56},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45191-4\_1},
doi = {10.1007/978-3-540-45191-4\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/HinzeJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/HinzeJ03a,
author = {Ralf Hinze and
Johan Jeuring},
editor = {Roland Carl Backhouse and
Jeremy Gibbons},
title = {Generic Haskell: Applications},
booktitle = {Generic Programming - Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2793},
pages = {57--96},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45191-4\_2},
doi = {10.1007/978-3-540-45191-4\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/HinzeJ03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LohCJ03,
author = {Andres L{\"{o}}h and
Dave Clarke and
Johan Jeuring},
editor = {Colin Runciman and
Olin Shivers},
title = {Dependency-style generic Haskell},
booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
2003},
pages = {141--152},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944705.944719},
doi = {10.1145/944705.944719},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/LohCJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/afp/2002,
editor = {Johan Jeuring and
Simon L. Peyton Jones},
title = {Advanced Functional Programming, 4th International School, {AFP} 2002,
Oxford, UK, August 19-24, 2002, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2638},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b11942},
doi = {10.1007/B11942},
isbn = {3-540-40132-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/afp/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2003,
editor = {Johan Jeuring},
title = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2003,
Uppsala, Sweden, August 28, 2003},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/871895},
doi = {10.1145/871895},
isbn = {978-1-58113-758-3},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip2-1/2002,
editor = {Jeremy Gibbons and
Johan Jeuring},
title = {Generic Programming, {IFIP} {TC2/WG2.1} Working Conference on Generic
Programming, July 11-12, 2002, Dagstuhl, Germany},
series = {{IFIP} Conference Proceedings},
volume = {243},
publisher = {Kluwer},
year = {2003},
isbn = {1-4020-7374-7},
timestamp = {Wed, 26 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip2-1/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JanssonJ02,
author = {Patrik Jansson and
Johan Jeuring},
title = {Polytypic data conversion programs},
journal = {Sci. Comput. Program.},
volume = {43},
number = {1},
pages = {35--75},
year = {2002},
url = {https://doi.org/10.1016/S0167-6423(01)00020-X},
doi = {10.1016/S0167-6423(01)00020-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JanssonJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HinzeJL02,
author = {Ralf Hinze and
Johan Jeuring and
Andres L{\"{o}}h},
editor = {Eerke A. Boiten and
Bernhard M{\"{o}}ller},
title = {Type-Indexed Data Types},
booktitle = {Mathematics of Program Construction, 6th International Conference,
{MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2386},
pages = {148--174},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45442-X\_10},
doi = {10.1007/3-540-45442-X\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/HinzeJL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HinzeJ01,
author = {Ralf Hinze and
Johan Jeuring},
title = {Weaving a web},
journal = {J. Funct. Program.},
volume = {11},
number = {6},
pages = {681--689},
year = {2001},
url = {https://doi.org/10.1017/S0956796801004129},
doi = {10.1017/S0956796801004129},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HinzeJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JanssonJ99,
author = {Patrik Jansson and
Johan Jeuring},
editor = {S. Doaitse Swierstra},
title = {Polytypic Compact Printing and Parsing},
booktitle = {Programming Languages and Systems, 8th European Symposium on Programming,
ESOP'99, Held as Part of the European Joint Conferences on the Theory
and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28
March, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1576},
pages = {273--287},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49099-X\_18},
doi = {10.1007/3-540-49099-X\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/JanssonJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JanssonJ98,
author = {Patrik Jansson and
Johan Jeuring},
title = {Polytypic Unification},
journal = {J. Funct. Program.},
volume = {8},
number = {5},
pages = {527--536},
year = {1998},
url = {https://doi.org/10.1017/s095679689800313x},
doi = {10.1017/S095679689800313X},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/JanssonJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/BackhouseJJM98,
author = {Roland Carl Backhouse and
Patrik Jansson and
Johan Jeuring and
Lambert G. L. T. Meertens},
editor = {S. Doaitse Swierstra and
Pedro Rangel Henriques and
Jos{\'{e}} Nuno Oliveira},
title = {Generic Programming: An Introduction},
booktitle = {Advanced Functional Programming, Third International School, Braga,
Portugal, September 12-19, 1998, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1608},
pages = {28--115},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10704973\_2},
doi = {10.1007/10704973\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/BackhouseJJM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/1998,
editor = {Johan Jeuring},
title = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054279},
doi = {10.1007/BFB0054279},
isbn = {3-540-64591-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JanssonJ97,
author = {Patrik Jansson and
Johan Jeuring},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {Polyp - {A} Polytypic Programming Language},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {470--482},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263763},
doi = {10.1145/263699.263763},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/JanssonJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/JeuringJ96,
author = {Johan Jeuring and
Patrik Jansson},
editor = {John Launchbury and
Erik Meijer and
Tim Sheard},
title = {Polytypic Programming},
booktitle = {Advanced Functional Programming, Second International School, Olympia,
WA, USA, August 26-30, 1996, Tutorial Text},
series = {Lecture Notes in Computer Science},
volume = {1129},
pages = {68--114},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61628-4\_3},
doi = {10.1007/3-540-61628-4\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/JeuringJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/MeijerJ95,
author = {Erik Meijer and
Johan Jeuring},
editor = {Johan Jeuring and
Erik Meijer},
title = {Merging Monads and Folds for Functional Programming},
booktitle = {Advanced Functional Programming, First International Spring School
on Advanced Functional Programming Techniques, B{\aa}stad, Sweden,
May 24-30, 1995, Tutorial Text},
series = {Lecture Notes in Computer Science},
volume = {925},
pages = {228--266},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59451-5\_7},
doi = {10.1007/3-540-59451-5\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/MeijerJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Jeuring95,
author = {Johan Jeuring},
editor = {John Williams},
title = {Polytypic Pattern Matching},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {238--248},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224212},
doi = {10.1145/224164.224212},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Jeuring95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/JeuringS95,
author = {Johan Jeuring and
S. Doaitse Swierstra},
editor = {John Williams},
title = {Constructing Functional Programs for Grammar Analysis Problems},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {259--269},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224214},
doi = {10.1145/224164.224214},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/JeuringS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/afp/1995,
editor = {Johan Jeuring and
Erik Meijer},
title = {Advanced Functional Programming, First International Spring School
on Advanced Functional Programming Techniques, B{\aa}stad, Sweden,
May 24-30, 1995, Tutorial Text},
series = {Lecture Notes in Computer Science},
volume = {925},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59451-5},
doi = {10.1007/3-540-59451-5},
isbn = {3-540-59451-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/afp/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/Jeuring94,
author = {Johan Jeuring},
title = {The Derivation of On-Line Algorithms, with an Application To Finding
Palindromes},
journal = {Algorithmica},
volume = {11},
number = {2},
pages = {146--184},
year = {1994},
url = {https://doi.org/10.1007/BF01182773},
doi = {10.1007/BF01182773},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithmica/Jeuring94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JeuringS94,
author = {Johan Jeuring and
S. Doaitse Swierstra},
editor = {Donald Sannella},
title = {Bottom-up Grammar Analysis - {A} Functional Formulation},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {317--332},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_21},
doi = {10.1007/3-540-57880-3\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/JeuringS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Jeuring90,
author = {Johan Jeuring},
editor = {Manfred Broy and
Cliff B. Jones},
title = {Algorithms for Theorems},
booktitle = {Programming concepts and methods: Proceedings of the {IFIP} Working
Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
Sea of Galilee, Israel, 2-5 April, 1990},
pages = {247--266},
publisher = {North-Holland},
year = {1990},
timestamp = {Sat, 26 Dec 2020 18:17:05 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/Jeuring90.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-04-15 20:45 CEST 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:
