Sabine Stifter

According to our database1, Sabine Stifter authored at least 14 papers between 1986 and 1997.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of seven.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1997
Optimal Collision Free Path Planning for Non-Synchronized Motions.
J. Intell. Robotic Syst., 1997

Characterization of Contour Elements That Generate Abstract Voronoi Diagrams.
Comput. Geom., 1997

1994
Algebraic methods for computing inverse kinematics.
J. Intell. Robotic Syst., 1994

1993
Geometry Theorem Proving in Vector Spaces by Means of Gröbner Bases.
Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, 1993

Shortest Non-Synchronized Motions - Parallel Versions.
Proceedings of the Parallel Computation, 1993

1991
An Axiomatic Approach to Voronoi-Diagrams in 3D.
J. Comput. Syst. Sci., 1991

Visualization of algebraic solids and surfaces.
Proceedings of the first ACM Symposium on Solid Modeling Foundations and CAD/CAM Applications, 1991

Predictions About Collision Free Paths from Intersection Tests.
Proceedings of the Computational Geometry, 1991

1988
A Generalization of the Roider Method to Solve the Robot Collision Problem in 3D.
Proceedings of the Symbolic and Algebraic Computation, 1988

1987
A Generalization of Reduction Rings.
J. Symb. Comput., 1987

Collision of convex objects.
Proceedings of the EUROCAL '87, 1987

1986
On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving.
J. Symb. Comput., 1986

Automated geometry theorem proving using Buchberger's algorithm.
Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986

A Geometry Theorem Prover Based on Buchberger's Algorithm.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986


  Loading...