 | 2008 |
|---|
| 40 |       | Melanie Achatz,
Scott McCallum,
Volker Weispfenning:
Deciding polynomial-exponential problems.
ISSAC 2008: 215-222 |
| 2007 |
|---|
| 39 | | Volker Weispfenning:
Robust Stability for Parametric Linear ODEs.
CASC 2007: 402-422 |
| 38 | | Andreas Dolzmann,
Volker Weispfenning:
Multiple object semilinear motion planning.
J. Symb. Comput. 42(3): 324-337 (2007) |
| 2006 |
|---|
| 37 | | Volker Weispfenning:
Comprehensive Gröbner bases and regular rings.
J. Symb. Comput. 41(3-4): 285-296 (2006) |
| 2005 |
|---|
| 36 | | Volker Weispfenning:
Solving Linear Differential Problems with Parameters.
CASC 2005: 469-488 |
| 2004 |
|---|
| 35 | | Volker Weispfenning:
Solving Constraints by Elimination Methods.
IJCAR 2004: 336-341 |
| 2003 |
|---|
| 34 | | Volker Weispfenning:
Canonical comprehensive Gröbner bases.
J. Symb. Comput. 36(3-4): 669-683 (2003) |
| 2002 |
|---|
| 33 | | Volker Weispfenning:
Canonical comprehensive Gröbner bases.
ISSAC 2002: 270-276 |
| 2001 |
|---|
| 32 | | Hirokazu Anai,
Volker Weispfenning:
Reach Set Computations Using Real Quantifier Elimination.
HSCC 2001: 63-76 |
| 31 |  | Alexander Bockmayr,
Volker Weispfenning:
Solving Numerical Constraints.
Handbook of Automated Reasoning 2001: 751-842 |
| 30 | | Volker Weispfenning:
Semilinear Motion Planning in REDLOG.
Appl. Algebra Eng. Commun. Comput. 12(6): 455-475 (2001) |
| 2000 |
|---|
| 29 | | Hirokazu Anai,
Volker Weispfenning:
Deciding linear-trigonometric problems.
ISSAC 2000: 14-22 |
| 28 | | Andreas Dolzmann,
Volker Weispfenning:
Local quantifier elimination.
ISSAC 2000: 86-94 |
| 1999 |
|---|
| 27 | | Volker Weispfenning:
Mixed Real-Integer Linear Quantifier Elimination.
ISSAC 1999: 129-136 |
| 1998 |
|---|
| 26 | | Andreas Dolzmann,
Thomas Sturm,
Volker Weispfenning:
A New Approach for Automatic Theorem Proving in Real Geometry.
J. Autom. Reasoning 21(3): 357-380 (1998) |
| 1997 |
|---|
| 25 | | Volker Weispfenning:
Complexity and Uniformity of Elimination in Presburger Arithmetic.
ISSAC 1997: 48-53 |
| 24 | | Volker Weispfenning:
Quantifier Elimination for Real Algebra - the Quadratic Case and Beyond.
Appl. Algebra Eng. Commun. Comput. 8(2): 85-101 (1997) |
| 23 | | Volker Weispfenning:
Simulation and Optimization by Quantifier Elimination.
J. Symb. Comput. 24(2): 189-208 (1997) |
| 1996 |
|---|
| 22 | | Thomas Sturm,
Volker Weispfenning:
Computational Geometry Problems in REDLOG.
Automated Deduction in Geometry 1996: 58-86 |
| 1994 |
|---|
| 21 | | Volker Weispfenning:
Quantifier Elimination for Real Algebra - the Cubic Case.
ISSAC 1994: 258-263 |
| 1993 |
|---|
| 20 | | Volker Weispfenning:
Differential Term-Orders.
ISSAC 1993: 245-253 |
| 19 | | Rüdiger Loos,
Volker Weispfenning:
Applying Linear Quantifier Elimination.
Comput. J. 36(5): 450-462 (1993) |
| 1992 |
|---|
| 18 | | Volker Weispfenning:
Finite Gröbner Bases in Non-Noetherian Skew Polynomial Rings.
ISSAC 1992: 329-334 |
| 17 | | Volker Weispfenning:
Comprehensive Gröbner Bases.
J. Symb. Comput. 14(1): 1-30 (1992) |
| 1991 |
|---|
| 16 | | Thomas Becker,
Volker Weispfenning:
The Chinese Remainder Problem, Multivariate Interpolation, and Gröbner Bases.
ISSAC 1991: 64-69 |
| 15 | | Gunter Ritter,
Volker Weispfenning:
On the Number of Term Orders.
Appl. Algebra Eng. Commun. Comput. 2: 55-79 (1991) |
| 1990 |
|---|
| 14 | | Volker Weispfenning:
The Complexity of Almost Linear Diophantine Problems.
J. Symb. Comput. 10(5): 395-404 (1990) |
| 13 | | Abdelilah Kandri-Rody,
Volker Weispfenning:
Non-Commutative Gröbner Bases in Algebras of Solvable Type.
J. Symb. Comput. 9(1): 1-26 (1990) |
| 1988 |
|---|
| 12 | | Volker Weispfenning:
Efficient Decision Procedures for Locally Finite Theories II.
ISSAC 1988: 390-401 |
| 11 | | Volker Weispfenning:
The Complexity of Linear Problems in Fields.
J. Symb. Comput. 5(1/2): 3-27 (1988) |
| 10 | | Heinz Kredel,
Volker Weispfenning:
Computing Dimension and Independent Sets for Polynomial Ideals.
J. Symb. Comput. 6(2/3): 231-247 (1988) |
| 1987 |
|---|
| 9 | | Volker Weispfenning:
Constructing Universal Groebner Bases.
AAECC 1987: 408-417 |
| 8 | | Volker Weispfenning:
Gröbner bases for polynomial ideals over commutative regular rings.
EUROCAL 1987: 336-347 |
| 1986 |
|---|
| 7 | | Volker Weispfenning:
Some Bounds for the Construction of Gröbner Bases.
AAECC 1986: 195-201 |
| 6 | | Volker Weispfenning:
Diamond Formulas in the Dynamic Logic of Recursively Enumerable Programs.
CADE 1986: 564-571 |
| 5 | | Volker Weispfenning:
The Complexity of the Word Problem for Abelian l-Groups.
Theor. Comput. Sci. 48(3): 127-132 (1986) |
| 1985 |
|---|
| 4 | | Volker Weispfenning:
Efficient Decision Algorithms for Locally Finite Theories.
AAECC 1985: 262-273 |
| 3 | | Volker Weispfenning:
The Complexity of Elementary Problems in Archimedean Ordered Groups.
European Conference on Computer Algebra (2) 1985: 87-88 |
| 1981 |
|---|
| 2 | | Volker Weispfenning:
The Model-Theoretic Significance of Complemented Existential Formulas.
J. Symb. Log. 46(4): 843-850 (1981) |
| 1976 |
|---|
| 1 | | Volker Weispfenning:
Negative-Existentially Complete Structures and Definability in Free Extensions.
J. Symb. Log. 41(1): 95-108 (1976) |
