Research output per year
Research output per year
-
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 p. (RISC Report Series; vol. 25-12).Research output: Working paper and reports › Research report
Open Access -
Executable Semantics for Teaching Concatenative Stack-Based DSLs: The Case of StackLang
Steingartner, W. & Schreiner, W., 22 Sept 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. (eds.). 1 ed. Cham, Switzerland: Springer, p. 248-263 16 p. (Communications in Computer and Information Science; vol. 2676 CCIS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings
-
Semantics-Based Rapid Prototyping of a Subset of SQL
Schreiner, W. & Steingartner, W., Feb 2025, RISC, JKU, 179 p. (RISC Report Series; no. 25-02).Research output: Working paper and reports › Research report
Open Access -
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Schreiner, W., 30 Aug 2025, 2 ed. Cham, Switzerland: Springer. 641 p. (Texts & Monographs in Symbolic Computation)Research output: Book › Monograph › peer-review
-
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 (ed.). IEEE, p. 348--353 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Further Optimization Methods for Controlled Queueing Systems Based on Artificial Intelligence
Efrosinin, D. (PI), Stepanova, N. (Researcher), Mallinger, A. (Researcher), Schreiner, W. (Researcher), Sztrik, J. (Researcher), Gal, Z. (PI), Talbi, D. (Researcher) & Filep, L. (Researcher)
01.01.2026 → 31.12.2026
Project: Funded research › Other sponsors
-
Industrial problem solving using symbolic and subsymbolic AI
Schreiner, W. (PI), Schneider, C. (PI) & Seidl, M. (PI)
01.05.2025 → 31.10.2026
Project: Funded research › FFG - Austrian Research Promotion Agency
-
LOGTECHEDU - Logic Technology for Computer Science Education
Schreiner, W. (PI)
01.03.2018 → 29.02.2020
Project: Other › Other project
-
Semantic Technologies for Computer Science Education
Schreiner, W. (PI)
01.01.2018 → 31.12.2019
Project: Funded research › Other sponsors
-
Der Entwurf und die informationstechnische Modellierung kognitiver Funknetze
Schreiner, W. (Researcher), Sturm, V. (Researcher), Sztrik, J. (Researcher) & Efrosinin, D. (PI)
01.06.2017 → 31.05.2018
Project: Funded research › Other mainly public funds
Activities
-
Some Experiments on the Predicate Power of ML Models - The Case of the “Shortest Path Problem”
Schreiner, W. (Speaker)
20 Oct 2025Activity: Talk or presentation › Other talk or presentation › science-to-science
-
-
-
University of Debrecen
Schreiner, W. (Visiting researcher)
14 Apr 2025 → 17 Apr 2025Activity: Visiting an external institution
-
Prizes
-
Best Student Paper Award "Towards Formal Specification and Verification of Maple Programs at the Conferences on Intelligent Computer Mathematics
Khan, M. T. (Recipient) & Schreiner, W. (Recipient), 2012
Prize: Prize, award or honor
-
Kepler Award 2024 for the course "Logic", co-lectured by the institutes RISC (Wolfgang Schreiner and Wolfgang Windsteiger) and SAI (Martina Seidl)
Schreiner, W. (Recipient), Windsteiger, W. (Recipient) & Seidl, M. (Recipient), 2024
Prize: Prize, award or honor