CTP-based programming languages?: considerations about an experimental design. - Florian Haftmann; Cezary Kaliszyk; Walther Neuper (ACM Commun. Comput. Algebra, 2010)

Automated Generation of User Guidance by Combining Computation and Deduction - Walther Neuper (ThEdu, 2011)

Computer algebra implemented in Isabelle's function package under Lucas-interpretation - a case study. - Walther Neuper (CICM Workshops, 2013)

GCD - A Case Study on Lucas-Interpretation. - Walther Neuper (CICM Workshops, 2014)

Lucas-Interpretation from Users' Perspective. - Walther Neuper (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

Rigor of TP in Educational Engineering Software. - Walther Neuper (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

Prototyping "Systems that Explain Themselves" for Education. - Alan Krempler; Walther Neuper (ThEdu@CADE, 2017)

Mechanical Explanation in "Systems that Explain Themselves". - Walther Neuper (CICM Workshops, 2018)

Technologies for "Complete, Transparent & Interactive Models of Math" in Education. - Walther Neuper (ThEdu@FLoC, 2018)

Lucas-Interpretation on Isabelle's Functions. - Walther Neuper (ThEdu@IJCAR, 2020)

Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover. - Bernhard Stöger; Klaus Miesenberger; Walther Neuper; Makarius Wenzel; Thomas Neumayr (ICCHP-AAATE (1), 2022)

Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode. - Klaus Miesenberger; Walther Neuper; Bernhard Stöger; Makarius Wenzel (ThEdu@FLoC, 2022)

Interactive Formal Specification for Mathematical Problems of Engineers. - Walther Neuper (ThEdu@CADE, 2023)