Skip to content
cs-conference-ranking.org

Volker Weispfenning

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

3

Active years

1986–2008

Best venue rank

B

Where they publish

Papers

16 indexed papers, newest first.

YearVenueTitleAuthors
2008ISSACDeciding polynomial-exponential problems.Melanie Achatz, Scott McCallum, Volker Weispfenning
2007CASCRobust Stability for Parametric Linear ODEs.Volker Weispfenning
2005CASCSolving Linear Differential Problems with Parameters.Volker Weispfenning
2004CADESolving Constraints by Elimination Methods.Volker Weispfenning
2002ISSACCanonical comprehensive Grbner bases.Volker Weispfenning
2001CASCSemilinear Motion Planning Among Moving Objects in REDLOG.Volker Weispfenning
2000ISSACDeciding linear-trigonometric problems.Hirokazu Anai, Volker Weispfenning
2000ISSACLocal quantifier elimination.Andreas Dolzmann, Volker Weispfenning
1999ISSACMixed Real-Integer Linear Quantifier Elimination.Volker Weispfenning
1997ISSACComplexity and Uniformity of Elimination in Presburger Arithmetic.Volker Weispfenning
1994ISSACQuantifier Elimination for Real Algebra - the Cubic Case.Volker Weispfenning
1993ISSACDifferential Term-Orders.Volker Weispfenning
1992ISSACFinite Grbner Bases in Non-Noetherian Skew Polynomial Rings.Volker Weispfenning
1991ISSACThe Chinese Remainder Problem, Multivariate Interpolation, and Grbner Bases.Thomas Becker, Volker Weispfenning
1988ISSACEfficient Decision Procedures for Locally Finite Theories II.Volker Weispfenning
1986CADEDiamond Formulas in the Dynamic Logic of Recursively Enumerable Programs.Volker Weispfenning