The SCEAS System
Navigation Menu

Search the dblp DataBase


Franz Winkler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Erik Hillgarter, Franz Winkler
    Points on Algebraic Curves and the Parametrization Problem. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1996, pp:189-207 [Conf]
  2. J. Rafael Sendra, Franz Winkler
    Real Parametrization of Algebraic Curves. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:284-295 [Conf]
  3. Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
    Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:5-19 [Conf]
  4. Michal Mnuk, Franz Winkler
    CASA - A System for Computer Aided Constructive Algebraic Geometry. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:297-307 [Conf]
  5. Franz Winkler
    An algorithm for constructing detaching bases in the ring of polynominals over a field. [Citation Graph (0, 0)][DBLP]
    EUROCAL, 1983, pp:168-179 [Conf]
  6. Franz Winkler
    Reducing the Complexity of the Knuth-Bendix Completion-Algorithm: A "Unification" of Different Approaches. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (2), 1985, pp:378-389 [Conf]
  7. Wolfgang Schreiner, Christian Mittermaier, Franz Winkler
    On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note). [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2000, pp:1196-1200 [Conf]
  8. Franz Winkler
    On the Complexity of the Groebner-Bases Algorithm over K[x, y, z]. [Citation Graph (0, 0)][DBLP]
    EUROSAM, 1984, pp:184-194 [Conf]
  9. R. Gebauer, Michael Kalkbrener, B. Wall, Franz Winkler
    CASA: A Computer Algebra Package for Constructive Algebraic Geometry. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1991, pp:403-410 [Conf]
  10. Günter Landsmann, Josef Schicho, Franz Winkler, Erik Hillgarter
    Symbolic parametrization of pipe and canal surfaces. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:202-208 [Conf]
  11. J. Rafael Sendra, Franz Winkler
    Computation of the degree of rational maps between curves. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2001, pp:317-322 [Conf]
  12. Franz Winkler
    A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1988, pp:356-363 [Conf]
  13. Franz Winkler
    Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1989, pp:55-67 [Conf]
  14. Meng Zhou, Franz Winkler
    Gröbner bases in difference-differential modules. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2006, pp:353-360 [Conf]
  15. Franz Winkler
    Equational Theorem Proving and Rewrite Rule Systems. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1989, pp:26-39 [Conf]
  16. J. Rafael Sendra, Franz Winkler
    Tracing index of rational curve parametrizations. [Citation Graph (0, 0)][DBLP]
    Computer Aided Geometric Design, 2001, v:18, n:8, pp:771-795 [Journal]
  17. J. Rafael Sendra, Franz Winkler
    Algorithms for Rational Real Algebraic Curves. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:211-228 [Journal]
  18. Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler, Faculty of RISC-Linz
    Bruno Buchberger - A life devoted to symbolic computation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:3-4, pp:255-258 [Journal]
  19. Günter Landsmann, Josef Schicho, Franz Winkler
    The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:32, n:1/2, pp:119-132 [Journal]
  20. J. Rafael Sendra, Franz Winkler
    Symbolic Parametrization of Curves. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1991, v:12, n:6, pp:607-632 [Journal]
  21. J. Rafael Sendra, Franz Winkler
    Parametrization of Algebraic Curves over Optimal Field Extensions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1997, v:23, n:2/3, pp:191-207 [Journal]
  22. Quoc-Nam Tran, Franz Winkler
    Special Issue on Applications of Gröbner Bases - Foreword of the Guest Editors. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:30, n:4, pp:339-340 [Journal]
  23. Franz Winkler
    A p-Adic Approach to the Computation of Gröbner Bases. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1988, v:6, n:2/3, pp:287-304 [Journal]
  24. Franz Winkler, Bruno Buchberger, Franz Lichtenberger, Heinrich Rolletschek
    Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 1985, v:11, n:1, pp:66-78 [Journal]
  25. Ekaterina Shemyakova, Franz Winkler
    A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. [Citation Graph (0, 0)][DBLP]
    CASC, 2007, pp:360-369 [Conf]
  26. Franz Winkler, Ekaterina Shemyakova
    Symbolic and Algebraic Methods for Linear Partial Differential Operators. [Citation Graph (0, 0)][DBLP]
    CASC, 2007, pp:423- [Conf]

  27. Canonical Reduction Systems in Symbolic Mathematics. [Citation Graph (, )][DBLP]

  28. On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators. [Citation Graph (, )][DBLP]

Search in 0.012secs, Finished in 0.014secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002