RISC Publications in the frame of project 'MathBroker II'
2009
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]
2008
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]
2006
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 - 202006.IEEE Computer Society,Los Alamitos,ISBN-13: 978-0-7695-2466-4.[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 ScienceLNCS/4184, pp. 73-87.September 8-92006.Springer-Verlag,Berlin Heidelberg,3-540-38862-1.[bib]
Rebhi Baraka.A Framework for Publishing and Discovering Mathematical Web Services.. RISC, Johannes Kepler University Linz. PhD Thesis.2006.[bib]
2005
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 12005.IEEE Computer Society,ISBN 0-7695-2274-2.[ps][pdf][bib]
1995
Wolfgang Schreiner.Parallel Functional Programming for Computer Algebra. RISC, Johannes Kepler University Linz. PhD Thesis.1995.[bib]