Wolfgang Schreiner, A.Univ.-Prof. DI Dr.

Publications

	Wolfgang Schreiner. Concrete Abstractions. Texts & Monographs in Symbolic Computation 1st edition, 2023. Springer, Cham, Switzerland, 270 pages, Hardcover ISBN 978-3-031-24933-4, Softcover ISBN 978-3-031-24936-5, eBook ISBN 978-3-031-24934-1. [url] [bib]
	Wolfgang Schreiner, William Steingartner. The SLANG Semantics-Based Language Generator. Technical report no. 23-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 2023. [url] [pdf] [pdf] [covercore.tex] [prepend_cover.log] [bib]
	Wolfgang Schreiner. The RISCTP Theorem Proving Interface - Tutorial and Reference Manual (Version 1.0.*). Technical report no. 22-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2022. [url] [pdf] [bib]
	Wolfgang Schreiner. Mathematical Model Checking in RISCAL. September 13 2022. Software presentation at SYNASC 2022 - 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. [url] [bib]
	Wolfgang Schreiner, Ágoston Sütő. A Temporal Logic Extension of the RISCAL Model Checker. In: 2022 IEEE 16th International Scientific Conference on Informatics, Poprad, Slovakia, November 23-25, William Steingartner, Štefan Korečko, Anikó Szakál (ed.), pp. 267-272. 2022. IEEE, ISBN 979-8-3503-1034-4. [url] [bib]
	Wolfgang Schreiner. Implementation Techniques for Mathematical Model Checking. In: SYNASC 2022, 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Hagenberg, Austria, September 12-15, Bruno Buchberger, Mircea Marin, Viorel Negru, Daniela Zaharie (ed.), pp. 12-15. 2022. IEEE, ISBN 978-1-6654-6545-8. [url] [bib]
	Wolfgang Schreiner, Franz-Xaver Reichl. Semantic Evaluation versus SMT Solving in the RISCAL Model Checker. Technical report no. 21-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2021. [url] [pdf] [bib]
	Wolfgang Schreiner, Franz-Xaver Reichl. First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. In: 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 342, pp. 99-113. September 2021. ISSN 2075-2180. [url] [bib]
	Wolfgang Schreiner. Thinking Programs. Texts & Monographs in Symbolic Computation 1st edition, 2021. Springer, Cham, Switzerland, 636 pages, Hardcover ISBN 978-3-030-80506-7, Softcover ISBN 978-3-030-80509-8, eBook ISBN 978-3-030-80507-4. [url] [bib]
	Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner. McCarthy-Kleene fuzzy automata and MSO logics. Information and Computation, pp. -. 2020. Elsevier, ISSN 0890-5401. In Press. [url] [bib]
	Ádam Tóth, Tamas Bérczes, Janos Sztrik, Attila Kuki, Wolfgang Schreiner. The Simulation of Finite-Source Retrial Queueing Systems with Collisions and Blocking. Journal of Mathematical Sciences 246(4), pp. 548-559. March 2020. ISSN 1573-8795. [url] [bib]
	Wolfgang Schreiner, Franz-Xaver Reichl. Mathematical Model Checking Based on Semantics and SMT. Transactions on Internet Research 16(2), pp. 4-13. July 2020. IPSI, ISSN 1820-4503. [url] [bib]
	David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere. Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. In: ITICSE 2020, ACM (ed.), Proceedings of ITICSE, pp. 61-67. 2020. 9781450368742. [url] [bib]
	David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere. Computational Logic in the First Semester of Computer Science: An Experience Report. In: Proceedings of the 12th International Conference on Computer Supported Education - Volume 2: CSEDU, Springer (ed.), Proceedings of CSEDU, pp. 374-381. 2020. 978-989-758-417-6. [url] [bib]
	Wolfgang Schreiner, William Steingartner, Valerie Novitzká. A Novel Categorical Approach to the Semantics of Relational First-Order Logic. Technical report no. 20-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Symmetry 12(10), pp. 1584-. 2020. MDPI, Basel, Switzerland, ISSN 2073-8994, ISSN 2073-8994, 2020. [url] [pdf] [bib]
	Wolfgang Schreiner. Das Kooperationsprojekt "Supercomputer MACH-2". In: ACOnet Jahresbericht 2018, Christian Panigl (ed.), pp. 53-55. 2019. Universität Wien, ISSN 2616-7972. [url] [bib]
	Wolfgang Schreiner. Theorem and Algorithm Checking for Courses on Logic and Formal Methods. In: Post-Proceedings ThEdu'18, Pedro Quaresma and Walther Neuper (ed.), Proceedings of 7th International Workshop on Theorem proving components for Educational software, Oxford, United Kingdom, 18 July 2018, Electronic Proceedings in Theoretical Computer Science (EPTCS) 290, pp. 56-75. April 1 2019. Open Publishing Association, ISSN 2075-2180. [url] [pdf] [bib]
	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. [pdf] [bib]
	Wolfgang Schreiner. Logic and Semantic Technologies for Computer Science Education. In: Informatics’2019, 2019 IEEE 15th International Scientific Conference on Informatics, Poprad, Slovakia, November 20–22, William Steingartner, Štefan Korecko, Anikó Szakál (ed.), pp. 415-420. 2019. IEEE, ISBN 978-1-7281-3178-8. invited paper. [url] [bib]
	William Steingartner, Valerie Novitzká, Wolfgang Schreiner. A Coalgebraic Operational Semantics for an Imperative Language. Computing and Informatics, pp. -. 2019. ISSN 1335-9150. To appear. [bib]
	Wolfgang Schreiner, János Sztrik. On the Probabilistic Model Checking of a Retrial Queueing System with Unreliable Server, Collision, and Constant Time Impatience. Technical report no. 19-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. July 2019. [pdf] [bib]
	Wolfgang Schreiner, János Sztrik. Applying Statistical Model Checking to the Analysis of a Retrial Queueing System with Constant Time Impatience. Technical report no. 19-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 2019. [pdf] [bib]
	Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst. Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models. In: Post-Proceedings ThEdu'17, Pedro Quaresma and Walther Neuper (ed.), Proceedings of 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. [url] [pdf] [bib]
	Wolfgang Schreiner, Tamás Bérczes, János Sztrik, Hamza Nemouchi. On the Probabilistic Model Checking of Cognitive Radio Networks and Cognitive Infocommunication Systems. Technical report no. 18-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 2018. [pdf] [bib]
	Wolfgang Schreiner, William Steingartner. Visualizing Execution Traces in RISCAL. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March 2018. [pdf] [bib]
	Wolfgang Schreiner. Validating Mathematical Theories and Algorithms with RISCAL. In: 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, pp. 248-254. 2018. Springer, Berlin, ISBN 978-3-319-96811-7. The final authenticated version is available online at Springer. [url] [pdf] [bib]
	Wolfgang Schreiner. Logic as a Path to Enlightenment (Work in Progress Report). In: Computer Mathematics in Education - Enlightenment or Incantation?, Walther Neuper (ed.), Proceedings of CME-EI18, Workshop at CICM 2018, 11th Conference on Intelligent Computer Mathematics, Hagenberg, Austria, August 17, 2018., pp. 1-5. August 2018. CEUR Workshop Proceedings, Volume 2307, http://ceur-ws.org/Vol-2307/, ISSN 1613-0073. [url] [pdf] [bib]
	Wolfgang Schreiner, William Steingartner. Visualizing Logic Formula Evaluation in RISCAL. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, July 2018. [pdf] [bib]
	Wolfgang Schreiner. WebEx: Web Exercises for RISCAL. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October 2018. [pdf] [bib]
	David M. Cerna , Wolfgang Schreiner. Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. In: Epic series in computer science, Mohamed Mosbah, Michaël Rusinowitch (eds). (ed.), Proceedings of SCSS 2017, 8th International Symposium on Symbolic Computation in Software Science, Epic 45, pp. 1-15. April 2017. Easy chair, ISSN 2398-7340. [url] [pdf] [bib]
	Wolfgang Schreiner. The RISC Algorithm Language - Tutorial and Reference Manual. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, January 2017. [pdf] [bib]
	Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner. MK-fuzzy Automata and MSO Logics. In: 8th Symposium on Games, Automata, Logics and Formal Verification (GandALF’17), P. Bouyer, A. Orlandini, P. San Pietro (ed.), Electronic Proceedings in Theoretical Computer Science (EPTCS) 256, pp. 106-120. September 2017. Rome, Italy, September 22-27, ISSN 2075-2180. [pdf] [bib]
	Ovidiu Constantin Novac, Tamás Bérczes, Attila Kuki, Ádám Tóth, Wolfgang Schreiner. Modeling RF-Based Sensor Networks by Using Dual-Source Retrial Queueing Systems. In: ICEMES 2017, 14th International Conference on Engineering of Modern Electric Systems, Oradea, Romania, June 1–2, 2017, Mircea Gordan, Teodor Leuca, Florin Constantinescu (ed.), pp. 149-153. 2017. IEEE Xplore, ISBN 978-1-5090-6073-3. [url] [bib]
	Adam Toth, Tamas Berczes, Attila Kuki, Bela Almasi, Wolfgang Schreiner, Jinting Wang, Fang Wang. Analysis of Finite-Source Cluster Networks. Creative Mathematics and Informatics 25(2), pp. 223-235. 2016. SINUS Association, ISSN 1584 - 286X. [bib]
	Wolfgang Schreiner, David Cerna, Temur Kutsia, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer, Thomas Gössl. Practical Event Monitoring in the LogicGuard Framework. In: embedded world Conference 2016, February 23-25 2016, Nürnberg, Germany, Matthias Sturm et al. (ed.), pp. -. February 2016. Design & Elektronik, Haar, Germany, ISBN 978-3-645-50159-0. [pdf] [bib]
	David M. Cerna, Wolfgang Schreiner, and Temur Kutsia. Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. In: SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science, James H. Davenport and Fadoua Ghourabi (ed.), Proceedings of The 7th International Symposium on Symbolic Computation in Software Science, EPiC Series in Computing 39, pp. 29-41. 2016. EasyChair, ISSN 2040-557X. [url] [pdf] [bib]
	Temur Kutsia, George Rahonis, Wolfgang Schreiner. MK-fuzzy automata. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, May 2016. [pdf] [bib]
	David M. Cerna and Wolfgang Schreiner, Temur Kutsia. Predicting Space Requirements for a Stream Monitor Specification Language. In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Yliès Falcone and César Sánchez (ed.), Proceedings of Runtime Verification, pp. 135-151. September 2016. Springer International Publishing, 978-3-319-46981-2. [url] [pdf] [bib]
	David M. Cerna and Wolfgang Schreiner, Temur Kutsia. Predicting Space Requirements for a Stream Monitor Specification Language. In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez (ed.), pp. 135-151. 2016. 978-3-319-46981-2. [url] [bib]
	David M. Cerna and Wolfgang Schreiner and Temur Kutsia. Predicting Space Requirements for a Stream Monitor Specification Language. In: Runtime Verification - 16th International Conference, {RV} 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez (ed.), pp. 135-151. 2016. 978-3-319-46981-2. [bib]
	Wolfgang Schreiner, Temur Kutsia, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer. Securing Device Communication by Predicate Logic Specifications. In: embedded world Conference 2015, February 24-26 2015, Nürnberg, Germany, Matthias Sturm et al. (ed.), pp. -. February 2015. Design&Elektronik, Haar, Germany, ISBN 978-3-645-50144-6. [pdf] [bib]
	Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Adam Toth. Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking (Addendum). Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October 2015. [pdf] [bib]
	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 no. 15-21, October 2015. [pdf] [bib]
	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. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October 2015. Technical Report. [pdf] [bib]
	Temur Kutsia, Wolfgang Schreiner. Verifying the Soundness of Resource Analysis for LogicGuard Monitors (Revised Version) . Technical report no. 14-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2014. [pdf] [bib]
	Wolfgang Schreiner, Temur Kutsia, Michael Krieger, Ahmad Bashar, Helmut Otto, Martin Rummerstorfer. Monitoring Network Traffic by Predicate Logic. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September 2014. [pdf] [bib]
	Wolfgang Schreiner, Tamas Berczes, Janos Sztrik. Probabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile Networks. Annales Mathematicae et Informaticae 43, pp. 123-144. 2014. Líceum University Press, ISSN 1787-5021, ISSN 1787-6117. [bib]
	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. [pdf] [bib]
	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. [pdf] [bib]
	Wolfgang Schreiner, Tamas Berczes, Adam Toth. Analyzing the Energy Efficiency of Cluster Scheduling Schemes by Probabilistic Model Checking. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December 2014. [pdf] [bib]
	Wolfgang Schreiner. Initial Results on Modeling in PRISM Mobile Cellular Networks with Spectrum Renting. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April 9 2013. [pdf] [bib]
	Wolfgang Schreiner. Experiments with Measuring Time in PRISM 4.0. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March 2013. Technical Report. [pdf] [bib]
	Wolfgang Schreiner. Experiments with Measuring Time in PRISM 4.0 (Addendum). Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April 2013. [pdf] [bib]
	Muhammad Taimoor Khan, Wolfgang Schreiner. A Verification Framework for MiniMaple Programs. Doktoratskolleg, Johannes Kepler University, Linz, Austria, June 2013. Poster presentation at 38th International Symposium on Symbolic and Algebraic Computation (ISSAC). [url] [pdf] [bib]
	Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner. Program Algebras with Monotone Floyd-Hoare Composition. In: ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer 2013, Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir Peschanenko (ed.), Proceedings of ICTERI 2013: 9th International Conference, Kherson, Ukraine, CEUR-WS.org CEUR Workshop Proceedings 1000, pp. 533-549. June 19-22 2013. CEUR-WS.org, ISSN 1613-0073. [pdf] [bib]
	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. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, July 2013. [pdf] [bib]
	Janos Sztrik, Wolfgang Schreiner, Tamas Berczes, Gabor Kusper, Nikolaj Popov. Project "85öu8": Final Report - Evaluating Process Algebra Models versus State-oriented Models for the Performance Analysis of Real-time Systems and Software Designs. Technical report no. 13-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 2013. [bib]
	Wolfgang Schreiner and Tamas Berczes and Janos Sztrik. Probabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile Networks. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September 2013. [pdf] [bib]
	Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Gabor Kusper. A Case Study on Exploring the Performance Limits of PRISM. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September 2013. [pdf] [bib]
	Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner. Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. In: ICTERI 2013: 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers, Vadim Ermolayev et al (ed.), Communications in Computer and Information Science , pp. 0-23. 2013. Springer, Berlin, ISBN 978-3-319-03997-8 (Print) 978-3-319-03998-5 (Online). [pdf] [bib]
	Temur Kutsia, Wolfgang Schreiner. Verifying the Soundness of Resource Analysis for LogicGuard Monitors, Part 1. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December 16 2013. [pdf] [bib]
	Wolfgang Schreiner, Temur Kutsia. A Resource Analysis for LogicGuard Monitors. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December 17 2013. [pdf] [bib]
	Temur Kutsia, Wolfgang Schreiner. LogicGuard Abstract Language. Technical report no. 12-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2012. [pdf] [bib]
	Wolfgang Schreiner. Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs. In: Proceedings First Workshop on CTP Components for Educational Software (THedu'11), Pedro Quaresma and Ralph-Johan Back (ed.), Electronic Proceedings in Theoretical Computer Science (EPTCS) 79, pp. 124-142. February 2012. Wroclaw, Poland, July 31, 2011, ISSN: 2075-2180. [url] [bib]
	Muhammad Taimoor Khan, Wolfgang Schreiner. Towards the Formal Specification and Verification of Maple Programs. In: Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7362, pp. 231-247. July 2012. Springer-Verlag, Berlin/Heidelberg, ISBN 978-3-642-31373-8. Awarded with a Best Student Paper Award. [url] [pdf] [bib]
	Muhammad Taimoor Khan, Wolfgang Schreiner. On Formal Specification of Maple Programs. In: Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7362, pp. 442-446. July 2012. Springer-Verlag, Berlin/Heidelberg, ISBN 978-3-642-31373-8. [url] [pdf] [bib]
	Wolfgang Schreiner. Computability and Complexity. Technical report no. 2012-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 2012. Lecture Notes Winter Semester 2012/2013 (last revision: February 4, 2013). [pdf] [bib]
	Temur Kutsia, Wolfgang Schreiner. Translation Mechanism for the LogicGuard Abstract Language. Technical report no. 12-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2012. [pdf] [bib]
	Wolfgang Schreiner. Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract). In: THedu'11, CTP Components for Educational Software, Workshop associated to CADE-23, Pedro Quaresma and Ralph-Johan Back (ed.), CISUC Technical Report 2011/001, pp. 55-59. 2011. Wroclaw, Poland, July 31, Center for Informatics and Systems, University of Coimbra, Portugal, ISSN 0874-338X. [pdf] [bib]
	Wolfgang Schreiner. Software. In: Nonlinear Resonance Analysis - Theory, Computation, Applications, Elena Kartashova (ed.), pp. 185-208. 2011. Cambridge University Press, Cambridge, UK, ISBN 978-0-521-76360-8. Appendix. [bib]
	Wolfgang Schreiner. The RISC ProgramExplorer - Tutorial and Manual. Technical report no. 11-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 2011. [pdf] [bib]
	Andrei-Ovidiu Coman. Video Tracking of Humans in Robotic Environments. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. September 2011. [pdf] [bib]
	Muhammad Taimoor Khan, Wolfgang Schreiner. Towards a Behavioral Analysis of Computer Algebra Programs (Extended Abstract). In: Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT'11), Paul Pettersson and Cristina Seceleanu (ed.), pp. 42-44. October 2011. Vasteras, Sweden, Doktoratskolleg, Research Institute for Symbolic Computation, ISSN 1404-3041. [pdf] [bib]
	Wolfgang Schreiner. Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract). In: 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. Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse, October 10-12, 2011, Kyiv, Ukraine, ISBN 0000. [bib]
	Dacian Tudor, Vladimir Cretu, Wolfgang Schreiner. Shared Data Grid Programming Improvements using Specialized Objects. In: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2010), Salvatore Vitabile, Takahiro Hara, Ilsun You (ed.), pp. -. 2010. IEEE, February, 15th - 18th 2010, Andrzej Frycz Modrzewski Cracow College, Krakow, Poland, ISBN XXXXXXX. ©2010 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material must be obtained from the IEEE. [pdf] [bib]
	Wolfgang Schreiner. The RISC ProgramExplorer: Tutorial and Manual. Technical report no. 10-23 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. April 2010. [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner, Friedrich Priewasser. Report on the First Feature-Complete Prototype of a Distributed Supercomputing API for the Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-1-2010_1, March 2010. Austrian Grid Deliverable. [pdf] [bib]
	Tamas Berczes, Gabor Guta, Gabor Kusper, Wolfgang Schreiner, Janos Sztrik. Evaluating a Probabilistic Model Checker for Modeling and Analyzing Retrial Queueing Systems . Annales Mathematicae et Informaticae, pp. -. December 2010. Liceum University Press, ISSN 1787-5021. [url] [bib]
	Wolfgang Schreiner. The RISC ProgramExplorer: Reasoning about Programs as State Relations (Extended Abstract) . In: SCSS 2010, Mohamed Mosbah and Tudor Jebelean (ed.), Proceedings of Symbolic Computation in Software Science, Hagenberg, Austria, July 29-30, pp. -. 2010. ISBN XXX-X-XXXXXX-XXX-X. [pdf] [bib]
	Wolfgang Schreiner. A JML Specification of the Design Pattern "Visitor". Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, September 2010. [pdf] [bib]
	Maribel Fernandez, Temur Kutsia, Wolfgang Schreiner (ed.). PPDP'10. Proceedings of the 2010 Symposium on Principles and Practice of Declarative Programming, July 2010. ACM, New York, ISBN 978-1-4503-0132-9. July 26-28, 2010, Hagenberg, Austria. [bib]
	Gabor Guta, Andras Pataricza, Wolfgang Schreiner, Daniel Varro. Semi-Automated Correction of Model-to-Text Transformations. In: Preliminary Proceedings of International Workshop on Models and Evolution (ME 2010), - (ed.), pp. 43-52. 2010. -. [url] [bib]
	Gergely Kovasznai. Implementing Design Patterns in AspectJ and JavaMOP. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, December 2010. [pdf] [bib]
	Wolfgang Schreiner. From Types to Contracts: Supporting by Light-Weight Specifications the Liskov Substitution Principle. Technical report no. 10-22 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 2010. [pdf] [bib]
	Ahmad Mohamed Hisham Ismail. Remotely Controlling a Mechanical Laboratory via the Internet. Internationaler Universitaetslehrgang Informatics: Engineering & Management. Diploma Thesis. Johannes Kepler University, Linz, Austria, July 2010. [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner. A Supercomputing API for the Grid. In: Proceedings of 3rd Austrian Grid Symposium 2009, J. Volkert, T. Fahringer, D. Kranzlmuller, R. Kobler, W. Schreiner (ed.), Proceedings of 3rd Austrian Grid Symposium, pp. 38-52. September 28-29 2009. Austrian Computer Society (OCG), Austrian Grid, ISBN 978-33-85403-269-4. [url] [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner. A Prototype Implementation of a Distributed Supercomputing API for the Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-1-2009_1, March 2009. Austrian Grid Deliverable. [pdf] [bib]
	Wolfgang Schreiner, Karoly Bosa, Andreas Langegger, Thomas Leitner, Bernhard Moser, Szilard Pall, Volkmar Wieser, Wolfram Wöß . Parallel, Distributed, and Grid Computing. In: Hagenberg Research, B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E. P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiss, W. Windsteiger (ed.), Chapter VII, pp. 333-378. 2009. Springer, Berlin, ISBN 78-3-642-02126-8. [url] [bib]
	Wolfgang Schreiner. A JML Specification of the Design Pattern "Proxy". Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April 2009. [pdf] [bib]
	Andreas Müller. VDM - The Vienna Development Method. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, April 2009. Bachelor thesis in "Formal Methods in Software Engineering". [pdf] [bib]
	Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik. Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM. In: WWV'09, 5th Int'l Workshop on Automated Specification and Verification of Web Systems, Demis Ballis, Temur Kutsia (ed.), pp. -. July 2009. Hagenberg, Austria, -. [pdf] [bib]
	Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu. Experiments on a Grid Layer Prototype for Shared Data Programming Model. In: Proceedings 5th International Symposium on Applied Computational Intelligence and Informatics (SACI 2009), Anikó Szakál (ed.), pp. -. 2009. IEEE Catalog: CFP0945C-CDR, Timisoara, Romania, May 28-29, ISBN: 978-1-4244-4478-6. ©2009 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any c. [pdf] [bib]
	Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger. Automated Reasoning. In: Hagenberg Research, B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiss, W. Windsteiger (ed.), pp. 63-101. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]
	Wolfgang Schreiner. On Proving Assistants in the Classroom (and Elsewhere). In: CADGME 2009, Computer Algebra and Dynamic Geometry Systems in Mathematics Education , Csaba Sarvari et al. (ed.), pp. XX-XX. 2009. ISBN XXXXXXXX. RISC, Castle of Hagenberg, Austria, July 11-13, 2009. [pdf] [bib]
	Amira Zaki. Re-engineering of a Grid Aware Medical Database System Based on a Metamodel. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. July 2009. [pdf] [bib]
	Stefan Georgiev. Evaluation of Cluster Middleware in a Heterogeneous Computing Environment. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. July 2009. [pdf] [bib]
	Gergely Kovasznai. Java Framework Implementing Design Patterns by the Use of JML and Contract4J. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, 2009. [pdf] [bib]
	Gábor Guta, Wolfgang Schreiner, Dirk Draheim. A Lightweight MDSD Process Applied in Small Projects. In: Proc. of 35th EuroMicro Conference, Software Engineering and Advanced Applications (SEEA), - (ed.), pp. -. 2009. -. [bib]
	Karoly Bosa, Wolfgang Schreiner. Report on the Second Prototype of a Distributed Supercomputing API for the Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-2-2009_1, September 2009. Austrian Grid Deliverable. [pdf] [bib]
	Jens Volkert, Wolfgang Schreiner, Thomas Fahringer. 3. Austrian Grid Symposium. September 2009. Extended abstracts of the 3. Austrian Grid Symposium, September 28-29, 2009, Johannes Kepler University, Linz, Austria. [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner. A Supercomputing API for the Grid. Austrian Grid. Technical report, August 2009. Extended Abstract for the 3rd Austrian Grid Symposium, September 28-29, 2009. [pdf] [bib]
	Wolfgang Schreiner. Supporting the Design Pattern "Object Structures as Plain Values". Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, September 2009. [pdf] [bib]
	Wolfgang Schreiner. How to Write Postconditions with Multiple Cases. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, November 2009. [pdf] [bib]
	B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (ed.). Hagenberg Research. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]
	E. Kartashova, C. Raab, Ch. Feurer, G. Mayrhofer, W. Schreiner. Symbolic Computations for Nonlinear Wave Resonances. In: "Extreme Ocean Waves", E. Pelinovsky, Ch. Kharif (ed.), pp. 97-128. 2008. Springer, ISBN: 978-1-4020-8313-6. [url] [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner. Report on Experiments with Globus 4 and gLite. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-1-2007-1, January 2008. Extended Version. Austrian Grid Deliverable. [pdf] [bib]
	Gabor Guta, Barnabas Szasz, Wolfgang Schreiner. A Lightweight Model Driven Development Process based on XML Technology. Technical report no. 08-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. March 2008. Draft. [ps] [pdf] [bib]
	Wolfgang Schreiner. The RISC ProofNavigator: A Proving Assistant for Program Verification in the Classroom. Formal Aspects of Computing, pp. -. April 2008. Springer, London, ISSN 0934-5043. The original publication is available at www.springerlink.com. DOI 10.1007/s00165-008-0069-4. [url] [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner. The Porting of a Grid Software for Virtual Eye Surgery from Globus 4 to gLite. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, February 2008. Poster presentation at 3rd EGEE User Forum, 11-14 February 2008, Clermont-Ferrand - France. [url] [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner. Report on the State of the Art Survey. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-1-2008_2, March 2008. Extended Version. Austrian Grid Deliverable. [pdf] [bib]
	Dacian Tudor, Vladimir Cretu, Wolfgang Schreiner. Designing an Architecture for Distributed Shared Data on the Grid. In: Algorithms and Architectures for Parallel Processing, Anu G. Bourgeois and S. Q. Zheng (ed.), Proceedings of ICA3PP 2008, International Conference on Algorithms and Architectures for Parallel Processing, June 9-11, Agia Napa, Cyprus, Lecture Notes in Computer Science 22, pp. 261-264. 2008. Springer, ISBN 0302-9743. [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner. The Porting of a Medical Grid Application from Globus 4 to the gLite Middleware. In: Proceedings of DAPSYS 2008, Peter Kacsuk at al. (ed.), Proceedings of DAPSYS 2008, 7th INTERNATIONAL CONFERENCE ON DISTRIBUTED AND PARALLEL SYSTEMS, pp. 51-61. September 2008. Springer, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, ISBN-13: 978-0-387-79447-1. [url] [pdf] [bib]
	Wolfgang Schreiner. Understanding Programs. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, Linz, Austria, July 2008. [pdf] [bib]
	Wolfgang Schreiner. A Program Calculus. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, Linz, Austria, September 2008. [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner. Initial Design of a Distributed Supercomputing API for the Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-2-2008_1, September 2008. Austrian Grid Deliverable. [pdf] [bib]
	Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu . Experiences on Grid Shared Data Programming. Journal of Grid and Utility Computing (IJGUC), pp. 43-54. 2008. Inderscience, ISSN 1741-847X. To appear. [pdf] [bib]
	Tamas Berczes, Gabor Guta, Gabor Kusper, Wolfgang Schreiner, Janos Sztrik. Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM. Technical report no. 08-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. November 2008. [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. A Grid Software for Virtual Eye Surgery Based on Globus 4 and gLite. In: Proceedings of ISPDC 2007, IEEE Computer Society (ed.), Proceedings of ISPDC 2007, 6th International Symposium on Parallel and Distributed Computing, pp. 151-158. 2007. 0. [url] [pdf] [ps] [bib]
	Tamas Berczes, Gabor Guta, Gabor Kusper, Wolfgang Schreiner, Janos Sztrik. Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analyzing Retrial Queueing Systems. Technical report no. 07-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2007. Project Report. [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner. A Grid Software for Virtual Eye Surgery Based on Globus 4 and gLite. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, May 2007. Poster presentation at OGF20/EGEE User Forum, 7-11 May 2007, Manchester, UK. [url] [pdf] [bib]
	Wolfgang Schreiner. Program Verification with the RISC ProofNavigator. In: Teaching Formal Methods: Practice and Experience, David Duce and Paul Boca (ed.), Proceedings of BCS-FACS Christmas Meeting, Electronic Workshops in Computing (eWiC) , pp. 1-6. 2006. British Computer Society, London, UK, December 15, ISBN. [pdf] [bib]
	Rebhi Baraka, Wolfgang Schreiner. Querying Registry-Published Mathematical Web Services. In: Proceedings of the IEEE 20th International Conference on Advanced Information Networking and Applications (AINA 2006), Vienna, Austria, Roland Wagner, Jianhua Ma, Arjan Durresi (ed.), pp. 767-772. April 18 - 20 2006. IEEE Computer Society, Los Alamitos, ISBN-13: 978-0-7695-2466-4. [pdf] [bib]
	Wolfgang Schreiner. Modellierung und Theorie verteilter Systeme. In: Informatik-Handbuch, Peter Rechenberg, Gustav Pomberger (ed.), Chapter A7, pp. 167-186. 2006. Hanser, ISBN 3-446-40185-7. 4. Auflage. [bib]
	Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. The Software Architecture of a Grid-Enabled Data Management System for SEE-GRID. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-DA-1c-1-2006, March 2006. Austrian Grid Deliverable. [doc] [bib]
	Rebhi Baraka, Wolfgang Schreiner. Semantic Querying of Mathematical Web Service Descriptions. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April 2006. [ps] [pdf] [bib]
	Rebhi Baraka, Wolfgang Schreiner. Semantic Querying of Mathematical Web Service Descriptions. In: Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria, M. Bravetti, M. Nunez, and Gianluigi Zavattaro (ed.), Lecture Notes in Computer Science LNCS/4184, pp. 73-87. September 8-9 2006. Springer-Verlag, Berlin Heidelberg, 3-540-38862-1. [bib]
	Jens Volkert, Thomas Fahringer, Dieter Kranzlmüller, Wolfgang Schreiner (ed.). 1st Austrian Grid Symposium. Proceedings of 1st Austrian Grid Symposium, Schloss Hagenberg, Austria, December 2005, Volume 210, 2006. Austrian Computer Society (OCG), Vienna, ISBN 3-85403-210-2. [bib]
	Wolfgang Schreiner. The RISC ProofNavigator - Tutorial and Manual. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, July 2006. [url] [bib]
	Johannes Watzl. Investigations on Improving the SEE-GRID Optimization Algorithm by Parallelization. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-DA-1c-3-2006, July 2006. Austrian Grid Deliverable. [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. A Report on the First Prototype of a Grid-Enabled Data Management System for See-Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-DA-1c-4-2006, July 2006. Austrian Grid Deliverable. [doc] [bib]
	Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. A Grid-Based Medical Decision Support System for the Diagnosis and Treatment of Strabismus. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, September 2006. Poster presentation at Fifth EGEE Conference 25-29 September 2006, International Conference Centre Geneva, Geneva, Switzerland. [url] [pdf] [bib]
	Károly Bósa, Wolfgang Schreiner. Tolerating Stop Failures in Distributed Maple. Scalable Computing: Practice and Experience(SCPE) 6(2), pp. 59-70. July 2005. NovaPublishers, 0. Special issue on Dapsys 2002. [ps] [bib]
	Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. The Initial Version of SEE-GRID. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, Linz, Austria, Austrian Grid Deliverable AG-DA1c-1-2005_v1, March 2005. [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. A Prototype of the SEE-GRID Pathology Fitter. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, Austrian Grid Deliverable AG-DA1c-3-2005_v1.doc, July 2005. [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. A REFINED DESIGN OF THE SEE-GRID DATABASE AND PATHOLOGY FITTER. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, Austrian Grid Deliverable AG-DA1c-5-2005_v1.doc, November 2005. [pdf] [bib]
	Rebhi Baraka, Wolfgang Schreiner. Querying Registry-Published Mathematical Web Services. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, September 2005. [pdf] [bib]
	Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner. A Web Registry for Publishing and Discovering Mathematical Services. In: Proceedings of the IEEE Conference on e-Technology, e-Commerce, and e-Service (IEEE EEE'05), Wiliam Cheung and Jane Hsu (ed.), pp. 190-193. March 21 - April 1 2005. IEEE Computer Society, ISBN 0-7695-2274-2. [ps] [pdf] [bib]
	Wolfgang Schreiner, Michael Buchberger. Grid Computing zur Simulation von Augenmuskeloperationen. OCG Journal 5, pp. 23-24. December 2005. Austrian Computer Society (OCG), ISSN 1728-743X. [url] [bib]
	Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. SEE-GRID, A Grid-Based Medical Decision Support System for Eye Muscle Surgery. In: Proceedings of 1st Austrian Grid Symposium 2005, Jens Volkert et al. (ed.), pp. 61-74. December 1-2 2005. Austrian Computer Society (OCG), Austrian Grid, 3-85403-210-2. [ps] [pdf] [bib]
	Karoly Bosa, Wolfgang Schreiner, Rebhi Baraka, Michael Buchberger, Thomas Kaltofen, Daniel Mitterdorfer. SEE-GRID Design Overview. Research Institute for Symbolic Computation (RISC). Technical report no. A1c-1, Johannes Kepler University, Linz, Austria, Austrian Grid Deliverable, November 2004. Austrian Grid Deliverable. [pdf] [bib]
	Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner. A Registry Service as a Foundation for Brokering Mathematical Services. Technical report no. 04-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2004. [ps] [pdf] [ps] [bib]
	Wolfgang Schreiner, Christian Mittermaier, Karoly Bosa. Distributed Maple: Parallel Computer Algebra in Networked Environments.. Journal of Symbolic Computation 35(3), pp. 305-347. 2003. Academic Press, 0747-7171. [url] [bib]
	Károly Bósa, Wolfgang Schreiner. Task Logging, Rescheduling and Peer Checking in Distributed Maple. RISC-Linz, Johannes Kepler University, Linz, Austria. Technical report no. 02-10, March 2002. [ps] [bib]
	Károly Bósa, Wolfgang Schreiner. Tolerating Stop Failures in Distributed Maple. In: Distributed and Parallel Systems - Cluster and Grid Computing, Péter Kacsuk, Dieter Kranzmüller, Zsolt Németh, Jens Volkert (ed.), Proceedings of 4th Austrian-Hungarian Workshop on Distributed and Parallel Processing, pp. 203-210. 2002. Kluwer Academic Publishers Group, RISC-Linz, Johannes Kepler University, Linz, Austria, ISBN 1-4020-7209-0. [ps] [bib]
	Wolfgang Schreiner, Christian Mittermaier, Karoly Bosa. Distributed Maple: Parallel Computer Algebra in Networked Environments. Technical report no. 02-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 2002. [ps] [bib]
	Karoly Bosa, Wolfgang Schreiner. Tolerating Stop Failures in Distributed Maple. Technical report no. 02-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. July 2002. [ps] [bib]
	Jozsef Kovacs, Gabor Kusper, Robert Lovas, Wolfgang Schreiner. Integrating Temporal Assertions into a Parallel Debugger. Technical report no. 02-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2002. [ps] [bib]
	Olga Caprotti, Wolfgang Schreiner. Towards A Mathematical Services Description Language. Technical report no. 02-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2002. [ps] [bib]
	Karoly Bosa, Wolfgang Schreiner. Task Logging, Rescheduling, and Peer Checking in Distributed Maple. Technical report no. 02-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. March 2002. [ps] [bib]
	Wolfgang Schreiner. A Java Toolkit for Teaching Distributed Algorithms. Technical report no. 02-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. March 2002. [pdf] [bib]
	Gabor Kusper, Wolfgang Schreiner, Robert Lovas. Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools (Project Report). Technical report no. 02-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. March 2002. [ps] [bib]
	Olga Caprotti, Wolfgang Schreiner. Mathematical Software as Web Services. June 2002. Poster presentation at MathML International Conference. [url] [ps] [bib]
	Wolfgang Schreiner. Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System. Technical report no. 01-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. April 2001. [ps] [bib]
	Wolfgang Schreiner, Gabor Kusper, Karoly Bosa. Introducing Fault Tolerance to Distributed Maple. Technical report no. 01-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2001. [ps] [bib]
	Wolfgang Schreiner, Gabor Kusper, Karoly Bosa. Fault Tolerance for Cluster Computing Based on Functional Tasks. Technical report no. 01-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2001. [ps] [bib]
	Wolfgang Schreiner. Parallelizing the Big Prime Berlekamp Algorithm with Distributed Maple. Technical report no. 01-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. July 2001. [ps] [bib]
	Wolfgang Schreiner, Gabor Kusper, Karoly Bosa. Fault Tolerance for Cluster Computing Based on Functional Tasks. In: Euro-Par 2001 Parallel Processing, Rizo Sakellariou, John Keane, John Gurd and Len Freeman (eds) (ed.), Proceedings of 7th International Euro-Par Conference, Manchester, UK, August 28 - 31, 2001, Lecture Notes in Computer Science 2150, pp. 712-716. August 2001. Springer, Berlin, 3-540-42495-4. [ps] [bib]
	C. Mittermaier, W. Schreiner, F. Winkler. A Parallel Symbolic-Numerical Approach to Algebraic Curve Plotting. In: 3rd Workshop on Computer Algebra in Scientific Computing (CASC-2000), V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (ed.), Proceedings of CASC-2000, pp. 301-314. 2000. Springer-Verlag, ISBN 3-540-41040-6. [ps] [pdf] [bib]
	W. Schreiner, C. Mittermaier, F. Winkler. On Solving Problem in Algebraic Geometry by Cluster Computing. In: Proceedings EURO-PAR 2000, A. Bode, T. Ludwig, W. Karl, R. Wismueller (ed.), Proceedings of Proc. EURO-PAR 2000, München, Germany, Aug./Sept. 2000, pp. 1196-1200. 2000. Springer-Verlag Berlin, Lecture Notes in Computer Science, ISBN 3-540-67956-1. [22_europar2000] [bib]
	W. Schreiner, C. Mittermaier, F. Winkler. Plotting Algebraic Space Curves by Cluster Computing. In: Computer Mathematics (ASCM 2000), X.-S. Gao and D. Wang (ed.), Proceedings of Proc. of ASCM 2000, pp. 49-58. 2000. World Scientific Publishers, Singapore/River Edge, ISBN 9-81024-498-3. [25_paper] [bib]
	W. Schreiner, C. Mittermaier, F. Winkler. Analyzing Algebraic Curves by Cluster Computing. In: Distributed and Parallel Systems - From Instruction Parallelism to Cluster Computing, P. Kacsuk and G. Kotsis (ed.), Proceedings of Proc. of DAPSYS'2000 (Austrian-Hungarian Workshop on Distributed and Parallel Systems), pp. 49-58. September 2000. Kluwer Acad. Publishers, Boston, ISBN 0-79237-892-X. [24_dapsys2000] [bib]
	Ioana-Cleopatra Pau, Igor Rents, Wolfgang Schreiner. Verifying Mutual Exclusion and Liveness Properties with TLA. Technical report no. 00-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2000. [ps] [bib]
	Wolfgang Schreiner, Christian Mittermaier, Franz Winkler. Analyzing Algebraic Curves by Cluster Computing. Technical report no. 00-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. April 2000. [ps] [bib]
	Wolfgang Schreiner, Christian Mittermaier, Franz Winkler. On Solving a Problem in Algebraic Geometry by Cluster Computing. Technical report no. 00-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2000. [ps] [bib]
	Wolfgang Schreiner. A Note on Maple's GCD Computation of Partially Factored Polynomials. Technical report no. 00-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. April 2000. [ps] [bib]
	Cleopatra Pau, Wolfgang Schreiner. Distributed Mathematica - User and Reference Manual. Technical report no. 00-25 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. July 2000. [ps] [bib]
	Wolfgang Schreiner, Christian Mittermaier, Franz Winkler. Plotting Algebraic Space Curves by Cluster Computing. Technical report no. 00-26 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. August 2000. [ps] [bib]
	Wolfgang Schreiner. Analyzing the Performance of Distributed Maple on Various Parallel and Distributed Systems. Technical report no. 00-32 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. November 2000. [ps] [bib]
	Wolfgang Schreiner. Manager-Worker Parallelism versus Dataflow in Distributed Maple. Technical report no. 00-34 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2000. [ps] [bib]
	Christian Mittermaier, Wolfgang Schreiner, Franz Winkler. A Parallel Symbolic-Numerical Approach to Algebraic Curve Plotting.. Technical report no. 00-35 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2000. [ps] [bib]
	Wolfgang Schreiner. A Parallel Computer Algebra System Based on Maple and Java. Technical report no. 99-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. March 1999. [ps] [bib]
	Wolfgang Schreiner. Developing a Distributed System for Algebraic Geometry. Technical report no. 99-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. April 1999. [ps] [bib]
	Wolfgang Schreiner. Formal Foundations of Computer Science 1. Technical report no. 99-32 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. November 1999. Lecture notes. [bib]
	F. Caruso, C. Schneider, G. Van De Weyer, W. Schreiner. A Student Dictionary System. Technical report no. 99-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. April 1999. [ps] [bib]
	Mircea Marin, Tetsuo Ida, Wolfgang Schreiner. CFLP: a Mathematica Implementation of a Distributed Constraint Solving System. Technical report no. 99-35 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1999. [ps] [bib]
	Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher. A Generic Programming Environment for High Performance Mathematical Libraries. Technical report no. 99-36 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1999. [ps] [bib]
	Mircea Marin, Tetsuo Ida, Wolfgang Schreiner. A Distributed System for Solving Equational Constraints Based on Lazy Narrowing Calculi. Technical report no. 99-50 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1999. [ps] [bib]
	Wolfgang Schreiner. Distributed Maple - User and Reference Manual. Technical report no. 98-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 1998. [ps] [bib]
	Ralf Hemmecke, Erik Hillgarter, Wolfgang Schreiner, Franz Winkler. An Evaluation of the State of the CASA System. Technical report no. 98-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 1998. [ps] [bib]
	Wolfgang Schreiner. On Engineering a Distributed Algorithm. Technical report no. 98-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1998. [ps] [bib]
	Mircea Marin, Wolfgang Schreiner. CFLP: a Distributed Constraint Solving System for Functional Logic Programming. Technical report no. 98-23 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1998. [ps] [bib]
	B. Buchberger, T. Ida, W. Schreiner. Knowledge Web: A Design and Feasibilty Study. Institute of Information Sciences and Electronics, University of Tsukuba. Technical report, 1998. ISE-TR-98-151. [bib]
	Bruno Buchberger, Wolfgang Schreiner. CONCERT: A Software Architecture for Coordinating Education. Technical report no. 97-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 1997. [ps] [bib]
	Wolfgang Schreiner. A Distributed Education Environment Based on Mathematica. Technical report no. 97-22 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. July 1997. [ps] [bib]
	Wolfgang Schreiner. DAJ - A Toolkit for the Simulation of Distributed Algorithms in Java. Technical report no. 97-36 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. November 1997. [ps] [bib]
	Wolfgang Schreiner. A Para-Functional Programming Interface for a Parallel Computer Algebra Package. Technical report no. 96-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1996. Published in Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation. To appear.. [bib]
	Wolfgang Schreiner. RT++ - Higher Order Threads for C++ : Tutorial and Reference Manual (Version 1.0). Technical report no. 96-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1996. [bib]
	Hoon Hong, Wolfgang Schreiner. HPGP: High Performance Generic Programming for Computational Mathematics by Compile-Time Instantiation of Higher Order Functors. Technical report no. 96-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1996. [bib]
	Wolfgang Schreiner. Application of a Para-Functional Language to Computer Algebra Problems. Technical report no. 95-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1995. Published in HPFC Conference on High Performance Functional Computing, Denver, Colorado, April 9-11, 1995.. [bib]
	Wolfgang Schreiner. Parallel Functional Programming for Computer Algebra. RISC, Johannes Kepler University Linz. PhD Thesis. 1995. [bib]
	Piergiorgio Bertoli, Hoon Hong, Andreas Neubacher, Wolfgang Schreiner, Volker Stahl. The C++ Interface to the STURM Distributed Multiprocessor Kernel. Technical report no. 94-32 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. [ps] [bib]
	Wolfgang Schreiner. Parallel Functional Programming for Computer Algebra. Technical report no. 94-61 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. August 1994. [ps] [bib]
	Hoon Hong, Andreas Neubacher, Wolfgang Schreiner, Volker Stahl. The C++ Interface to the STURM Multiprocessor Kernel. Technical report no. 94-31 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. [ps] [bib]
	Wolfgang Schreiner. Garbage Collection on a Stack. Technical report no. 94-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. [bib]
	Wolfgang Schreiner. Virtual Tasks for the PACLIB Kernel. Technical report no. 94-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. [bib]
	Hoon Hong, Wolfgang Schreiner, Tibor Fadgyas. Performance Analysis of Parallel Programs: The PACVIS Visualization Tool. Technical report no. 94-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. [bib]
	Wolfgang Schreiner. Compiling a Para-Functional Language to Parallel PACLIB C. Technical report no. 94-44 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. [bib]
	Wolfgang Schreiner. A Para-Functional Programming Interface for a Parallel Computer Algebra Package. Technical report no. 94-46 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. Published in Proceedings PASCO'94, World Scientific Publishing. [bib]
	Wolfgang Schreiner, Hoon Hong. PACLIB - A System for Parallel Algebraic Computation on Shared Memory Multiprocessors. Technical report no. 93-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. Published in Parallel Systems Fair at the 7th International Parallel Processing Symposium, April 13-16, 1993, Newport Beach, California. [bib]
	Hoon Hong, Wolfgang Schreiner. Programming in PACLIB. Technical report no. 93-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. Published in SIGSAM Bulletin, vol.\ 26, no.\ 4, Nov. 1992, pp.\ 1-6.. [bib]
	Wolfgang Schreiner. The Correctness of the PACLIB Kernel\\A Case Study in Parallel Program Verification by Temporal Logic. Technical report no. 93-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. [bib]
	Wolfgang Schreiner. Parallel Functional Programming (An Annotated Bibliography). Technical report no. 93-24 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. [bib]
	Hoon Hong, Andreas Neubacher, Wolfgang Schreiner. The Design of the SACLIB/PACLIB Kernels. Technical report no. 93-30 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. Published in Proceedings DISCO'93, Sept. 1993, Gmunden, Austria, Springer LNCS. To appear.. [bib]
	Wolfgang Schreiner. Compiling a Functional Language to Efficient SACLIB C. Technical report no. 93-49 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. [bib]
	Hoon Hong, Wolfgang Schreiner, Andreas Neubacher, Kurt Siegl, Hans-Wolfgang Loidl, Tudor Jebelean, Peter Zettler. PAC LIB User Manual. Technical report no. 92-32 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. [bib]
	Wolfgang Schreiner. The Design of the PACLIB Kernel. Technical report no. 92-33 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. [bib]
	Wolfgang Schreiner, Hoon Hong. A New Library for Parallel Algebraic Computation. Technical report no. 92-73 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. Published in 6th SIAM Conference on Parallel Processing for Scientific Computing, March 22-24, 1993, Norfolk, Virginia. To appear.. [bib]
	Wolfgang Schreiner. A Model for the Compilation of Dataflow Languages on Conventional Parallel Architectures. Technical report no. 91-50 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1991. [bib]
	Wolfgang Schreiner. A High-Level Target Language for the Compilation of Dataflow Programs. Technical report no. 91-49 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1991. [bib]
	Wolfgang Schreiner. ADAM \& EVE An Abstract Dataflow Machine and Its Programming Language. Technical report no. 90-42 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. [bib]
	Wolfgang Schreiner. ADAM - An Abstract Dataflow Machine and Its Transputer Implementation. Technical report no. 90-53 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. Published in Proceedings of the $2^{nd}$ European Distributed Memory Computing Conference EDMCC2, Techn. Univ. Munich, Germany, April 22-24, 1991, Springer LNCS 487, pp. 392-401.. [bib]
	W. Schreiner. Report on the EVE Programmming Language. Technical report no. 89-43 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1989. [bib]