Publications

    2020

  • Westphal, Oliver; Voigtländer, Janis;
    Describing Console I/O Behavior for Testing Student Submissions in Haskell
    In: Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education / Hage, Jurriaan (Hrsg.), 2020 S. 19 - 36
    ISSN: 2075-2180
    Online Volltext: dx.doi.org/
  • Kafa, Violet; Siegburg, Marcellus; Voigtländer, Janis
    Exercise Task Generation for UML Class/Object Diagrams, via Alloy Model Instance Finding
    In: ICT Education: Revised Selected Papers / 48th Annual Conference of the Southern African Computer Lecturers’ Association, SACLA 2019, Northern Drakensberg, South Africa, July 15–17, 2019; / Tait, Bobby; Kroeze, Jan; Gruner, Stefan (Hrsg.), 2020 S. 112 - 128
    ISBN: 978-3-030-35628-6; 978-3-030-35629-3
    Online Volltext: dx.doi.org/
  • Voigtländer, Janis
    Free Theorems Simply, via Dinaturality
    In: Declarative Programming and Knowledge Management / Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019; / Hofstedt, Petra; Abreu, Salvador; John, Ulrich; Kuchen, Herbert; Seipel, Dietmar (Hrsg.), 2020 S. 247 - 267
    ISBN: 978-3-030-46713-5; 978-3-030-46714-2
    Online Volltext: dx.doi.org/
  • Siegburg, Marcellus; Voigtländer, Janis
    Generating diverse exercise tasks on UML class and object diagrams, using formalisations in Alloy
    In: Joint Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers / Modellierung C-2020, 19.-21.02.2020, Wien; / Michael, Judith; Bork, Dominik; Rehse, Jana-Rebecca; Striewe, Michael; Ullrich, Meike (Hrsg.), 2020
    ISSN: 1613-0073
    Online Volltext
  • Westphal, Oliver; Voigtländer, Janis
    Implementing, and Keeping in Check, a DSL Used in E-Learning
    In: Functional and Logic Programming: Proceedings / 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020; / Nakano, Keisuke; Sagonas, Konstantinos (Hrsg.), 2020 S. 179 - 197
    ISBN: 978-3-030-59024-6; 978-3-030-59025-3 ISSN: 0302-9743; 1611-3349
    Online Volltext: dx.doi.org/

    • 2019

  • Siegburg, Marcellus; Voigtländer, Janis; Westphal, Oliver
    Automatische Bewertung von Haskell-Programmieraufgaben
    In: Proceedings of the Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), Essen, Germany, October 8-9, 2019 / Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), 08.-09.10. 2019, Essen / Strickroth, Sven; Striewe, Michael; Rod, Oliver; (Hrsg.), 2019 S. 19 - 26
    Online Volltext: dx.doi.org/