Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : ir. A. Gerdes

Alex  Gerdes

select other reports

this selection

author ir. A. Gerdes

reports (13)

techrep_id file title / author
UU-CS-2014-025 pdf Model solutions and properties for diagnosing student programs in Ask-Elle
Johan Jeuring, Thomas van Binsbergen, Alex Gerdes and Bastiaan Heeren
UU-CS-2012-010 pdf Ask-Elle: A Haskell tutor -- Demonstration --
Johan Jeuring, Alex Gerdes and Bastiaan Heeren
UU-CS-2012-007 pdf Teachers and students in charge- Using annotated model solutions in a functional programming tutor-
Alex Gerdes, Bastiaan Heeren and Johan Jeuring
UU-CS-2012-005 pdf A Programming tutor for Haskell
Johan Jeuring, Alex Gerdes and Bastiaan Heeren
UU-CS-2012-002 pdf An Interactive Functional Programming Tutor
Alex Gerdes, Johan Jeuring and Bastiaan Heeren
UU-CS-2011-020 pdf Comparing Datatype Generic Libraries in Haskell
Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov and Bruno C.D.S. Oliveira
UU-CS-2010-028 pdf Properties of exercise strategies
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
UU-CS-2009-031 pdf Using Strategies for Assessment of Programming Exercises
Alex Gerdes, Johan Jeuring, Bastiaan Heeren
UU-CS-2009-003 pdf Strategies for Exercises
Bastiaan Heeren, Johan Jeuring, Alex Gerdes
UU-CS-2008-049 pdf Constructing Strategies for Programming
Alex Gerdes, Bastiaan Heeren and Johan Jeuring
UU-CS-2008-018 pdf Feedback Services for Exercise Assistants
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, and Sylvia Stuurman
UU-CS-2008-010 pdf Comparing Libraries for Generic Programming in Haskell
Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliviera
UU-CS-2008-001 pdf Specifying Strategies for Exercises
Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen and Alex Gerdes

indexed (co) authors

author group
Gerdes, ir. A. all reports Software Technology all reports
Heeren, dr. B.J. all reports Software Technology all reports
Jeuring, prof. dr. J.T. all reports Software Technology all reports
Leeuwen, drs. A.J. van all reports Software Technology all reports
Rodriguez Yakushev, dr. A.L. all reports Software Technology all reports

BibTeX entries

@TECHREPORT{UUCS2014025,
author = {Jeuring, Johan and Binsbergen, Thomas~van and Gerdes, Alex and Heeren, Bastiaan},
year = 2014,
title = {Model solutions and properties for diagnosing student programs in Ask-Elle},
number = {UU-CS-2014-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012010,
author = {Jeuring, Johan and Gerdes, Alex and Heeren, Bastiaan},
year = 2012,
title = {Ask-Elle: A Haskell tutor -- Demonstration --},
number = {UU-CS-2012-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012007,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan},
year = 2012,
title = {Teachers and students in charge- Using annotated model solutions in a functional programming tutor-},
number = {UU-CS-2012-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012005,
author = {Jeuring, Johan and Gerdes, Alex and Heeren, Bastiaan},
year = 2012,
title = {A Programming tutor for Haskell},
number = {UU-CS-2012-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012002,
author = {Gerdes, Alex and Jeuring, Johan and Heeren, Bastiaan},
year = 2012,
title = {An Interactive Functional Programming Tutor},
number = {UU-CS-2012-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011020,
author = {Yakushev, Alexey~Rodriguez and Jeuring, Johan and Jansson, Patrik and Gerdes, Alex and Kiselyov, Oleg and Oliveira, Bruno~C.D.S.},
year = 2011,
title = {Comparing Datatype Generic Libraries in Haskell},
number = {UU-CS-2011-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010028,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan},
year = 2010,
title = {Properties of exercise strategies},
number = {UU-CS-2010-028},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-028.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009031,
author = {Gerdes, Alex and Jeuring, Johan and Heeren, Bastiaan},
year = 2009,
title = {Using Strategies for Assessment of Programming Exercises},
number = {UU-CS-2009-031},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-031.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009003,
author = {Heeren, Bastiaan and Jeuring, Johan and Gerdes, Alex},
year = 2009,
title = {Strategies for Exercises},
number = {UU-CS-2009-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008049,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan},
year = 2008,
title = {Constructing Strategies for Programming},
number = {UU-CS-2008-049},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-049.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008018,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan and Stuurman, Sylvia},
year = 2008,
title = {Feedback Services for Exercise Assistants},
number = {UU-CS-2008-018},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-018.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008010,
author = {Rodriguez~Yakushev, Alexey and Jeuring, Johan and Jansson, Patrik and Gerdes, Alex and Kiselyov, Oleg and Oliviera, Bruno~C.~d.~S.},
year = 2008,
title = {Comparing Libraries for Generic Programming in Haskell},
number = {UU-CS-2008-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008001,
author = {Heeren, Bastiaan and Jeuring, Johan and Leeuwen, Arthur~van and Gerdes, Alex},
year = 2008,
title = {Specifying Strategies for Exercises},
number = {UU-CS-2008-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-001.pdf}},
pubcat = {techreport}
}