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. To be published at CEUR Workshop Proceedings,
http://CEUR-ws.org.

Wolfgang Schreiner. **Validating Mathematical Theories and Algorithms with RISCAL.**

F. Rabe, W. Farmer, G. Passmore, A. Youssef (eds), CICM 2018, 11th Conference on Intelligent
Computer Mathematics, Hagenberg, Austria, August 13-17, 2018, volume 11006 of Lecture Notes in
Computer Science/Lecture Notes in Artificial Intelligence, pp. 248-254.

The final authenticated version is available online at Springer.

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.

Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner. **MK-fuzzy Automata and MSO Logics.**

GandALF 2017 - Eighth International Symposium on Games, Automata, Logics, and Formal Verification,
Patricia Bouyer, Andrea Orlandini and Pierluigi San Pietro (eds), Rome, Italy, September 22-27,
Electronic Proceedings in Theoretical Computer Science, volume 256, pages 106–120, ISSN
2075-2180.

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.**

ICEMES 2017, 14th International Conference on Engineering of Modern Electric Systems, Oradea,
Romania, June 1–2, 2017, pp. 149-153. IEEE Xplore, DOI: 10.1109/EMES.2017.7980402.

David Cerna, Wolfgang Schreiner. **Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream
Specifications.**

Mohamed Mosbah and Michaël Rusinowitch (eds). SCSS 2017: 8th International Symposium on
Symbolic Computation in Software Science, Gammarth, Tunisia, April 6–9, 2017.

EPiC Series in Computing, volume 45, pages 1–15.

David Cerna, Wolfgang Schreiner, Temur Kutsia. **Predicting Space Requirements for a Stream Monitor Specification Language.**

Runtime Verification, 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016,
Yličs Falcone and César Sánchez (eds), volume 10012 of Lecture Notes in Computer Science, pages
135-151.

The final publication is available at Springer via https://doi.org/10.1007/978-3-319-46982-9_9.

David Cerna, Wolfgang Schreiner, Temur Kutsia. **Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors.**

James H. Davenport and Fadoua Ghourabi (editors). SCSS 2016: 7th International Symposium on
Symbolic Computation in Software Science, Tokyo, Japan, March 28–31, 2016.

EPiC Series in Computing, volume 39, pages 29–41.

Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner. **Extending Floyd-Hoare Logic for Partial Pre- and Postconditions.**

Vadim Ermolayev et al (eds), 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. Communications in Computer and
Information Science, Springer, Berlin, 2013 (to appear). The final publication is available at
www.springerlink.com.

Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner. **Program Algebras with Monotone Floyd-Hoare Composition.**

Vadim Ermolayev et al (eds), ICTERI 2013: 9th International Conference on ICT in Education, Research
and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson,
Ukraine, June 19-22, 2013. Vol-1000 of CEUR-WS.org 2013 CEUR Workshop Proceedings, pp.
533–549.

Muhammad Taimoor Khan, Wolfgang Schreiner. **Towards the Formal Specification and Verification of Maple Programs.**

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.

Best Student Paper Award.

The original publication is available at www.springerlink.com

Muhammad Taimoor Khan, Wolfgang Schreiner. **On Formal Specification of Maple Programs.**

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.

The original publication is available at www.springerlink.com

Wolfgang Schreiner. **Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs.**

Pedro Quaresma and Ralph-Johan Back (eds), THedu’11, Proceedings First Workshop on
CTP Components for Educational Software (THedu’11), July 31 2011, Wrocław, Poland,.
Electronic Proceedings in Theoretical Computer Science (EPTCS), 79, pp. 124–142. February
2012.

Wolfgang Schreiner. **Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs (Extended
Abstract).**

Pedro Quaresma and Ralph-Johan Back (eds), THedu’11, CTP Components for Educational Software,
Workshop associated to CADE-23, July 31 2011, Wrocław, Poland, pp. 55–59, CISUC Technical
Report 2011/001, Center for Informatics and Systems, University of Coimbra, Portugal, ISSN
0874-338X.

Karoly Bosa and Wolfgang Schreiner. **A Supercomputing API for the Grid.**

Jens Volkert et al (eds), Proceedings of the 3rd Austrian Grid Symposium, September 28–29, 2009, Linz,
Austria, Austrian Computer Society (OCG), Vienna, Austria, 15 pages.

Dacian Tudor, Vladimir Cretu, Wolfgang Schreiner. **Shared Data Grid Programming Improvements using Specialized Objects.**

4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2010),
February, 15–18, 2010, Andrzej Frycz Modrzewski Cracow College, Krakow, Poland. IEEE, 6 pages.

©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 copyrighted component of this work in other works must
be obtained from the IEEE.

Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu. **Experiments on a Grid Layer Prototype for Shared Data Programming Model**.

5th International Symposium on Applied Computational Intelligence and Informatics (SACI 2009),
Timisoara, Romania, May 28-29, 2009. IEEE Catalog: CFP0945C-CDR, 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 copyrighted component of this work in other works must
be obtained from the IEEE.

Gábor Guta, Wolfgang Schreiner, Dirk Draheim. **A Lightweight MDSD Process Applied in Small Projects.**

35th EuroMicro Conference, Software Engineering and Advanced Applications (SEEA), Patras, Greece,
August 27–29, 2009, 4 pages. IEEE Computer Society.

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.**

WWV’09, 5th Int’l Workshop on Automated Specification and Verification of Web Systems, Hagenberg,
Austria, July 17, 2009, 15 pages.

Karoly Bosa, Wolfgang Schreiner. **The Porting of a Medical Grid Application from Globus 4 to the gLite Middleware**

DAPSYS 2008, 7th International Conference on Distributed and Parallel Systems, Debrecen, Hungary,
September 3–5, 2008, 11 pages.

Dacian Tudor, Vladimir Cretu, Wolfgang Schreiner. **Designing an Architecture for Distributed Shared Data on the Grid (PDF)**

ICA3PP 2008, International Conference on Algorithms and Architectures for Parallel Processing, Agia
Napa, Cyprus, June 9-11, 2008. Volume 5022 of Lecture Notes in Computer Science, Springer,
pp. 2261–2264.

Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. **A Grid Software for Virtual Eye Surgery Based on Globus and gLite (Draft PDF)**

ISPDC 2007, 6th International Symposium on Parallel and Distributed Computing, Hagenberg, Austria,
July 5-8, 2007, pp. 151–158, IEEE Computer Society, Los Alamitos, CA.

Wolfgang Schreiner. **Program Verification with the RISC ProofNavigator (PDF)**

Teaching Formal Methods: Practice and Experience, BCS-FACS Christmas Meeting, London, UK,
December 15, 2006. Electronic Workshops in Computing (eWiC), British Computer Society.

Rebhi Baraka, Wolfgang Schreiner. **Semantic Querying of Mathematical Web Service Descriptions**.

Web Services and Formal Methods, Mario Bravetti et al (eds), Third International Workshop on Web
Services and Formal Methods, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Lecture Notes in
Computer Science 4184, Springer, pp. 73–87.

Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen. **SEE-GRID: A Grid-Based Medical Decision Support System for Eye Muscle Surgery (PDF)**.

1st Austrian Grid Symposium, December 1-2, 2005, Hagenberg, Austria. OCG Verlag, Vienna,
pp. 61–74.

Rebhi Baraka, Wolfgang Schreiner. **Querying Registry-Published Mathematical Web Services (PDF)**.

AINA 2006, IEEE 20th International Conference on Advanced Information Networking and Applications,
April 18–20, 2006, Vienna, Austria. IEEE Computer Society Press, pp. 776–772.

Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner. **A Web Registry for Publishing and Discovering Mathematical Services (PDF).**

EEE-05 IEEE International Conference on e-Technology, e-Commerce, and e-Service, Hong Kong, April
29 – March 1, 2005. IEEE Computer Society Press, pp. 190–193.

Karoly Bosa, Wolfgang Schreiner. **Tolerating Stop Failures in Distributed Maple (PostScript)**. **Dapsys 2002**, 4th Austrian-Hungarian Workshop on Distributed and Parallel Processing, Linz, Austria,
September 29–October 2, 2002, Kluwer Academic Publishers, Boston, 8 pages.

Jozsef Kovacs, Gabor Kusper, Robert Lovas, Wolfgang Schreiner. **Integrating Temporal Assertions into a Parallel Debugger (PostScript)**.

Euro-Par 2002, 8th International Euro-Par Conference, Paderborn, Germany, August 27–30, 2002.
Lecture Notes in Computer Science, Springer, Berlin, 8 pages. , ©Springer-Verlag.

Olga Caprotti, Wolfgang Schreiner. **Towards a Mathematical Service Description Language (PostScript)**.

ICMS 2002, International Congress of Mathematical Software, Bejing, China, August 20–28, 2002,
World Scientific Publishers, Singapore/River Edge, 11 pages.

Wolfgang Schreiner. **A Java Toolkit for Teaching Distributed Algorithms (PDF)**.

ITiCSE 2002, 7th Annual Conference on Innovation and Technology in Computer Science
Education, University of Aarhus, Denmark, June 24–26, 2002. ACM Press, New York, 5
pages.

Wolfgang Schreiner. **Parallel Software and Algorithms for Symbolic Computation**.

Habilitation Thesis, Johannes Kepler University, Linz, Austria, January 2001.

Wolfgang Schreiner. **Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System
(PostScript)**.

PaCT’2001, Victor Malyshkin (ed), Parallel Computing Technologies, Sixth International Conference,
September 3–7, 2001, Novosibirsk, Russia. Volume 2127 of Lecture Notes in Computer Science,
Springer, Berlin, pp. 329–343. , ©Springer-Verlag.

Wolfgang Schreiner, Gabor Kusper, Karoly Bosa. **Fault Tolerance for Cluster Computing Based on Functional Tasks (PostScript)**.

Euro-Par 2001 Parallel Processing, Rizo Sakellariou and John Keane and John Gurd and Len Freeman
(eds), 7th International Euro-Par Conference, Manchester, UK, August 28 – 31, 2001. Volume 2150
of Lecture Notes in Computer Science, Springer, Berlin, pp. 712–716. , ©Springer-Verlag.
**Long Version**.

Wolfgang Schreiner, Christian Mittermaier, Franz Winkler. **Plotting Algebraic Space Curves by Cluster Computing (PostScript).**

ASCM’2000, 4th Asian Symposium on Computer Mathematics, Xiao-Shan Gao and Dongming Wang
(eds), Chiang Mai, Thailand, December 17-21, 2000, pp. 49–58. World Scientific Publishers,
Singapore/River Edge.

Christian Mittermaier, Wolfgang Schreiner, Franz Winkler. **A Parallel Symbolic-Numerical Approach to Algebraic Curve Plotting (PostScript).**

CASC-2000, Third International Workshop on Computer Algebra in Scientific Computing, Vladimir Gerdt
and Ernst W. Mayr (eds), Samarkand, Uzbekistan, October 5-9, 2000, pp. 301–314, Springer,
Berlin.

Wolfgang Schreiner, Christian Mittermaier, Franz Winkler. **On Solving a Problem in Algebraic Geometry by Cluster Computing (PostScript).**

Euro-Par 2000, 6th International Euro-Par Conference, Arndt Bode, Thomas Ludwig, Wolfgang Karl,
Roland Wismüller (eds), Munich, Germany, August 29 – September 1, 2000, volume 1900 of
Lecture Notes in Computer Science, Springer, Berlin, pp. 1196–1200. , ©Springer-Verlag.
**Long Version**.

Wolfgang Schreiner, Christian Mittermaier, Franz Winkler. **Analyzing Algebraic Curves by Cluster Computing (PostScript).**

Distributed and Parallel Systems — From Instruction Parallelism to Cluster Computing, Peter Kacsuk and
Gabriele Kotsis (eds), Proceedings of DAPSYS’2000, 3rd Austrian-Hungarian Workshop on Distributed
and Parallel Systems, Balatonfüred, Lake Balaton, Hungary September 10th-13th, 2000, pp. 175-184,
Kluwer Academic Publishers, Boston.

Mircea Marin, Tetsuo Ida, Wolfgang Schreiner. **A Distributed Constraint Solving System for Functional Logic Programming.**

APSITT’99, Asia-Pacific Symposium on Information and Telecommunication Technologies, Ulaanbaatar,
Mongolia, pp. 151–155, August 30-31, 1999.

Mircea Marin, Tetsuo Ida, Wolfgang Schreiner. **A Distributed System for Solving Equational Constraints Based on Lazy Narrowing Calculi.**

JSSST PPL’99 Workshop on Programming and Programming Languages, Togawa, Japan, March 17–19,
1999, Japan Society for Software Science and Technology.

Wolfgang Schreiner. **Developing a Distributed System for Algebraic Geometry (Preliminary Version, HTML,
PostScript).**

EURO-CM-PAR’99 Third Euro-conference on Parallel and Distributed Computing for Computational
Mechanics, Weimar, Germany, March 20–25, 1999, Barry H.V. Topping (ed.), Civil-Comp Press,
Edinburgh, pp. 137–146.

Slides (PostScript).

Mircea Marin, Wolfgang Schreiner. **CFLP: A Distributed Constraint Solving System for Functional Logic Programming.**

P. Kacsuk and G. Kotsis (eds)., DAPSYS’98 Workshop on Distributed and Parallel Systems, September
28–30, 1998, Budapest, Hungary, pp.133–136. Technical Report TR-98102, Department of Applied
Computer Science, University of Vienna, Austria.

Wolfgang Schreiner, Werner Danielczyk-Lander, Mircea Marin, Wolfgang Stöcher. **A Generic Programming Environment for High-Performance Mathematical Libraries.**

Generic Programming, Selected Papers of an International Seminar on Generic Programming, Dagstuhl
Castle, Germany, April 27–May 1, 1998 Rüdiger Loos, David Musser (eds), Volume 1766 of Lecture
Notes in Computer Science, Springer, Berlin, pp. 256–267.

(PostScript, ©Springer-Verlag).

Wolfgang Schreiner. **Application of a Para-Functional Language to Problems in Computer Algebra.**

A. P. Wim Böhm, John T. Feo (eds.), Proceedings High Performance Functional Computing, Denver,
Colorado, April 9–11, 1995, Lawrence Livermore National Laboratory Report CONF-9504126, pp.
10–24.

Wolfgang Schreiner. **Parallel Functional Programming for Computer Algebra.**

Phd. Thesis, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,
September 1994.

Wolfgang Schreiner. **A Para-Functional Programming Interface for a Parallel Computer Algebra Package.**

PASCO 94 International Symposium on Parallel Symbolic Computation, Hagenberg, Austria, September
26–28, 1994. World Scientific Publishing Company.

Wolfgang Schreiner. **Virtual Tasks for the PACLIB Kernel.**

Parallel Processing: CONPAR 94 - VAPP VI Third Joint International Conference on Vector and Parallel
Processing, Linz, Austria, September 6–8, 1994. Volume 854 of Lecture Notes in Computer Science,
Springer, Berlin, pages 533–544.

Hoon Hong, Andreas Neubacher, Wolfgang Schreiner. **The Design of the SACLIB/PACLIB Kernels.**

DISCO ’93 International Symposium on Design and Implementation of Symbolic Computation Systems,
Gmunden, Austria, September 15–17, 1993, Alfonso Miola (ed.), Volume 722 of Lecture Notes in
Computer Science, Springer, Berlin.

Wolfgang Schreiner, Hoon Hong. **The Design of the PACLIB Kernel for Parallel Algebraic Computation.**

Second International Conference of the Austrian Center for Parallel Computation, Gmunden, Austria,
October 4–6, 1993, Jens Volkert (ed.), Volume 734 of Lecture Notes in Computer Science, Springer,
Berlin, pages 204–218.

Wolfgang Schreiner, Hoon Hong. **PACLIB — A System for Parallel Algebraic Computation on Shared Memory Computers.**

Parallel Systems Fair at the Seventh International Parallel Processing Symposium, Newport Beach, CA,
April 14, 1993, Hussein M. Alnuweiri (editor), pages 56–61, IPPS ’93.

Wolfgang Schreiner, Hoon Hong. **A New Library for Parallel Algebraic Computation.**

Sixth SIAM Conference on Parallel Processing for Scientific Computing, Norfolk, VA, March
22-24, 1993, volume II, Richard F. Sincovec et al. (eds), pages 776–783, SIAM.

Wolfgang Schreiner. **The ADAM Abstract Dataflow Machine.**

In

Wolfgang Schreiner. **ADAM** — An Abstract Dataflow Machine and its Transputer Implementation.

In *Distributed Memory Computing*, Arndt Bode (ed.), Proceedings of the 2nd European Conference,
EDMCC2, Munich, Germany, April 22–24, 1991, Volume 487 of Lecture Notes in Computer Science,
pp. 392–401, Springer, Berlin.

Wolfgang Schreiner. **ADAM and EVE — An Abstract Dataflow Machine and Its Programming Language.**

Diploma Thesis, Johannes Kepler University, Linz, Austria, September 1990.