Christoph M. Hoffmann

According to our database, Christoph M. Hoffmann authored at least 98 papers between 1974 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Toward a Simple Design and Manufacturing Pipeline for Additive Manufacturing.

Vahid Haseltalab, Melik Dolen, Ulas Yaman, Christoph M. Hoffmann

IEEE Access, 2021

2019

Generation of patterned indentations for additive manufacturing technologies.

Ulas Yaman, Melik Dolen, Christoph M. Hoffmann

IISE Trans., 2019

2018

Sequence of Gn LN polynomial curves approximating circular arcs.

Young Joon Ahn, Christoph M. Hoffmann

J. Comput. Appl. Math., 2018

2016

Tree-decomposable and Underconstrained Geometric Constraint Problems.

Ioannis Fudos, Christoph M. Hoffmann, Robert Joan-Arinyo

CoRR, 2016

Slice coherence in a query-based architecture for 3D heterogeneous printing.

Ulas Yaman, Nabeel Butt, Elisha Sacks, Christoph M. Hoffmann

Comput. Aided Des., 2016

2014

Geometric constraints on quadratic Bézier curves using minimal length and energy.

Young Joon Ahn, Christoph M. Hoffmann, Paul Rosen

J. Comput. Appl. Math., 2014

Geometric interoperability via queries.

Christoph M. Hoffmann, Vadim Shapiro, Vijay Srinivasan

Comput. Aided Des., 2014

2012

A note on circle packing.

Young Joon Ahn, Christoph M. Hoffmann, Paul Rosen

J. Zhejiang Univ. Sci. C, 2012

A generalized Malfatti problem.

Ching-Shoei Chiang, Christoph M. Hoffmann, Paul Rosen

Comput. Geom., 2012

Editorial message.

Xiao-Shan Gao, Christoph M. Hoffmann, Robert Joan-Arinyo

Comput. Aided Geom. Des., 2012

Constraint-based LN curves.

Young Joon Ahn, Christoph M. Hoffmann

Comput. Aided Geom. Des., 2012

2011

Pose space parameterization and style transfer of skin deformation.

Jong-Hyuk Kim, Jung-Ju Choi, Christoph M. Hoffmann

Comput. Animat. Virtual Worlds, 2011

Geometric Constraint Solving in Parametric Computer-Aided Design.

Bernhard Bettig, Christoph M. Hoffmann

J. Comput. Inf. Sci. Eng., 2011

Approximate convolution with pairs of cubic Bézier LN curves.

Young Joon Ahn, Christoph M. Hoffmann

Comput. Aided Geom. Des., 2011

Curvature continuous offset approximation based on circle approximation using quadratic Bézier biarcs.

Young Joon Ahn, Christoph M. Hoffmann, Yeon Soo Kim

Comput. Aided Des., 2011

2010

The General Pinhole Camera: Effective and Efficient Nonuniform Sampling for Visualization.

Voicu Popescu, Paul Rosen, Laura L. Arns, Xavier Tricoche, Chris Wyman, Christoph M. Hoffmann

IEEE Trans. Vis. Comput. Graph., 2010

A Curved Ray Camera for Handling Occlusions through Continuous Multiperspective Visualization.

Jian Cui, Paul Rosen, Voicu Popescu, Christoph M. Hoffmann

IEEE Trans. Vis. Comput. Graph., 2010

2008

A High-Quality High-Fidelity Visualization of the September 11 Attack on the World Trade Center.

Paul Rosen, Voicu Popescu, Christoph M. Hoffmann, Ayhan Irfanoglu

IEEE Trans. Vis. Comput. Graph., 2008

On validating STEP product data exchange.

Alexandr Kuzminykh, Christoph M. Hoffmann

Comput. Aided Des., 2008

2007

Perception of surfaces from line drawings.

Christoph M. Hoffmann, Zygmunt Pizlo, Voicu Popescu, Steve Price

Displays, 2007

2006

Study of the perception of three-dimensional spatial relations for a volumetric display.

Christoph M. Hoffmann, Zygmunt Pizlo, Voicu Popescu, Paul Rosen

J. Electronic Imaging, 2006

M10 - Realistic visualization for large-scale simulations.

Voicu Popescu, Christoph M. Hoffmann

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.

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol

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.

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol

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

2005

Constraint-Based Computer-Aided Design.

Christoph M. Hoffmann

J. Comput. Inf. Sci. Eng., 2005

Fidelity in visualizing large-scale simulations.

Voicu Popescu, Christoph M. Hoffmann

Comput. Aided Des., 2005

2004

Solid modeling.

Christoph M. Hoffmann

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

Modeling, simulation and visualization: the Pentagon on September 11th.

Christoph M. Hoffmann, Voicu Popescu, Sami Kilic, Mete Sozen

Comput. Sci. Eng., 2004

Making constraint solvers more usable: overconstraint problem.

Christoph M. Hoffmann, Meera Sitharam, Bo Yuan

Comput. Aided Des., 2004

Solving spatial basic geometric constraint configurations with locus intersection.

Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang

Comput. Aided Des., 2004

Residual iteration and accurate polynomial evaluation for shape-interrogation applications.

Christoph M. Hoffmann, Gahyun Park, J.-R. Simard, Neil F. Stewart

Proceedings of the Ninth ACM Symposium on Solid Modeling and Applications, 2004

2003

Enhanced battlefield visualization for situation awareness.

Young J. Kim, Christoph M. Hoffmann

Comput. Graph., 2003

Producing High Quality Visualizations of Large-Scale Simulations.

Voicu Popescu, Christoph M. Hoffmann, Sami Kilic, Mete Sozen, Scott Meador

Proceedings of the 14th IEEE Visualization Conference, 2003

2002

Variable-radius circles in cluster merging: II. Rotational clusters.

Christoph M. Hoffmann, Ching-Shoei Chiang

Comput. Aided Des., 2002

Variable-radius circles of cluster merging in geometric constraints: I. Translational clusters.

Christoph M. Hoffmann, Ching-Shoei Chiang

Comput. Aided Des., 2002

Parametric Modeling.

Christoph M. Hoffmann, Robert Joan-Arinyo

Proceedings of the Handbook of Computer Aided Geometric Design, 2002

2001

Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms.

Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam

J. Symb. Comput., 2001

Decomposition Plans for Geometric Constraint Systems, Part I: Performance Measures for CAD.

Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam

J. Symb. Comput., 2001

Robustness in Geometric Computations.

Christoph M. Hoffmann

J. Comput. Inf. Sci. Eng., 2001

D-Cubed's Dimensional Constraint Manager.

Christoph M. Hoffmann

J. Comput. Inf. Sci. Eng., 2001

Towards valid parametric CAD models.

Christoph M. Hoffmann, Ku-Jin Kim

Comput. Aided Des., 2001

2000

A Systematic Framework for Solving Geometric Constraints Analytically.

Cassiano Durand, Christoph M. Hoffmann

J. Symb. Comput., 2000

Distributed maintenance of multiple product views.

Christoph M. Hoffmann, Robert Joan-Arinyo

Comput. Aided Des., 2000

Visualization technique for improved situation awareness.

James D. Walrath, Robert P. Winkler, Philip J. Emmerman, Christoph M. Hoffmann, Young Jun Kim

Proceedings of the Human Vision and Electronic Imaging V, 2000

On Spatial Constraint Solving Approaches.

Christoph M. Hoffmann, Bo Yuan

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1999

A framework for object modeling.

Vinod Kumar, D. Burns, Debasish Dutta, Christoph M. Hoffmann

Comput. Aided Des., 1999

Variational Constraints in 3D.

Cassiano Durand, Christoph M. Hoffmann

Proceedings of the 1999 Shape Modeling International (SMI '99), 1999

Planning Geometric Constraint Decomposition via Optimal Graph Transformations.

Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998

Adaptive polygonization of geometrically constrained surfaces.

Jung-Hong Chuang, Christoph M. Hoffmann, Kun-Ming Ko, Wei-Chung Hwang

Vis. Comput., 1998

On user-defined features.

Christoph M. Hoffmann, Robert Joan-Arinyo

Comput. Aided Des., 1998

CAD and the product master model.

Christoph M. Hoffmann, Robert Joan-Arinyo

Comput. Aided Des., 1998

Visualization for situation awareness.

Christoph M. Hoffmann, Young Jun Kim, Robert P. Winkler, James D. Walrath, Philip J. Emmerman

Proceedings of the CIKM 1998 Workshop on New Paradigms in Information Visualization and Manipulation, 1998

1997

A Graph-Constructive Approach to Solving Systems of Geometric Constraints.

Ioannis Fudos, Christoph M. Hoffmann

ACM Trans. Graph., 1997

Symbolic Constraints in Constructive Geometric Constraint Solving.

Christoph M. Hoffmann, Robert Joan-Arinyo

J. Symb. Comput., 1997

Special issue: Solid modelling.

Christoph M. Hoffmann, Jarek Rossignac

Comput. Aided Des., 1997

Finding Solvable Subsets of Constraint Graphs.

Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam

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.

Christoph M. Hoffmann, Jarek Rossignac

IEEE Trans. Vis. Comput. Graph., 1996

Correctness proof of a geometric constraint solver.

Ioannis Fudos, Christoph M. Hoffmann

Int. J. Comput. Geom. Appl., 1996

Constraint-based parametric conics for CAD.

Ioannis Fudos, Christoph M. Hoffmann

Comput. Aided Des., 1996

Generic naming in generative, constraint-based design.

Vasilis Capoyleas, Xiangping Chen, Christoph M. Hoffmann

Comput. Aided Des., 1996

How Solid is Solid Modeling?

Christoph M. Hoffmann

Proceedings of the Applied Computational Geormetry, 1996

1995

Computational Geometry in C (J. O'Rourke).

Christoph M. Hoffmann

SIAM Rev., 1995

Towards feature attachment.

Xiangping Chen, Christoph M. Hoffmann

Comput. Aided Des., 1995

On editability of feature-based design.

Xiangping Chen, Christoph M. Hoffmann

Comput. Aided Des., 1995

Geometric constraint solver.

William Bouma, Ioannis Fudos, Christoph M. Hoffmann, Jiazhen Cai, Robert Paige

Comput. Aided Des., 1995

Design compilation of feature-based and constraint-based CAD.

Xiangping Chen, Christoph M. Hoffmann

Proceedings of the Third ACM SIGGRAPH Symposium on Solid Modeling and Applications, 1995

EREP Project Overview.

Christoph M. Hoffmann

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

1994

Validity Determination for MAT Surface Representation.

Christoph M. Hoffmann, Pamela J. Vermeer

Proceedings of the 6th IMA Conference on the Mathematics of Surfaces, 1994

1993

Implicit curves and surfaces in CAGD.

Christoph M. Hoffmann

IEEE Computer Graphics and Applications, 1993

1992

Erep: An editable, high-level representation for geometric design and analysis.

Christoph M. Hoffmann, Robert Juan

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.

Christoph M. Hoffmann, Pamela J. Vermeer

Int. J. Comput. Geom. Appl., 1991

Eliminating extraneous solutions in curve and surface operations.

Christoph M. Hoffmann, Pamela J. Vermeer

Int. J. Comput. Geom. Appl., 1991

Some techniques for visualizing surfaces in four-dimensional space.

Christoph M. Hoffmann, Jianhua Zhou

Comput. Aided Des., 1991

1990

A dimensionality paradigm for surface interrogations.

Christoph M. Hoffmann

Comput. Aided Geom. Des., 1990

1989

On the geometry of Dupin cyclides.

Vijaya Chandru, Debasish Dutta, Christoph M. Hoffmann

Vis. Comput., 1989

On local implicit approximation and its applications.

Jung-Hong Chuang, Christoph M. Hoffmann

ACM Trans. Graph., 1989

The Problems of Accuracy and Robustness in Geometric Computation.

Christoph M. Hoffmann

Computer, 1989

Robust set operations on polyhedral solids.

Christoph M. Hoffmann, John E. Hopcroft, Michael Karasick

IEEE Computer Graphics and Applications, 1989

1988

Tracing surface intersections.

Chandrajit L. Bajaj, Christoph M. Hoffmann, Robert E. Lynch, John E. Hopcroft

Comput. Aided Geom. Des., 1988

The Geometry of Projective Blending Surfaces.

Christoph M. Hoffmann, John E. Hopcroft

Artif. Intell., 1988

Towards Implementing Robust Geometric Computations.

Christoph M. Hoffmann, John E. Hopcroft, Michael S. Karasick

Proceedings of the Fourth Annual Symposium on Computational Geometry, 1988

1987

Simulation of physical systems from geometric models.

Christoph M. Hoffmann, John E. Hopcroft

IEEE J. Robotics Autom., 1987

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

Zvi Galil, Christoph M. Hoffmann, Eugene M. Luks, Claus-Peter Schnorr, Andreas Weber

J. ACM, 1987

1985

Automatic surface generation in computer aided design.

Christoph M. Hoffmann, John E. Hopcroft

Vis. Comput., 1985

Implementation of an Interpreter for Abstract Equations.

Christoph M. Hoffmann, Michael J. O'Donnell, Robert Strandh

Softw. Pract. Exp., 1985

1984

Implementation of an Interpreter for Abstract Equations.

Christoph M. Hoffmann, Michael J. O'Donnell

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

A Note on Unique Decipherability.

Christoph M. Hoffmann

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1982

Programming with Equations.

Christoph M. Hoffmann, Michael J. O'Donnell

ACM Trans. Program. Lang. Syst., 1982

Subcomplete Generalizations of Graph Isomorphism.

Christoph M. Hoffmann

J. Comput. Syst. Sci., 1982

Pattern Matching in Trees.

Christoph M. Hoffmann, Michael J. O'Donnell

J. ACM, 1982

An O(n^3 log n) Deterministic and an O(n^3) Probabilistic Isomorphism Test for Trivalent Graphs

Zvi Galil, Christoph M. Hoffmann, Eugene M. Luks, Claus-Peter Schnorr, Andreas Weber

Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, 1982

Group-Theoretic Algorithms and Graph Isomorphism

Christoph M. Hoffmann

Lecture Notes in Computer Science 136, Springer, ISBN: 3-540-11493-9, 1982

1980

Semantic Properties of Lucid's Compute Clause and its Compilation.

Christoph M. Hoffmann

Acta Informatica, 1980

Testing Isomorphism on Cone Graphs (Extended Abstract)

Christoph M. Hoffmann

Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980

1979

Interpreter Generation Using Tree Pattern Matching.

Christoph M. Hoffmann, Michael J. O'Donnell

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.

Christoph M. Hoffmann

Acta Informatica, 1978

1976

A Completeness Theorem for Straight-Line Programs with Structured Variables.

Christoph M. Hoffmann, Lawrence H. Landweber

J. ACM, 1976

1974

Axiomatic Equivalence of Programs with Structured Variables

Christoph M. Hoffmann, Lawrence H. Landweber

Proceedings of the 15th Annual Symposium on Switching and Automata Theory, 1974