Christoph M. Hoffmann
According to our database1, Christoph M. Hoffmann
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:
On csauthors.net:
Bibliography
2016
Tree-decomposable and Underconstrained Geometric Constraint Problems.
CoRR, 2016
Slice coherence in a query-based architecture for 3D heterogeneous printing.
Computer-Aided Design, 2016
2014
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
2012
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
Constraint-based LN curves.
Computer Aided Geometric Design, 2012
2011
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
2010
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
2008
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
2007
Perception of surfaces from line drawings.
Displays, 2007
2006
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
2005
Fidelity in visualizing large-scale simulations.
Computer-Aided Design, 2005
2004
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
Solving spatial basic geometric constraint configurations with locus intersection.
Computer-Aided Design, 2004
2003
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
2002
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
2001
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
2000
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
1999
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
1998
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
1997
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
1996
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
1995
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
1994
Validity Determination for MAT Surface Representation.
Proceedings of the 6th IMA Conference on the Mathematics of Surfaces, 1994
1993
Implicit curves and surfaces in CAGD.
IEEE Computer Graphics and Applications, 1993
1992
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
1991
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
1990
A dimensionality paradigm for surface interrogations.
Computer Aided Geometric Design, 1990
1989
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
1988
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
1987
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
1985
Automatic surface generation in computer aided design.
The Visual Computer, 1985
Implementation of an Interpreter for Abstract Equations.
Softw., Pract. Exper., 1985
1984
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
1982
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
1980
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
1979
Interpreter Generation Using Tree Pattern Matching.
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979
1978
Design and Correctness of a Compiler for a Non-Procedural Language.
Acta Inf., 1978
1976
A Completeness Theorem for Straight-Line Programs with Structured Variables.
J. ACM, 1976
1974
Axiomatic Equivalence of Programs with Structured Variables
Proceedings of the 15th Annual Symposium on Switching and Automata Theory, 1974