Wolfgang Schreiner and William Steingartner.
The SLANG Semantics-Based Language-Generator - Tutorial and Reference Manual (Version
1.0.*).
Technical report 23-13, Research Institute for Symbolic Computation (RISC), Johannes Kepler
University Linz, Austria. September 2023. DOI: 10.35011/risc.23-13
Wolfgang Schreiner.
The RISCTP Theorem Proving Interface - Tutorial and Reference Manual (Version 1.0.*).
Technical report 22-07, Research Institute for Symbolic Computation (RISC), Johannes Kepler
University Linz, Austria. June 2022. DOI: 10.35011/risc.22-07
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, János Sztrik.
Applying Statistical Model Checking to the Analysis of a Retrial Queueing System with
Constant Time Impatience.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria.
Technical Report 19-12, September 2019.
Wolfgang Schreiner, János Sztrik.
On the Probabilistic Model Checking of a Retrial Queueing System with Unreliable Server,
Collision, and Constant Time Impatience.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria.
Technical Report 19-11, July 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.
WebEx: Web Exercises for RISCAL.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, October 2018.
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, Tamás Bérczes, János Sztrik, Hamza Nemouchi.
On the Probabilistic Model Checking of Cognitive Radio Networks and Cognitive
Infocommunication Systems.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria.
Technical report, February 2018.
Wolfgang Schreiner.
The RISC Algorithm Language - Tutorial and Reference Manual.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria.
Technical report, March 2017.
Temur Kutsia, George Rahonis, Wolfgang Schreiner.
MK-fuzzy automata.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, May 2016.
Wolfgang Schreiner, Temur Kutsia, Davic Cerna, Michael Krieger, Bashar Ahmad, Helmut Otto,
Martin Rummerstorfer, Thomas Gössl.
The LogicGuard Stream Monitor Specification Language Tutorial and Reference Manual.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, October 2015.
Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Adam Toth.
Modeling RF Communication in Sensor Networks by Probabilistic Model Checking.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria.
Technical report, October 2015.
Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Adam Toth.
Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria.
Technical report, October 2015.
Wolfgang Schreiner.
Some Lessons Learned on Writing Predicate Logic Proofs in Isabelle/Isar.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria.
Technical report, October 2014.
Wolfgang Schreiner, Tamas Berczes, Adam Toth.
Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria.
Technical report, September 2014.
Temur Kutsia, Wolfgang Schreiner.
Verifying the Soundness of Resource Analysis for LogicGuard Monitors — Revised Version.
Technical Report 14-08, Research Institute for Symbolic Computation (RISC), Johannes Kepler
University, Linz, Austria, September 2014.
Temur Kutsia, Wolfgang Schreiner.
Verifying the Soundness of Resource Analysis for LogicGuard Monitors — Part 1.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, December 2013.
Wolfgang Schreiner, Temur Kutsia.
A Resource Analysis for LogicGuard Monitors .
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, December 2013.
Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Gabor Kusper.
A Case Study on Exploring the Performance Limits of PRISM.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, September 2013.
Wolfgang Schreiner, Tamas Berczes, Janos Sztrik.
Probabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile
Networks.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, September 2013.
Wolfgang Schreiner, Nikolaj Popov, Tamas Berczes, Janos Sztrik, Gabor Kusper.
Applying High Performance Computing to Analyzing by Probabilistic Model Checking Mobile
Cellular Networks with Spectrum Renting.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, July 2013.
Wolfgang Schreiner.
Initial Results on Modeling in PRISM Mobile Cellular Networks with Spectrum Renting.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, April 2013.
Wolfgang Schreiner.
Experiments with Measuring Time in PRISM 4.0 (Addendum).
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, April 2013.
Wolfgang Schreiner.
Experiments with Measuring Time in PRISM 4.0.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, March 2013.
Wolfgang Schreiner.
Computability and Complexity.
Technical Report 2012-10, Research Institute for Symbolic Computation (RISC), Johannes Kepler
University, Linz, Austria, June 2012.
Lecture Notes, Winter Semester 2012/2013.
Temur Kutsia, Wolfgang Schreiner.
LogicGuard Abstract Language.
Technical Report 12-08, Research Institute for Symbolic Computation (RISC), Johannes Kepler
University, Linz, Austria, June 2012.
Wolfgang Schreiner.
The RISC ProgramExplorer: Tutorial and Manual.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, September 2011.
Wolfgang Schreiner.
A JML Specification of the Design Pattern “Proxy”.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, September 2010.
Wolfgang Schreiner.
The RISC ProgramExplorer: Tutorial and Manual.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, April 2010.
Wolfgang Schreiner.
From Types to Contracts: Supporting by Light-Weight Specifications the Liskov Substitution
Principle.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, February 2010.
Wolfgang Schreiner.
How to Write Postconditions with Multiple Cases.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, November 2009.
Wolfgang Schreiner.
Supporting the Design Pattern “Object Structures as Plain Values”.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, September 2009.
Wolfgang Schreiner.
A JML Specification of the Design Pattern “Proxy”.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, April 2009.
Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik.
Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM.
Technical Report 08-17, Research Institute for Symbolic Computation (RISC), Johannes Kepler
University, Linz, Austria, November 2008.
Wolfgang Schreiner.
A Program Calculus
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, September 2008.
Wolfgang Schreiner.
Understanding Programs
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, July 2008.
Gabor Guta, Barnabas Szasz, Wolfgang Schreiner.
A Lightweight Model Driven Development Process based on XML Technology
Technical Report 08-01, Research Institute for Symbolic Computation (RISC), Johannes Kepler
University, Linz, Austria, March 2008.
Karoly Bosa, Wolfgang Schreiner.
Report on Experiments with Globus 4 and GLite.
Austrian Grid Deliverable AG-D4-1-2007, Research Institute for Symbolic Computation (RISC),
Johannes Kepler University, Linz, Austria, January 2008.
Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik.
Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model
Checker PRISM for Modeling and Analyzing Retrial Queueing Systems.
Technical Report 07-17, Research Institute for Symbolic Computation (RISC), Johannes Kepler
University, Linz, Austria, December 2007.
Wolfgang Schreiner.
The RISC ProofNavigator – Tutorial and Manual.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, July 2006.
Rebhi Baraka, Wolfgang Schreiner.
Semantic Querying of Mathematical Web Service Descriptions.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, April 2006.
Rebhi Baraka, Wolfgang Schreiner.
Querying Registry-Published Mathematical Web Services.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, July 2005.
Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen.
A Prototype of the SEE-GRID Pathology Fitter.
Austrian Grid Deliverable A1c-3-2005, Research Institute for Symbolic Computation (RISC),
Johannes Kepler University, Linz, Austria, July 2005.
Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen.
The Initial Version of SEE-GRID.
Austrian Grid Deliverable A1c-1-2005, Research Institute for Symbolic Computation (RISC),
Johannes Kepler University, Linz, Austria, March 2005.
Karoly Bosa, Wolfgang Schreiner, Rebhi Baraka, Michael Buchberger, Thomas Kaltofen, Daniel
Mitterdorfer.
SEE-GRID Design Overview.
Austrian Grid Deliverable A1c-1, Research Institute for Symbolic Computation (RISC), Johannes
Kepler University, Linz, Austria, November 2004.
Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner.
A Registry Service as a Foundation for Brokering Mathematical Services.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, May 2004.
Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner.
Publishing and Discovering Mathematical Service Descriptions: A Web Registry Approach.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University,
Linz, Austria, April 2004.
Wolfgang Schreiner.
Recording Instructional Presentations on Your PC
Engineering for Computer-based Learning, University of Applied Sciences at Hagenberg, Austria,
March 2003.
Wolfgang Schreiner.
Elektronische Lehrpräsentationen
Engineering for Computer-based Learning, University of Applied Sciences at Hagenberg, Austria,
March 2003.
Wolfgang Schreiner.
Ein Teleteaching Experiment
Engineering for Computer-based Learning, University of Applied Sciences at Hagenberg, Austria,
May 2002.
Karoly Bosa, Wolfgang Schreiner.
Task Logging, Rescheduling, and Peer Checking in Distributed Maple (PostScript).
Technical Report 02-10, RISC, Johannes Kepler University, Linz, Austria, March 2002.
Gabor Kusper, Wolfgang Schreiner, Robert Lovas.
Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools
(Project Report) (PostScript).
Technical Report 02-07, RISC, Johannes Kepler University, Linz, Austria, March 2002.
Wolfgang Schreiner.
Parallelizing the Big Prime Berlekamp Algorithm with Distributed Maple (PostScript).
Technical Report 01-15, RISC, Johannes Kepler University, Linz, Austria, July 2001.
Wolfgang Schreiner, Gabor Kusper, Karoly Bosa.
Introducing Fault Tolerance to Distributed Maple (PostScript).
Technical Report 01-03, RISC, Johannes Kepler University, Linz, Austria, January 2001.
Wolfgang Schreiner.
Manager-Worker Parallelism versus Dataflow in Distributed Maple (PostScript).
Technical Report 00-34, RISC, Johannes Kepler University, Linz, Austria, December
2000.
Wolfgang Schreiner.
Analyzing the Performance of Distributed Maple on Various Parallel and Distributed Systems
(PostScript).
Technical Report 00-32, RISC, Johannes Kepler University, Linz, Austria, November
2000.
Cleopatra Pau, Wolfgang Schreiner.
Distributed Mathematica — User and Reference Manual (PostScript).
Technical Report 00-25, RISC, Johannes Kepler University, Linz, Austria, July 2000.
Wolfgang Schreiner.
A Note on Maple’s GCD Computation of Partially Factored Polynomials (PostScript).
Technical Report 00-11, RISC, Johannes Kepler University, Linz, Austria, April 2000.
Ioana-Cleopatra Pau, Igor Rents, Wolfgang Schreiner.
Verifying Mutual Exclusion and Liveness Properties with TLA (PostScript).
Technical Report 00-06, RISC, Johannes Kepler University, Linz, Austria, January 2000.
Wolfgang Schreiner.
Formal Foundations of Computer Science 1 (Web Page).
Technical Report 99-32, RISC, Johannes Kepler University, Linz, Austria, November
1999.
Fabrizio Caruso, Carsten Schneider, Geert Van de Weyer, Wolfgang Schreiner.
A Student Dictionary System (PostScript).
Technical Report 99-10, RISC, Johannes Kepler University, Linz, Austria, April 1999.
Ralf Hemmecke, Erik Hillgarter, Wolfgang Schreiner, Franz Winkler.
An Evaluation of the State of the CASA System (PostScript).
Technical Report 98-16, RISC, Johannes Kepler University, Linz, Austria, October 1998.
Wolfgang Schreiner.
Distributed Maple - User and Reference Manual (PostScript).
Technical Report 98-05, RISC, Johannes Kepler University, Linz, May 1998.
Bruno Buchberger, Manuel Chakravarty, John Darlington, Yke Guo, Tetsuo Ida, Igor Mejuev,
Wolfgang Schreiner.
KnowledgeWeb — A Design and Feasibility Study.
Technical Report ISE-TR-98-151, Institute of Information Sciences and Electronics, University of
Tsukuba, Japan, May 1998.
Wolfgang Schreiner.
DAJ — A Toolkit for the Simulation of Distributed Algorithms in Java (HTML Version).
Technical Report 97-36, RISC, Johannes Kepler University, Linz, November 1997.
Bruno Buchberger, Wolfgang Schreiner.
CONCERT — A Software Architecture for Coordinating Education Sessions in Distributed
Environments (HTML Version).
Technical Report 97-04, RISC, Johannes Kepler University, February 1997.
Wolfgang Schreiner.
RT++ — Higher Order Threads for C++, Tutorial and Reference Manual
Technical Report 96-09, RISC, Johannes Kepler University, Linz, April 1996.
Hoon Hong and Wolfgang Schreiner.
HPGP — High-Performance Generic Programming for Computational Mathematics by
Compile-Time Instantiation of Higher-Order Functors.
Accepted Research Proposal, Technical Report 96-10, RISC, Johannes Kepler University, July
1995.
Bruno Buchberger, Andreas Neubacher, Peter Pregler, Wolfgang Schreiner, Kurt Siegl.
Kein Briefgeheimnis für die Informationsgesellschaft (No Privacy for the Information
Society?)
HTML version http://www.risc.jku.at/misc-info/crypto/crypto.html
Wolfgang Schreiner.
Compiling a Para-Functional Language to Parallel PACLIB C.
Technical Report 94-44, RISC, Johannes Kepler University, Linz, July 1994.
P.G. Bertoli, Hoon Hong, Andreas Neubacher, Wolfgang Schreiner, Volker Stahl.
The C++ Interface to the STURM Distributed Multi-Processor Kernel.
Technical Report 94-32, RISC, Johannes Kepler University, Linz, March 1994.
Hoon Hong, Andreas Neubacher, Wolfgang Schreiner, Volker Stahl.
The C++ Interface to the STURM Multi-Processor Kernel.
Technical Report 94-31, RISC, Johannes Kepler University, Linz, April 1994.
Hoon Hong, Andreas Neubacher, Wolfgang Schreiner, Volker Stahl.
The STURM Multi-Processor Kernel.
Technical Report, RISC, Johannes Kepler University, Linz, April 1994.
Wolfgang Schreiner.
Virtual Tasks for the PACLIB Kernel.
Technical Report 94-2, RISC, Johannes Kepler University, Linz, Austria, January 1994.
Wolfgang Schreiner.
Garbage Collection on a Stack.
Technical Report 94-1, RISC, Johannes Kepler University, Linz, Austria, January 1994.
Wolfgang Schreiner.
Compiling a Functional Language to Efficient SACLIB C.
Technical Report 93-49, RISC, Johannes Kepler University, Linz, Austria, September
1993.
Wolfgang Schreiner.
Parallel Functional Programming — An Annotated Bibliography.
Technical Report 93-24, RISC, Johannes Kepler University, Linz, Austria, May 1993.
Wolfgang Schreiner.
The Correctness of the PACLIB Kernel — A Case Study in Parallel Program Verification by
Temporal Logic.
Technical Report 93-13, RISC, Johannes Kepler University, Linz, Austria, January 1993. Also:
Technical Report ACPC/TR 93-15, Austrian Center for Parallel Computation.
Wolfgang Schreiner and Volker Stahl.
The Exact Solution of Linear Equation Systems on a Shared Memory Multiprocessor.
Technical Report, RISC, Johannes Kepler University, Linz, Austria, November 1992.
Wolfgang Schreiner.
The Design of the PACLIB Kernel.
Technical Report 92-33, RISC, Johannes Kepler University, Linz, Austria, May 1992. Also: Technical
Report ACPC/TR 93-4, Austrian Center for Parallel Computation.
Hoon Hong, Wolfgang Schreiner, Andreas Neubacher, et al.
PACLIB User Manual — A System for Parallel Algebraic Computation on Shared Memory
Multiprocessors.
Technical Report 92-32, RISC, Johannes Kepler University, Linz, Austria, May 1992. Also: Technical
Report ACPC/TR 92-9, Austrian Center for Parallel Computation.
Wolfgang Schreiner.
On the Analysis of List-Based Functional Programs for Automatic Parallelization.
Technical Report, RISC, Johannes Kepler University, Linz, Austria, May 1992.
Wolfgang Schreiner.
User Guide and System Administration Reference for the Sequent Symmetry.
Technical Report **-12, RISC, Johannes Kepler University, Linz, Austria, April 1992.
Wolfgang Schreiner.
A Portable Parallel Library for the Compilation of Dataflow Programs.
Technical Report ACPC/TR 92-5, Austrian Center for Parallel Computation, April 1992.
Wolfgang Schreiner.
A Model for the Compilation of Dataflow Languages on Conventional Parallel Architectures.
Technical Report 91-50, RISC, Johannes Kepler University, Linz, Austria, November
1991.
Wolfgang Schreiner.
A High-Level Target Language for the Compilation of Dataflow Programs.
Technical Report 91-49, RISC, Johannes Kepler University, Linz, Austria, November
1991.
Wolfgang Schreiner.
Report on the EVE Programming Language.
Technical Report 89-43, RISC, Johannes Kepler University, Linz, Austria, November 1989.