Complexity of deciding Tarski algebra
Journal of Symbolic Computation
Journal of Symbolic Computation
Introduction to Solid Modeling
Introduction to Solid Modeling
Geometric and solid modeling: an introduction
Geometric and solid modeling: an introduction
Construction and optimization of CSG representations
Computer-Aided Design - Beyond solid modelling
Computer Aided Geometric Design
Representations for Rigid Solids: Theory, Methods, and Systems
ACM Computing Surveys (CSUR)
Architectural Issues in Solid Modelers
IEEE Computer Graphics and Applications
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
What is a parametric family of solids?
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
On the completeness and conversion of ray representations of arbitrary solids
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
Machine interpretation of CAD data for manufacturing applications
ACM Computing Surveys (CSUR)
The generic geometric complex (GGC): a modeling scheme for families of decomposed pointsets
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Boundary representation deformation in parametric solid modeling
ACM Transactions on Graphics (TOG)
Consistent updates in dual representation systems
Proceedings of the fifth ACM symposium on Solid modeling and applications
Resolving non-uniqueness in design feature histories
Proceedings of the fifth ACM symposium on Solid modeling and applications
Implicit functions with guaranteed differential properties
Proceedings of the fifth ACM symposium on Solid modeling and applications
Topological framework for part families
Proceedings of the seventh ACM symposium on Solid modeling and applications
IEEE Transactions on Visualization and Computer Graphics
Constructive shell representations for freeform surfaces and solids
IEEE Computer Graphics and Applications
SM '03 Proceedings of the eighth ACM symposium on Solid modeling and applications
Approximate distance fields with non-vanishing gradients
Graphical Models
Constructive topological representations
Proceedings of the 2006 ACM symposium on Solid and physical modeling
Maintaining associativity between form feature models
Computer-Aided Design
Distance functions and skeletal representations of rigid and non-rigid planar shapes
Computer-Aided Design
A comment on 'constructing regularity feature trees for solid models'
GMP'08 Proceedings of the 5th international conference on Advances in geometric modeling and processing
Automation of the volumetric models construction
Heterogeneous objects modelling and applications
A family of skeletons for motion planning and geometric reasoning applications
Artificial Intelligence for Engineering Design, Analysis and Manufacturing - Representing and Reasoning About Three-Dimensional Space
Medial zones: Formulation and applications
Computer-Aided Design
Constructing regularity feature trees for solid models
GMP'06 Proceedings of the 4th international conference on Geometric Modeling and Processing
Geometric interoperability via queries
Computer-Aided Design
From theoretical graphic objects to real free-form solids
Information Sciences: an International Journal
| Hi-index | 0.00 |