See below for papers on RISCAL.

**Wolfgang Schreiner. Thinking Programs - Logical Modeling and Reasoning About Languages, Data, Computations, and Executions**- Texts & Monographs in Symbolic Computation, Springer, 2021.
**Wolfgang Schreiner, Franz-Xaver Reichl. First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving**- Proceedings of the 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), Hagenberg, Austria, September 8-10, 2021, Temur Kutsia (ed.), Electronic Proceedings in Theoretical Computer Science (EPTCS) 342, pp. 99-113. September 2021. ISSN 2075-2180.
**Wolfgang Schreiner, Franz-Xaver Reichl. Semantic Evaluation versus SMT Solving in the RISCAL Model Checker**- Technical report 21-11, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2021.
**Wolfgang Schreiner, William Steingartner, Valerie Novitzká: A Novel Categorical Approach to the Semantics of Relational First-Order Logic**- Symmetry 12(10), 1584, MDPI. September 2020.
**Wolfgang Schreiner, Franz-Xaver Reichl: Mathematical Model Checking Based on Semantics and SMT**- Transactions on Internet Research 16(2), pp. 4-13, IPSI. July 2020.
**Franz-Xaver Reichl: The Integration of SMT Solvers into the RISCAL Model Checker**- Master Thesis, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria, April 2020.
**Wolfgang Schreiner: Logic and Semantic Technologies for Computer Science Education**- Invited paper at Informatics'2019, 2019 IEEE 15th International Scientific Conference on Informatics, Poprad, Slovakia, November 20-22, 2019, pp. 415-420. IEEE.
**Hsuan-Ming Chen: Migrating Mathematical Programs to Web Interface Frameworks**- Master's Thesis for the International Degree Programme "Informatics: Engineering & Management", Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. April 2019.
**Wolfgang Schreiner, Valerie Novitzká, William Steingartner: A Categorical Semantics of Relational First-Order Logic.**- Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March 2019.
**Wolfgang Schreiner: Theorem and Algorithm Checking for Courses on Logic and Formal Methods.**- Post-Proceedings ThEdu’18, Pedro Quaresma and Walther Neuper (ed.), 7th International Workshop on Theorem proving components for Educational software, Oxford, United Kingdom, 18 July 2018, Volume 290 of Electronic Proceedings in Theoretical Computer Science (EPTCS), pp. 56-75, April 1, 2019. Open Publishing Association, ISSN 2075-2180.
**Lucas Payr: Formalization and Validation of Fundamental Sequence Algorithms by Computer-assisted Checking of Finite Models**- Bachelor Thesis, Johannes Kepler University, Linz, December 2018.
**Wolfgang Schreiner: WebEx: Web Exercises for RISCAL**-
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, October 2018.

See here for the current version of the manual. **Wolfgang Schreiner: Logic as a Path to Enlightenment (Work in Progress Report)**- Walther Neuper (editor), CME-EI18, Computer Mathematics in Education - Enlightenment or Incantation? Workshop at CICM 2018, 11th Conference on Intelligent Computer Mathematics, Hagenberg, Austria, August 17, 2018. CEUR Workshop Proceedings, Volume 2307.
**Wolfgang Schreiner: Validating Mathematical Theories and Algorithms with RISCAL**- Intelligent Computer Mathematics, F. Rabe, W. Farmer, G. Passmore, A. Youssef (ed.), Proceedings of CICM 2018, 11th Conference on Intelligent Computer Mathematics, Hagenberg, Austria, August 13-17, 2018, Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence 11006, 2018. Springer, Berlin. The final authenticated version will be available online at Springer.
**Wolfgang Schreiner, William Steingartner: Visualizing Logic Formula Evaluation in RISCAL**- Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, July 2018.
**Wolfgang Schreiner, William Steingartner: Visualizing Execution Traces in RISCAL**- Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, March 2018.
**Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst: Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models**- Post-Proceedings ThEdu'17, Pedro Quaresma and Walther Neuper: 6th International Workshop on Theorem proving components for Educational software (ThEdu'17), Gothenburg, Sweden, 6 Aug 2017, Electronic Proceedings in Theoretical Computer Science (EPTCS) 267, pp. 120-139. 2018. Open Publishing Association, ISSN 2075-2180.
**Alexander Brunhuemer: Validating the Formalization of Theories and Algorithms of Discrete Mathematics by the Computer-Supported Checking of Finite Models**- Bachelor Thesis, Johannes Kepler University, Linz, September 2017.
**Wolfgang Schreiner: The RISC Algorithm Language - Tutorial and Reference Manual (Version 1.0)**-
Technical Report, Johannes Kepler University, Linz, January 2017.

See here for the current version of the manual.

Wolfgang Schreiner Last modified: March 11, 2019