Christoph M. Hoffmann

According to our database1, Christoph M. Hoffmann
  • authored at least 92 papers between 1974 and 2016.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

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


  Loading...