MobiMat - ein Framework zur Mobilisierung von Lehrmaterial. - Arno Wilhelm-Weidner (DeLFI WOrkshops, 2015)

Mechanical Verification of a Constructive Proof for FLP. - Benjamin Bisping; Paul-David Brodmann; Tim Jungnickel; Christina Rickmann; Henning Seidler; Anke Stüber; Arno Wilhelm-Weidner; Kirstin Peters; Uwe Nestmann (ITP, 2016)

A Constructive Proof for FLP. - Benjamin Bisping; Paul-David Brodmann; Tim Jungnickel; Christina Rickmann; Henning Seidler; Anke Stüber; Arno Wilhelm-Weidner; Kirstin Peters; Uwe Nestmann (Arch. Formal Proofs, 2016)

On Supplementing Theoretical Computer Science Courses using E-Learning. - Arno Wilhelm-Weidner; Nadine Bergner (Koli Calling, 2018)

A case study of flipped classroom for automata theory in secondary education. - Alexander Wolf; Arno Wilhelm-Weidner; Uwe Nestmann (WiPSCE, 2018)

Selbsteinschätzung leicht gemacht - Studienergebnisse aus der Theoretischen Informatik. - Arno Wilhelm-Weidner (DeLFI, 2020)

Zukunftsfähige Bildungsplattformen - Monitoring technischer Plattformdimensionen anhand einer multidimensionalen Analysematrix. - Thomas Hübsch; Elke Vogel-Adham; Susanne Ritzmann; Arno Wilhelm-Weidner (DELFI, 2023)

Künstliche Intelligenz in der öffentlichen Bildungsförderung. - Arno Wilhelm-Weidner; Annika Fünfhaus; Stefanie Brzoska; Marcel Dux; Andrea Vogt (DELFI, 2023)

Towards Open Science at the DELFI Conference. - Natalie Kiesler; René Röpke; Daniel Schiffner; Sandra Schulz 001; Sven Strickroth; Matthias Ehlenz; Birte Heinemann; Arno Wilhelm-Weidner (DeLFI, 2024)