Christoph M. Hoffmann

Xiao-Shan Gao, Christoph M. Hoffmann, Robert Joan-Arinyo: Editorial message. Computer Aided Geometric Design 29(1): 1 (2012)

Young Joon Ahn, Christoph M. Hoffmann: Constraint-based LN curves. Computer Aided Geometric Design 29(1): 30-40 (2012)

Ching-Shoei Chiang, Christoph M. Hoffmann, Paul Rosen: A generalized Malfatti problem. Comput. Geom. 45(8): 425-435 (2012)

Young Joon Ahn, Christoph M. Hoffmann, Paul Rosen: A note on circle packing. Journal of Zhejiang University - Science C 13(8): 559-564 (2012)

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 43(8): 1011-1017 (2011)

Young Joon Ahn, Christoph M. Hoffmann: Approximate convolution with pairs of cubic Bézier LN curves. Computer Aided Geometric Design 28(6): 357-367 (2011)

Jong-Hyuk Kim, Jung-Ju Choi, Christoph M. Hoffmann: Pose space parameterization and style transfer of skin deformation. Journal of Visualization and Computer Animation 22(6): 511-518 (2011)

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): 777-790 (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): 1235-1242 (2010)

Young Joon Ahn, Christoph M. Hoffmann: Constraint-based LN-curves. SAC 2010: 1242-1246

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): 937-947 (2008)

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. Lecture Notes in Computer Science 5045, Springer 2008, isbn 978-3-540-85520-0

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): 033002 (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

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

Voicu Popescu, Christoph M. Hoffmann: M10 - Realistic visualization for large-scale simulations. SC 2006: 224

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (Eds.): Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006. Dagstuhl Seminar Proceedings 06021, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Voicu Popescu, Christoph M. Hoffmann: Fidelity in visualizing large-scale simulations. Computer-Aided Design 37(1): 99-107 (2005)

Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang: Solving spatial basic geometric constraint configurations with locus intersection. Computer-Aided Design 36(2): 111-122 (2004)

Christoph M. Hoffmann, Meera Sitharam, Bo Yuan: Making constraint solvers more usable: overconstraint problem. Computer-Aided Design 36(4): 377-399 (2004)

Young J. Kim, Christoph M. Hoffmann: Enhanced battlefield visualization for situation awareness. Computers & Graphics 27(6): 873-885 (2003)

Voicu Popescu, Christoph M. Hoffmann, Sami Kilic, Mete Sozen, Scott Meador: Producing High Quality Visualizations of Large-Scale Simulations. IEEE Visualization 2003: 575-580

Christoph M. Hoffmann, Ching-Shoei Chiang: Variable-radius circles of cluster merging in geometric constraints: I. Translational clusters. Computer-Aided Design 34(11): 787-797 (2002)

Christoph M. Hoffmann, Ching-Shoei Chiang: Variable-radius circles in cluster merging: II. Rotational clusters. Computer-Aided Design 34(11): 799-805 (2002)

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: 95-104

Christoph M. Hoffmann, Ku-Jin Kim: Towards valid parametric CAD models. Computer-Aided Design 33(1): 81-90 (2001)

Christoph M. Hoffmann: D-Cubed's Dimensional Constraint Manager. J. Comput. Inf. Sci. Eng. 1(1): 100-101 (2001)

Christoph M. Hoffmann: Robustness in Geometric Computations. J. Comput. Inf. Sci. Eng. 1(2): 143-155 (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): 367-408 (2001)

Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam: Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms. J. Symb. Comput. 31(4): 409-427 (2001)

Christoph M. Hoffmann, Robert Joan-Arinyo: Distributed maintenance of multiple product views. Computer-Aided Design 32(7): 421-431 (2000)

Cassiano Durand, Christoph M. Hoffmann: A Systematic Framework for Solving Geometric Constraints Analytically. J. Symb. Comput. 30(5): 493-519 (2000)

Christoph M. Hoffmann, Bo Yuan: On Spatial Constraint Solving Approaches. Automated Deduction in Geometry 2000: 1-15

Pere Brunet, Christoph M. Hoffmann, Dieter Roller (Eds.): CAD Tools and Algorithms for Product Design [Dagstuhl Seminar, November 1998]. Springer 2000, isbn 3-540-66204-9

Vinod Kumar, D. Burns, Debasish Dutta, Christoph M. Hoffmann: A framework for object modeling. Computer-Aided Design 31(9): 541-556 (1999)

Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam: Planning Geometric Constraint Decomposition via Optimal Graph Transformations. AGTIVE 1999: 309-324

Cassiano Durand, Christoph M. Hoffmann: Variational Constraints in 3D. Shape Modeling International 1999: 90-97

Christoph M. Hoffmann, Robert Joan-Arinyo: On user-defined features. Computer-Aided Design 30(5): 321-332 (1998)

Christoph M. Hoffmann, Robert Joan-Arinyo: CAD and the product master model. Computer-Aided Design 30(11): 905-918 (1998)

Jung-Hong Chuang, Christoph M. Hoffmann, Kun-Ming Ko, Wei-Chung Hwang: Adaptive polygonization of geometrically constrained surfaces. The Visual Computer 14(10): 455-470 (1998)

Christoph M. Hoffmann, Jarek Rossignac: Special issue: Solid modelling. Computer-Aided Design 29(2): 87 (1997)

Christoph M. Hoffmann, Robert Joan-Arinyo: Symbolic Constraints in Constructive Geometric Constraint Solving. J. Symb. Comput. 23(2/3): 287-299 (1997)

Ioannis Fudos, Christoph M. Hoffmann: A Graph-Constructive Approach to Solving Systems of Geometric Constraints. ACM Trans. Graph. 16(2): 179-216 (1997)

Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam: Finding Solvable Subsets of Constraint Graphs. CP 1997: 463-477

Vasilis Capoyleas, Xiangping Chen, Christoph M. Hoffmann: Generic naming in generative, constraint-based design. Computer-Aided Design 28(1): 17-26 (1996)

Ioannis Fudos, Christoph M. Hoffmann: Constraint-based parametric conics for CAD. Computer-Aided Design 28(2): 91-100 (1996)

Ioannis Fudos, Christoph M. Hoffmann: Correctness proof of a geometric constraint solver. Int. J. Comput. Geometry Appl. 6(4): 405-420 (1996)

Christoph M. Hoffmann, Jarek Rossignac: A Road Map To Solid Modeling. IEEE Trans. Vis. Comput. Graph. 2(1): 3-10 (1996)

Christoph M. Hoffmann: How Solid is Solid Modeling? WACG 1996: 1-8

William Bouma, Ioannis Fudos, Christoph M. Hoffmann, Jiazhen Cai, Robert Paige: Geometric constraint solver. Computer-Aided Design 27(6): 487-501 (1995)

Xiangping Chen, Christoph M. Hoffmann: Towards feature attachment. Computer-Aided Design 27(9): 695-702 (1995)

Xiangping Chen, Christoph M. Hoffmann: On editability of feature-based design. Computer-Aided Design 27(12): 905-914 (1995)

Christoph M. Hoffmann: EREP Project Overview. CAD Systems Development 1995: 32-40

Xiangping Chen, Christoph M. Hoffmann: Design compilation of feature-based and constraint-based CAD. Symposium on Solid Modeling and Applications 1995: 13-19

Christoph M. Hoffmann, Pamela J. Vermeer: Validity Determination for MAT Surface Representation. IMA Conference on the Mathematics of Surfaces 1994: 249-265

Christoph M. Hoffmann, Robert Juan: Erep: An editable, high-level representation for geometric design and analysis. Geometric Modeling 1992: 129-164

Christoph M. Hoffmann, Jianhua Zhou: Some techniques for visualizing surfaces in four-dimensional space. Computer-Aided Design 23(1): 83-91 (1991)

Christoph M. Hoffmann, Pamela J. Vermeer: Eliminating extraneous solutions in curve and surface operations. Int. J. Comput. Geometry Appl. 1(1): 47-66 (1991)

Christoph M. Hoffmann, Pamela J. Vermeer: Erratum - Eliminating extraneous solutions in curve and surface operations. Int. J. Comput. Geometry Appl. 1(3): 345 (1991)

Christoph M. Hoffmann: A dimensionality paradigm for surface interrogations. Computer Aided Geometric Design 7(6): 517-532 (1990)

Christoph M. Hoffmann: The Problems of Accuracy and Robustness in Geometric Computation. IEEE Computer 22(3): 31-41 (1989)

Jung-Hong Chuang, Christoph M. Hoffmann: On local implicit approximation and its applications. ACM Trans. Graph. 8(4): 298-324 (1989)

Vijaya Chandru, Debasish Dutta, Christoph M. Hoffmann: On the geometry of Dupin cyclides. The Visual Computer 5(5): 277-290 (1989)

Christoph M. Hoffmann, John E. Hopcroft: The Geometry of Projective Blending Surfaces. Artif. Intell. 37(1-3): 357-376 (1988)

Chandrajit L. Bajaj, Christoph M. Hoffmann, Robert E. Lynch, John E. Hopcroft: Tracing surface intersections. Computer Aided Geometric Design 5(4): 285-307 (1988)

Christoph M. Hoffmann, John E. Hopcroft, Michael S. Karasick: Towards Implementing Robust Geometric Computations. Symposium on Computational Geometry 1988: 106-117

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): 513-531 (1987)

Christoph M. Hoffmann, Michael J. O'Donnell, Robert Strandh: Implementation of an Interpreter for Abstract Equations. Softw., Pract. Exper. 15(12): 1185-1204 (1985)

Christoph M. Hoffmann, John E. Hopcroft: Automatic surface generation in computer aided design. The Visual Computer 1(2): 92-100 (1985)

Christoph M. Hoffmann: A Note on Unique Decipherability. MFCS 1984: 50-63

Christoph M. Hoffmann, Michael J. O'Donnell: Implementation of an Interpreter for Abstract Equations. POPL 1984: 111-121

Christoph M. Hoffmann: Group-Theoretic Algorithms and Graph Isomorphism. Lecture Notes in Computer Science 136, Springer 1982, isbn 3-540-11493-9

Christoph M. Hoffmann, Michael J. O'Donnell: Pattern Matching in Trees. J. ACM 29(1): 68-95 (1982)

Christoph M. Hoffmann: Subcomplete Generalizations of Graph Isomorphism. J. Comput. Syst. Sci. 25(3): 332-359 (1982)

Christoph M. Hoffmann, Michael J. O'Donnell: Programming with Equations. ACM Trans. Program. Lang. Syst. 4(1): 83-112 (1982)

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: 118-125

Christoph M. Hoffmann: Semantic Properties of Lucid's Compute Clause and its Compilation. Acta Inf. 13: 9-20 (1980)

Christoph M. Hoffmann: Testing Isomorphism on Cone Graphs (Extended Abstract). STOC 1980: 244-251

Christoph M. Hoffmann, Michael J. O'Donnell: Interpreter Generation Using Tree Pattern Matching. POPL 1979: 169-179

Christoph M. Hoffmann: Design and Correctness of a Compiler for a Non-Procedural Language. Acta Inf. 9: 217-241 (1978)

Christoph M. Hoffmann, Lawrence H. Landweber: A Completeness Theorem for Straight-Line Programs with Structured Variables. J. ACM 23(1): 203-220 (1976)

Christoph M. Hoffmann, Lawrence H. Landweber: Axiomatic Equivalence of Programs with Structured Variables. SWAT (FOCS) 1974: 78-83