The Complexity of Checking Quasi-Identities over Finite Algebras with a Mal'cev Term. - Erhard Aichinger; Simon Grünbacher (STACS, 2023)

Zero testing and equation solving for sparse polynomials on rectangular domains. - Erhard Aichinger; Simon Grünbacher; Paul Hametner (Finite Fields Their Appl., 2024)

JavaWiz: A Trace-Based Graphical Debugger for Software Development Education. - Markus Weninger; Simon Grünbacher; Herbert Prähofer (ICPC, 2025)

On the complexity of solving equations over the symmetric group S4. - Erhard Aichinger; Simon Grünbacher (CoRR, 2025)