Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251). - Tiffany Barnes; Jan Vahrenhold; Thomas Zeume; Florian Schmalstieg (Dagstuhl Reports, 2024)

Difficulty Generating Factors for Context-free Language Construction Assignments. - Florian Schmalstieg; Marko Schmellenkamp; Jakob Schwerter; Thomas Zeume (ICER (1), 2025)