Johan Jeuring

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Bastiaan Heeren

> Home > Persons > Johan Jeuring

Publications

2024
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-18304
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-18304
Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Example-Based Reasoning about the Realizability of Polymorphic Programs. CoRR abs/2406.18304 (2024)
2023
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/KeuningJH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/KeuningJH23
Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
A Systematic Mapping Study of Code Quality in Education. ITiCSE (1) 2023: 5-11
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/MullenersJH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/MullenersJH23
Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Program Synthesis Using Example Propagation. PADL 2023: 20-36
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-13451
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-13451
Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
A Systematic Mapping Study of Code Quality in Education - with Complete Bibliography. CoRR abs/2304.13451 (2023)
2022
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-13873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-13873
Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Program Synthesis Using Example Propagation. CoRR abs/2210.13873 (2022)
2021
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/aiedu/LodderHJN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aiedu/LodderHJN21
Josje Lodder, Bastiaan Heeren, Johan Jeuring, Wendy Neijenhuis:
Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. Int. J. Artif. Intell. Educ. 31(1): 99-133 (2021)
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/KeuningHJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/KeuningHJ21
Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
A Tutoring System to Learn Code Refactoring. SIGCSE 2021: 562-568
2020
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/aiedu/TacomaHJD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aiedu/TacomaHJD20
Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers:
Intelligent Feedback on Hypothesis Testing. Int. J. Artif. Intell. Educ. 30(4): 616-636 (2020)
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/KampsHJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/KampsHJ20
Sander Kamps, Bastiaan Heeren, Johan Jeuring:
Assessing the quality of evolving Haskell systems by measuring structural inequality. Haskell@ICFP 2020: 67-79
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/kolicalling/KeuningHJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kolicalling/KeuningHJ20
Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Student Refactoring Behaviour in a Programming Tutor. Koli Calling 2020: 4:1-4:10
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-07510
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-07510
Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Model-Driven Synthesis for Programming Tutors. CoRR abs/2011.07510 (2020)
2019
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcal/LodderHJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcal/LodderHJ19
Josje Lodder, Bastiaan Heeren, Johan Jeuring:
A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae. J. Comput. Assist. Learn. 35(5): 620-632 (2019)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/jeric/KeuningJH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jeric/KeuningJH19
Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
A Systematic Literature Review of Automated Feedback Generation for Programming Exercises. ACM Trans. Comput. Educ. 19(1): 3:1-3:43 (2019)
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/aied/TacomaHJD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aied/TacomaHJD19
Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers:
Automated Feedback on the Structure of Hypothesis Tests. AIED (2) 2019: 281-285
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/ectel/BentJH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/BentJH19
Renate van der Bent, Johan Jeuring, Bastiaan Heeren:
The Diagnosing Behaviour of Intelligent Tutoring Systems. EC-TEL 2019: 112-126
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/KeuningHJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/KeuningHJ19
Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
How Teachers Would Help Students to Improve Their Code. ITiCSE 2019: 119-125
[c75]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2002-12552
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-12552
Josje Lodder, Bastiaan Heeren, Johan Jeuring:
Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction. ThEdu@CADE 2019: 17-34
2018
[c74]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ectel/HeerenJSDBTKWGC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/HeerenJSDBTKWGC18
Bastiaan Heeren, Johan Jeuring, Sergey A. Sosnovsky, Paul Drijvers, Peter B. J. Boon, Sietske Tacoma, Jesse Koops, Armin Weinberger, Brigitte Grugeon-Allys, Françoise Chenevotot-Quentin, Jorn van Wijk, Ferdinand van Walree:
Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems. EC-TEL 2018: 262-276
2017
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/aiedu/GerdesHJB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aiedu/GerdesHJB17
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen:
Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. Int. J. Artif. Intell. Educ. 27(1): 65-100 (2017)
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/aied/HeerenJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aied/HeerenJ17
Bastiaan Heeren, Johan Jeuring:
An Extensible Domain-Specific Language for Describing Problem-Solving Procedures. AIED 2017: 77-89
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/KeuningHJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/KeuningHJ17
Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Code Quality Issues in Student Programs. ITiCSE 2017: 110-115
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/kolicalling/ArendsKHJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kolicalling/ArendsKHJ17
Hugo Arends, Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions. Koli Calling 2017: 2-9
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/LodderHJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/LodderHJ17
Josje Lodder, Bastiaan Heeren, Johan Jeuring:
Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. SIGCSE 2017: 387-392
2016
[j13]
- view
  - electronic edition @ jucs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/jucs/LodderHJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/LodderHJ16
Josje Lodder, Bastiaan Heeren, Johan Jeuring:
A Domain Reasoner for Propositional Logic. J. Univers. Comput. Sci. 22(8): 1097-1122 (2016)
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/KeuningJH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/KeuningJH16
Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
Towards a Systematic Review of Automated Feedback Generation for Programming Exercises. ITiCSE 2016: 41-46
2015
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/ectel/JeuringGHHIJMSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/JeuringGHHIJMSW15
Johan Jeuring, Frans Grosfeld, Bastiaan Heeren, Michiel Hulsbergen, Richta IJntema, Vincent Jonker, Nicole Mastenbroek, Maarten van der Smagt, Frank Wijmans, Majanne Wolters, Henk van Zeijts:
Communicate! - A Serious Game for Communication Skills -. EC-TEL 2015: 513-517
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LodderHJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LodderHJ15
Josje Lodder, Bastiaan Heeren, Johan Jeuring:
A pilot study of the use of LogEx, lessons learned. CoRR abs/1507.03671 (2015)
2014
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HeerenJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HeerenJ14
Bastiaan Heeren, Johan Jeuring:
Feedback services for stepwise exercises. Sci. Comput. Program. 88: 110-129 (2014)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/cserc/JeuringBGH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cserc/JeuringBGH14
Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren:
Model solutions and properties for diagnosing student programs in Ask-Elle. CSERC 2014: 31-40
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/cserc/KeuningHJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cserc/KeuningHJ14
Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Strategy-based feedback in a programming tutor. CSERC 2014: 43-54
[c56]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/OlmerHJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/OlmerHJ14
Tim Olmer, Bastiaan Heeren, Johan Jeuring:
Evaluating Haskell expressions in a tutoring environment. TFPIE 2014: 50-66
2013
[c50]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/mkm/Andres13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Andres13
Eric Andres, Bastiaan Heeren, Johan Jeuring:
Towards automatic generation of domain-specific mathematical input support. CICM Workshops 2013
2012
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/ectel/GerdesHJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/GerdesHJ12
Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor. EC-TEL 2012: 383-388
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/ectel/JeuringGH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/JeuringGH12
Johan Jeuring, Alex Gerdes, Bastiaan Heeren:
Ask-Elle: A Haskell Tutor - Demonstration. EC-TEL 2012: 453-458
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/GerdesJH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/GerdesJH12
Alex Gerdes, Johan Jeuring, Bastiaan Heeren:
An interactive functional programming tutor. ITiCSE 2012: 250-255
2011
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/JeuringGH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/JeuringGH11
Johan Jeuring, Alex Gerdes, Bastiaan Heeren:
A Programming Tutor for Haskell. CEFP 2011: 1-45
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HeerenJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HeerenJ11
Bastiaan Heeren, Johan Jeuring:
Interleaving Strategies. Calculemus/MKM 2011: 196-211
2010
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/NoortYHJHM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/NoortYHJHM10
Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães:
A lightweight approach to datatype-generic rewriting. J. Funct. Program. 20(3-4): 375-413 (2010)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/mics/HeerenJG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mics/HeerenJG10
Bastiaan Heeren, Johan Jeuring, Alex Gerdes:
Specifying Rewrite Strategies for Interactive Exercises. Math. Comput. Sci. 3(3): 349-370 (2010)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/aisc/HeerenJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/HeerenJ10
Bastiaan Heeren, Johan Jeuring:
Adapting Mathematical Domain Reasoners. AISC/MKM/Calculemus 2010: 315-330
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/GerdesJH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/GerdesJH10
Alex Gerdes, Johan Jeuring, Bastiaan Heeren:
Using strategies for assessment of programming exercises. SIGCSE 2010: 441-445
[c35]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1012-5561
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1012-5561
Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Properties of Exercise Strategies. IWS 2010: 21-34
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1005-4762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1005-4762
Bastiaan Heeren, Johan Jeuring:
Adapting Mathematical Domain Reasoners. CoRR abs/1005.4762 (2010)
2009
[c33]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/csedu/GerdesHJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/GerdesHJ09
Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Constructing Strategies for Programming. CSEDU (1) 2009: 65-72
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HeerenJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HeerenJ09
Bastiaan Heeren, Johan Jeuring:
Canonical Forms in Interactive Exercise Assistants. Calculemus/MKM 2009: 325-340
[c29]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sfp/JeuringMH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/JeuringMH09
Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren:
Generic Programming for Domain Reasoners. Trends in Functional Programming 2009: 113-128
2008
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/aisc/HeerenJLG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/HeerenJLG08
Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes:
Specifying Strategies for Exercises. AISC/MKM/Calculemus 2008: 430-445
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/NoortRHJH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/NoortRHJH08
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren:
A lightweight approach to datatype-generic rewriting. ICFP-WGP 2008: 13-24
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/DolstraHHHJLLMRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/DolstraHHHJLLMRS08
Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie:
Report on the tenth ICFP programming contest. ICFP 2008: 397-408
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HeerenJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HeerenJ09
Bastiaan Heeren, Johan Jeuring:
Recognizing Strategies. WRS@RTA 2008: 91-106

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.