2008 | ||
---|---|---|
67 | Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers Springer 2008 | |
2006 | ||
66 | Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 | |
65 | 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 | |
64 | 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 | |
2004 | ||
63 | 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) | |
62 | Christoph M. Hoffmann, Meera Sitharam, Bo Yuan: Making constraint solvers more usable: overconstraint problem. Computer-Aided Design 36(4): 377-399 (2004) | |
2003 | ||
61 | Young J. Kim, Christoph M. Hoffmann: Enhanced battlefield visualization for situation awareness. Computers & Graphics 27(6): 873-885 (2003) | |
2002 | ||
60 | 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 | |
59 | 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) | |
58 | Christoph M. Hoffmann, Ching-Shoei Chiang: Variable-radius circles in cluster merging: II. Rotational clusters. Computer-Aided Design 34(11): 799-805 (2002) | |
2001 | ||
57 | Christoph M. Hoffmann, Ku-Jin Kim: Towards valid parametric CAD models. Computer-Aided Design 33(1): 81-90 (2001) | |
56 | Christoph M. Hoffmann: D-Cubed's Dimensional Constraint Manager. J. Comput. Inf. Sci. Eng. 1(1): 100-101 (2001) | |
55 | Christoph M. Hoffmann: Robustness in Geometric Computations. J. Comput. Inf. Sci. Eng. 1(2): 143-155 (2001) | |
54 | 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) | |
53 | 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 | ||
52 | Pere Brunet, Christoph M. Hoffmann, Dieter Roller: CAD Tools and Algorithms for Product Design [Dagstuhl Seminar, November 1998] Springer 2000 | |
51 | Christoph M. Hoffmann, Bo Yuan: On Spatial Constraint Solving Approaches. Automated Deduction in Geometry 2000: 1-15 | |
50 | Christoph M. Hoffmann, Robert Joan-Arinyo: Distributed maintenance of multiple product views. Computer-Aided Design 32(7): 421-431 (2000) | |
49 | Cassiano Durand, Christoph M. Hoffmann: A Systematic Framework for Solving Geometric Constraints Analytically. J. Symb. Comput. 30(5): 493-519 (2000) | |
1999 | ||
48 | Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam: Planning Geometric Constraint Decomposition via Optimal Graph Transformations. AGTIVE 1999: 309-324 | |
47 | Cassiano Durand, Christoph M. Hoffmann: Variational Constraints in 3D. Shape Modeling International 1999: 90-97 | |
46 | Vinod Kumar, D. Burns, Debasish Dutta, Christoph M. Hoffmann: A framework for object modeling. Computer-Aided Design 31(9): 541-556 (1999) | |
1998 | ||
45 | Christoph M. Hoffmann, Robert Joan-Arinyo: CAD and the product master model. Computer-Aided Design 30(11): 905-918 (1998) | |
44 | Christoph M. Hoffmann, Robert Joan-Arinyo: On user-defined features. Computer-Aided Design 30(5): 321-332 (1998) | |
43 | 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 | ||
42 | Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam: Finding Solvable Subsets of Constraint Graphs. CP 1997: 463-477 | |
41 | Ioannis Fudos, Christoph M. Hoffmann: A Graph-Constructive Approach to Solving Systems of Geometric Constraints. ACM Trans. Graph. 16(2): 179-216 (1997) | |
40 | Christoph M. Hoffmann, Jarek Rossignac: Special issue: Solid modelling. Computer-Aided Design 29(2): 87 (1997) | |
39 | Christoph M. Hoffmann, Robert Joan-Arinyo: Symbolic Constraints in Constructive Geometric Constraint Solving. J. Symb. Comput. 23(2/3): 287-299 (1997) | |
1996 | ||
38 | Christoph M. Hoffmann: How Solid is Solid Modeling? WACG 1996: 1-8 | |
37 | Vasilis Capoyleas, Xiangping Chen, Christoph M. Hoffmann: Generic naming in generative, constraint-based design. Computer-Aided Design 28(1): 17-26 (1996) | |
36 | Ioannis Fudos, Christoph M. Hoffmann: Constraint-based parametric conics for CAD. Computer-Aided Design 28(2): 91-100 (1996) | |
35 | Christoph M. Hoffmann, Jarek Rossignac: A Road Map To Solid Modeling. IEEE Trans. Vis. Comput. Graph. 2(1): 3-10 (1996) | |
34 | Ioannis Fudos, Christoph M. Hoffmann: Correctness proof of a geometric constraint solver. Int. J. Comput. Geometry Appl. 6(4): 405-420 (1996) | |
1995 | ||
33 | Christoph M. Hoffmann: EREP Project Overview. CAD Systems Development 1995: 32-40 | |
32 | Xiangping Chen, Christoph M. Hoffmann: Design compilation of feature-based and constraint-based CAD. Symposium on Solid Modeling and Applications 1995: 13-19 | |
31 | Xiangping Chen, Christoph M. Hoffmann: On editability of feature-based design. Computer-Aided Design 27(12): 905-914 (1995) | |
30 | William Bouma, Ioannis Fudos, Christoph M. Hoffmann, Jiazhen Cai, Robert Paige: Geometric constraint solver. Computer-Aided Design 27(6): 487-501 (1995) | |
29 | Xiangping Chen, Christoph M. Hoffmann: Towards feature attachment. Computer-Aided Design 27(9): 695-702 (1995) | |
1994 | ||
28 | Christoph M. Hoffmann, Pamela J. Vermeer: Validity Determination for MAT Surface Representation. IMA Conference on the Mathematics of Surfaces 1994: 249-265 | |
1992 | ||
27 | Christoph M. Hoffmann, Robert Juan: Erep: An editable, high-level representation for geometric design and analysis. Geometric Modeling 1992: 129-164 | |
1991 | ||
26 | Christoph M. Hoffmann, Jianhua Zhou: Some techniques for visualizing surfaces in four-dimensional space. Computer-Aided Design 23(1): 83-91 (1991) | |
25 | Christoph M. Hoffmann, Pamela J. Vermeer: Eliminating extraneous solutions in curve and surface operations. Int. J. Comput. Geometry Appl. 1(1): 47-66 (1991) | |
24 | 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 | ||
23 | Christoph M. Hoffmann: A dimensionality paradigm for surface interrogations. Computer Aided Geometric Design 7(6): 517-532 (1990) | |
1989 | ||
22 | Jung-Hong Chuang, Christoph M. Hoffmann: On local implicit approximation and its applications. ACM Trans. Graph. 8(4): 298-324 (1989) | |
21 | Christoph M. Hoffmann: The Problems of Accuracy and Robustness in Geometric Computation. IEEE Computer 22(3): 31-41 (1989) | |
20 | Vijaya Chandru, Debasish Dutta, Christoph M. Hoffmann: On the geometry of Dupin cyclides. The Visual Computer 5(5): 277-290 (1989) | |
1988 | ||
19 | Christoph M. Hoffmann, John E. Hopcroft, Michael S. Karasick: Towards Implementing Robust Geometric Computations. Symposium on Computational Geometry 1988: 106-117 | |
18 | Christoph M. Hoffmann, John E. Hopcroft: The Geometry of Projective Blending Surfaces. Artif. Intell. 37(1-3): 357-376 (1988) | |
17 | Chandrajit L. Bajaj, Christoph M. Hoffmann, Robert E. Lynch, John E. Hopcroft: Tracing surface intersections. Computer Aided Geometric Design 5(4): 285-307 (1988) | |
1987 | ||
16 | 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 | ||
15 | Christoph M. Hoffmann, Michael J. O'Donnell, Robert Strandh: Implementation of an Interpreter for Abstract Equations. Softw., Pract. Exper. 15(12): 1185-1204 (1985) | |
14 | Christoph M. Hoffmann, John E. Hopcroft: Automatic surface generation in computer aided design. The Visual Computer 1(2): 92-100 (1985) | |
1984 | ||
13 | Christoph M. Hoffmann: A Note on Unique Decipherability. MFCS 1984: 50-63 | |
12 | Christoph M. Hoffmann, Michael J. O'Donnell: Implementation of an Interpreter for Abstract Equations. POPL 1984: 111-121 | |
1982 | ||
11 | Christoph M. Hoffmann: Group-Theoretic Algorithms and Graph Isomorphism Springer 1982 | |
10 | 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 | |
9 | Christoph M. Hoffmann, Michael J. O'Donnell: Programming with Equations. ACM Trans. Program. Lang. Syst. 4(1): 83-112 (1982) | |
8 | Christoph M. Hoffmann, Michael J. O'Donnell: Pattern Matching in Trees. J. ACM 29(1): 68-95 (1982) | |
7 | Christoph M. Hoffmann: Subcomplete Generalizations of Graph Isomorphism. J. Comput. Syst. Sci. 25(3): 332-359 (1982) | |
1980 | ||
6 | Christoph M. Hoffmann: Testing Isomorphism on Cone Graphs (Extended Abstract) STOC 1980: 244-251 | |
5 | Christoph M. Hoffmann: Semantic Properties of Lucid's Compute Clause and its Compilation. Acta Inf. 13: 9-20 (1980) | |
1979 | ||
4 | Christoph M. Hoffmann, Michael J. O'Donnell: Interpreter Generation Using Tree Pattern Matching. POPL 1979: 169-179 | |
1978 | ||
3 | Christoph M. Hoffmann: Design and Correctness of a Compiler for a Non-Procedural Language. Acta Inf. 9: 217-241 (1978) | |
1976 | ||
2 | Christoph M. Hoffmann, Lawrence H. Landweber: A Completeness Theorem for Straight-Line Programs with Structured Variables. J. ACM 23(1): 203-220 (1976) | |
1974 | ||
1 | Christoph M. Hoffmann, Lawrence H. Landweber: Axiomatic Equivalence of Programs with Structured Variables FOCS 1974: 78-83 |