Specifying Strategies for Exercises. - Bastiaan Heeren; Johan Jeuring; Arthur van Leeuwen; Alex Gerdes (AISC/MKM/Calculemus, 2008)

Comparing libraries for generic programming in haskell. - Alexey Rodriguez; Johan Jeuring; Patrik Jansson; Alex Gerdes; Oleg Kiselyov; Bruno C. d. S. Oliveira (Haskell, 2008)

Constructing Strategies for Programming. - Alex Gerdes; Bastiaan Heeren; Johan Jeuring (CSEDU (1), 2009)

Using strategies for assessment of programming exercises. - Alex Gerdes; Johan Jeuring; Bastiaan Heeren (SIGCSE, 2010)

Properties of Exercise Strategies - Alex Gerdes; Bastiaan Heeren; Johan Jeuring (IWS, 2010)

Specifying Rewrite Strategies for Interactive Exercises. - Bastiaan Heeren; Johan Jeuring; Alex Gerdes (Math. Comput. Sci., 2010)

A Programming Tutor for Haskell. - Johan Jeuring; Alex Gerdes; Bastiaan Heeren (CEFP, 2011)

Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor. - Alex Gerdes; Bastiaan Heeren; Johan Jeuring (EC-TEL, 2012)

Ask-Elle: A Haskell Tutor - Demonstration. - Johan Jeuring; Alex Gerdes; Bastiaan Heeren (EC-TEL, 2012)

An interactive functional programming tutor. - Alex Gerdes; Johan Jeuring; Bastiaan Heeren (ITiCSE, 2012)

Requirements on automatically generated random test cases. - Thomas Arts; Alex Gerdes; Magnus Kronqvist (FedCSIS, 2013)

Don't Judge Software by Its (Code) Coverage. - Rolf Johansson 002; Hans Eriksson; Hans Svensson; Kenneth Östberg; Thomas Arts; Alex Gerdes; Martin A. Skoglund (CARS@SAFECOMP, 2013)

Model solutions and properties for diagnosing student programs in Ask-Elle. - Johan Jeuring; L. Thomas van Binsbergen; Alex Gerdes; Bastiaan Heeren (CSERC, 2014)

Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. - Martin A. Skoglund; Hans Svensson; Henrik Eriksson; Thomas Arts; Rolf Johansson 002; Alex Gerdes (SAFECOMP Workshops, 2014)

Linking unit tests and properties. - Alex Gerdes; John Hughes 001; Nicholas Smallbone; Meng Wang 002 (Erlang Workshop, 2015)

Attribute grammars in Erlang. - Ulf Norell; Alex Gerdes (Erlang Workshop, 2015)

Graphical editing support for QuickCheck models. - Thomas Arts; Kirill Bogdanov 002; Alex Gerdes; John Hughes 001 (ICST Workshops, 2015)

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. - Alex Gerdes; Bastiaan Heeren; Johan Jeuring; L. Thomas van Binsbergen (Int. J. Artif. Intell. Educ., 2017)

Understanding formal specifications through good examples. - Alex Gerdes; John Hughes 001; Nicholas Smallbone; Stefan Hanenberg; Sebastian Ivarsson; Meng Wang 002 (Erlang Workshop, 2018)

Saint: An API-Generic Type-Safe Interpreter. - Maximilian Algehed; Patrik Jansson; Sólrún Halla Einarsdóttir; Alex Gerdes (TFP, 2018)