The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Christoph M. Hoffmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  65. 06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice. [Citation Graph (, )][DBLP]


  66. 06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice. [Citation Graph (, )][DBLP]


  67. Constraint-based LN-curves. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002