Wolfgang Schreiner.
Concrete Abstractions — Formalizing and Analyzing Discrete Theories and Algorithms with
the RISCAL Model Checker.
Texts & Monographs in Symbolic Computation, Springer International Publishing, 2023, 270 pages,
DOI:10.1007/978-3-031-24934-1.
Wolfgang Schreiner.
Thinking Programs — Logical Modeling and Reasoning About Languages, Data,
Computations, and Executions.
Texts & Monographs in Symbolic Computation, Springer International Publishing, 2021, 636 pages,
DOI:10.1007/978-3-030-80507-4.
Wolfgang Schreiner.
Software.
Appendix of “Nonlinear Resonance Analysis – Theory, Computation, Applications”, Elena
Kartashova (author), Cambridge University Press, Cambridge, UK, 2011, pp. 185–208.
Maribel Fernández, Temur Kutsia, Wolfgang Schreiner.
PPDP’10 - Proceedings of the 2010 Symposium on Principles and Practice of Declarative
Programming, July 26-28, 2010, Hagenberg, Austria, ACM, New York.
Jens Volkert, Thomas Fahringer, Wolfgang Schreiner, Rene Kobler.
Proceedings of the 3rd Austrian Grid Symposium.
September 28–29, 2009, Linz, Austria, Aistrian Computer Society (OCG), Vienna, Austria.
Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter
Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland
Wagner, Gerhard Weiss, Wolfgang Windsteiger (eds).
Hagenberg Research.
488 pages, Springer, 2009.
Wolfgang Schreiner (ed), Karoly Bosa, Andreas Langegger, Thomas Leitner, Bernhard Moser,
Szilard Pall, Volkmar Wieser, Wolfram Wöß.
Parallel, Distributed, and Grid Computing.
Chapter VII of “Hagenberg Research”, Bruno Buchberger, Michael Affenzeller, Alois Ferscha,
Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang
Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiss, Wolfgang Windsteiger (eds), pp.
333-378, Springer, 2009.
Tudor Jebelean (ed), Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner,
Wolfgang Windsteiger.
Automated Reasoning.
Chapter II of “Hagenberg Research”, Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael
Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner,
Robert Stubenrauch, Roland Wagner, Gerhard Weiss, Wolfgang Windsteiger (eds), Springer, 2009.
The original publication is available at www.springerlink.com.
E. Kartashova, C. Raab, Ch. Feurer, G. Mayrhofer, W. Schreiner.
Symbolic Computations for Nonlinear Wave Resonances.
In: “Extreme Ocean Waves”, E. Pelinovsky, C. Kharif (eds.), Springer, July 2008, pp. 97–128.
arXiv:0706.3789v2
Dieter Kranzlmüller, Wolfgang Schreiner, Jens Volkert (eds).
ISPDC 2007: 6th International Symposium on Parallel and Distributed Computing.
Hagenberg, Austria, July 5-8, 2007. IEEE Computer Society, Los Alamitos, CA.
Jens Volkert, Thomas Fahringer, Dieter Krazlmüller, Wolfgang Schreiner (eds).
1st Austrian Grid Symposium.
Schloss Hagenberg, Austria, December 2005, Volume 210 of the Austrian Computer Society (OCG),
Vienna, 2006.
Wolfgang Schreiner.
Modellierung und Theorie verteilter Systeme (Models and Theory of Distributed Systems, in
German)
Chapter A7, Peter Rechenberg and Gustav Pomberger (eds.), Informatik-Handbuch, 4th edition, pp.
167–186, Hanser, 2006.
G. Kotsis, A. Ferscha, W. Schreiner, I.K. Ibrahim (eds.)
The International Conference on Advances in Mobile Multimedia (MoMM2003).
Jakarta, Indonesia, September 15–17, 2003, Volume 171 of the Austrian Computer Society
OCG.
Wolfgang Schreiner.
Functional and Logic Programming.
Article 5.4 in Theme 6.45 “Computer Science and Engineering”, Zainalabedin Navabi and David
Kaeli (theme eds), Encyclopedia of Life Support Systems (EOLSS), UNESCO-EOLSS Joint
Committee, 2001.
Thierry Gautier, Hoon Hong, Jean-Louis Roch, Wolfgang Schreiner.
Parallel Implementation.
Section 2.16 in Handbook of Computer Algebra — Foundations, Applications, Systems; J.
Grabmeier, E. Kaltofen, V. Weispfennig (eds), Springer Verlag, Heidelberg, 2001.