The design and evaluation of a high performance Smalltalk system
The design and evaluation of a high performance Smalltalk system
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Computer architecture: a quantitative approach
Computer architecture: a quantitative approach
Efficient Delaunay triangulation using rational arithmetic
ACM Transactions on Graphics (TOG)
Exact arithmetic solid modeling
Exact arithmetic solid modeling
Efficient exact arithmetic for computational geometry
SCG '93 Proceedings of the ninth annual symposium on Computational geometry
CustoMalloc: efficient synthesized memory allocators
Software—Practice & Experience
Precise concrete type inference for object-oriented languages
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Obtaining sequential efficiency for concurrent object-oriented languages
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LEDA: a platform for combinatorial and geometric computing
Communications of the ACM
Precision-sensitive Euclidean shortest path in 3-space (extended abstract)
Proceedings of the eleventh annual symposium on Computational geometry
Exact geometric computation in LEDA
Proceedings of the eleventh annual symposium on Computational geometry
Static analysis yields efficient exact integer arithmetic for computational geometry
ACM Transactions on Graphics (TOG)
Vortex: an optimizing compiler for object-oriented languages
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Robust adaptive floating-point geometric predicates
Proceedings of the twelfth annual symposium on Computational geometry
Towards exact geometric computation
Computational Geometry: Theory and Applications - Special issue: computational geometry, theory and applications
Robust proximity queries: an illustration of degree-driven algorithm design
SCG '97 Proceedings of the thirteenth annual symposium on Computational geometry
Computing exact geometric predicates using modular arithmetic with single precision
SCG '97 Proceedings of the thirteenth annual symposium on Computational geometry
Interval arithmetic yields efficient dynamic filters for computational geometry
Proceedings of the fourteenth annual symposium on Computational geometry
Exact geometric predicates using cascaded computation
Proceedings of the fourteenth annual symposium on Computational geometry
Handbook of discrete and computational geometry
An evaluation of automatic object inline allocation techniques
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Efficient exact geometric computation made easy
SCG '99 Proceedings of the fifteenth annual symposium on Computational geometry
Designing the Computational Geometry Algorithms Library CGAL
FCRC '96/WACG '96 Selected papers from the Workshop on Applied Computational Geormetry, Towards Geometric Engineering
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
A Probabilistic Analysis of the Power of Arithmetic Filters
A Probabilistic Analysis of the Power of Arithmetic Filters
Efficient exact geometric computation made easy
SCG '99 Proceedings of the fifteenth annual symposium on Computational geometry
I3D '01 Proceedings of the 2001 symposium on Interactive 3D graphics
A new constructive root bound for algebraic expressions
SODA '01 Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
SCG '01 Proceedings of the seventeenth annual symposium on Computational geometry
ESOLID---A System for Exact Boundary Evaluation
Proceedings of the seventh ACM symposium on Solid modeling and applications
A Generic Library for Floating-Point Numbers and Its Application to Exact Computing
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
From Algorithm to Program to Software Library
Informatics - 10 Years Back. 10 Years Ahead.
Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
A Separation Bound for Real Algebraic Expressions
ESA '01 Proceedings of the 9th Annual European Symposium on Algorithms
High-Level Filtering for Arrangements of Conic Arcs
ESA '02 Proceedings of the 10th Annual European Symposium on Algorithms
Constructive root bound for k-ary rational input numbers
Proceedings of the nineteenth annual symposium on Computational geometry
The reliable algorithmic software challenge RASC
Computer Science in Perspective
Shortest path amidst disc obstacles is computable
SCG '05 Proceedings of the twenty-first annual symposium on Computational geometry
An exact and efficient approach for computing a cell in an arrangement of quadrics
Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations
Robustness of k-gon Voronoi diagram construction
Information Processing Letters
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
Handling degeneracies in exact boundary evaluation
SM '04 Proceedings of the ninth ACM symposium on Solid modeling and applications
An exact, complete and efficient computation of arrangements of Bézier curves
Proceedings of the 2007 ACM symposium on Solid and physical modeling
Constructive root bound for k-ary rational input numbers
Theoretical Computer Science
Exact and approximate construction of offset polygons
Computer-Aided Design
Tight bounds for dynamic convex hull queries (again)
SCG '07 Proceedings of the twenty-third annual symposium on Computational geometry
Advanced programming techniques applied to Cgal's arrangement package
Computational Geometry: Theory and Applications
Robust, generic and efficient construction of envelopes of surfaces in three-dimensional spaces
ESA'06 Proceedings of the 14th conference on Annual European Symposium - Volume 14
Complexity of real root isolation using continued fractions
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Classroom examples of robustness problems in geometric computations
Computational Geometry: Theory and Applications
Exact geometric-topological analysis of algebraic surfaces
Proceedings of the twenty-fourth annual symposium on Computational geometry
An experimental study of point location in planar arrangements in CGAL
Journal of Experimental Algorithmics (JEA)
Real Algebraic Numbers: Complexity Analysis and Experimentation
Reliable Implementation of Real Number Algorithms: Theory and Practice
Reliable Implementation of Real Number Algorithms: Theory and Practice
Theory of Real Computation According to EGC
Reliable Implementation of Real Number Algorithms: Theory and Practice
How much geometry it takes to reconstruct a 2-manifold in R3
Journal of Experimental Algorithmics (JEA)
Lower bounds for zero-dimensional projections
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Computing the Implicit Voronoi Diagram in Triple Precision
WADS '09 Proceedings of the 11th International Symposium on Algorithms and Data Structures
An efficient algorithm for the stratification and triangulation of an algebraic surface
Computational Geometry: Theory and Applications
An exact and efficient approach for computing a cell in an arrangement of quadrics
Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
Robustness of k-gon Voronoi diagram construction
Information Processing Letters
On the reliability of triangle intersection in 3D
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartIII
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
The design of core 2: a library for exact numeric computation in geometry and algebra
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
A generic algebraic kernel for non-linear geometric applications
Proceedings of the twenty-seventh annual symposium on Computational geometry
EXACUS: efficient and exact algorithms for curves and surfaces
ESA'05 Proceedings of the 13th annual European conference on Algorithms
ESA'05 Proceedings of the 13th annual European conference on Algorithms
Hi-index | 0.00 |