J.-M. Andreoli, C. Hankin, and D. Le Metayer, editors.
Coordination Programming: Mechanisms, Models and Semantics.
Imperial College Press, London, UK, August 1996.
[ALN97]
ALN Web -- The Web of Asynchronous Learning Networks, 1997.
http://www.aln.org/.
[AM95]
Frank Andrews, Keith aand Kappe and Hermann Maurer.
Serving Information to the Web with Hyper-G.
Computer Networks and ISDN Systems, 27(6), April 1995.
Also: Proceedings of the Third International World-Wide Web
Conference, WWW'95, Darmstadt, Germany, April 1995. http://www.tu-graz.ac.at/0x811b9908_0x00167d20.
1996 ATM Summer School, Johannes Kepler University, Linz, Austria, July
1996.
[BCE+92]
Bruno Buchberger, George Collins, Mark Encarnación, Hoon Hong, Jeremy
Johnson, Werner Krandick, Rüdiger Loos, Ana Mandache, Andreas Neubacher,
and Herbert Vielhaber.
A SACLIB Primer.
Technical Report 92-34, RISC-Linz, Johannes Kepler University, Linz,
Austria, 1992.
[BE95]
W. Broll and D. England.
Adding Multi-User Support to VRML, 1995.
[Ber96]
Philip A. Bernstein.
Middleware -- A Model for Distributed System Services.
Communications of the ACM, 39(2):86-98, February 1996.
[BF81]
Bruno Buchberger and Lichtenberger Franz.
Mathematics for Computer Science I -- The Method of
Mathematics.
Springer, Berlin, 2nd edition, 1981.
Piergiorgio Bertoli, Hoon Hong, and Ovidiu Podisor.
The Design of the Sturm Parallel Kernel.
Technical Report 96-11, RISC-Linz, Johannes Kepler University, Linz,
Austria, May 1996.
[BJ+95]
Bruno Buchberger, Withold Jacak, et al.
he College of Media Techniques and Design (in German), 1995.
Description of the College of MTD in Hagenberg, Austria.
[BMZ95]
Donald P. Brutzman, Michael R. Macedonia, and Michael J. Zyda.
Internetwork Infrastructure Requirements for Virtual Environments.
In NII 2000 Forum of the Computer Science and Telecommunications
Board, National Research Council, Washington, D.C., May 1995.
ftp://taurus.cs.nps.navy.mil/pub/auv/brutzman/nii_2000.txt.
[Buc78]
Bruno Buchberger.
Computer-Trees and their Programming.
In Dauchet, editor, 4th Colloquium "Trees in algebra and
programming", pages 1-18, University of Lille, February 16-18, 1978.
Also: Technical Report 78-11, RISC-Linz, Johannes Kepler University,
Linz, Austria, 1978.
[Buc85]
Bruno Buchberger.
Groebner-Bases: An Algorithmic Method in Polynomial Ideal
Theory, chapter 6, pages 184-232.
Reidel Publishing Company, Dodrecht, Germany, 1985.
[Buc93]
Bruno Buchberger.
Mathematics: An Introduction to Mathematics Integrating the Pure and
Algorithmic Aspect. Volume I: The Language of Mathematics.
Lecture notes in the form of a mathematica notebook, Research
Institute for Symbolic Computation, Johannes Kepler University, Linz,
Austria, 1993.
In preparation as a book with Springer, Vienna.
[Buc96a]
Bruno Buchberger.
Computer Algebra and Logic.
In F. Baader and K.U. Schulz, editors, Frontiers of Combining
Systems, Applied Logic Series, pages 193-220, Munich, Germanyu, March
26-29, 1996. Kluwer Academic Publishers.
Invited paper.
[Buc96b]
Bruno Buchberger.
Mathematica as a Rewrite Language.
In Tetsuo Ida, editor, Fuji Conference on Functional Logic
Programming, Shonan Village, Japan, November 1-4, 1996. Telos publishing
conference.
Invited paper.
[Buc96c]
Bruno Buchberger.
Proving, Solving, Computing.
In Tetsuo Ida and Yike Guo, editors, MLP '96 -- Multiparadigm
Logic Programming, Bonn, Germany, September 5, 1996. Springer, Vienna.
Invited paper.
[Buc96d]
Bruno Buchberger.
Using Mathematica for Doing Simple Mathematical Proofs.
In 4th Mathematica Users' Conference, pages 80-96, Tokyo,
Japan, November 2, 1996. Wolfram Media Publishing.
Invited paper.
[Buc97a]
Bruno Buchberger.
Mathematica: A System for Doing Mathematics by Computer?
Springer, New York, 1997.
To appear.
[Buc97b]
Bruno Buchberger.
Thinking, Speaking, Writing: A Practical Course in the Working
Techniques of Mathematicians and Computer Scientists.
Springer, Vienna, 1997.
In preparation.
S. Castellani, P. Ciancarini, and D. Rossi.
The ShaPE of ShaDe: A Coordination System.
Technical Report UBLCS-96-5, Department of Computer Science,
University of Bologna, Italy, March 1996.
ftp://ftp.cs.unibo.it:/pub/TR/UBLCS/96-05.ps.gz.
[CEF+93]
M. Cutkosky, R. Engelmore, R. Fikes, M. Genesereth, T. Gruber, W. Mark,
J. Tenenbaum, and J. Weber.
PACT: An Experiment in Integrating Concurrent Engineering Sessions.
IEEE Computer, 26(1):8-37, January 1993.
http://www.eit.com/creations/papers/pact/.
[CH95]
Christer Carlsson and Olof Hagsand.
DIVE -- A Multi-user Virtual Reality System.
In 1995 IEEE Virtual Reality Annual Symposium (VRAIS '93),
Seattle, OR, September 1995.
[Cia96a]
P. Ciancarini.
Coordination Models and Languages as Software Integrators.
ACM Computer Surveys, 28(2):300-302, 1996.
[Cia96b]
Paolo Ciancarini.
Coordination Models and Languages.
Technical report, Department of Computer Science, University of
Bologna, Italy, January 1996.
http://www.cs.unibo.it/~cianca/coord_ToC.html.
[CL96]
Daniel T. Chang and Danny B. Lange.
Mobile Agents: A New Paradigm for Distributed Object Computing on
the WWW.
In OOPSLA'96 Workshop Toward the Integration of WWW and
Distributed Object Technology, Atlanta, Georgia, October 5-9, 1996. ACM
Press.
http://www.trl.ibm.co.jp/aglets/ma.html.
[Col89]
Murray I. Cole.
Algorithmic Skeletons: Structured Management of Parallel
Computation.
Pitman/MIT Press, 1989.
K. Mani Chandy and Adam Rifkin.
Systematic Composition of Objects in Distributed Internet
Applications: Processes and Sessions.
In HICCS 97 Mini-track on Software Engineering for Distributed
Systems, January 7-10, 1997.
ftp://ftp.cs.caltech.edu/tr/cs-tr-96-15.ps.Z.
[CRS+96]
K. Mani Chandy, Adam Rifkin, A. G. Sivilotti, Jacob Mandelson, Matthew
Richardson, Wesley Tanaka, and Luke Weisman.
A World-Wide Distributed System Using Java and the Internet.
In High Performance Distributed Computing (HPDC-5) Focus
Workshop on Multimedia and Collaborative Environments, Syracuse, NY, August
6-9, 1996.
http://www.infospheres.caltech.edu/papers/hpdc96.ps.
[CS96]
K. Mani Chandy and Eve M. Schooler.
Designing Directories in Distributed Systems: A Systematic
Framework.
In High Performance Distributed Computing (HPDC-5) Focus
Workshop on Multimedia and Collaborative Environments, Syracuse, NY, August
6-9, 1996.
http://www.infospheres.caltech.edu/papers/hpdc96b.ps.
[CSC95]
CSCL '95 -- Computer-Supported Collaborative Learning, Indiana
University, Bloomington, Indiana, October 17-20, 1995. Lawrence Erlbaum
Associates.
http://www-cscl95.indiana.edu/cscl95/toc.html.
Paolo Cinciarini, Robert Tolksdorf, Fabio Vitali, Davide Rossi, and Andreas
Knowche.
Distributed Applications on the WWW: Coordinating Java Agents with
PageSpace, 1996.
Submitted to the IEEE Computer Special Issue on Executable Content:
Java and Related Technologies, http://www.cs.tu-berlin.de/~pagespc/ieeecsp/ieeec.html.
John Darlington et al.
Parallel Programming Using Skeleton Functions.
In A. Bode, M. Reeve, and G. Wolf, editors, PARLE '93 Parallel
Architectures and Languages Europe, volume 694 of Lecture Notes in
Computer Science, pages 146-160, Munich, Germany, 1993. Springer, Berlin.
I. Foster, J. Geisler, W. Nickless, W. Smith, and S. Tuecke.
Software Infrastructure for the I-WAY High-Performance Distributed
Computing Experiment.
In Proceedings of the 5th IEEE Symposium on High Performance
Distributed Computing, 1995.
ftp://ftp.mcs.anl.gov/pub/nexus/reports/isoft.ps.Z.
Ian Foster, Carl Kesselman, and Steven Tuecke.
The Nexus Approach to Integrating Multithreading and Communication.
Journal of Parallel and Distributed Computing, 1997.
To appear. ftp://ftp.mcs.anl.gov/pub/nexus/reports/jpdc.ps.Z.
[Fla96]
David Flanagan.
Java in a Nutshell -- A Desktop Quick Reference for Java
Programmers.
O'Reilly, Bonn, 1996.
[FT89a]
Ian Foster and Stephen Taylor.
Strand -- New Concepts in Parallel Programming.
Prentice-Hall, Englewood Cliffs, New Jersey, 1989.
[FT89b]
Ian Foster and Stephen Taylor.
Strand: New Concepts in Parallel Programming.
Prentice Hall, Englewood Cliffs, NJ, 1989.
[FT94]
Ian Foster and Stephen Taylor.
A Compiler Approach to Scalable Concurrent-Program Design.
ACM Transactions on Programming Languages and Systems,
16(3):577-604, May 1994.
[GB95]
C. Greenhalgh and S. Benford.
MASSIVE: A Distributed Virtual Reality System Incorporating Spatial
Trading.
In IEEE 15th International Conference on Distributed Computing
Systems (DCS '95), Vancouver, Canada, May 30 - June 2, 1995. IEEE Computer
Society.
[GC89]
David Gelernter and Nicholas Carriero.
Linda in Context.
Communications of the ACM, 32(4):444-458, April 1989.
[GC92]
David Gelernter and Nicholas Carriero.
Coordination Languages and their Significance.
Communications of the ACM, 35(2):97-107, February 1992.
[Ghe95]
Steve Ghee.
dVS -- a Distributed VR System Infrastructure.
In SIGGRAPH 95, Los Angeles, California, August 6-11, 1995.
ACM Press.
A. Grimshaw and W. Wolf.
Legion -- a View from 50,000 Feet.
In 5the IEEE Symposium on High Performance Distributed
Computing, pages 89-99. IEEE Computer Society Press, 1996.
[GWtLT97]
Andrew S. Grimshaw, Wm.A. Wulf, and the Legion Team.
The Legion Vision of a Worldwide Virtual Computer.
Communications of the ACM, 40(1):39-45, January 1997.
[HL94]
Hoon Hong and Hans-Wolfgang Loidl.
Parallel Computation of Modular Multivariate Polynomial Resultants
on Shared Memory Machine.
In Bruno Buchberger and Jens Volkert, editors, Parallel
Processing: CONPAR 94 -- VAPP VI International Conference on Parallel and
Vector Processing, volume 854 of Lecture Notes in Computer Science,
pages 325-336, Linz, Austria, September 6-8, 1994. Springer, Berlin.
[HNS95]
Hoon Hong, Andreas Neubacher, and Wolfgang Schreiner.
The Design of the SACLIB/PACLIB Kernels.
Journal of Symbolic Computation, 19:111-132, 1995.
[HNSS94]
Hoon Hong, Andreas Neubacher, Volker Stahl, and Wolfgang Schreiner.
The C++ Interface to the STURM Multi-Processor Kernel.
Technical Report 94-32, RISC-Linz, Johannes Kepler University, Linz,
Austria, April 1994.
[Hon92]
Hoon Hong.
Parallelization of Quantifier Elimination on Workstation Network.
Technical Report 91-51, Research Institute for Symbolic Computation
(RISC-Linz), Johannes Kepler University, Linz, Austria, May 1992.
[HSN+92]
Hoon Hong, Wolfgang Schreiner, Andreas Neubacher, Kurt Siegl, Hans-Wolfgang
Loidl, Tudor Jebelean, and Peter Zettler.
PACLIB User Manual.
Technical Report 92-32, RISC-Linz, Johannes Kepler University, Linz,
Austria, May 1992.
Also: Technical Report ACPC/TR 92-9, Austrian Center for Parallel
Computation, July 1992.
D. Kuokka, J. McGuire, J. Weber, J. Tenenbaum, T. Gruber, and G. Olsen.
SHADE: Knowledge-based Technology for the Re-Engineering Problem,
1994.
http://www-ksl.stanford.edu/knowledge-sharing/papers/shade-overview.html.
Carla Limongelli and R. Pirastu.
Exact Solution of Linear Systems over Rational Numbers by Parallel
p-adic Arithmetic.
In Bruno Buchberger and Jens Volkert, editors, Parallel
Processing: CONPAR 94 -- VAPP VI International Conference on Parallel and
Vector Processing, volume 854 of Lecture Notes in Computer Science,
pages 313-324, Linz, Austria, September 6-8, 1994. Springer, Berlin.
Michael R. Macedonia, R. Zyda, David R. Pratt, et al.
NPSNET: A Network Software Architecture for Large Scale Virtual
Environments.
Presence, 3(4):265-287, Fall 1994.
Wolfgang Schreiner.
Parallel Functional Programming for Computer Algebra.
PhD thesis, Johannes Kepler University, Linz, Austria, September
1994.
RISC-Linz Report 94-61.
[Sch94b]
Wolfgang Schreiner.
Virtual Tasks for the PACLIB Kernel.
In Bruno Buchberger and Jens Volkert, editors, Parallel
Processing: CONPAR 94 -- VAPP VI International Conference on Parallel and
Vector Processing, volume 854 of Lecture Notes in Computer Science,
pages 533-544, Linz, Austria, September 6-8, 1994. Springer, Berlin.
[Sch95]
Wolfgang Schreiner.
Application of a Para-Functional Language to Problems in Computer
Algebra.
In Wim Böhm and T. Feo, John, editors, High Performance
Functional Computing, pages 10-24, Denver, Colorado, April 9-11, 1995.
Lawrence Livermore National Laboratory Report CONF-9504126.
[Sch96a]
Wolfgang Schreiner.
A Para-Functional Programming Interface for a Parallel Computer
Algebra Package.
Journal of Symbolic Computation, 21:523-614, 1996.
Special Issue on Parallel Symbolic Computation.
[Sch96b]
Wolfgang Schreiner.
A Para-Functional Programming Interface for a Parallel Computer
Algebra Package.
Journal of Symbolic Computation, Special Issue on Parallel
Symbolic Computation, 21:523-614, 1996.
http://www.risc.uni-linz.ac.at/people/schreine/papers/jsc96.ps.gz.
[SH93a]
Wolfgang Schreiner and Hoon Hong.
A New Library for Parallel Algebraic Computation.
In Richard F. Sincovec et al., editors, Sixth SIAM Conference on
Parallel Processing for Scientific Computing, volume II, pages 776-783,
Norfolk, Virginia, March 22-24, 1993. SIAM.
[SH93b]
Wolfgang Schreiner and Hoon Hong.
PACLIB -- A System for Parallel Algebraic Computation on Shared
Memory Computers.
In Hussein M. Alnuweiri, editor, Parallel Systems Fair at the
Seventh International Parallel Processing Symposium, pages 56-61, Newport
Beach, CA, April 14, 1993. IPPS '93.
Also: Technical Report 93-03, RISC-Linz, Johannes Kepler University,
Linz, Austria, February 1993. Also: Technical Report ACPC/TR 93-12, Austrian
Center for Parallel Computation, February 1993.
[SH93c]
Wolfgang Schreiner and Hoon Hong.
The Design of the PACLIB Kernel for Parallel Algebraic Computation.
In Jens Volkert, editor, Parallel Computation -- Second
International Conference of the Austrian Center for Parallel Computation,
volume 734 of Lecture Notes in Computer Science, pages 204-218,
Gmunden, Austria, October 4-6, 1993. Springer, Berlin.
[Sie92]
Kurt Siegl.
||MAPLE||: A System for Parallel Computer Algebra for Transputers.
In Szabolcs Ferenczi, editor, 1st Austrian-Hungarian Workshop
on Transputer Applications, number KFKI-1992-34/M,N in Technical Report
Series of the Hungarian Academy of Sciences Central Research Institute for
Physics, pages 21-30, Sopron, Hungary, October 8-10, 1992. Hungarian
Transputers User Group and Austrian Center for Parallel Computation.
Also: Technical Report 93-06, RISC-Linz, Johannes Kepler University,
Linz, Austria, February 1993.
[Sie93a]
Kurt Siegl.
||MAPLE|| -- A System for Parallel Symbolic Computation.
In Hussein M. Alnuweiri, editor, Parallel Systems Fair at the
Seventh International Parallel Processing Symposium, pages 62-67, Newport
Beach, California, April 14, 1993. IPPS '93.
Also: Technical Report 93-07, RISC-Linz, Johannes Kepler University,
Linz, Austria, February 1993.
[Sie93b]
Kurt Siegl.
Parallelizing Algorithms for Symbolic Computation Using ||MAPLE||.
In Fourth ACM SIGPLAN Symposium on Principles and Practice of
Parallel Programming, pages 179-186, San Diego, California, May 19-22,
1993. ACM Press.
Robert Tolksdorf.
Coordinating Services in Open Distributed Systems with Laura.
In Paolo Ciancarini and Chris Hankin, editors, Coordination
Languages and Models, Proceedings of Coordination '96, volume 1061 of Lecture Notes in Computer Science, pages 386-402. Springer, Berlin, 1996.
Bernhard Wall.
Mathematics: An Introduction to Mathematics Integrating the Pure and
Algorithmic Aspect. Volume III: Algebra.
Lecture notes in the form of a mathematica notebook, Research
Institute for Symbolic Computation, Johannes Kepler University, Linz,
Austria, 1995.
[Wan91]
Dongming Wang.
On the Parallelization of Characteristic-Set-Based Algorithms.
In Parallel Computation -- First International ACPC
Conference, volume 591 of Lecture Notes in Computer Science, pages
316-337, Salzburg, Austria, September 30-October 2, 1991. Springer, Berlin.
[WHH+93]
A. J. West, T. L. J. Howard, R. J. Hubbold, et al.
AVIARY -- A Generic Virtual Reality Interface for Real
Applications.
In R. A. Earnshaw, M. A. Gigante, and H. Jones, editors, Virtual
Reality Systems, chapter 15, pages 213-236. Academic Press, March 1993.
[Win94]
Wolfgang Windsteiger.
Mathematics: An Introduction to Mathematics Integrating the Pure and
Algorithmic Aspect. Volume II: Analysis.
Lecture notes in the form of a mathematica notebook, Research
Institute for Symbolic Computation, Johannes Kepler University, Linz,
Austria, 1994.
[Wol96]
Stephen Wolfram.
The Mathematica Book.
Cambridge University Press, 3rd edition, 1996.
