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