 | 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 |
