Christoph M. Hoffmann

Publication Activity (10 Years)

Years Active: 1974-2023
Publications (10 Years): 6

Top Topics

Manufacturing Processes

Geometric Consistency

Top Venues

J. Comput. Appl. Math.

Comput. Aided Des.

Publications

Young Joon Ahn, Christoph M. Hoffmann
Hermite interpolation with quartic regular linear normal curves. J. Comput. Appl. Math. 424 (2023)
Vahid Haseltalab, Melik Dolen, Ulas Yaman, Christoph M. Hoffmann
Toward a Simple Design and Manufacturing Pipeline for Additive Manufacturing. IEEE Access 9 (2021)
Ulas Yaman, Melik Dolen, Christoph M. Hoffmann
Generation of patterned indentations for additive manufacturing technologies. IISE Trans. 51 (2) (2019)
Young Joon Ahn, Christoph M. Hoffmann
Sequence of Gn LN polynomial curves approximating circular arcs. J. Comput. Appl. Math. 341 (2018)
Ioannis Fudos, Christoph M. Hoffmann, Robert Joan-Arinyo
Tree-decomposable and Underconstrained Geometric Constraint Problems. CoRR (2016)
Ulas Yaman, Nabeel Butt, Elisha Sacks, Christoph M. Hoffmann
Slice coherence in a query-based architecture for 3D heterogeneous printing. Comput. Aided Des. (2016)
Christoph M. Hoffmann, Vadim Shapiro, Vijay Srinivasan
Geometric interoperability via queries. Comput. Aided Des. 46 (2014)
Young Joon Ahn, Christoph M. Hoffmann, Paul Rosen
Geometric constraints on quadratic Bézier curves using minimal length and energy. J. Comput. Appl. Math. 255 (2014)
Xiao-Shan Gao, Christoph M. Hoffmann, Robert Joan-Arinyo
Editorial message. Comput. Aided Geom. Des. 29 (1) (2012)
Young Joon Ahn, Christoph M. Hoffmann
Constraint-based LN curves. Comput. Aided Geom. Des. 29 (1) (2012)
Ching-Shoei Chiang, Christoph M. Hoffmann, Paul Rosen
A generalized Malfatti problem. Comput. Geom. 45 (8) (2012)
Young Joon Ahn, Christoph M. Hoffmann, Paul Rosen
A note on circle packing. J. Zhejiang Univ. Sci. C 13 (8) (2012)
Bernhard Bettig, Christoph M. Hoffmann
Geometric Constraint Solving in Parametric Computer-Aided Design. J. Comput. Inf. Sci. Eng. 11 (2) (2011)
Young Joon Ahn, Christoph M. Hoffmann, Yeon Soo Kim
Curvature continuous offset approximation based on circle approximation using quadratic Bézier biarcs. Comput. Aided Des. 43 (8) (2011)
Jong-Hyuk Kim, Jung-Ju Choi, Christoph M. Hoffmann
Pose space parameterization and style transfer of skin deformation. Comput. Animat. Virtual Worlds 22 (6) (2011)
Young Joon Ahn, Christoph M. Hoffmann
Approximate convolution with pairs of cubic Bézier LN curves. Comput. Aided Geom. Des. 28 (6) (2011)
Young Joon Ahn, Christoph M. Hoffmann
Constraint-based LN-curves. SAC (2010)
Voicu Popescu, Paul Rosen, Laura L. Arns, Xavier Tricoche, Chris Wyman, Christoph M. Hoffmann
The General Pinhole Camera: Effective and Efficient Nonuniform Sampling for Visualization. IEEE Trans. Vis. Comput. Graph. 16 (5) (2010)
Jian Cui, Paul Rosen, Voicu Popescu, Christoph M. Hoffmann
A Curved Ray Camera for Handling Occlusions through Continuous Multiperspective Visualization. IEEE Trans. Vis. Comput. Graph. 16 (6) (2010)
Paul Rosen, Voicu Popescu, Christoph M. Hoffmann, Ayhan Irfanoglu
A High-Quality High-Fidelity Visualization of the September 11 Attack on the World Trade Center. IEEE Trans. Vis. Comput. Graph. 14 (4) (2008)
Alexandr Kuzminykh, Christoph M. Hoffmann
On validating STEP product data exchange. Comput. Aided Des. 40 (2) (2008)
Christoph M. Hoffmann, Zygmunt Pizlo, Voicu Popescu, Steve Price
Perception of surfaces from line drawings. Displays 28 (1) (2007)
Voicu Popescu, Christoph M. Hoffmann
M10 - Realistic visualization for large-scale simulations. SC (2006)
Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice. Reliable Implementation of Real Number Algorithms (2006)
Christoph M. Hoffmann, Zygmunt Pizlo, Voicu Popescu, Paul Rosen
Study of the perception of three-dimensional spatial relations for a volumetric display. J. Electronic Imaging 15 (3) (2006)
Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice. Reliable Implementation of Real Number Algorithms (2006)
Christoph M. Hoffmann
Constraint-Based Computer-Aided Design. J. Comput. Inf. Sci. Eng. 5 (3) (2005)
Voicu Popescu, Christoph M. Hoffmann
Fidelity in visualizing large-scale simulations. Comput. Aided Des. 37 (1) (2005)
Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang
Solving spatial basic geometric constraint configurations with locus intersection. Comput. Aided Des. 36 (2) (2004)
Christoph M. Hoffmann, Voicu Popescu, Sami Kilic, Mete Sozen
Modeling, simulation and visualization: the Pentagon on September 11th. Comput. Sci. Eng. 6 (1) (2004)
Christoph M. Hoffmann, Gahyun Park, J.-R. Simard, Neil F. Stewart
Residual iteration and accurate polynomial evaluation for shape-interrogation applications. Symposium on Solid Modeling and Applications (2004)
Christoph M. Hoffmann, Meera Sitharam, Bo Yuan
Making constraint solvers more usable: overconstraint problem. Comput. Aided Des. 36 (4) (2004)
Young J. Kim, Christoph M. Hoffmann
Enhanced battlefield visualization for situation awareness. Comput. Graph. 27 (6) (2003)
Voicu Popescu, Christoph M. Hoffmann, Sami Kilic, Mete Sozen, Scott Meador
Producing High Quality Visualizations of Large-Scale Simulations. IEEE Visualization (2003)
Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang
Solving spatial basic geometric constraint configurations with locus intersection. Symposium on Solid Modeling and Applications (2002)
Christoph M. Hoffmann, Ching-Shoei Chiang
Variable-radius circles in cluster merging: II. Rotational clusters. Comput. Aided Des. 34 (11) (2002)
Christoph M. Hoffmann, Ching-Shoei Chiang
Variable-radius circles of cluster merging in geometric constraints: I. Translational clusters. Comput. Aided Des. 34 (11) (2002)
Christoph M. Hoffmann, Ku-Jin Kim
Towards valid parametric CAD models. Comput. Aided Des. 33 (1) (2001)
Christoph M. Hoffmann
Robustness in Geometric Computations. J. Comput. Inf. Sci. Eng. 1 (2) (2001)
Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam
Decomposition Plans for Geometric Constraint Systems, Part I: Performance Measures for CAD. J. Symb. Comput. 31 (4) (2001)
Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam
Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms. J. Symb. Comput. 31 (4) (2001)
Christoph M. Hoffmann
D-Cubed's Dimensional Constraint Manager. J. Comput. Inf. Sci. Eng. 1 (1) (2001)
James D. Walrath, Robert P. Winkler, Philip J. Emmerman, Christoph M. Hoffmann, Young Jun Kim
Visualization technique for improved situation awareness. Human Vision and Electronic Imaging (2000)
Christoph M. Hoffmann, Robert Joan-Arinyo
Distributed maintenance of multiple product views. Comput. Aided Des. 32 (7) (2000)
Christoph M. Hoffmann, Bo Yuan
On Spatial Constraint Solving Approaches. Automated Deduction in Geometry (2000)
Cassiano Durand, Christoph M. Hoffmann
A Systematic Framework for Solving Geometric Constraints Analytically. J. Symb. Comput. 30 (5) (2000)
Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam
Planning Geometric Constraint Decomposition via Optimal Graph Transformations. AGTIVE (1999)
Vinod Kumar, D. Burns, Debasish Dutta, Christoph M. Hoffmann
A framework for object modeling. Comput. Aided Des. 31 (9) (1999)
Cassiano Durand, Christoph M. Hoffmann
Variational Constraints in 3D. Shape Modeling International (1999)
Jung-Hong Chuang, Christoph M. Hoffmann, Kun-Ming Ko, Wei-Chung Hwang
Adaptive polygonization of geometrically constrained surfaces. Vis. Comput. 14 (10) (1998)
Christoph M. Hoffmann, Young Jun Kim, Robert P. Winkler, James D. Walrath, Philip J. Emmerman
Visualization for situation awareness. Workshop on New Paradigms in Information Visualization and Manipulation (1998)
Christoph M. Hoffmann, Robert Joan-Arinyo
CAD and the product master model. Comput. Aided Des. 30 (11) (1998)
Christoph M. Hoffmann, Robert Joan-Arinyo
On user-defined features. Comput. Aided Des. 30 (5) (1998)
Christoph M. Hoffmann, Jarek Rossignac
Special issue: Solid modelling. Comput. Aided Des. 29 (2) (1997)
Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam
Finding Solvable Subsets of Constraint Graphs. CP (1997)
Ioannis Fudos, Christoph M. Hoffmann
A Graph-Constructive Approach to Solving Systems of Geometric Constraints. ACM Trans. Graph. 16 (2) (1997)
Christoph M. Hoffmann, Robert Joan-Arinyo
Symbolic Constraints in Constructive Geometric Constraint Solving. J. Symb. Comput. 23 (2/3) (1997)
Christoph M. Hoffmann
How Solid is Solid Modeling? WACG (1996)
Ioannis Fudos, Christoph M. Hoffmann
Correctness proof of a geometric constraint solver. Int. J. Comput. Geom. Appl. 6 (4) (1996)
Ioannis Fudos, Christoph M. Hoffmann
Constraint-based parametric conics for CAD. Comput. Aided Des. 28 (2) (1996)
Vasilis Capoyleas, Xiangping Chen, Christoph M. Hoffmann
Generic naming in generative, constraint-based design. Comput. Aided Des. 28 (1) (1996)
Christoph M. Hoffmann, Jarek Rossignac
A Road Map To Solid Modeling. IEEE Trans. Vis. Comput. Graph. 2 (1) (1996)
Christoph M. Hoffmann
Computational Geometry in C (J. O'Rourke). SIAM Rev. 37 (1) (1995)
William Bouma, Ioannis Fudos, Christoph M. Hoffmann, Jiazhen Cai, Robert Paige
Geometric constraint solver. Comput. Aided Des. 27 (6) (1995)
Christoph M. Hoffmann
EREP Project Overview. CAD Systems Development (1995)
Xiangping Chen, Christoph M. Hoffmann
Design compilation of feature-based and constraint-based CAD. Symposium on Solid Modeling and Applications (1995)
Xiangping Chen, Christoph M. Hoffmann
Towards feature attachment. Comput. Aided Des. 27 (9) (1995)
Xiangping Chen, Christoph M. Hoffmann
On editability of feature-based design. Comput. Aided Des. 27 (12) (1995)
Christoph M. Hoffmann, Pamela J. Vermeer
Validity Determination for MAT Surface Representation. IMA Conference on the Mathematics of Surfaces (1994)
Christoph M. Hoffmann
Implicit curves and surfaces in CAGD. IEEE Computer Graphics and Applications 13 (1) (1993)
Christoph M. Hoffmann, Robert Juan
Erep: An editable, high-level representation for geometric design and analysis. Geometric Modeling (1992)
Christoph M. Hoffmann, Jianhua Zhou
Some techniques for visualizing surfaces in four-dimensional space. Comput. Aided Des. 23 (1) (1991)
Christoph M. Hoffmann, Pamela J. Vermeer
Eliminating extraneous solutions in curve and surface operations. Int. J. Comput. Geom. Appl. 1 (1) (1991)
Christoph M. Hoffmann, Pamela J. Vermeer
Erratum - Eliminating extraneous solutions in curve and surface operations. Int. J. Comput. Geom. Appl. 1 (3) (1991)
Christoph M. Hoffmann
A dimensionality paradigm for surface interrogations. Comput. Aided Geom. Des. 7 (6) (1990)
Christoph M. Hoffmann, John E. Hopcroft, Michael Karasick
Robust set operations on polyhedral solids. IEEE Computer Graphics and Applications 9 (6) (1989)
Vijaya Chandru, Debasish Dutta, Christoph M. Hoffmann
On the geometry of Dupin cyclides. Vis. Comput. 5 (5) (1989)
Christoph M. Hoffmann
The Problems of Accuracy and Robustness in Geometric Computation. Computer 22 (3) (1989)
Jung-Hong Chuang, Christoph M. Hoffmann
On local implicit approximation and its applications. ACM Trans. Graph. 8 (4) (1989)
Chandrajit L. Bajaj, Christoph M. Hoffmann, Robert E. Lynch, John E. Hopcroft
Tracing surface intersections. Comput. Aided Geom. Des. 5 (4) (1988)
Christoph M. Hoffmann, John E. Hopcroft
The Geometry of Projective Blending Surfaces. Artif. Intell. 37 (1-3) (1988)
Christoph M. Hoffmann, John E. Hopcroft, Michael S. Karasick
Towards Implementing Robust Geometric Computations. SCG (1988)
Zvi Galil, Christoph M. Hoffmann, Eugene M. Luks, Claus-Peter Schnorr, Andreas Weber
An O(n³log n) deterministic and an O(n³) Las Vegs isomorphism test for trivalent graphs. J. ACM 34 (3) (1987)
Christoph M. Hoffmann, John E. Hopcroft
Simulation of physical systems from geometric models. IEEE J. Robotics Autom. 3 (3) (1987)
Christoph M. Hoffmann, John E. Hopcroft
Automatic surface generation in computer aided design. Vis. Comput. 1 (2) (1985)
Christoph M. Hoffmann, Michael J. O'Donnell, Robert Strandh
Implementation of an Interpreter for Abstract Equations. Softw. Pract. Exp. 15 (12) (1985)
Christoph M. Hoffmann, Michael J. O'Donnell
Implementation of an Interpreter for Abstract Equations. POPL (1984)
Christoph M. Hoffmann
A Note on Unique Decipherability. MFCS (1984)
Zvi Galil, Christoph M. Hoffmann, Eugene M. Luks, Claus-Peter Schnorr, Andreas Weber
An O(n^3 log n) Deterministic and an O(n^3) Probabilistic Isomorphism Test for Trivalent Graphs FOCS (1982)
Christoph M. Hoffmann, Michael J. O'Donnell
Programming with Equations. ACM Trans. Program. Lang. Syst. 4 (1) (1982)
Christoph M. Hoffmann
Subcomplete Generalizations of Graph Isomorphism. J. Comput. Syst. Sci. 25 (3) (1982)
Christoph M. Hoffmann, Michael J. O'Donnell
Pattern Matching in Trees. J. ACM 29 (1) (1982)
Christoph M. Hoffmann
Semantic Properties of Lucid's Compute Clause and its Compilation. Acta Informatica 13 (1980)
Christoph M. Hoffmann
Testing Isomorphism on Cone Graphs (Extended Abstract) STOC (1980)
Christoph M. Hoffmann, Michael J. O'Donnell
Interpreter Generation Using Tree Pattern Matching. POPL (1979)
Christoph M. Hoffmann
Design and Correctness of a Compiler for a Non-Procedural Language. Acta Informatica 9 (1978)
Christoph M. Hoffmann, Lawrence H. Landweber
A Completeness Theorem for Straight-Line Programs with Structured Variables. J. ACM 23 (1) (1976)
Christoph M. Hoffmann, Lawrence H. Landweber
Axiomatic Equivalence of Programs with Structured Variables SWAT (1974)