Wissenschaftliche Publikationen
Zeitschriftenartikel (18)
1.
Zeitschriftenartikel
47, S. 87 - 107 (1993)
The Complexity of One-Machine Batching Problems. Discrete Applied Mathematics 2.
Zeitschriftenartikel
8 (3-4), S. 363 - 381 (1993)
A Recursion Planning Analysis of Inductive Completion. Annals of Mathematics and Artificial Intelligence 3.
Zeitschriftenartikel
4 (3), S. 147 - 168 (1993)
Conditional Narrowing Modulo a Set of Equations. Applicable Algebra in Engineering, Communication and Computing 4.
Zeitschriftenartikel
15 (5/6), S. 705 - 744 (1993)
On the Mechanical Derivation of Loop Invariants. Journal of Symbolic Computation 5.
Zeitschriftenartikel
3 (4), S. 185 - 212 (1993)
Four Results on Randomized Incremental Constructions. Computational Geometry: Theory and Applications 6.
Zeitschriftenartikel
36 (5), S. 419 - 426 (1993)
Quantifier Elimination in p-adic Fields. The Computer Journal 7.
Zeitschriftenartikel
102 (2), S. 263 - 279 (1993)
A Lower Bound for the Worst Case of Bottom-Up-Heapsort. Information and Computation 8.
Zeitschriftenartikel
10 (3-4), S. 267 - 275 (1993)
An Implementation of Triangular B-spline Surfaces over Arbitrary Triangulations. Computer Aided Geometric Design 9.
Zeitschriftenartikel
22 (5), S. 1035 - 1052 (1993)
Drawing Graphs in the Plane with High Resolution. SIAM Journal on Computing 10.
Zeitschriftenartikel
60, S. 293 - 301 (1993)
Circumscription: Completeness Reviewed. Artificial Intelligence 11.
Zeitschriftenartikel
3, S. 157 - 184 (1993)
Randomized incremental construction of abstract Voronoi diagrams. Computational Geometry: Theory and Applications 12.
Zeitschriftenartikel
3 (3), S. 245 - 267 (1993)
An Optimal Construction Method for Generalized Convex Layers. International Journal of Computational Geometry and Applications 13.
Zeitschriftenartikel
3 (4), S. 235 - 246 (1993)
Tail Estimates for the Efficiency of Randomized Incremental Algorithms for Line Segment Intersection. Computational Geometry: Theory and Applications 14.
Zeitschriftenartikel
40, S. 621 - 634 (1993)
Dynamic Interpolation Search. Journal of the ACM 15.
Zeitschriftenartikel
1 (1), S. 69 - 90 (1993)
Translation Methods for Non-Classical Logics: An Overview. Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) 16.
Zeitschriftenartikel
12 (2), S. 353 - 360 (1993)
A New Method for Hierarchical Compaction. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 17.
Zeitschriftenartikel
13 (1), S. 38 - 46 (1993)
An Introduction to Polar Forms. IEEE Computer Graphics and Applications 18.
Zeitschriftenartikel
12 (1), S. 1 - 34 (1993)
Polar Forms for Geometrically Continuous Spline Curves of Arbitrary Degree. ACM Transactions on Graphics Buchkapitel (4)
19.
Buchkapitel
Completion Subsystem. In: Program Development by Specification and Transformation, S. 460 - 494 (Hg. Hoffmann, B.; Krieg‐Brückner, B.). Springer, Berlin (1993)
20.
Buchkapitel
Logic Programming with Pseudo-Boolean Constraints. In: Constraint Logic Programming: Selected Research, S. 327 - 350 (Hg. Benhamou, F.; Colmerauer, A.). MIT Press, Cambridge, MA (1993)