Sabine Stifter

14 papers A* 1A 1B 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
1997 J jnl
Characterization of Contour Elements That Generate Abstract Voronoi Diagrams.
Comput. Geom.
Sabine Stifter
1997 J jnl
Optimal Collision Free Path Planning for Non-Synchronized Motions.
J. Intell. Robotic Syst.
Sabine Stifter
1994 J jnl
Algebraic methods for computing inverse kinematics.
J. Intell. Robotic Syst.
Sabine Stifter
1993 B conf
Geometry Theorem Proving in Vector Spaces by Means of Gröbner Bases.
ISSAC
Sabine Stifter
1993 — conf
Shortest Non-Synchronized Motions - Parallel Versions.
ACPC
Sabine Stifter
1991 J jnl
An Axiomatic Approach to Voronoi-Diagrams in 3D.
J. Comput. Syst. Sci.
Sabine Stifter
1991 A* conf
Predictions About Collision Free Paths from Intersection Tests.
Workshop on Computational Geometry
Sabine Stifter
1991 — conf
Visualization of algebraic solids and surfaces.
Symposium on Solid Modeling and Applications
Sabine Stifter
1988 B conf
A Generalization of the Roider Method to Solve the Robot Collision Problem in 3D.
ISSAC
Sabine Stifter
1987 J jnl
A Generalization of Reduction Rings.
J. Symb. Comput.
Sabine Stifter
1987 — conf
Collision of convex objects.
EUROCAL
Bernhard Roider, Sabine Stifter
1986 A conf
A Geometry Theorem Prover Based on Buchberger's Algorithm.
CADE
B. Kutzler, Sabine Stifter
1986 — conf
Automated geometry theorem proving using Buchberger's algorithm.
SYMSAC
B. Kutzler, Sabine Stifter
1986 J jnl
On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving.
J. Symb. Comput.
B. Kutzler, Sabine Stifter