Arno Wilhelm-Weidner

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 8

Top Topics

Interactive Theorem Proving

Theoretical Computer Science

Top Venues

Arch. Formal Proofs

Publications

Arno Wilhelm-Weidner, Annika Fünfhaus, Stefanie Brzoska, Marcel Dux, Andrea Vogt
Künstliche Intelligenz in der öffentlichen Bildungsförderung. DELFI (2023)
Thomas Hübsch, Elke Vogel-Adham, Susanne Ritzmann, Arno Wilhelm-Weidner
Zukunftsfähige Bildungsplattformen - Monitoring technischer Plattformdimensionen anhand einer multidimensionalen Analysematrix. DELFI (2023)
Arno Wilhelm-Weidner
Selbsteinschätzung leicht gemacht - Studienergebnisse aus der Theoretischen Informatik. DeLFI (2020)
Arno Wilhelm-Weidner, Nadine Bergner
On Supplementing Theoretical Computer Science Courses using E-Learning. Koli Calling (2018)
Alexander Wolf, Arno Wilhelm-Weidner, Uwe Nestmann
A case study of flipped classroom for automata theory in secondary education. WiPSCE (2018)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
A Constructive Proof for FLP. Arch. Formal Proofs 2016 (2016)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
Mechanical Verification of a Constructive Proof for FLP. ITP (2016)
Arno Wilhelm-Weidner
MobiMat - ein Framework zur Mobilisierung von Lehrmaterial. DeLFI WOrkshops (2015)