Christoph M. Hoffmann Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Chandrajit L. Bajaj [17]
2William Bouma [30]
3Pere Brunet (Pere Brunet Crosa) [52]
4D. Burns [46]
5Jiazhen Cai [30]
6Vasilis Capoyleas [37]
7Vijay Chandru (Vijaya Chandru) [20]
8Xiangping Chen [29] [31] [32] [37]
9Ching-Shoei Chiang [58] [59]
10Jung-Hong Chuang [22] [43]
11Cassiano Durand [47] [49]
12Debasish Dutta [20] [46]
13Ioannis Fudos [30] [34] [36] [41]
14Zvi Galil [10] [16]
15Xiao-Shan Gao [60] [63]
16Peter Hertling [64] [65] [66] [67]
17John E. Hopcroft [14] [17] [18] [19]
18Wei-Chung Hwang [43]
19Robert Joan-Arinyo [39] [44] [45] [50]
20Robert Juan [27]
21Michael S. Karasick [19]
22Ku-Jin Kim [57]
23Young J. Kim [61]
24Kun-Ming Ko [43]
25Vinod Kumar [46]
26Lawrence H. Landweber [1] [2]
27Andrew Lomonosov [42] [48] [53] [54]
28Eugene M. Luks [10] [16]
29Wolfram Luther [64] [65] [66] [67]
30Robert E. Lynch [17]
31Michael J. O'Donnell [4] [8] [9] [12] [15]
32Robert Paige [30]
33Nathalie Revol [64] [65] [66] [67]
34Dieter Roller [52]
35Jarek Rossignac [35] [40]
36Claus-Peter Schnorr [10] [16]
37Meera Sitharam [42] [48] [53] [54] [62]
38Robert Strandh [15]
39Pamela J. Vermeer [24] [25] [28]
40Andreas Weber [10] [16]
41Wei-Qiang Yang [60] [63]
42Bo Yuan [51] [62]
43Jianhua Zhou [26]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)