-
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 -
Executable Semantics for Teaching Concatenative Stack-Based DSLs: The Case of StackLang
Steingartner, W. & Schreiner, W., 22 Sep. 2025, New Trends in Database and Information Systems: ADBIS 2025 Short Papers, Doctoral Consortium and Tutorials, Tampere, Finland, September 23-26, 2025, Proceedings. K. Chrysanthis, P., Nørvåg, K., Stefanidis, K., Zhang, Z., Quintarelli, E. & Zumpano, E. (Hrsg.). 1 Aufl. Cham, Switzerland: Springer, S. 248-263 16 S. (Communications in Computer and Information Science; Band 2676 CCIS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag
-
Semantics-Based Rapid Prototyping of a Subset of SQL
Schreiner, W. & Steingartner, W., Feb. 2025, RISC, JKU, 179 S. (RISC Report Series; Nr. 25-02).Publikation: Preprints, Working Paper und Forschungsberichte › Forschungsbericht
Open Access -
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Schreiner, W., 30 Aug. 2025, 2 Aufl. Cham, Switzerland: Springer. 641 S. (Texts & Monographs in Symbolic Computation)Publikation: Buch › Monographie › Begutachtung
-
Semantics-Based Rapid Prototyping of a Machine Controller Language
Schreiner, W. & Steingartner, W., 2024, 2024 IEEE 17th International Scientific Conference on Informatics, Poprad, Slovakia, November 13-15. Valerie Novitzká, Anikó Szakál (Hrsg.). IEEE, S. 348--353 6 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Weitere Optimierungsmethoden für kontrollierte Warteschlangensysteme auf der Grundlage künstlicher Intelligenz
Efrosinin, D. (Projektleiter*in), Stepanova, N. (Forscher*in), Mallinger, A. (Forscher*in), Schreiner, W. (Forscher*in), Sztrik, J. (Forscher*in), Gal, Z. (Projektleiter*in), Talbi, D. (Forscher*in) & Filep, L. (Forscher*in)
01.01.2026 → 31.12.2026
Projekt: Geförderte Forschung › Andere Geldgeber
-
Industrial problem solving using symbolic and subsymbolic AI
Schreiner, W. (Projektleiter*in), Schneider, C. (Projektleiter*in) & Seidl, M. (Projektleiter*in)
01.05.2025 → 31.10.2026
Projekt: Geförderte Forschung › FFG - Österreichische Forschungsförderungsgesellschaft
-
LOGTECHEDU - Logic Technology for Computer Science Education
Schreiner, W. (Projektleiter*in)
01.03.2018 → 29.02.2020
Projekt: Anderes › Sonstiges Projekt
-
Semantic Technologies for Computer Science Education
Schreiner, W. (Projektleiter*in)
01.01.2018 → 31.12.2019
Projekt: Geförderte Forschung › Andere Geldgeber
-
Der Entwurf und die informationstechnische Modellierung kognitiver Funknetze
Schreiner, W. (Forscher*in), Sturm, V. (Forscher*in), Sztrik, J. (Forscher*in) & Efrosinin, D. (Projektleiter*in)
01.06.2017 → 31.05.2018
Projekt: Geförderte Forschung › Sonstige überwieg. aus öff. Hand
Aktivitäten
-
Some Experiments on the Predicate Power of ML Models - The Case of the “Shortest Path Problem”
Schreiner, W. (Vortragende*r)
20 Okt. 2025Aktivität: Vortrag oder Präsentation › Anderer Vortrag oder Präsentation › Science-to-science
-
William Steingartner
Schreiner, W. (Gastgeber*in)
07 Juli 2025 → 17 Juli 2025Aktivität: Betreuung von Gästen
-
William Steingartner
Schreiner, W. (Gastgeber*in)
11 Mai 2025 → 16 Mai 2025Aktivität: Betreuung von Gästen
-
Universität Debrecen
Schreiner, W. (Gastforscher*in)
14 Apr. 2025 → 17 Apr. 2025Aktivität: Besuch einer externen Einrichtung
-
William Steingartner
Schreiner, W. (Gastgeber*in)
16 Feb. 2025 → 22 Feb. 2025Aktivität: Betreuung von Gästen
Auszeichnungen
-
Best Student Paper Award "Towards Formal Specification and Verification of Maple Programs at the Conferences on Intelligent Computer Mathematics
Khan, M. T. (Empfänger*in) & Schreiner, W. (Empfänger*in), 2012
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
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