Wolfgang Schreiner, Ágoston Sütő.
A Temporal Logic Extension of the RISCAL Model Checker.
Informatics 2022, 2022 IEEE 16th International Scientific Conference on Informatics, Poprad,
Slovakia, November 23-25, 2022, William Steingartner, Štefan Korečko, Anikó Szakál (eds.), pp.
267–272. IEEE, ISBN 979-8-3503-1034-4.
Wolfgang Schreiner.
Implementation Techniques for Mathematical Model Checking.
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 (eds.), pp. 12-15, 2022. IEEE, ISBN 978-1-6654-6545-8.
Wolfgang Schreiner, Franz-Xaver Reichl.
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT
Solving.
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science
(SCSS 2021), Hagenberg, Austria, September 8-10, 2021, Temur Kutsia (ed.), Electronic
Proceedings in Theoretical Computer Science (EPTCS) 342, pp. 99-113. September 2021. ISSN
2075-2180.
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.
ITiCSE 2020, 25th annual conference on Innovation and Technology in Computer Science
Education, June 17–19, 2020, pp. 61–67. ACM Press.
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere.
Computational Logic in the First Semester of Computer Science: An Experience Report.
H. Chad Lane, Susan Zvacek, James Uhomoibhi, CSEDU 2020, 12th International Conference on
Computer Science Education, May 2–4, 2020, Volume II, pp. 374–381. SCITEPRESS.
Wolfgang Schreiner.
Logic and Semantic Technologies for Computer Science Education.
Invited paper at Informatics’2019, 2019 IEEE 15th International Scientific Conference on Informatics,
Poprad, Slovakia, November 20–22, 2019, pp. 415–420. IEEE.
Wolfgang Schreiner.
Theorem and Algorithm Checking for Courses on Logic and Formal Methods.
Post-Proceedings ThEdu’18, Pedro Quaresma and Walther Neuper (ed.), 7th International
Workshop on Theorem proving components for Educational software, Oxford, United Kingdom, 18
July 2018, Volume 290 of Electronic Proceedings in Theoretical Computer Science (EPTCS), pp.
56-75. April 1, 2019. Open Publishing Association, ISSN 2075-2180.
Wolfgang Schreiner.
Logic as a Path to Enlightenment (Work in Progress Report).
Walther Neuper (editor), CME-EI18, Computer Mathematics in Education — Enlightenment or
Incantation? Workshop at CICM 2018, 11th Conference on Intelligent Computer Mathematics,
Hagenberg, Austria, August 17, 2018. CEUR Workshop Proceedings, Volume 2307.
Wolfgang Schreiner.
Validating Mathematical Theories and Algorithms with RISCAL.
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 Parallelization in Inference Systems, Fronhöfer, B. and Wrightson, G. (eds.), International
Workshop, Dagstuhl Castle, Germany, December 17–18, 1990. Volume 590 of Lecture Notes in
Artificial Intelligence, Springer, Berlin, pages 270–289.
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.