-
A DSL for Specifying a Class of Industrial Optimisation Problems
Del Rio Almajano, T., Schreiner, W., Seidl, M., Kutsia, T. & Windsteiger, W., 2025, RISC, JKU, 19 S. (RISC Report Series; Band 25-12).Publikation: Preprints, Working Paper und Forschungsberichte › Forschungsbericht
Open Access -
Gray-Box Proving in Theorema
Windsteiger, W., 2024, 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2024). Kamareddine, F., Marin, M., Negru, V. & Zaharie, D. (Hrsg.). IEEE, S. 82-89 8 S. (Proceedings - 2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Gray-Box Proving in Theorema
Windsteiger, W., Juli 2024, Hagenberg, Linz: RISC, JKU, 8 S. (RISC Report Series; Nr. 24-07).Publikation: Preprints, Working Paper und Forschungsberichte › Vorabpublikation
-
Learning to Reason Assisted by Automated Reasoning
Windsteiger, W., 2022, Intelligent Computer Mathematics: 15th International Conference. Buzzard, K. & Kutsia, T. (Hrsg.). Springer, S. 305-320 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13467 LNAI).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Automated Theorem Proving in the Classroom
Windsteiger, W., 30 Dez. 2021, Proceedings Automated Deduction in Geometry (ADG 2021). Predrag Janicic (Hrsg.). Band 352. S. 54-63 10 S. (Electronic Proceedings in Theoretical Computer Science (EPTCS)).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Projekte
- 1 Abgeschlossen
-
Puzzle-Roboter
Windsteiger, W. (Projektleiter*in)
01.10.2019 → 29.02.2020
Projekt: Geförderte Forschung › Bund / Land / Gemeinden
Aktivitäten
-
Kepler Award 2025 for best teaching at JKU
Windsteiger, W. (Vortragende*r)
10 Nov. 2025Aktivität: Vortrag oder Präsentation › Anderer Vortrag oder Präsentation › Science-to-science
-
ÖMG - DMV Jahrestagung
Kauers, M. (Sonstige), Pillichshammer, F. (Sonstige), Windsteiger, W. (Sonstige) & Koutschan, C. (Sonstige)
01 Sep. 2025 → 05 Sep. 2025Aktivität: Sonstige
-
Digital Elections (@JKU)
Windsteiger, W. (Vortragende*r)
20 Jän. 2025Aktivität: Vortrag oder Präsentation › Anderer Vortrag oder Präsentation › Science-to-public
-
Gray-Box Proving in Theorema
Windsteiger, W. (Vortragende*r)
17 Sep. 2024Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
Hybrid Modularized Mathematics Courses with Self-Checks
Windsteiger, W. (Vortragende*r)
28 Juni 2024Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
Auszeichnungen
-
Kepler Award 2024 for the course "Logic", co-lectured by the institutes RISC (Wolfgang Schreiner and Wolfgang Windsteiger) and SAI (Martina Seidl)
Schreiner, W. (Empfänger*in), Windsteiger, W. (Empfänger*in) & Seidl, M. (Empfänger*in), 2024
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
Kepler-Award for best teaching in category "Ars Docendi" for Wolfgang Windsteiger
Windsteiger, W. (Empfänger*in), 2025
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
Kepler Awards for Excellence in Teaching
Langgruber, P. (Empfänger*in) & Windsteiger, W. (Empfänger*in), 24 Apr. 2025
Auszeichnung: Preis, Auszeichnung oder Ehrung