Christoph M. Hoffmann

According to our database1, Christoph M. Hoffmann authored at least 90 papers between 1974 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 





Sequence of Gn LN polynomial curves approximating circular arcs.
J. Computational Applied Mathematics, 2018

Slice coherence in a query-based architecture for 3D heterogeneous printing.
Computer-Aided Design, 2016

Geometric constraints on quadratic Bézier curves using minimal length and energy.
J. Computational Applied Mathematics, 2014

Geometric interoperability via queries.
Computer-Aided Design, 2014

A note on circle packing.
Journal of Zhejiang University - Science C, 2012

A generalized Malfatti problem.
Comput. Geom., 2012

Editorial message.
Computer Aided Geometric Design, 2012

Pose space parameterization and style transfer of skin deformation.
Journal of Visualization and Computer Animation, 2011

Approximate convolution with pairs of cubic Bézier LN curves.
Computer Aided Geometric Design, 2011

Curvature continuous offset approximation based on circle approximation using quadratic Bézier biarcs.
Computer-Aided Design, 2011

The General Pinhole Camera: Effective and Efficient Nonuniform Sampling for Visualization.
IEEE Trans. Vis. Comput. Graph., 2010

A Curved Ray Camera for Handling Occlusions through Continuous Multiperspective Visualization.
IEEE Trans. Vis. Comput. Graph., 2010

Constraint-based LN-curves.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A High-Quality High-Fidelity Visualization of the September 11 Attack on the World Trade Center.
IEEE Trans. Vis. Comput. Graph., 2008

On validating STEP product data exchange.
Computer-Aided Design, 2008

Perception of surfaces from line drawings.
Displays, 2007

Study of the perception of three-dimensional spatial relations for a volumetric display.
J. Electronic Imaging, 2006

M10 - Realistic visualization for large-scale simulations.
Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006

06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01., 2006

06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01., 2006

Fidelity in visualizing large-scale simulations.
Computer-Aided Design, 2005

Solid modeling.
Proceedings of the Handbook of Discrete and Computational Geometry, Second Edition., 2004

Modeling, simulation and visualization: the Pentagon on September 11th.
Computing in Science and Engineering, 2004

Making constraint solvers more usable: overconstraint problem.
Computer-Aided Design, 2004

Enhanced battlefield visualization for situation awareness.
Computers & Graphics, 2003

Producing High Quality Visualizations of Large-Scale Simulations.
Proceedings of the 14th IEEE Visualization 2003 Conference, 2003

Variable-radius circles in cluster merging: II. Rotational clusters.
Computer-Aided Design, 2002

Variable-radius circles of cluster merging in geometric constraints: I. Translational clusters.
Computer-Aided Design, 2002

Solving spatial basic geometric constraint configurations with locus intersection.
Proceedings of the Seventh ACM Symposium on Solid Modeling and Applications, 2002

Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms.
J. Symb. Comput., 2001

Decomposition Plans for Geometric Constraint Systems, Part I: Performance Measures for CAD.
J. Symb. Comput., 2001

Robustness in Geometric Computations.
J. Comput. Inf. Sci. Eng., 2001

D-Cubed's Dimensional Constraint Manager.
J. Comput. Inf. Sci. Eng., 2001

Towards valid parametric CAD models.
Computer-Aided Design, 2001

A Systematic Framework for Solving Geometric Constraints Analytically.
J. Symb. Comput., 2000

Distributed maintenance of multiple product views.
Computer-Aided Design, 2000

Visualization technique for improved situation awareness.
Proceedings of the Human Vision and Electronic Imaging V, 2000

On Spatial Constraint Solving Approaches.
Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

A framework for object modeling.
Computer-Aided Design, 1999

Variational Constraints in 3D.
Proceedings of the 1999 Shape Modeling International (SMI '99), 1999

Planning Geometric Constraint Decomposition via Optimal Graph Transformations.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

Adaptive polygonization of geometrically constrained surfaces.
The Visual Computer, 1998

On user-defined features.
Computer-Aided Design, 1998

CAD and the product master model.
Computer-Aided Design, 1998

A Graph-Constructive Approach to Solving Systems of Geometric Constraints.
ACM Trans. Graph., 1997

Symbolic Constraints in Constructive Geometric Constraint Solving.
J. Symb. Comput., 1997

Special issue: Solid modelling.
Computer-Aided Design, 1997

Finding Solvable Subsets of Constraint Graphs.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

A Road Map To Solid Modeling.
IEEE Trans. Vis. Comput. Graph., 1996

Correctness proof of a geometric constraint solver.
Int. J. Comput. Geometry Appl., 1996

Constraint-based parametric conics for CAD.
Computer-Aided Design, 1996

Generic naming in generative, constraint-based design.
Computer-Aided Design, 1996

How Solid is Solid Modeling?
Proceedings of the Applied Computational Geormetry, 1996

Computational Geometry in C (J. O'Rourke).
SIAM Review, 1995

Towards feature attachment.
Computer-Aided Design, 1995

On editability of feature-based design.
Computer-Aided Design, 1995

Geometric constraint solver.
Computer-Aided Design, 1995

Design compilation of feature-based and constraint-based CAD.
Proceedings of the Third ACM SIGGRAPH Symposium on Solid Modeling and Applications, 1995

EREP Project Overview.
Proceedings of the CAD Systems Development: Tools and Methods [Dagstuhl Seminar, 1995], 1995

Validity Determination for MAT Surface Representation.
Proceedings of the 6th IMA Conference on the Mathematics of Surfaces, 1994

Implicit curves and surfaces in CAGD.
IEEE Computer Graphics and Applications, 1993

Erep: An editable, high-level representation for geometric design and analysis.
Proceedings of the Geometric Modeling for Product Realization, Selected and Expanded Papers from the IFIP TC5/WG5.2 Working Conference on Geometric Modeling, Rensselaerville, NY, USA, 27 September, 1992

Erratum - Eliminating extraneous solutions in curve and surface operations.
Int. J. Comput. Geometry Appl., 1991

Eliminating extraneous solutions in curve and surface operations.
Int. J. Comput. Geometry Appl., 1991

Some techniques for visualizing surfaces in four-dimensional space.
Computer-Aided Design, 1991

A dimensionality paradigm for surface interrogations.
Computer Aided Geometric Design, 1990

On the geometry of Dupin cyclides.
The Visual Computer, 1989

On local implicit approximation and its applications.
ACM Trans. Graph., 1989

The Problems of Accuracy and Robustness in Geometric Computation.
IEEE Computer, 1989

Robust set operations on polyhedral solids.
IEEE Computer Graphics and Applications, 1989

Tracing surface intersections.
Computer Aided Geometric Design, 1988

The Geometry of Projective Blending Surfaces.
Artif. Intell., 1988

Towards Implementing Robust Geometric Computations.
Proceedings of the Fourth Annual Symposium on Computational Geometry, 1988

Simulation of physical systems from geometric models.
IEEE J. Robotics and Automation, 1987

An O(n³log n) deterministic and an O(n³) Las Vegs isomorphism test for trivalent graphs.
J. ACM, 1987

Automatic surface generation in computer aided design.
The Visual Computer, 1985

Implementation of an Interpreter for Abstract Equations.
Softw., Pract. Exper., 1985

Implementation of an Interpreter for Abstract Equations.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

A Note on Unique Decipherability.
Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

Programming with Equations.
ACM Trans. Program. Lang. Syst., 1982

Subcomplete Generalizations of Graph Isomorphism.
J. Comput. Syst. Sci., 1982

Pattern Matching in Trees.
J. ACM, 1982

An O(n^3 log n) Deterministic and an O(n^3) Probabilistic Isomorphism Test for Trivalent Graphs
Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, 1982

Group-Theoretic Algorithms and Graph Isomorphism
Lecture Notes in Computer Science 136, Springer, ISBN: 3-540-11493-9, 1982

Semantic Properties of Lucid's Compute Clause and its Compilation.
Acta Inf., 1980

Testing Isomorphism on Cone Graphs (Extended Abstract)
Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980

Interpreter Generation Using Tree Pattern Matching.
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

Design and Correctness of a Compiler for a Non-Procedural Language.
Acta Inf., 1978

A Completeness Theorem for Straight-Line Programs with Structured Variables.
J. ACM, 1976

Axiomatic Equivalence of Programs with Structured Variables
Proceedings of the 15th Annual Symposium on Switching and Automata Theory, 1974