18 Non-Refereed Publications

Wolfgang Schreiner, David Cerna, Temur Kutsia, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer, Thomas Gössl.
Practical Event Monitoring in the LogicGuard Framework.
embedded world Conference 2016, February 23-25 2016, Nürnberg, Germany, Matthias Sturm et al. (ed.), February 2016. Design & Elektronik, Haar, Germany, ISBN 978-3-645-50159-0.

Wolfgang Schreiner, Temur Kutsia, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer.
Securing Device Communication by Predicate Logic Specifications
embedded world Conference 2015, February 24-26 2015, Nürnberg, Germany, Matthias Sturm et al. (ed.), February 2015. Design&Elektronik, Haar, Germany.

Wolfgang Schreiner.
Program-Reasoning Based on a Relational Semantics of Programs (Extended Abstract)
Specification and Verification of Hybrid Systems, Proceedings of the First International Seminar, Louis Feraud and Ievgen Ivanov and Mykola Nikitchenko and Martin Strecker (ed.), pp. 64-69. 2011. October 10-12, 2011, Kyiv, Ukraine, Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse.

Wolfgang Schreiner.
The RISC ProgramExplorer: Reasoning about Programs as State Relations (Extended Abstract)
SCSS 2010, Symbolic Computation in Software Science, Hagenberg, Austria, July 29–30, 2010.

Wolfgang Schreiner.
On Proving Assistants in the Classroom (and Elsewhere)
CADGME 2009, Computer Algebra and Dynamic Geometry Systems in Mathematics Education, Hagenberg, Austria. July 11-13, 2009.

Wolfgang Schreiner, Michael Buchberger.
Grid Computing zur Simulation von Augenmuskeloperationen (Grid Computing for the Simulation of Eye Muscel Surgery, in German)
OCG Journal, 5:23–24, December 2005, Austrian Computer Society (OCG).

Wolfgang Schreiner.
A Distributed Computer Algebra System Based on Maple and Java (PostScript), (RTF).
Helmut Gutmann (ed.), Software for Communication Technologies, Third International Austrian-Israeli Technion Symposium with Industrial Forum, April 26–27, 1999, Hagenberg, Austria, Austrian Technion Society, Vienna, pp. 23–28.

Wolfgang Schreiner.
On Engineering a Distributed Algorithm (PostScript) (RTF).
Helmut Gutmann (ed.), Software for Communication Technologies, Third International Austrian-Israeli Technion Symposium with Industrial Forum, April 26–27, 1999, Hagenberg, Austria, Austrian Technion Society, Vienna, pp. 110–116.
Slides (PostScript).

Mircea Marin and Wolfgang Schreiner.
CFLP: a Distributed Constraint Solving System for Functional Logic Programming.
Bruno Buchberger and Tudor Jebelean (eds), Second International Theorema Workshop, Castle of Hagenberg, Austria, June 29–30, 1998.
Technical Report 98-10, RISC, Johannes Kepler University, Linz, Austria, June 1998.

Wolfgang Schreiner.
A Distributed Education Environment Based on Mathematica. (HTML Version)
IDIMT’97 — 5th Interdisciplinary Information Management Talks, Zadov, Czech Republic, October 15–17, 1997, pp. 287–301, Volume 102 of the Austrian Computer Society Series, Oldenbourg Verlag, Vienna. Also: Technical Report 97-22, RISC, Johannes Kepler University Linz, Austria, July 1997.
Slides (PostScript).

Wolfgang Schreiner.
Alle Fäden in der Hand — Thread Programmierung unter Linux in C und C++ (Teil 1 und Teil 2)
Linux-Magazin, 07/1996 und 08/1996.

Wolfgang Schreiner.
Parallel Computer Algebra on a Shared Memory Multiprocessor (Extended Abstract).
4th Supercomputing Day, Johannes Kepler University, Linz, Austria, February 3, 1994.

Hoon Hong and Wolfgang Schreiner.
Programming in PACLIB.
SIGSAM Bulletin, Volume 26, Number 4, pages 1–6, November 1992. Also: Technical Report 93-05, RISC, Johannes Kepler University, Linz, Austria, February 1993. Also: Technical Report ACPC/TR 93-13, Austrian Center for Parallel Computation.

Wolfgang Schreiner.
On the Automatic Parallelization of List-Based Functional Programs.
Invited paper at the Third International Workshop on Compilers for Parallel Computers, Vienna, Austria, July 6–9, 1992, Technical Report ACPC/TR 92-8, Austrian Center for Parallel Computation, pages 44-57.