Arno Wilhelm-Weidner

According to our database, Arno Wilhelm-Weidner authored at least 8 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Künstliche Intelligenz in der öffentlichen Bildungsförderung.

Arno Wilhelm-Weidner, Annika Fünfhaus, Stefanie Brzoska, Marcel Dux, Andrea Vogt

Proceedings of the DELFI 2023, 2023

Zukunftsfähige Bildungsplattformen - Monitoring technischer Plattformdimensionen anhand einer multidimensionalen Analysematrix.

Thomas Hübsch, Elke Vogel-Adham, Susanne Ritzmann, Arno Wilhelm-Weidner

Proceedings of the DELFI 2023, 2023

2020

Selbsteinschätzung leicht gemacht - Studienergebnisse aus der Theoretischen Informatik.

Arno Wilhelm-Weidner

Proceedings of the DELFI 2020, 2020

2018

A case study of flipped classroom for automata theory in secondary education.

Alexander Wolf, Arno Wilhelm-Weidner, Uwe Nestmann

Proceedings of the 13th Workshop in Primary and Secondary Computing Education, 2018

On Supplementing Theoretical Computer Science Courses using E-Learning.

Arno Wilhelm-Weidner, Nadine Bergner

Proceedings of the 18th Koli Calling International Conference on Computing Education Research, 2018

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

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

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2015

MobiMat - ein Framework zur Mobilisierung von Lehrmaterial.

Arno Wilhelm-Weidner

Proceedings of DeLFI Workshops 2015 co-located with 13th e-Learning Conference of the German Computer Society (DeLFI 2015), 2015