Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Christoph M. Hoffmann
2010 – today
- 2012
[j56]Xiao-Shan Gao, Christoph M. Hoffmann, Robert Joan-Arinyo: Editorial message. Computer Aided Geometric Design 29(1): 1 (2012)
[j55]Young Joon Ahn, Christoph M. Hoffmann: Constraint-based LN curves. Computer Aided Geometric Design 29(1): 30-40 (2012)
[j54]Ching-Shoei Chiang, Christoph M. Hoffmann, Paul Rosen: A generalized Malfatti problem. Comput. Geom. 45(8): 425-435 (2012)
[j53]Young Joon Ahn, Christoph M. Hoffmann, Paul Rosen: A note on circle packing. Journal of Zhejiang University - Science C 13(8): 559-564 (2012)- 2011
[j52]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)
[j51]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)
[j50]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)- 2010
[j49]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)
[j48]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)
[c22]
2000 – 2009
- 2008
[j47]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)
[e3]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- 2006
[j46]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)
[c21]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
[c20]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
[c19]Voicu Popescu, Christoph M. Hoffmann: M10 - Realistic visualization for large-scale simulations. SC 2006: 224
[e2]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- 2005
[j45]Voicu Popescu, Christoph M. Hoffmann: Fidelity in visualizing large-scale simulations. Computer-Aided Design 37(1): 99-107 (2005)- 2004
[j44]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)
[j43]Christoph M. Hoffmann, Meera Sitharam, Bo Yuan: Making constraint solvers more usable: overconstraint problem. Computer-Aided Design 36(4): 377-399 (2004)- 2003
[j42]Young J. Kim, Christoph M. Hoffmann: Enhanced battlefield visualization for situation awareness. Computers & Graphics 27(6): 873-885 (2003)
[c18]Voicu Popescu, Christoph M. Hoffmann, Sami Kilic, Mete Sozen, Scott Meador: Producing High Quality Visualizations of Large-Scale Simulations. IEEE Visualization 2003: 575-580- 2002
[j41]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)
[j40]Christoph M. Hoffmann, Ching-Shoei Chiang: Variable-radius circles in cluster merging: II. Rotational clusters. Computer-Aided Design 34(11): 799-805 (2002)
[c17]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- 2001
[j39]Christoph M. Hoffmann, Ku-Jin Kim: Towards valid parametric CAD models. Computer-Aided Design 33(1): 81-90 (2001)
[j38]Christoph M. Hoffmann: D-Cubed's Dimensional Constraint Manager. J. Comput. Inf. Sci. Eng. 1(1): 100-101 (2001)
[j37]Christoph M. Hoffmann: Robustness in Geometric Computations. J. Comput. Inf. Sci. Eng. 1(2): 143-155 (2001)
[j36]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)
[j35]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)- 2000
[j34]Christoph M. Hoffmann, Robert Joan-Arinyo: Distributed maintenance of multiple product views. Computer-Aided Design 32(7): 421-431 (2000)
[j33]Cassiano Durand, Christoph M. Hoffmann: A Systematic Framework for Solving Geometric Constraints Analytically. J. Symb. Comput. 30(5): 493-519 (2000)
[c16]Christoph M. Hoffmann, Bo Yuan: On Spatial Constraint Solving Approaches. Automated Deduction in Geometry 2000: 1-15
[e1]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
1990 – 1999
- 1999
[j32]Vinod Kumar, D. Burns, Debasish Dutta, Christoph M. Hoffmann: A framework for object modeling. Computer-Aided Design 31(9): 541-556 (1999)
[c15]Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam: Planning Geometric Constraint Decomposition via Optimal Graph Transformations. AGTIVE 1999: 309-324
[c14]Cassiano Durand, Christoph M. Hoffmann: Variational Constraints in 3D. Shape Modeling International 1999: 90-97- 1998
[j31]Christoph M. Hoffmann, Robert Joan-Arinyo: On user-defined features. Computer-Aided Design 30(5): 321-332 (1998)
[j30]Christoph M. Hoffmann, Robert Joan-Arinyo: CAD and the product master model. Computer-Aided Design 30(11): 905-918 (1998)
[j29]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)- 1997
[j28]Christoph M. Hoffmann, Jarek Rossignac: Special issue: Solid modelling. Computer-Aided Design 29(2): 87 (1997)
[j27]Christoph M. Hoffmann, Robert Joan-Arinyo: Symbolic Constraints in Constructive Geometric Constraint Solving. J. Symb. Comput. 23(2/3): 287-299 (1997)
[j26]Ioannis Fudos, Christoph M. Hoffmann: A Graph-Constructive Approach to Solving Systems of Geometric Constraints. ACM Trans. Graph. 16(2): 179-216 (1997)
[c13]Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam: Finding Solvable Subsets of Constraint Graphs. CP 1997: 463-477- 1996
[j25]Vasilis Capoyleas, Xiangping Chen, Christoph M. Hoffmann: Generic naming in generative, constraint-based design. Computer-Aided Design 28(1): 17-26 (1996)
[j24]Ioannis Fudos, Christoph M. Hoffmann: Constraint-based parametric conics for CAD. Computer-Aided Design 28(2): 91-100 (1996)
[j23]Ioannis Fudos, Christoph M. Hoffmann: Correctness proof of a geometric constraint solver. Int. J. Comput. Geometry Appl. 6(4): 405-420 (1996)
[j22]Christoph M. Hoffmann, Jarek Rossignac: A Road Map To Solid Modeling. IEEE Trans. Vis. Comput. Graph. 2(1): 3-10 (1996)
[c12]- 1995
[j21]William Bouma, Ioannis Fudos, Christoph M. Hoffmann, Jiazhen Cai, Robert Paige: Geometric constraint solver. Computer-Aided Design 27(6): 487-501 (1995)
[j20]Xiangping Chen, Christoph M. Hoffmann: Towards feature attachment. Computer-Aided Design 27(9): 695-702 (1995)
[j19]Xiangping Chen, Christoph M. Hoffmann: On editability of feature-based design. Computer-Aided Design 27(12): 905-914 (1995)
[c11]
[c10]Xiangping Chen, Christoph M. Hoffmann: Design compilation of feature-based and constraint-based CAD. Symposium on Solid Modeling and Applications 1995: 13-19- 1994
[c9]Christoph M. Hoffmann, Pamela J. Vermeer: Validity Determination for MAT Surface Representation. IMA Conference on the Mathematics of Surfaces 1994: 249-265- 1992
[c8]Christoph M. Hoffmann, Robert Juan: Erep: An editable, high-level representation for geometric design and analysis. Geometric Modeling 1992: 129-164- 1991
[j18]Christoph M. Hoffmann, Jianhua Zhou: Some techniques for visualizing surfaces in four-dimensional space. Computer-Aided Design 23(1): 83-91 (1991)
[j17]Christoph M. Hoffmann, Pamela J. Vermeer: Eliminating extraneous solutions in curve and surface operations. Int. J. Comput. Geometry Appl. 1(1): 47-66 (1991)
[j16]Christoph M. Hoffmann, Pamela J. Vermeer: Erratum - Eliminating extraneous solutions in curve and surface operations. Int. J. Comput. Geometry Appl. 1(3): 345 (1991)- 1990
[j15]Christoph M. Hoffmann: A dimensionality paradigm for surface interrogations. Computer Aided Geometric Design 7(6): 517-532 (1990)
1980 – 1989
- 1989
[j14]Christoph M. Hoffmann: The Problems of Accuracy and Robustness in Geometric Computation. IEEE Computer 22(3): 31-41 (1989)
[j13]Jung-Hong Chuang, Christoph M. Hoffmann: On local implicit approximation and its applications. ACM Trans. Graph. 8(4): 298-324 (1989)
[j12]Vijaya Chandru, Debasish Dutta, Christoph M. Hoffmann: On the geometry of Dupin cyclides. The Visual Computer 5(5): 277-290 (1989)- 1988
[j11]Christoph M. Hoffmann, John E. Hopcroft: The Geometry of Projective Blending Surfaces. Artif. Intell. 37(1-3): 357-376 (1988)
[j10]Chandrajit L. Bajaj, Christoph M. Hoffmann, Robert E. Lynch, John E. Hopcroft: Tracing surface intersections. Computer Aided Geometric Design 5(4): 285-307 (1988)
[c7]Christoph M. Hoffmann, John E. Hopcroft, Michael S. Karasick: Towards Implementing Robust Geometric Computations. Symposium on Computational Geometry 1988: 106-117- 1987
[j9]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)- 1985
[j8]Christoph M. Hoffmann, Michael J. O'Donnell, Robert Strandh: Implementation of an Interpreter for Abstract Equations. Softw., Pract. Exper. 15(12): 1185-1204 (1985)
[j7]Christoph M. Hoffmann, John E. Hopcroft: Automatic surface generation in computer aided design. The Visual Computer 1(2): 92-100 (1985)- 1984
[c6]
[c5]Christoph M. Hoffmann, Michael J. O'Donnell: Implementation of an Interpreter for Abstract Equations. POPL 1984: 111-121- 1982
[b1]Christoph M. Hoffmann: Group-Theoretic Algorithms and Graph Isomorphism. Lecture Notes in Computer Science 136, Springer 1982, ISBN 3-540-11493-9
[j6]
[j5]Christoph M. Hoffmann: Subcomplete Generalizations of Graph Isomorphism. J. Comput. Syst. Sci. 25(3): 332-359 (1982)
[j4]Christoph M. Hoffmann, Michael J. O'Donnell: Programming with Equations. ACM Trans. Program. Lang. Syst. 4(1): 83-112 (1982)
[c4]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- 1980
[j3]Christoph M. Hoffmann: Semantic Properties of Lucid's Compute Clause and its Compilation. Acta Inf. 13: 9-20 (1980)
[c3]
1970 – 1979
- 1979
[c2]Christoph M. Hoffmann, Michael J. O'Donnell: Interpreter Generation Using Tree Pattern Matching. POPL 1979: 169-179- 1978
[j2]Christoph M. Hoffmann: Design and Correctness of a Compiler for a Non-Procedural Language. Acta Inf. 9: 217-241 (1978)- 1976
[j1]Christoph M. Hoffmann, Lawrence H. Landweber: A Completeness Theorem for Straight-Line Programs with Structured Variables. J. ACM 23(1): 203-220 (1976)- 1974
[c1]Christoph M. Hoffmann, Lawrence H. Landweber: Axiomatic Equivalence of Programs with Structured Variables. SWAT (FOCS) 1974: 78-83
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:01 CEST by the dblp team



