Research output per year
Research output per year
-
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.). 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., 13 Sept 2026, 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
-
Concrete Abstractions
Schreiner, W., 2023, 1 ed. Cham, Switzerland: Springer. 270 p. (Texts & Monographs in Symbolic Computation)Research output: Book › Monograph
-
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
-
MACH-2
et al. (Researcher) & Schreiner, W. (PI)
01.01.2017 → 31.12.2021
Project: Funded research › Federal / regional / local authorities
Activities
-
MoMM 2024, 22th International Conference on Advances in Mobile Computing And Multimedia (Event)
et al. (Member) & Schreiner, W. (Member)
02 Dec 2024 → 04 Dec 2024Activity: Membership/Function › Program committee
-
Dr. William Steingartner (01.12.2024-07.12.2024)
Schreiner, W. (Host) & Steingartner, W. (Host)
01 Dec 2024 → 07 Dec 2024Activity: Other › Incoming (legacy data)
-
The Machine Learning Problem
Schreiner, W. (Speaker)
21 Oct 2024Activity: Talk or presentation › Other talk or presentation › science-to-science
-
ICTERI 2024, 19th International Conference on ICT in Education, Research , and Industrial Applications (Event)
et al. (Member) & Schreiner, W. (Member)
23 Sept 2024 → 27 Sept 2024Activity: Membership/Function › Program committee
-
Project Aktion Österreich-Slowakai 2024-05-15-001
Schreiner, W. (Visiting person)
18 Sept 2024 → 24 Sept 2024Activity: Other › Outgoing (legacy data)