Christoph M. Hoffmann

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