Research output per year
Research output per year
-
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
-
The SLANG Semantics-Based Language Generator
Schreiner, W. & Steingartner, W., Sept 2023, Hagenberg, Linz: RISC, JKU, 59 p. (RISC Report Series; no. 23-13).Research output: Working paper and reports › Preprint
-
A Temporal Logic Extension of the RISCAL Model Checker
Schreiner, W. & Sütö, Á., 2022, 2022 IEEE 16th International Scientific Conference on Informatics, Poprad, Slovakia, November 23-25. William Steingartner, Štefan Korečko, Anikó Szakál (ed.). IEEE, p. 267-272 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Implementation Techniques for Mathematical Model Checking
Schreiner, W., 2022, SYNASC 2022, 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Hagenberg, Austria, September 12-15. Bruno Buchberger, Mircea Marin (ed.). IEEE, p. 12-15 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
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)