Walther Neuper

Johannes Kepler University of Linz — Austria

Computer Science · Physical Sciences

4h-index47citations39works0.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Intelligent Tutoring Systems and Adaptive Learning(16), Logic, programming, and type systems(15), Model-Driven Software Engineering Techniques(14), Formal Methods in Verification(6), Software Testing and Debugging Techniques(5)

Publications39 total

Proceedings The 13th International Workshop on Theorem proving components for Educational software
Electronic Proceedings in Theoretical Computer Science·2025Open Access
Proceedings The 13th International Workshop on Theorem proving components for Educational software
Electronic Proceedings in Theoretical Computer Science·2025Open Access
Interactive Formal Specification for Mathematical Problems of Engineers
Electronic Proceedings in Theoretical Computer Science·2024Open Access
Proceedings 12th International Workshop on Theorem proving components\n for Educational software
Electronic Proceedings in Theoretical Computer Science·2024Open Access
Proceedings 12th International Workshop on Theorem proving components for Educational software
Electronic Proceedings in Theoretical Computer Science·2024· 1 citedOpen Access
Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode
Electronic Proceedings in Theoretical Computer Science·2023· 3 citedOpen Access
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software
Electronic Proceedings in Theoretical Computer Science·2023· 2 citedOpen Access
Proceedings 11th International Workshop on Theorem Proving Components\n for Educational Software
Electronic Proceedings in Theoretical Computer Science·2023Open Access
Proceedings 10th International Workshop on Theorem Proving Components\n for Educational Software
Electronic Proceedings in Theoretical Computer Science·2022· 1 citedOpen Access
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
Electronic Proceedings in Theoretical Computer Science·2022Open Access
Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover
Lecture notes in computer science·2022· 1 cited
Proceedings 9th International Workshop on Theorem Proving Components for\n Educational Software
Electronic Proceedings in Theoretical Computer Science·2020Open Access
Proceedings 9th International Workshop on Theorem Proving Components for Educational Software
Electronic Proceedings in Theoretical Computer Science·2020Open Access
Proceedings 8th International Workshop on Theorem Proving Components for\n Educational Software
Electronic Proceedings in Theoretical Computer Science·2020· 2 citedOpen Access
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software
Electronic Proceedings in Theoretical Computer Science·2020Open Access
Proceedings 7th International Workshop on Theorem proving components for Educational software
Electronic Proceedings in Theoretical Computer Science·2019· 1 citedOpen Access
Technologies for "Complete, Transparent & Interactive Models of Math" in Education
Electronic Proceedings in Theoretical Computer Science·2019· 5 citedOpen Access
Proceedings 7th International Workshop on Theorem proving components for Educational software
Electronic Proceedings in Theoretical Computer Science·2019· 1 citedOpen Access
Prototyping "Systems that Explain Themselves" for Education
arXiv (Cornell University)·2018Open Access
Proceedings 6th International Workshop on Theorem proving components for Educational software
Electronic Proceedings in Theoretical Computer Science·2018Open Access
page 1 of 2Next →

Frequent Co-authors

Pedro Quaresma(20), João Marcos(8), Matthew England(4), James H. Davenport(4), Andrea Kohlhase(4), Michael Kohlhase(4), Paul Libbrecht(4), Josef Urban(4), Stephen M. Watt(4), Julien Narboux(4), Alan P. Sexton(3), Petr Sojka(3), Alan Krempler(2), Bernhard Stöger(2), Makarius Wenzel(2), Florian Haftmann(1), Cezary Kaliszyk(1), Klaus Miesenberger(1), Patrick M. Sexton(1), Klaus Miesenberger(1)