RISC A) REFEREED PUBLICATIONS 1. F. Winkler (1996) "Polynomial Algorithms in Computer Algebra" (Buch) Reihe ``Texts and Monographs in Symbolic Computation'', Springer--Verlag Wien New York, ISBN 3-211-82759-5, (1996) (Zentralblatt, Vol. 853, #12003). 270 Seiten 2. C.M. Hoffmann, J.R. Sendra, F. Winkler (eds.) (1997) "Parametric Algebraic Curves and Applications". Spezialband der Zeitschrift ``Journal of Symbolic Computation'', Vol.23, No.2&3, pp 133-331, Feb./Maerz (1997), ISSN 0747-7171. 199 Seiten 3. H. Hong (ed.) (1996) "Parallel Symbolic Computation" Special issue of Journal of Symbolic Computation Vol. 21, No 4-6, Apr-June 1996, ISSN 0747-7171, pp 375-734 360 Seiten 4. Bruno Buchberger, Daniela Vasaru (eds) (1997) "The First International Theorema Workshop" 9-10 June, 1997, RISC, Hagenberg, Austria published in RISC-Reports series no. 97-20 198 Seiten 5. F. Winkler (1996) "Parametrized Solutions of Algebraic Equations" Special Issue "J. Mathematics and Computers in Simulation", 42/4-6, 333--338 (1996). 5 Seiten 6. F. Winkler (1996) "Algebraic Computation in Geometry" Special Issue "J. Mathematics and Computers in Simulation", 42/4-6, 529--537 (1996). 9 Seiten 7. M. Mnuk, J.R. Sendra, F. Winkler (1996) "On the Complexity of Parametrizing Curves" "Beitraege zur Algebra und Geometrie", 37/2, 309--328 (1996). 20 Seiten 8. M. Mnuk, F. Winkler (1996) "CASA - A System for Computer Aided Constructive Algebraic Geometry" In: "Proc. International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96)", Karlsruhe, Deutschland, Sept. 1996, LNCS 1128, pp. 297--307, Springer-Verlag (1996) 11 Seiten 9. J.R. Sendra, F. Winkler (1997) "Parametrization of Algebraic Curves over Optimal Field Extensions" "J. of Symbolic Computation", 23/2&3, 191--207 (1997). 17 Seiten 10. Q.-N. Tran, F. Winkler (1997) "An Overview of CASA - A System for Computational Algebra and Constructive Algebraic Geometry" "AC Newsletter", 2, 63--72 (1997). 10 Seiten 11. Tudor Jebelean (1996) "Practical Integer Division with Karatsuba Complexity" ISSAC'97 (International Symposium on Symbolic and Algebraic Computation), W. Kuechlin (ed). ACM Press 1997, pages 339-341. 3 Seiten 12. Werner Krandick, Tudor Jebelean (1996) "Bidirectional Exact Integer Division" J. of Symbolic Computation (1996), Vol. 21, pp. 441-455 15 Seiten 13. Bruno Buchberger (1996) "Mathematica as a Rewrite Language" T. Ida (ed.) ``The Second Fuji International Workshop on Functional and Logic Programming'', Nov. 1-4, Shonan Village, Japan.Telos publishing 9 Seiten 14. Hoon Hong, Stefan Ratschan (1996) "Determining the Relationship among Sets" Proceedings of IMACS ACA, Linz - Hagenberg, 1996 Seiten 15. Bruno Buchberger (1996) "Symbolic Computation: Computer Algebra and Logic" F. Baader, K.U. Schulz (eds.) Frontiers of Combining Systems. Applied Logic Series. Kluwer Academic Publishers, 1996, pp. 193-220 24 Seiten 16. Tudor Jebelean (1996) "Integer and Rational Arithmetic on MasPar" Proceedings of DISCO'96 (Design and Implementation of Symbolic Computation Systems - Karlsruhe, Germany, Sept. 1996), J. Calmet, C. Limongelli (eds.), Springer 1996 (LNCS 1128), pages 162--173 12 Seiten 17. Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru (1997) "A Survey of the {\em Theorema} Project" Proceedings of ISSAC'97 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii, July 21-23, 1997), W. Kuechlin (ed.), ACM Press 1997, pp. 384-391. 8 Seiten 18. Wolfgang Schreiner (1997) "A Distributed Education Environment Based on Mathematica" IDIMT'97 -- 5th Interdisciplinary Information Management Talks, Zadov, Czech Republic, October 15-17, 1997, Austrian Computer Society, Oldenbourg Verlag, pp. 287-301. 15 Seiten 19. Harald Hule, Josef Schicho (1997) "On two conjectures about systems of algebraic equations" Riv. Mat. Univ. Parma (5) 5, 1996, pp 201--204 4 Seiten 20. Tudor Jebelean (1997) "Auto-Configurable Array for GCD Computation" FPL'97 (International Workshop on Field-Programmable Logic and Applications, London, Sep. 1-3 1997), W. Luk, P. Y. K. Cheung, M. Glesner (eds.), Springer 1997 (LNCS 1304), pp. 457-461. 5 Seiten 21. Tudor Jebelean (1997) "Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division" EuroPar'97 (European Conference on Parallel Processing, Passau, 26-29 August 1997), C. Lengauer, M. Griebl, S. Gorlatch (eds.), Springer 1997 (LNCS 1300), pp. 1169--1172. 4 Seiten 22. Wolfgang Schreiner (1996) "A Para-Functional Programming Interface for a Parallel Computer Algebra Package" Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation, Hoon Hong (ed.), volume 21, pp. 593-614, Academic Press, 1996. 22 Seiten 23. Axel Riese (1996) "A Generalization of Gosper's Algorithm to Bibasic Hypergeometric Summation" Electronic Journal of Combinatorics, Vol 3, 1996, pp 1-16. 16 Seiten 24. Peter Paule and Axel Riese (1997) "A {M}athematica $q$-Analogue of {Z}eilberger's Algorithm Based on an Algebraically Motivated Approach to $q$-Hypergeometric Telescoping" in "Special Functions, $q$-Series and Related Topics", M. Ismail and M. Rahman (eds), Fields Institute Communications vol 14, Amer. Math. Soc. 1997, pp 179--210. 31 Seiten 25. Stephan Dreiseitl (1996) "Modeling of Discrete Dynamical Systems by Neural Networks and Genetic Algorithms" Proceedings of the 13th European Meeting on Cybernetics and Systems Research (EMCSR'96), Vienna, Austria 1996. 89--94 6 Seiten 26. Stephan Dreiseitl (1996) "Discrete Dynamical System Modeling by Evolved Neural Networks" Proceedings of the 11th International Conference on Systems Engineering (ICSE'96) Las Vegas, USA, 1996, 19--24. 6 Seiten 27. W. Jacak, B. Buchberger, S. Dreiseitl, T. Kubik (1996) "Intelligent Robotic Arm Based on Reactive Control" 5th International Workshop on Robotics in the Alpe-Adria-Danube Region (RAAD'96) Budapest, Hungary 1996, 297--302 6 Seiten 28. Jacak, W. and S. Dreiseitl (1996) "Robotic Agent Control Combining Reactive and Learning Capabilities" IEEE International Conference on Neural Networks (ICNN'96) Washington, USA 1996, 5 Seiten 29. Jacak, W. and S. Dreiseitl and R. Muszy\'nski (1996) "Neural Network-Based Modeling of Robot Action Effects in Conceptual State Space of Real World" IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'96) Osaka, Japan 1996, 1149--1156 8 Seiten 30. Jacak, W. and S. Dreiseitl (1996) "Neural Network-Based Modeling of Intelligent Robotic Agent Behavior" International Conference on Information Systems Analysis and Synthesis (ISAS'96) Orlando, USA 1996, 82-89 8 Seiten 31. Jacak, W. and B. Buchberger and S. Dreiseitl (1997) "Lifelong Learning Based Intelligent Robotic Agent: Novel Neural Network Approach" Real World Computing Symposium (RWC'97) Jan 29-31, Tokyo, Japan 5 Seiten 32. Jacak, W. and S. Dreiseitl (1997) "Lifelong Learning Approach to Intelligent Agents Modeling" Computer Aided Systems Theory---EUROCAST'97, Gran Canaria, Spain, 367--379 13 Seiten 33. Jacak, W. and S. Dreiseitl (1997) "Multisensor Reactive Robot Arm" 1st Workshop on Teleoperations and Robotics Applications in Science and Arts Linz, Austria, 41-45 5 Seiten 34. Jacak, W. and S. Dreiseitl (1997) "Intelligent Robotic Agent Combining Reactive and Cognitive Capabilities" IEEE International Conference on Systems, Man and Cybernetics (SMC'97), Orlando, USA 10 Seiten 35. Barequet, G., Dickerson, M. and Pau, P. (1997) "Translating a convex polygon to contain a maximum number of points" Computational Geometry - Theory and Applications, Vol 8, September 1997. 167-179 13 Seiten 36. O. Caprotti (1997) "Symbolic Pattern Solving for Equational Reasoning" FTP97 Int. Workshop on ``First order Theorem Proving'', Hagenberg, October 1997. 8 Seiten 37. O. Caprotti (1997) "A Characterization of Indexed Mathematical Objects for the Manipulation of Sums and Series" Advances in the Design of Symbolic Computation Systems, A. Miola, M. Temperini Eds Springer Verlag Texts and Monographs in Symbolic Computation, 1997. ISBN 3-211-82844-3, pp. 111-125. 15 Seiten 38. P. Paule, I. Nemes (1997) "A Canonical Form Guide to Symbolic Summation" Advances in the Design of Symbolic Computation Systems, A. Miola, M. Temperini Eds Springer Verlag Texts and Monographs in Symbolic Computation, 1997. ISBN 3-211-82844-3, pp. 84-110. 27 Seiten 39. O. Caprotti (1996) "Soluzione di Vincoli Equazionali attraverso Patterns" in "Aspetti computazionali in Algebra, Geometria e Logica", Aquila, Italy October 1996. 8 Seiten 40. Pfalzgraf, J. and Sofronie, V. and Stokkermans, K. (1996) "On a Semantics for Cooperative Agents Scenarios" Cybernetics and Systems '96, Volume 1, pp 201-206 6 Seiten 41. Pfalzgraf, J. and Sofronie, V. and Stokkermans, K. (1996) "A Fibered Approach to Modeling Space-Time Dependent Cooperating Agents Scenarios" FAPR'96 (Workshop Reasoning about Actions and Planning in Complex Environments) 7 Seiten 42. Sofronie, V. (1996) "Towards a Sheaf Theoretic Approach to Cooperating Agents Scenarios" Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, Steyr Calmet, J. and Campbell, J.A. and Pfalzgraf, J. (eds) Springer LNCS 1138, 289-304 16 Seiten 43. Sofronie-Stokkermans, V. (1996) "Priestley representation for distributive lattices with operators and applications to automated theorem proving" Workshop on Dualities, Interpretability and Ordered Structures, Lisbon; Published in ``Cadernos de Algebra'', University Lisbon 11 Seiten 44. Erik Hillgarter, Franz Winkler (1997) "Points on Algebraic Curves and the Parametrization Problem" Automated Deduction in Geometry, D. Wang (ed.), Springer Verlag Berlin Heidelberg, Lecture Notes in Artificial Intelligence 1360, p. 185-203. 19 Seiten 45. W. Jacak, B. Buchberger, S. Stifter (1996) "Intelligent Systems Combining Reactive and Learning Capabilities" 13th European Meeting on Cybernetics and Systems Research (EMCSR'96), Vienna, 1996 13 Seiten 46. B. Buchberger (1996) "Using Mathematica for Doing Simple Mathematical Proofs" Invited paper, in: Proceedings of the 4th Mathematica Users' Conference, Tokyo, November 2, 1996, Wolfram Media Publishing, pp. 80-96. 17 Seiten 47. B. Buchberger (1997) "Symbolisches Rechnen" In: Handbuch der Informatik (G. Pomberger, P. Rechenberg eds.), Birkhaeuser, Munich, 1997, pp.699-721. ISBN 3-446-18691-3 23 Seiten 48. B. Buchberger (1996) "Mathematische Software-Systeme: Die Zukunft" Informatik-Spektrum., 1996, Springer, Heidelberg, pp. 193-220 27 Seiten 49. B. Buchberger (1997) "Mathematica: A System for Doing Mathematics by Computer?" In: A. Miola, M.Temperini (eds), Advances in the Design of Symbolic Computation Systems, Springer New York - Vienna, 1997, pp.3-23. ISBN 3-211-82844-3 21 Seiten 50. Michael Joswig (1996) "Translation generalized quadrangles" Arch. Math. (Basel) {\bf 67},3 (1996), 253-264. 12 Seiten 51. Michael Joswig (1997) " Towards modelling the topology of homogeneous manifolds by means of symbolic computation" Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-3 (J. Calmet, J.A. Campbell, J. Pfalzgraf, eds.), Steyr, September, 1996, 258-273. 15 Seiten 52. Harald Hule, Josef Schicho (1996) "On two conjectures about systems of algebraic equations" Riv. Mat. Univ. Parma (5) 5, 1996, pp 201--204 Publisher: Cambi Italia 4 Seiten