• Skip to main navigation
  • Skip to search
  • Skip to main content
JKU & KUK Research Portal Home JKU & KUK Research Portal Logo
  • Help & FAQ
    • English
    • Deutsch
  • Home
  • Research units
  • Profiles
  • Research output
  • Projects
  • Activities
  • Datasets
  • Prizes
  • Press/Media
No photo of Simon Grünbacher

Simon Grünbacher

  • Institute for Symbolic Artificial Intelligence
  • Emailsimon.gruenbacherjkuat
  • Overview
  • Network
  • Research output (6)
  • Activities (2)

Research output

  • 2 Conference proceedings
  • 2 Article
  • 2 Preprint

Research output per year

Research output per year

  • JavaWiz: A Trace-Based Graphical Debugger for Software Development Education

    Weninger, M., Grünbacher, S. & Prähofer, H., 28 Apr 2025, 2025 IEEE/ACM 33rd International Conference on Program Comprehension (ICPC). IEEE, p. 147-158 12 p. 11025901. (IEEE International Conference on Program Comprehension).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

  • On the complexity of solving equations over the symmetric group $S_4$

    Aichinger, E. & Grünbacher, S., 10 Mar 2025, 27 p. (arXiv.org).

    Research output: Working paper and reports › Preprint

    Open Access
  • Zero testing and equation solving for sparse polynomials on rectangular domains

    Aichinger, E., Grünbacher, S. & Hametner, P., Mar 2024, In: Finite Fields and Their Applications. 95, p. 102379 17 p., 102379.

    Research output: Contribution to journal › Article › peer-review

    Open Access
  • Zero testing and equation solving for sparse polynomials on rectangular domains

    Aichinger, E., Grünbacher, S. & Hametner, P., Mar 2024, In: Finite Fields and Their Applications. 95, 1 p., 102379.

    Research output: Contribution to journal › Article › peer-review

    Open Access
  • The Complexity of Checking Quasi-Identities over Finite Algebras with a Mal'cev Term

    Aichinger, E. & Grünbacher, S., Mar 2023, 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023). Berenbrink, P., Bouyer, P., Dawar, A. & Kante, M. M. (eds.). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, Vol. 254. p. 4:1-4:12 12 p. 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 254).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

View all 6 research outputs

Activities

  • 2 Contributed talk

Activities per year

  • Testing sparse polynomial identities over finite fields

    Grünbacher, S. (Speaker)

    31 May 2024

    Activity: Talk or presentation › Contributed talk › science-to-science

  • The complexity of checking quasi-identities over finite algebras with a Mal'cev term

    Grünbacher, S. (Speaker)

    07 Mar 2023

    Activity: Talk or presentation › Contributed talk › science-to-science

JKU & KUK Research Portal Logo

Powered by Pure, Scopus & Elsevier Fingerprint Engine™

All content on this site: Copyright © 2025 JKU & KUK Research Portal, its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

Log in to Pure

Impressum

About web accessibility

Report vulnerability

Contact us