RISC Publications and Technical Reports of research area 'Parallel/Distributed Computing'
2018
Ramez Elbaroudy.A Gateway for the Generic Conversion of Protocols for Smart Meters and IoT Applications. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Master Thesis.July2018.[pdf][bib]
2016
Adam Toth, Tamas Berczes, Attila Kuki, Bela Almasi, Wolfgang Schreiner, Jinting Wang, Fang Wang.Analysis of Finite-Source Cluster Networks.Creative Mathematics and Informatics25(2), pp. 223-235.2016.SINUS Association,ISSN 1584 - 286X.[bib]
2014
Muhammad Taimoor Khan.On the Soundness of the Translation of MiniMaple to Why3ML. Technical report no. 14-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2014.[pdf][bib]
Muhammad Taimoor Khan.Formal Specification and Verification of Computer Algebra Software. Technical report no. 14-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).PhD Thesis,April2014.[pdf][bib]
2013
Muhammad Taimoor Khan.On the Formal Verification of Maple Programs. Technical report no. 13-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2013.[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, March2013.Technical Report.[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, July2013.[pdf][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, September2013.[pdf][bib]
2012
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.July2012.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.July2012.Springer-Verlag,Berlin/Heidelberg,ISBN 978-3-642-31373-8.[url][pdf][bib]
2011
Volkmar Wieser, Clemens Grelck, Holger Schoner, Peter Haslinger, Karoly Bosa, Bernhard Moser.GPU-Based Image Processing Use Cases: A High-Level Approach. In: Proceedings of ParCo2011, - (ed.), Proceedings of International Conference on Parallel Computing 2011, Advances in Parallel Computing, pp. -.September2011.IOS Press,0.[url][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]
2010
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, March2010.Austrian Grid Deliverable.[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,July2010.[pdf][bib]
2009
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-292009.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, March2009.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]
Karoly Bosa, Wolfgang Schreiner.A Supercomputing API for the Grid. Austrian Grid. Technical report, August2009.Extended Abstract for the 3rd Austrian Grid Symposium, September 28-29, 2009.[pdf][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, September2009.Austrian Grid Deliverable.[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]
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. -.July2009.Hagenberg, Austria,-.[pdf][bib]
Demis Ballis and Temur Kutsia.WWV'09 - Automated Specification and Verification of Web Systems. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report no. 09-10, July2009.5th Int'l Workshop on Automated Specification and Verification of Web Systems, Castle of Hagenberg, Austria July 17, 2009.[pdf][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.July2009.[pdf][bib]
Stefan Georgiev.Evaluation of Cluster Middleware in a Heterogeneous Computing Environment. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis.July2009.[pdf][bib]
Jens Volkert, Wolfgang Schreiner, Thomas Fahringer.3. Austrian Grid Symposium. Submitted to the RISC Report Series. September2009.Extended abstracts of the 3. Austrian Grid Symposium, September 28-29, 2009, Johannes Kepler University, Linz, Austria.[pdf][bib]
2008
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, January2008.Extended Version.Austrian Grid Deliverable.[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, March2008.Extended Version.Austrian Grid Deliverable.[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.September2008.Springer,Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,ISBN-13: 978-0-387-79447-1.[url][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, September2008.Austrian Grid Deliverable.[pdf][bib]
Imre Zoltan Matko.Grid-aware Database Support for Medical Software. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis.July2008.[pdf][bib]
Imre Zoltan Matko.Grid-aware Database Support for Medical Software. Technical report no. 8-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,July2008.[pdf][bib]
Kenji Miyamoto.Parallel Algorithms for Sparse Matrices in an Industrial Optimization Software. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis.July2008.[pdf][bib]
Kenji Miyamoto.Parallel Algorithms for Sparse Matrices in an Industrial Optimization Software. Technical report no. 8-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,July2008.[pdf][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]
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 Science22, pp. 261-264.2008.Springer,ISBN 0302-9743.[pdf][bib]
Johannes Watzl.Investigations on Improving the SEE-GRID Optimization Algorithm. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Diploma Thesis.June2008.[pdf][bib]
Johannes Watzl.Investigations on Improving the SEE-GRID Optimization Algorithm. Technical report no. 08-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,June2008.[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]
2007
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]
Andreas Duscher.A Pattern-based Interaction Language for Mathematical Services. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, Linz, Austria, December2007.[pdf][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. ISSN 2791-4267 (online).December2007.Project Report.[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. Submitted to the RISC Report Series. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report,April2006.[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 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. Technical report no. 06-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2006.PhD Thesis.[pdf][bib]
Rebhi Baraka.A Framework for Publishing and Discovering Mathematical Web Services.. RISC, Johannes Kepler University Linz. PhD Thesis.2006.[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, March2006.Austrian Grid Deliverable.[doc][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, July2006.Austrian Grid Deliverable.[doc][bib]
Andreas Duscher.An Execution Environment for Mathematical for Services based on WSRF and WS-BPEL. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March2006.[pdf][bib]
Andreas Duscher.Interaction Patterns of Mathematical Services. Research Institute for Symbolic Computation (RISC), Johannes Kepler Univeristy, Linz, Austria. Technical report, December2006.[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]
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, July2006.Austrian Grid Deliverable.[pdf][bib]
2005
Rebhi Baraka, Wolfgang Schreiner.Querying Registry-Published Mathematical Web Services. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, September2005.[pdf][bib]
Rebhi Baraka.Mathematical Services Query Language: Design, Formalization, and Implementation. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, September2005.[ps][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.July2005.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, March2005.[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, July2005.[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, November2005.[pdf][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-22005.Austrian Computer Society (OCG),Austrian Grid,3-85403-210-2.[ps][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 12005.IEEE Computer Society,ISBN 0-7695-2274-2.[ps][pdf][bib]
Andreas Duscher.An Execution Environment for Mathematical Services based on WSRF and WS-BPEL. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December2005.[pdf][bib]
Wolfgang Schreiner, Michael Buchberger.Grid Computing zur Simulation von Augenmuskeloperationen.OCG Journal5, pp. 23-24.December2005.Austrian Computer Society (OCG),ISSN 1728-743X.[url][bib]
2004
Károly Bósa.Fault Tolerance for Distributed Maple. RISC-Linz, Johannes Kepler University, Linz, Austria. PhD Thesis.September2004.[ps][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, November2004.Austrian Grid Deliverable.[pdf][bib]
2003
Wolfgang Schreiner, Christian Mittermaier, Karoly Bosa.Distributed Maple: Parallel Computer Algebra in Networked Environments..Journal of Symbolic Computation35(3), pp. 305-347.2003.Academic Press,0747-7171.[url][bib]
2002
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, March2002.[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]
2001
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 Science2150, pp. 712-716.August2001.Springer, Berlin,3-540-42495-4.[ps][bib]
2000
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.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.September2000.Kluwer Acad. Publishers, Boston,ISBN 0-79237-892-X.[24_dapsys2000][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]
1998
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]
1995
Wolfgang Schreiner.Parallel Functional Programming for Computer Algebra. RISC, Johannes Kepler University Linz. PhD Thesis.1995.[bib]
1979
B. Buchberger, J. Fegerl, F. Lichtenberger.Computer Trees: A Concept for Parallel Processing.Microprocessing and Microsystems3(6), pp. 244-248.1979.-.[pdf][bib]