| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Young Joon Ahn, Christoph M. Hoffmann |
Constraint-based LN curves.  |
Computer Aided Geometric Design  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao-Shan Gao, Christoph M. Hoffmann, Robert Joan-Arinyo |
Editorial message. |
Computer Aided Geometric Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Young Joon Ahn, Christoph M. Hoffmann |
Approximate convolution with pairs of cubic Bézier LN curves. |
Computer Aided Geometric Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jong-Hyuk Kim, Jung-Ju Choi, Christoph M. Hoffmann |
Pose space parameterization and style transfer of skin deformation. |
Journal of Visualization and Computer Animation |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Young Joon Ahn, Christoph M. Hoffmann, Yeon Soo Kim |
Curvature continuous offset approximation based on circle approximation using quadratic Bézier biarcs. |
Computer-Aided Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
Nonuniform sampled images, focus-plus-context, interactive visualization, antialiasing, remote visualization |
| 1 | Young Joon Ahn, Christoph M. Hoffmann |
Constraint-based LN-curves. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
LN-curves, MCAD, convolution, geometric constraints, CAGD, GPU programming |
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (eds.) |
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 |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Voicu Popescu, Christoph M. Hoffmann |
M10 - Realistic visualization for large-scale simulations. |
SC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (eds.) |
Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006 |
Reliable Implementation of Real Number Algorithms |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Voicu Popescu, Christoph M. Hoffmann |
Fidelity in visualizing large-scale simulations. |
Computer-Aided Design |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang |
Solving spatial basic geometric constraint configurations with locus intersection. |
Computer-Aided Design |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Meera Sitharam, Bo Yuan |
Making constraint solvers more usable: overconstraint problem. |
Computer-Aided Design |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Young J. Kim, Christoph M. Hoffmann |
Enhanced battlefield visualization for situation awareness. |
Computers & Graphics |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Voicu Popescu, Christoph M. Hoffmann, Sami Kilic, Mete Sozen, Scott Meador |
Producing High Quality Visualizations of Large-Scale Simulations. |
IEEE Visualization |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Ching-Shoei Chiang |
Variable-radius circles in cluster merging: II. Rotational clusters. |
Computer-Aided Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Ching-Shoei Chiang |
Variable-radius circles of cluster merging in geometric constraints: I. Translational clusters. |
Computer-Aided Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
locus intersection, parametric CAD, spatial basic configuration, geometric constraint solving |
| 1 | Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam |
Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms. |
J. Symb. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam |
Decomposition Plans for Geometric Constraint Systems, Part I: Performance Measures for CAD. |
J. Symb. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann |
D-Cubed's Dimensional Constraint Manager. |
J. Comput. Inf. Sci. Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann |
Robustness in Geometric Computations. |
J. Comput. Inf. Sci. Eng. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Ku-Jin Kim |
Towards valid parametric CAD models. |
Computer-Aided Design |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Cassiano Durand, Christoph M. Hoffmann |
A Systematic Framework for Solving Geometric Constraints Analytically. |
J. Symb. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Robert Joan-Arinyo |
Distributed maintenance of multiple product views. |
Computer-Aided Design |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pere Brunet, Christoph M. Hoffmann, Dieter Roller 0002 (eds.) |
CAD Tools and Algorithms for Product Design [Dagstuhl Seminar, November 1998] |
CAD Tools and Algorithms for Product Design |
2000 |
DBLP BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Bo Yuan |
On Spatial Constraint Solving Approaches. |
Automated Deduction in Geometry |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinod Kumar, D. Burns, Debasish Dutta, Christoph M. Hoffmann |
A framework for object modeling. |
Computer-Aided Design |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam |
Planning Geometric Constraint Decomposition via Optimal Graph Transformations. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Cassiano Durand, Christoph M. Hoffmann |
Variational Constraints in 3D. |
Shape Modeling International |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jung-Hong Chuang, Christoph M. Hoffmann, Kun-Ming Ko, Wei-Chung Hwang |
Adaptive polygonization of geometrically constrained surfaces. |
The Visual Computer |
1998 |
DBLP DOI BibTeX RDF |
Constrained surfaces, Exact representation, Rendering, Polygonization |
| 1 | Christoph M. Hoffmann, Robert Joan-Arinyo |
On user-defined features. |
Computer-Aided Design |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Robert Joan-Arinyo |
CAD and the product master model. |
Computer-Aided Design |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Robert Joan-Arinyo |
Symbolic Constraints in Constructive Geometric Constraint Solving. |
J. Symb. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis Fudos, Christoph M. Hoffmann |
A Graph-Constructive Approach to Solving Systems of Geometric Constraints. |
ACM Trans. Graph. |
1997 |
DBLP DOI BibTeX RDF |
graph-based constraint solvers, underconstrained systems, complexity, constraint solving, geometric constraints |
| 1 | Christoph M. Hoffmann, Jarek Rossignac |
Special issue: Solid modelling. |
Computer-Aided Design |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam |
Finding Solvable Subsets of Constraint Graphs. |
CP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis Fudos, Christoph M. Hoffmann |
Constraint-based parametric conics for CAD. |
Computer-Aided Design |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasilis Capoyleas, Xiangping Chen, Christoph M. Hoffmann |
Generic naming in generative, constraint-based design. |
Computer-Aided Design |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Jarek Rossignac |
A Road Map To Solid Modeling. |
IEEE Trans. Vis. Comput. Graph. |
1996 |
DBLP DOI BibTeX RDF |
solid representations, conversion between solid representations, constraint-based design, Solid modeling, feature-based design |
| 1 | Ioannis Fudos, Christoph M. Hoffmann |
Correctness proof of a geometric constraint solver. |
Int. J. Comput. Geometry Appl. |
1996 |
DBLP BibTeX RDF |
|
| 1 | Christoph M. Hoffmann |
How Solid is Solid Modeling? |
WACG |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangping Chen, Christoph M. Hoffmann |
Towards feature attachment. |
Computer-Aided Design |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangping Chen, Christoph M. Hoffmann |
On editability of feature-based design. |
Computer-Aided Design |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | William Bouma, Ioannis Fudos, Christoph M. Hoffmann, Jiazhen Cai, Robert Paige |
Geometric constraint solver. |
Computer-Aided Design |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann |
EREP Project Overview. |
CAD Systems Development |
1995 |
DBLP BibTeX RDF |
|
| 1 | Xiangping Chen, Christoph M. Hoffmann |
Design compilation of feature-based and constraint-based CAD. |
Symposium on Solid Modeling and Applications |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Pamela J. Vermeer |
Validity Determination for MAT Surface Representation. |
IMA Conference on the Mathematics of Surfaces |
1994 |
DBLP BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Robert Juan |
Erep: An editable, high-level representation for geometric design and analysis. |
Geometric Modeling |
1992 |
DBLP BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Jianhua Zhou |
Some techniques for visualizing surfaces in four-dimensional space. |
Computer-Aided Design |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Pamela J. Vermeer |
Eliminating extraneous solutions in curve and surface operations. |
Int. J. Comput. Geometry Appl. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Pamela J. Vermeer |
Erratum - Eliminating extraneous solutions in curve and surface operations. |
Int. J. Comput. Geometry Appl. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Christoph M. Hoffmann |
A dimensionality paradigm for surface interrogations. |
Computer Aided Geometric Design |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijaya Chandru, Debasish Dutta, Christoph M. Hoffmann |
On the geometry of Dupin cyclides. |
The Visual Computer |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jung-Hong Chuang, Christoph M. Hoffmann |
On local implicit approximation and its applications. |
ACM Trans. Graph. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann |
The Problems of Accuracy and Robustness in Geometric Computation. |
IEEE Computer |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandrajit L. Bajaj, Christoph M. Hoffmann, Robert E. Lynch, John E. Hopcroft |
Tracing surface intersections. |
Computer Aided Geometric Design |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, John E. Hopcroft |
The Geometry of Projective Blending Surfaces. |
Artif. Intell. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, John E. Hopcroft, Michael S. Karasick |
Towards Implementing Robust Geometric Computations. |
Symposium on Computational Geometry |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, John E. Hopcroft |
Automatic surface generation in computer aided design. |
The Visual Computer |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Michael J. O'Donnell, Robert Strandh |
Implementation of an Interpreter for Abstract Equations. |
Softw., Pract. Exper. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann |
A Note on Unique Decipherability. |
MFCS |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Michael J. O'Donnell |
Implementation of an Interpreter for Abstract Equations. |
POPL |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Michael J. O'Donnell |
Programming with Equations. |
ACM Trans. Program. Lang. Syst. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Michael J. O'Donnell |
Pattern Matching in Trees. |
J. ACM |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann |
Subcomplete Generalizations of Graph Isomorphism. |
J. Comput. Syst. Sci. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann |
Group-Theoretic Algorithms and Graph Isomorphism |
|
1982 |
DOI RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann |
Semantic Properties of Lucid's Compute Clause and its Compilation. |
Acta Inf. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann |
Testing Isomorphism on Cone Graphs (Extended Abstract) |
STOC |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Michael J. O'Donnell |
Interpreter Generation Using Tree Pattern Matching. |
POPL |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann |
Design and Correctness of a Compiler for a Non-Procedural Language. |
Acta Inf. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Lawrence H. Landweber |
A Completeness Theorem for Straight-Line Programs with Structured Variables. |
J. ACM |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Hoffmann, Lawrence H. Landweber |
Axiomatic Equivalence of Programs with Structured Variables |
SWAT (FOCS) |
1974 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")