| |
| 1997 | ||
|---|---|---|
| 13 | Sabine Stifter: Characterization of Contour Elements That Generate Abstract Voronoi Diagrams. Comput. Geom. 7: 245-262 (1997) | |
| 12 | EE | Sabine Stifter: Optimal Collision Free Path Planning for Non-Synchronized Motions. Journal of Intelligent and Robotic Systems 19(2): 187-205 (1997) |
| 1994 | ||
| 11 | EE | Sabine Stifter: Algebraic methods for computing inverse kinematics. Journal of Intelligent and Robotic Systems 11(1-2): 79-89 (1994) |
| 1993 | ||
| 10 | Sabine Stifter: Shortest Non-Synchronized Motions - Parallel Versions. ACPC 1993: 87-104 | |
| 9 | EE | Sabine Stifter: Geometry Theorem Proving in Vector Spaces by Means of Gröbner Bases. ISSAC 1993: 301-310 |
| 1991 | ||
| 8 | EE | Sabine Stifter: Visualization of algebraic solids and surfaces. Symposium on Solid Modeling and Applications 1991: 539 |
| 7 | Sabine Stifter: Predictions About Collision Free Paths from Intersection Tests. Workshop on Computational Geometry 1991: 309-320 | |
| 6 | Sabine Stifter: An Axiomatic Approach to Voronoi-Diagrams in 3D. J. Comput. Syst. Sci. 43(2): 361-379 (1991) | |
| 1988 | ||
| 5 | Sabine Stifter: A Generalization of the Roider Method to Solve the Robot Collision Problem in 3D. ISSAC 1988: 332-343 | |
| 1987 | ||
| 4 | Bernhard Roider, Sabine Stifter: Collision of convex objects. EUROCAL 1987: 258-259 | |
| 3 | Sabine Stifter: A Generalization of Reduction Rings. J. Symb. Comput. 4(3): 351-364 (1987) | |
| 1986 | ||
| 2 | B. Kutzler, Sabine Stifter: A Geometry Theorem Prover Based on Buchberger's Algorithm. CADE 1986: 693-694 | |
| 1 | B. Kutzler, Sabine Stifter: On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving. J. Symb. Comput. 2(4): 389-397 (1986) | |
| 1 | B. Kutzler | [1] [2] |
| 2 | Bernhard Roider | [4] |