| Publication | Date of Publication | Type |
|---|
| Deciding linear-trigonometric problems | 2015-11-26 | Paper |
| Local quantifier elimination | 2015-11-26 | Paper |
| Deciding polynomial-transcendental problems | 2011-12-21 | Paper |
| Gröbner bases for polynomial ideals over commutative regular rings | 2011-04-16 | Paper |
| Deciding polynomial-exponential problems | 2009-01-20 | Paper |
| Robust Stability for Parametric Linear ODEs | 2008-07-01 | Paper |
| Comprehensive Gröbner bases and regular rings | 2007-10-23 | Paper |
| Multiple object semilinear motion planning | 2007-10-23 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| Computer Algebra in Scientific Computing | 2006-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3021921 | 2005-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4660715 | 2005-04-04 | Paper |
| Canonical comprehensive Gröbner bases | 2004-08-20 | Paper |
| Semilinear motion planning in REDLOG | 2002-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552457 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2751364 | 2002-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329974 | 2002-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329975 | 2002-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760235 | 2001-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2702031 | 2001-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4237372 | 1999-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247790 | 1999-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4226937 | 1999-07-05 | Paper |
| A new approach for automatic theorem proving in real geometry | 1999-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234205 | 1999-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234321 | 1999-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838772 | 1998-10-26 | Paper |
| Simulation and optimization by quantifier elimination | 1997-09-29 | Paper |
| Quantifier elimination for real algebra -- the quadratic case and beyond | 1997-08-04 | Paper |
| Applying Linear Quantifier Elimination | 1994-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4693774 | 1993-06-27 | Paper |
| Comprehensive Gröbner bases | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998158 | 1992-09-17 | Paper |
| On the number of term orders | 1992-06-26 | Paper |
| Non-commutative Gröbner bases in algebras of solvable type | 1990-01-01 | Paper |
| The complexity of almost linear diophantine problems | 1990-01-01 | Paper |
| Existential equivalence of ordered abelian groups with parameters | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3470575 | 1989-01-01 | Paper |
| The complexity of linear problems in fields | 1988-01-01 | Paper |
| Computing dimension and independent sets for polynomial ideals | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3801690 | 1988-01-01 | Paper |
| Admissible orders and linear forms | 1987-01-01 | Paper |
| The complexity of the word problem for abelian l-groups | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3028985 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3758805 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3767392 | 1986-01-01 | Paper |
| Existentially closed semilattices | 1985-01-01 | Paper |
| Quantifier Elimination for Distributive Lattices and Measure Algebras | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3697076 | 1985-01-01 | Paper |
| Quantifier elimination for modules | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3693512 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3708785 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3669394 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3964534 | 1981-01-01 | Paper |
| The model-theoretic significance of complemented existential formulas | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3910513 | 1979-01-01 | Paper |
| A note on ℵ0-categorical model-companions | 1978-01-01 | Paper |
| Nullstellensätze — A Model Theoretic Framework | 1977-01-01 | Paper |
| Negative-existentially complete structures and definability in free extensions | 1976-01-01 | Paper |
| On the elementary theory of Hensel fields | 1976-01-01 | Paper |
| Model-completeness and elimination of quantifiers for subdirect products of structures | 1975-01-01 | Paper |
| Two Model Theoretic Proofs of Ruckert's Nullstellensatz | 1975-01-01 | Paper |
| Infinitary Model-Theoretic Properties Of χ-Saturated Structures | 1973-01-01 | Paper |
