Franz Winkler, Univ.-Prof. DI.Dr.

Publications

	S. Falkensteiner, J.J. Mitteramskogler, R. Sendra, F. Winkler. The algebro-geometric method: Solving algebraic differential equations by parametrizations. Bulletin of the American Mathematical Society, pp. 1-41. 2023. ISSN 0273-0979. [bib]
	J. J. Mitteramskogler, F. Winkler. General solutions of first-order algebraic ODEs in simple constant extensions. Journal of Systems Science and Complexity (JSSC), pp. 0-0. 2023. 1009-6124. [bib]
	J. J. Mitteramskogler, F. Winkler. Symbolic solutions of algebraic ODEs - A comparison of methods. Publicationes Mathematicae Debrecen 100(1-2), pp. 143-166. 2022. 0033-3883. [bib]
	F. Winkler. My Life in Computer Algebra. Technical report no. 21-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2021. [url] [pdf] [bib]
	Johann J. Mitteramskogler, Franz Winkler. General solutions of first-order algebraic ODEs in simple constant extensions. Technical report no. 21-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 2021. [url] [pdf] [bib]
	Johann J. Mitteramskogler, Franz Winkler. A comparison of methods for computing rational general solutions of algebraic ODEs. Technical report no. 20-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2020. [pdf] [bib]
	Franz Winkler. Symbolic computation in algebra, geometry, and differential equations. In: Proceedings CAI-2019, , Special issue of "Information and Computation" , pp. 0-0. 2020. 0. [bib]
	Franz Winkler, Johann Mitteramskogler. Symbolic solutions of algebraic ODEs - A comparison of methods. Publications Mathemticae Debrecen, pp. 0-0. 2020. 0. [bib]
	Franz Winkler. The Algebro-Geometric Method for Solving Algebraic Differential Equations - A Survey. Journal of System Science and Complexity 32, pp. 256-270. 2019. 1009-6124. [bib]
	J.R. Sendra, Franz Winkler. The algebro-geometric solution method for algebraic differential equations - An introduction by examples. In: Complex Differential and Difference Equations, Proceedings of the School and Conference CDDE, held at Bedlewo, Poland, deGruyter (ed.), pp. 129-146. 2019. Polish Academy of Sciences, deGruyter, 978-3-11-061142-7. [bib]
	S. McCallum, F. Winkler. Resultants: Algebraic and Differential. Technical report no. 18-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. August 2018. [pdf] [bib]
	G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler. Rational general solutions of systems of first-order algebraic partial differential equations. J. Computational and Applied Mathematics(331), pp. 88-103. 2018. ISSN 0377-0427. [pdf] [bib]
	N.T. Vo, G. Grasegger, F. Winkler. Deciding the existence of rational general solutions for first-order algebraic ODEs. Journal of Symbolic Computation(87), pp. 127-139. 2018. ISSN 0747-7171. [pdf] [bib]
	F. Winkler. Das Unendliche im mathemtischen Alltag. In: Beiträge des 41. Internationalen Wittgenstein Symposiums, G.M. Mras, P. Weingartner, B. Ritter (ed.), Proceedings of 41. Internationales Wittgenstein Symposium, pp. 285-287. August 2018. ISSN 1022-3398. [pdf] [bib]
	S. McCallum, F. Winkler. Differential Resultants, in Recent Advances in Algebra, Numerical Analysis and Statistics. In: Proc. Internat. Conf. on Mathematics (ICM 2018), R. Bris et al. (ed.), Proceedings of ICM 2018, pp. 1-11. Dezember 2018. Ton Duc Thang University (TDTU), Ho Chi Minh City, Vietnam, ISBN 978-2-7598-9058-3. [url] [pdf] [bib]
	G. Grasegger, N.T. Vo, F. Winkler. Computation of All Rational Solutions of First-Order Algebraic ODEs. Technical report no. 16-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2016. [pdf] [bib]
	G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler. A solution method for autonomous first-order algebraic partial differential equations. Journal of Computational and Applied Mathematics 300, pp. 119-133. 2016. 0377-0427. [url] [bib]
	G. Grasegger, N.T. Vo, F. Winkler. A decision algorithm for rational general solutions of first-order algebraic ODEs. In: Proceedings XV Encuentro de Algebra Computacional y Aplicaciones (EACA 2016), Universidad de la Rioja, J. Heras and A. Romero (eds.) (ed.), pp. 101-104. 2016. 978-84-608-9024-9. [bib]
	G. Grasegger, F. Winkler. Symbolic Solutions of First-Order Algebraic ODEs. In: Computer algebra and polynomials, J. Gutierrez, J. Schicho, M. Weimann (ed.), Lecture Notes in Computer Science 8942, pp. 94-104. 2015. Springer International Publishing, ISSN 0302-9743. [url] [bib]
	G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler. A solution method for autonomous first-order algebraic partial differential equations in several variables. Technical report no. 15-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2015. [pdf] [bib]
	N.T. Vo, G. Grasegger, F. Winkler. Rational General Solutions of First-Order Algebraic ODEs. Technical report no. 15-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2015. [bib]
	N. T. Vo, F. Winkler. Algebraic General Solutions of First Order Algebraic ODEs. In: Computer Algebra in Scientific Computing, Vladimir P. Gerdt et. al. (ed.), Lecture Notes in Computer Science 9301, pp. 479-492. 2015. Springer International Publishing, ISSN 0302-9743. [url] [bib]
	G. Grasegger, N.T. Vo, F. Winkler. Statistical Investigation of First-Order Algebraic ODEs and their Rational General Solutions. Technical report no. 15-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2015. [pdf] [bib]
	A. Lastra, J.R. Sendra, L.X.C. Ngô, F. Winkler. Rational general solutions of systems of autonomous ordinary differential equations of algebro-geometric dimension one. Publ.Math.Debrecen(86/1-2), pp. 49-69. 2015. 0033-3883. [bib]
	L.X.C. Ngô, J.R. Sendra, F. Winkler. Birational transformations preserving rational solutions of algebraic ordinary differential equations. J. Computational and Applied Mathematics(286), pp. 114-127. 2015. 0377-0427. [bib]
	G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler. A solution method for autonomous first-order algebraic partial differential equations. Technical report no. 14-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2014. [pdf] [bib]
	G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler. On Symbolic Solutions of Algebraic Partial Differential Equations. In: Computer Algebra in Scientific Computing, V.P. Gerdt et al. (ed.), Lecture Notes in Computer Science 8660, pp. 111-120. 2014. Springer International Publishing, ISSN 0302-9743. [url] [bib]
	Winkler Franz. Algebraic differential equations - Rational solutions and beyond. Southeast Asian Bulletin of Mathematics(38), pp. 153-162. 2014. 0129-2021. [bib]
	Y. Huang, L.X.C. Ngo, F. Winkler. Rational general solutions of higher order algebraic ODEs. J. Systems Science and Complexity (JSSC) 26/2, pp. 261-280. 2013. 1009-6124. [bib]
	Y. Huang, L.X.C. Ngo, F. Winkler. Rational general solutions of trivariate rational systems of autonomous ODEs. Mathematics in Computer Science 6/4, pp. 361-374. 2013. 1661-8270. [bib]
	A. Lastra, J. R. Sendra, L. X. C. Ngo, F. Winkler. Rational General Solution of 1-Dimensional Systems of Autonomous Ordinary Differential Equations. Technical report no. 13-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2013. [pdf] [pdf] [bib]
	C. Doench, J. Middeke, F. Winkler. DEAM 2 Proceedings. Technical report no. 00-00 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2012. [pdf] [bib]
	L. X. C. Ngo, J. R. Sendra, F. Winkler. Birational Transformations on Algebraic Ordinary Differential Equations. Technical report no. 12-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2012. [pdf] [bib]
	L.X.C. Ngo, J.R. Sendra, F. Winkler. Classification of algebraic ODEs with respect to rational solvability. Computational Algebraic and Analytic Geometry, Contemporary Mathematics(572), pp. 193-210. 2012. AMS, 0271-4132. [bib]
	F. Winkler. The role of Symbolic Computation in Mathematics. In: Proceedings XIII Encuentro de Algebra Computacional y Aplicaciones (EACA 2012), J.R. Sendra and C. Villarino (ed.), pp. 33-34. 2012. 978-84-8138-770-4. [bib]
	F. Winkler, M. Hudayberdiev, G. Judakova. Computer algebra methods for pattern recognition: systems with complex order. In: Proceedings INTELS 2012 (Moscow), - (ed.), Proceedings of INTELS 2012, pp. 148-150. 2012. 978-5-93347-432-6. [bib]
	L.X.C Ngo, F. Winkler. Rational general solutions of planar rational systems of autonomous ODEs. Journal of Symbolic Computation 46(10), pp. 1173-1186. 2011. Research Institute for Symbolic Computation, ISSN: 0747-7171. [url] [bib]
	F. Winkler. Algebraic Informatics. In: Proceedings of the Forth International Conference on Algebraic Informatics (CAI 2011), Springer Verlag (ed.), Proceedings of 4th International Conference on Algebraic Informatics (CAI 2011), pp. -. 2011. ISSN 0302-9743, ISBN 978-3-642-21492-9. [bib]
	shemyakova, winkler. Linear partial differential equations and linear partial differential operators in computer algebra. In: Numerical and Symbolic Scientific Computing - Progress and Prospects, Springer Verlag (ed.), pp. 333-358. 2011. Springer Verlag, ISSN 0943-853X. [bib]
	L.X.C. Ngo, F. Winkler. Rational general solutions of parametrizable AODEs. Publicationes Mathematicae Debrecen, pp. 573-587. 2011. ISSN 0033-3883. [bib]
	F. Winkler. What can Symbolic Computation contribute to Mathematics?. In: Proceedings SYNASC 2011,, aaa (ed.), pp. 1-14. 2011. 1111. [bib]
	Y. Huang, L.X.C. Ngo, F. Winkler. Rational general solutions of trivariate rational systems of autonomous ODEs. In: Proceedings Forth Internat. Conf. on Mathematical Aspects of Computer and Information Sciences (MACIS 2011), 111 (ed.), pp. 93-100. 2011. 111. [bib]
	Winkler Franz (ed.). Algebraic Informatics - Proceedings of the Forth International Conference on Algebraic Informatics (CAI 2011). Proceedings of Forth International Conference on Algebraic Informatics (CAI 2011), 2011. Springer, Berlin, 0302-9743. [url] [bib]
	L.X.Chau Ngo, F. Winkler . Rational general solutions of first order non-autonomous parametrizable ODEs. Journal of Symbolic Computation, MEGA'2009, 45(12), pp. 1426-1441. 2010. Research Institut for Symbolic Computation, ISSN 0747-7171. [url] [pdf] [bib]
	Christian Doench, Franz Winkler. Bivariate Difference-differential Dimension Polynomials and Their Computation in Maple. In: Proceedings of the 8th International Conference on Applied Informatics, Attila Egri-Nagy, Emőd Kovács, Gergely Kovásznai, Gábor Kusper, Tibor Tómács (ed.), pp. 211-218. 2010. ISBN 978-963-9894-72-3. [pdf] [bib]
	Johannes Middeke, Ekaterina Shemyakova, Franz Winkler. Proceedings of DEAM (Workshop for Differential Equations by Algebraic Methods). Technical report no. 09-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2009. Proceedings. [pdf] [bib]
	Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler. Algorithms in Symbolic Computation. In: Hagenberg Research, Bruno Buchberger et al. (ed.), Chapter 1, pp. 5-62. 2009. Springer, 978-3-642-02126-8. [url] [pdf] [bib]
	F. Winkler. Canonical Reduction Systems in Symbolic Mathematics. In: Proc. 3rd International Conference on Algebraic Informatics, S. Bozapalidis, G. Rahonis (ed.)5725, pp. 123-135. 2009. Springer-Verlag, 978-3-642-03563-0. [bib]
	M. Zhou, F. Winkler. Groebner bases in difference - differential modules and difference - differential dimension polynomials. Science in China Series A: Mathematics 51(9), pp. 1732-1752. 2008. ISSN 1006-9283. [pdf] [pdf] [bib]
	E. Shemyakova, F. Winkler. On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators. In: Computer Mathematics - Proc. 8th Asian Symp. on Computer Mathematics (ASCM 2007), D. Kapur (ed.), Proceedings of ASCM 2007, Singapore, Dec. 2007, LNAI 5081 , pp. 199-212. 2008. Springer, ISSN 0302-9743, ISBN 978-3-540-87827-8. [pdf] [bib]
	M. Zhou, F. Winkler. Computing difference-differential dimension polynomials by relative Groebner bases in difference-differential modules. Journal of Symbolic Computation 43(10), pp. 726-745. 2008. ISSN 0747-7171. [pdf] [bib]
	Winkler, Sendra, Perez-Diaz. Rational Algebraic Curves - A Computer Algebra Approach. Algorithms and Computation in Mathematics 22, Rational Algebraic Curves edition, 2008. Springer Verlag Heidelberg, RISC, 0 pages, 978-3-540-73724-7. [bib]
	E. Shemyakova, F. Winkler. A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. In: Proc. 10th Workshop on Computer Algebra in Scientific Computing (CASC-2007), V. G. Ghanza, E. W. Mayr, E. V. Vorozhtov (ed.), Proceedings of CASC-2007, Bonn, Germany, LNCS 4770 , pp. 360-369. 2007. Springer, ISSN 0302-9743, ISBN 3-540-75186-6. [pdf] [bib]
	Meng Zhou, Franz Winkler. Computing difference-differential Groebner Bases and difference-differential dimension polynomials. Technical report no. 07-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2007. [pdf] [pdf] [bib]
	E.Shemyakova, F.Winkler. Obstacles to the Factorization of Linear Partial Differential Operators into Several Factors. Programming and Computer Software 33(2), pp. 67-73. 2007. ISSN 0361-7688. Original version in Russian "Programmirovanie". [pdf] [pdf] [bib]
	J. R. Sendra, F. Winkler, S. Pérez-Díaz. Rational Algebraic Curves - A Computer Algebra Approach. Algorithms and Computation in Mathematics Vol. 22, 1 edition, 2007. Springer-Verlag Heidelberg, 269 pages, ISSN 1431-1550, ISBN 978-3-540-73724-7. [bib]
	M. Zhou, F. Winkler. On Computing Groebner Bases in Rings of Differential Operators with Coefficients in a Ring. Mathematics in Computer Science 1(2), pp. 211-223. 2007. ISSN 1661-8270. [pdf] [bib]
	E. Shemyakova, F. Winkler. Obstacle to Factorization of LPDOs. In: Proceedings Transgressive Computing 2006 , J. G. Dumas (ed.), Proceedings of Transgressive Computing 2006, Conference in Granada Spain, pp. 435-441. 2006. Universite J. Fourier, Grenoble, France, ISBN 84-689-8391-0. [pdf] [bib]
	M. Zhou, F. Winkler. Gröbner Bases in Difference-Differential Modules. In: Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC '06), J.-G. Dumas (ed.), Proceedings of ISSAC 2006, Genova, Italien, pp. 353-360. 2006. ACM-Press, ISBN 1-59593-276-3. [pdf] [bib]
	M. Zhou, F. Winkler. On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring. In: Proc. First International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), D. Wang and Z. Zheng (ed.), Proceedings of MACIS - First internat. Conf. on Mathematical Aspects of Computer and Information Sciences, pp. 45-56. 2006. Beihang University, Beijing, Beihang University in Beijing, no. [pdf] [bib]
	F. Winkler. Computer Algebra and Geometry - Some Interactions. In: Proc. of Coll. on Constructive Algebra and Systems Theory (CAST), B. Hanzon and M. Hazewinkel (ed.), pp. 127-138. 2006. Koninklijke Nederlandse Akademie van Wetenschappen (Königliche Niederländische Akademie der Wissenschaften), ISBN 90-6984-477-x. [pdf] [bib]
	F.Winkler and M.Zhou. On computing Groebner bases in rings of differential operators with coefficients in a ring. Technical report no. 05-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2005. [pdf] [bib]
	M. Borges-Quintana, M. A. Borges-Trenard, E. Martinez-Moro, F. Winkler. Using Groebner bases for determining the equivalence of linear codes and solving the decoding problem. Technical report no. 05-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2005. [ps] [bib]
	Meng Zhou and Franz Winkler. Grobner bases in difference-differential modules and their applications. Technical report no. 05-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 2005. [ps] [pdf] [bib]
	C.Piazza, M.Antoniotti, V.Mysore, A.Policriti, F.Winkler, B.Mishra.. Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. In: Proceedings Computer Aided Verification (CAV 2005), K. Etessami and S.K.Rajamani (ed.), LNCS 3576, pp. 5-19. July 2005. Springer, The Univ. of Edinburgh, ISSN 0302-9743, ISBN 3-540-27231-3. [pdf] [bib]
	A. Kondratyev, H.J. Stetter, F. Winkler. Numerical Computation of Gröbner Bases. In: Proc. 7th Workshop on Computer Algebra in Scientific Computing (CASC-2004), V.G. Ghanza, E.W. Mayr, E.V. Vorozhtov (ed.), Proceedings of CASC-2004, St. Petersburg, pp. 295-306. 2004. Technische Univ. Muenchen, Techn. Univ. München, ISBN 3-9808546-2-0. [pdf] [bib]
	Erik Hillgarter, Ralf Hemmecke, Günter Landsmann, Franz Winkler. Symbolic Differential Elimination for Symmetry Analysis. Mathematical and Computer Modelling of Dynamical Systems 10(2), pp. 123-147. 2004. ISSN 1387-3954. [url] [pdf] [bib]
	F. Winkler (ed.). Automated Deduction in Geometry - Proceedings of the Conference Automated Deduction in Geometry (ADG'2002). LNAI 2930, 1 edition, 2004. Springer-Verlag Berlin Heidelberg New York, ISBN 3-540-20927-1; ISSN 0302-9743. [bib]
	Erik Hillgarter, Ralf Hemmecke, Günter Landsmann, Franz Winkler. Symbolic Differential Elimination Theory for Symmetry Analysis. Technical report no. 03-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 2003. [ps] [bib]
	R. Hemmecke, E. Hillgarter, G. Landsmann, F. Winkler. Symbolic Differential Elimination for Symmetry Analysis. In: Proc. 4th IMACS Symposium on Mathematical Modelling, F. Breitenecker, I. Troch (ed.), pp. 790-796. Feb. 2003. Techn. Univ. Vienna, ISBN 3-901608-24-9. [pdf] [bib]
	R. Hemmecke, E. Hillgarter, F. Winkler. CASA. In: Handbook of Computer Algebra: Foundations, Applications, Systems, J. Grabmeier, E. Kaltofen, V. Weispfenning (ed.), pp. 356-359. 2003. Springer-Verlag, ISBN 3-540-65466-6. [pdf] [bib]
	B. Mishra, F. Winkler, et al.. A Sence of Life: Computational and Experimental Investigations with Models of Biochemical and Evolutionart Processes. OMISC - A Journal of Integrative Biology 7(3), pp. 253-268. 2003. ISSN 1536-2310. special issue on BioCOMP (ed. S. Kumar). [pdf] [bib]
	F. Winkler. Parametric Curves. In: Proc. 23th Conf. on Geometry and Computer Graphics, Hojsova Straz-Brcalnik/Plzen, M. Lavicka (ed.), Proceedings of Proc. 23th Conf. on Geometry and Computer Graphics, pp. 25-26. 2003. ISBN 80-7082-943-5. [pdf] [bib]
	F. Winkler, U. Langer (ed.). Symbolic and Numeric Scientific Computation - Proceedings of the Conference SNSC'01.LNCS 2630, 1 edition, 2003. Springer - Verlag Berlin Heidelberg New York, ISBN 3-540-40554-2; ISSN 0302-9743. [bib]
	F. Winkler. Computational Ring Theory. In: The Concise Handbook of Algebra, A.V. Mikhalev, G.F. Pilz (ed.), section C54 , pp. 347-350. 2002. Kluwer Acad. Publishers, ISBN 0-7923-7072-4. [pdf] [bib]
	F. Winkler. Advances in Algebraic Geometric Computation. In: Proc. Internat. Conf. on Algebra and its Applications (ICAA 2002), Y. Kemprasit (ed.), Proceedings of ICAA 2002, Bangkok, Thailand, pp. 107-120. 2002. ISBN 970-13-2182-1. [pdf] [bib]
	Franz Winkler, Manasi Athale. ADG'2002. Automatic Deduction in Geometry. Abstracts Booklet. Technical report no. 02-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 2002. [ps] [bib]
	Rahul Athale, Franz Winkler. Curves in Cryptography. Technical report no. 02-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. July 2002. The original version of this paper was presented as a poster at ISSAC 2001.. [ps] [bib]
	J.R. Sendra, F. Winkler. Computation of the Degree of a Rational Map between Curves. In: International Symposium on Symbolic and Algebraic Computation (ISSAC'01), B. Morrain (ed.), Proceedings of ISSAC'01, London, Ontario, Canada, pp. 317-322. 2001. ACM-Press, ISBN 1-58113-417-7. [pdf] [ps] [bib]
	G. Landsmann, J. Schicho, F. Winkler. The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares. Journal of Symbolic Computation 32(1&2), pp. 119-132. 2001. ISSN 0747-7171. [ps] [pdf] [bib]
	J.R. Sendra, F. Winkler. Tracing Index of Rational Curve Parametrizations. Computer Aided Geometric Design 18, pp. 771-795. 2001. ISSN 0167-8396. [pdf] [bib]
	M.Borges Quintana, M.A. Borges Trenard, F. Winkler. An Application of the FGLM Techniques to Linear Codes. In: 4th Italien-Latin American Conference on Applied and Industrial Mathematics (Havanna 2001), D. Martinez Morera, L. Alvarez Diaz, L. Lera Marques (ed.), Proceedings of Proc. 4th Italien-Latin American Conference on Applied and Industrial Mathematics, pp. 280-286. 2001. Inst. Cybern. Math. Phys., Havanna, Cuba, ISBN 959-7056-13-5. [pdf] [bib]
	Franz Winkler. Abstract Booklet. Conference Symbolic and Numerical Scientific Computation (SNSC'01). Technical report no. 01-25 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 2001. [ps] [bib]
	J. Rafael Sendra, Franz Winkler. Tracing Index of Rational Parametrizations. Technical report no. 01-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2001. [ps] [bib]
	F. Winkler. Advances and Problems in Algebraic Computation. In: Contributions to General Algebra 12, D. Dorninger (ed.), Proceedings of Proc. AAA'58, Vienna, pp. 51-70. 2000. Verlag Johannes Heyn, Klagenfurt, ISBN 3-85366-951-4. [pdf] [ps] [bib]
	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]
	G. Landsmann, J. Schicho, F. Winkler, E. Hillgarter. Symbolic Parametrization of pipe and Canal Surfaces. In: International Symposium on Symbolic and Algebraic Computation (ISSAC'00), C. Traverso (ed.), Proceedings of ISSAC'00, St. Andrews, Scotland, pp. 202-208. 2000. ACM-Press, ISBN 1-58113-218-2. [pdf] [ps] [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]
	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]
	M. Borges Quintana, F. Winkler, M.A. Borges Trenard. An FGLM Method for Decoding Linear Codes. In: Encuentro de Algebra Computational y Aplicaciones (EACA-2000), A. Montes (ed.), Proceedings of EACA-2000, Barcelone, Spanien, pp. 117-128. 2000. Univ. Politecnica de Catalunya, ISBN 84-699-3037-0. [pdf] [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. September 2000. Kluwer Acad. Publishers, Boston, ISBN 0-79237-892-X. [24_dapsys2000] [bib]
	Wolfgang Schreiner, Christian Mittermaier, Franz Winkler. Analyzing Algebraic Curves by Cluster Computing. Technical report no. 00-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. April 2000. [ps] [bib]
	Mijail Borges Quintana, Franz Winkler, Miguel A. Borges Trenard. An FGLM Method for Decoding Linear Codes. Technical report no. 00-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2000. [ps] [bib]
	Wolfgang Schreiner, Christian Mittermaier, Franz Winkler. On Solving a Problem in Algebraic Geometry by Cluster Computing. Technical report no. 00-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2000. [ps] [bib]
	Wolfgang Schreiner, Christian Mittermaier, Franz Winkler. Plotting Algebraic Space Curves by Cluster Computing. Technical report no. 00-26 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. August 2000. [ps] [bib]
	Ralf Hemmecke, Franz Winkler. CASA User Manual (Version CASA 2.5). Technical report no. 00-30 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2000. RISC Report. [ps] [bib]
	Christian Mittermaier, Wolfgang Schreiner, Franz Winkler. A Parallel Symbolic-Numerical Approach to Algebraic Curve Plotting.. Technical report no. 00-35 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2000. [ps] [bib]
	Q.-N. Tran, F. Winkler (ed.). Applications of the Gröbner Basis Method. special issue of the journal "Journal of Symbolic Computation" 30/4, 1 edition, October 2000. Academic Press, Inc., ISSN 0747-7171. [bib]
	J.R. Sendra, F. Winkler. Algorithms for Rational Real Algebraic Curves. Symbolic Computation and Artificial Intelligence 39(1-2), pp. 211-228. 1999. Fundamenta Informaticae, ISSN 0169-2968. Fukndamenta Informaticae. [ps] [pdf] [bib]
	Erik Hillgarter, G\"unter Landsmann, Josef Schicho, Franz Winkler. Generalized Offsets as Envelopes of a One-parameter Set of Spheres. Technical report no. 99-27 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 1999. [ps] [bib]
	Franz Winkler. Advances and Problems in Algebraic Computation. Technical report no. 99-49 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 1999. [ps] [bib]
	E. Hillgarter, F. Winkler. Points on Algebraic Curves and the Parametrization Problem. In: Automated Deduction in Geometry, D. Wang (ed.), LNAI 1360 , pp. 189-207. 1998. Springer-Verlag Berlin Heidelberg, ISSN 0302-9743; ISBN 3-540-64297-8. [pdf] [bib]
	J.R. Sendra, F. Winkler. Real Parametrization of Algebraic Curves. In: Artificial Intelligence and Symbolic Computation, J. Calmet and J. Plaza (ed.), Proceedings of Proc. Internat. Conf. AISC'98, LNAI 1476 , pp. 284-295. 1998. Springer-Verlag, ISBN 3-540-64960. [pdf] [bib]
	F. Winkler. Geometric Algorithms Based on Computer Algebra. In: Mathematical Theory of Networks and Systems, A. Beghi, L. Finesso, G. Picci (ed.), Proceedings of Proc. MTNS-98 Symposium (II. Poligrafo, Padova, italy, 1998), pp. 681-684. 1998. Poligrafo, Padova, Italy, ISBN 88-7115-117-8. [pdf] [bib]
	Ralf Hemmecke, Erik Hillgarter, Wolfgang Schreiner, Franz Winkler. An Evaluation of the State of the CASA System. Technical report no. 98-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 1998. [ps] [bib]
	J.Rafael Sendra, Franz Winkler. Algorithms for Rational Real Algebraic Curves. Technical report no. 98-26 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1998. [ps] [bib]
	B. Buchberger, F. Winkler (ed.). Gröbner Bases and Applications - Proceedings of 33 Years of Gröbner Bases. London Mathematical Society Lecture Note Series 251, 1 edition, March 1998. Cambridge University Press, ISBN-10: 0521632986; ISBN-13: 978-0521632980. [bib]
	J.R. Sendra, F. Winkler. Parametrization of Algebraic Curves over Optimal Field Extentions. Journal of Symbolic Computation 23(2&3), pp. 191-207. 1997. ISSN 0747-7171. [pdf] [ps] [bib]
	Tran Q.-N., F. Winkler. An Overview of CASA - A System for Computational Algebra and Constructive Algebraic Geometry. SAC Newletter 2, pp. 63-72. 1997. ISSN 1386-2634. [pdf] [bib]
	Erik Hillgarter, Franz Winkler. Points on Algebraic Curves and the Parametrization Problem. Technical report no. 97-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 1997. [ps] [bib]
	Quoc-Nam Tran, Franz Winkler. CASA Reference Manual (Version 2.3). Technical report no. 97-33 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 1997. [ps] [bib]
	Peter Stadelmeyer, Franz Winkler. Computing the System of Adjoint Plane Curves by Puiseux Expansion. Technical report no. 97-38 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1997. [ps] [bib]
	C.M. Hoffmann, J.R.Sendra, F. Winkler (ed.). Parametric Algebraic Curves and Applications. special issue of the journal "Journal of Symbolic Computation" 23/2&3, 1 edition, Feb./March 1997. Academic Press Inc., ISSN 0747-7171. [bib]
	F. Winkler. Algebraic Computation in Geometry. J. of Mathematics and Computers in Simulation 42(4-6), pp. 529-537. 1996. ISSN 0378-4754. [pdf] [bib]
	F. Winkler. Parametrized Solutions of Algebraic Equations. J. of Mathematics and Computers in Simulation 42(4-6), pp. 333-338. 1996. ISSN 0378-4754. [pdf] [bib]
	M. Mnuk, F. Sendra, F. Winkler. On the Complexity of parametrizing Curves. Beiträge zur Algebra und Geometrie 37(2), pp. 309-328. 1996. Heldermann Verlag, ISSN 0138-4821. [32_paper] [bib]
	M. Mnuk, F. Winkler. CASA - A System for Computer Aided Constructive Algebraic Geometry. In: International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96), J. Calmet, C. Limongelli (ed.), Proceedings of DISCO'96 (Karlsruhe, Germany, September 1996), LNCS 1128 , pp. 297-307. October 1996. Springer-Verlag, ISBN-10: 3540616977; ISBN-13: 978-3540616979. [pdf] [bib]
	F. Winkler. Polynomial Algorithms in Computer Algebra. Texts and Monographs in Symbolic Computation, 1 edition, 1996. Springer-Verlag Wien New York, ISBN 3-211-82759-5. [bib]
	F. Winkler. Computer Algebra - Problems and Developments. In: Computer Algebra in Industry 2 (SCAFI'92), S. M. Verduyn Lunel (ed.), Proceedings of SCAFI'92, pp. 1-17. March 1995. J. Wiley & Sons, ISBN-10: 0471955299; ISBN-13: 978-0471955290. [pdf] [bib]
	Michal Mnuk, Bernhard Wall, Franz Winkler. CASA Reference Manual (Version 2.2). Technical report no. 95-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1995. [bib]
	H. Hong, D. Wang, F. Winkler (ed.). Algebraic Approaches to Geometric Reasoning. special issue of the journal "Annals of Mathematics and Artificial Intelligence" 13/1&2, 1 edition, March 1995. editor-in-chief M.C. Golumbic, publisher J.C. Baltzer AG, ISSN 1012-2443. [bib]
	F. Winkler. On Symbolic Parametrization of Algebraic Curves. In: 14th IMACS World Congress, W.F. Ames (ed.), Proceedings of 14th IMACS World Congress, Atlanta, Georgia3, pp. 1542-1544. 1994. ISSN 1542-1544. [pdf] [bib]
	Franz Winkler. Introduction to Computer Algebra (Lecture Notes, WA 93/94). Technical report no. 94-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. [bib]
	J. Rafael Sendra, Franz Winkler. Optimal Parametrization of Algebraic Curves. Technical report no. 94-65 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. [bib]
	F. Winkler. Computer Algebra: Principles. In: Encyclopedia of Computer Science, Concise Encyclopedia of Computer Science, A. Ralston, E.D. Reilly (ed.), pp. 227-231. 1993. Van Nostrand Reinhold, Wiley, ISBN-10: 0-333-77879-0, ISBN-13: 0-470-09095-2. [pdf] [bib]
	J. Rafael Sendra, Franz Winkler. Determining Simple Points on Rational Algebraic Curves. Technical report no. 93-23 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. [bib]
	Franz Winkler. Constructive Algebraic Geometry with CASA. Technical report no. 93-26 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. Published in Presented at COCOA III, Cortona, Italy, May 31 - June 4, 1993.. [bib]
	Franz Winkler. Parametrized Solutions of Algebraic Equations. Technical report no. 93-43 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. Published in Proceedings International IMACS Symposium on Symbolic Computation, Lille, France, June 1993. [bib]
	Michal Mnuk, J. Rafael Sendra, Franz Winkler. On the Comlexity of Parametrizing Curves. Technical report no. 93-51 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. [bib]
	Michal Mnuk, Bernhard Wall, Franz Winkler. CASA Reference Manual (Version 2.1). Technical report no. 93-63 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. [bib]
	Franz Winkler. Computer Algebra - Problems and Developments. Technical report no. 93-64 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. Published in Proceedings of SCAFI'92. Amsterdam, The Netherlands. To appear.. [bib]
	Franz Winkler. Parametrized Solutions of Algebraic Equations. Technical report no. 93-78 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. Published in Proceedings IMACS SC-93, Lille, France. To appear.. [bib]
	Franz Winkler. Algebraic Computation in Geometry. Technical report no. 93-79 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. Published in Proceedings IMACS SC-93, Lille, France. To appear.. [bib]
	F. Winkler. Computer Algebra. In: Encyclopedia of Physical Science and Technology Vol. 4, R.A. Meyers (ed.), pp. 0-0. 1992. Academic Press, no. [pdf] [bib]
	F. Winkler. Automated Theorem Proving in Nonlinear Geomatry. In: Issues in Robotics and Nolinear Geometry, C. Hoffmann (ed.), Chapter Advances in Computing Research6, pp. 183-197. December 1992. JAI Press, ISBN-13: 9781559383424; ISBN: 1559383429. [pdf] [bib]
	B. Kutzler, B. Wall, F. Winkler. Mathematische Expertensysteme - Praktisches Arbeiten mit den Computer-Algebra-Systemen MACSYMA, Mathematica und DERIVE. 1 edition, 1992. Expert Verlag, Ehningen bei Böblingen, ISBN 3-8169-0908-6. [bib]
	J.R. Sendra, F. Winkler. Symbolic Parametrization of Curves. Journal of Symbolic Computation 12(6), pp. 607-631. 1991. ISSN 0747-7171. [ps] [pdf] [bib]
	F. Winkler. Representation of Algebraic Curves. In: IV International Conference on Computer Algebra in Physical Research, V.P. Gerdt (ed.), pp. 185-189. 1991. World Scientific, ISBN-10: 9810206879; ISBN-13: 978-9810206871. [pdf] [bib]
	R. Gebauer, M. Kalkbrener, B. Wall, F. Winkler. CASA: A Computer Algebra Package for Constructive Algebraic Geometry. In: International Symposium on Symbolic and Algebraic Computation (ISSAC'91), S. M. Watt (ed.), pp. 403-410. July 1991. ACM Press, ISBN:0-89791-437-6. [pdf] [bib]
	Franz Winkler. Abschlussbericht Projekt P6763: Algorithmen und Software f{\"u}r die Algebraische Geometrie (ASAG). Technical report no. 91-35 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1991. [bib]
	R. Gebauer, M. Kalkbrener, B. Wall, F. Winkler. CASA: A Computer Algebra Package for Constructive Algebraic Geometry. Technical report no. 91-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1991. Published in Proceedings ISSAC'91, Bonn, July 1991, St. M. Watt (ed.). [bib]
	F. Winkler. Solution of Equations I: Polynomial Ideals and Groebner Bases. In: Computers and Mathematics, R.D. Jenks, D. Chudnovsky (ed.)125, pp. 383-407. 1990. Marcel Dekker, ISBN-10: 0824783417; ISBN-13: 978-0824783419. [pdf] [bib]
	F. Winkler. Groebner Bases in Geometry Theorem Proving and Simplest Degeneracy Conditions. Mathematica Pannonica 1(1), pp. 15-32. 1990. no. [pdf] [bib]
	Franz Winkler. Representation of Algebraic Curves. Technical report no. 90-24 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. Published in Presented at the IV International Conference on Computer Algebra in Physical Research, Dubna, USSR, May 22-26, 1990.. [bib]
	Juan R. Sendra, Franz Winkler. Computer Algebra Methods in the Parametrization of Curves. Technical report no. 90-45 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. [bib]
	Franz Winkler. Introduction to Computer Algebra. Technical report no. 90-52 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. [bib]
	J. Rafael Sendra, Franz Winkler. Symbolic Parametrization of Curves. Technical report no. 90-55 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. Published in Journal of Symbolic Computation, vol. 12, no. 6, pp. 607-631.. [bib]
	B. Kutzler, F. Lichtenberger, F. Winkler. Softwaresysteme zur Formelmanipulation - Praktisches Arbeiten mit den Computer-Algebra-Systemen REDUCE, MACSYMA und DERIVE. 1 edition, 1990. Expert Verlag, Ehningen bei Böblingen, ISBN 3-8169-0445-9. [bib]
	F. Winkler. A Geometrical Decision Algorithm Based on the Groebner Bases Algorithm. In: International Symposium on Symbolic and Algebraic Computation (ISSAC'88), P. Gianni (ed.)358, pp. 356-363. September 1989. Springer-Verlag Lecture Notes in Computer Science, ISBN-10: 3540510842; ISBN-13: 978-3540510840. [pdf] [bib]
	J.r. Sendra, F. Winkler. A Symbolic Algorithm for the Rational Parametrization of Algebraic Plane Curves. Technical report no. 89-41 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1989. [bib]
	F. Winkler. Equational Theorem Proving and Rewrite Rule Systems. In: 5. Österreichische Artificial-Intelligence-Tagung, J. Retti and K. Leidlmair (ed.), Informatik Fachberichte 208 , pp. 26-39. 1989. Springer-Verlag, ISBN:3-540-51039-7. [pdf] [bib]
	A. Kandri-Rody, D. Kapur, F. Winkler. Knuth-Bendix Procedure and Buchberger Algorithm - A Synthesis. In: International Symposium on Symbolic and Algebraic Computation (ISSAC'89), G. H. Gonnet (ed.), pp. 55-67. July 1989. ACM Press, ISBN 0-89791-325-6. [pdf] [bib]
	B. KUTZLER, F. WINKLER, F. LICHTENBERGER. Computer-Algebra Systeme. Technical report no. 88-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1988. [bib]
	F. Winkler. Computer Algebra III (Spezialgebiete der Computer-Algebra). Technical report no. 88-53 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1988. [bib]
	F. WINKLER. Computer Algebra I (Algebraische Grundalgorithmen). Technical report no. 88-88 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1988. [bib]
	F. Winkler. A p-adic Approach to the Computation of Gröbner Bases. Journal of Symbolic Computation 6(2&3), pp. 287-304. 1988. Elsevier, ISSN 0747-7171. [pdf] [bib]
	F. Winkler. Computer Algebra. The Encyclopedia of Physical Science and Technology, pp. 0-0. 1987. R. A. Meyers, Academic Press, ISBN-10: 0122274105 ; ISBN-13: 978-0122274107. Updated version in "The Encyclopedia of Physical Science and Technology Vol. 4", 1992. [bib]
	F. Winkler, B. Buchberger. A Criterion for Eliminating Unnecessary Reductions in the Knuth-Bendix Algorithm. In: Proceedings of Algebra and Logic in Computer Science, Gyor, Hungary, J. Demetrovics, G. Katona, A. Salomaa (ed.), Colloquia Mathematica Societatis Janos Bolyai 42, pp. 849-869. September 1986. North Holland, ISBN-10: 0444986952; ISBN-13: 978-0444986955. [pdf] [bib]
	F. Winkler, B. Buchberger, F. Lichtenberger, H. Rolletschek. Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. ACM Transactions on Mathematical Software 11(1), pp. 66-78. March 1985. ACM, no. [pdf] [bib]
	F. Winkler. Reducing the Complexity of the Knuth-Bendix Completion Algorithm: A "Unification" of Different Approaches. In: European Conference on Computer Algebra (EUROCAL'85), B. Buchberger (ed.), pp. 378-389. October 1985. Springer Berlin, ISBN 978-3-540-15983-4. [pdf] [bib]
	B. Buchberger, E.V. Krishnamurthy, F. Winkler. Gröbner Bases, Polynomial Remainder Sequences and Decoding of Multivariate Codes (Problem #7). Recent Trends in Multidimensional Systems Theory, pp. 252-256. 1985. D. Reidel Publ. Comp., ISBN-10: 90-277-1764-8; ISBN-13: 1-4020-1623-9. [pdf] [bib]
	F. Winkler. The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical-Pair/Completion Algorithms. 1 edition, 1984. Verband der Wissenschaftlichen Gesellschaften Österreichs, ISBN 3-85369-584-1. Ph.D. dissertation. [bib]
	F. Winkler. On the Complexity of the Gröbner-Bases Algorithm over K[x, y, z]. In: International Symposium on Symbolic and Algebraic Computation (EUROSAM'84), J. Fitch (ed.), pp. 184-194. June 1984. Springer-Verlag, Cambridge, England, ISBN 978-3-540-13350-6. [pdf] [bib]
	Franz Winkler. The Church-Rosser Property in Computer Algebra and Special Theorem Proving. RISC, Johannes Kepler University Linz. PhD Thesis. 1984. [bib]
	F. Winkler. An Algorithm for Constructing Detaching Bases in the Ring of Polynomials over a Field. In: European Computer Algebra Conference (EUROCAL'83), J. A. van Hulzen (ed.), LNCS 162 , pp. 168-179. March 1983. Sringer-Verlag, ISBN-10: 3540128689; ISBN-13: 978-3540128687. [pdf] [pdf] [bib]
	G.E. Collins, M. Mignotte, F. Winkler. Arithmetic in Basic Algebraic Domains. In: Computer Algebra - Symbolic and Algebraic Computation, B. Buchberger, G.E. Collins, R. Loos (ed.), pp. 189-220. 1982. Springer-Verlag, ISSN 0163-5824. [pdf] [bib]
	B. Buchberger, F. Winkler. Miscellaneous Results on the Construction of Groebner-Bases for Polynomial Ideals. Johannes Kepler University, Technisch-Naturwissenschaftliche Fakultaet, Insitut fuer Mathematik. Technical report no. 137, June 1979. [bib]