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