克里斯托夫·霍夫曼
人员信息
附属： 美国西拉斐特普渡大学
其他同名人员
优化列表
2020年–今天
2023 
[公元73年] 杨俊安 , 克里斯托夫·霍夫曼 :
G公司 2 具有四次正则线性法向曲线的Hermite插值。 J.计算。 申请。 数学。 424 : 114981 ( 2023 ) 2021 [公元72年] 瓦希德·哈塞尔塔拉布 
, 梅利克·多伦 , 乌拉斯·亚曼 , 克里斯托夫·霍夫曼 :
面向添加剂制造的简单设计和制造流程。 IEEE接入 9 : 107224-107234 ( 2021 )
2010 – 2019
2019 [公元71年] 乌拉斯·亚曼 , 梅利克·多伦 , 克里斯托夫·霍夫曼 :
为附加制造技术生成图案压痕。 IISE事务。 51 ( 2 ) : 209-217 ( 2019 ) 2018 [公元70年] 杨俊安 , 克里斯托夫·霍夫曼 :
近似圆弧的Gn-LN多项式曲线序列。 J.计算。 申请。 数学。 341 : 117-126 ( 2018 ) 2016 [公元69年] 乌拉斯·亚曼 , 纳比尔·巴特 , 以利沙袋 , 克里斯托夫·霍夫曼 :
用于3D异构打印的基于查询的体系结构中的切片一致性。 计算。 辅助设计。 75-76 : 27-38 ( 2016 ) [i3] Ioannis Fudos公司 , 克里斯托夫·霍夫曼 , 罗伯特·乔安·阿里奥 :
树分解和欠约束几何约束问题。 CoRR公司 abs/1608.05205 ( 2016 ) 2014 [公元68年] 克里斯托夫·霍夫曼 , 瓦迪姆·夏皮罗 , 维杰·斯里尼瓦桑 :
通过查询实现几何互操作性。 计算。 辅助设计。 46 : 148-159 ( 2014 ) [公元67年] 年轻的俊安 , 克里斯托夫·霍夫曼 , 保罗罗斯 :
使用最小长度和能量对二次Bézier曲线进行几何约束。 J.计算。 申请。 数学。 255 : 887-897 ( 2014 ) 2012 [j66] 小山高 , 克里斯托夫·霍夫曼 , 罗伯特·乔安·阿里奥 :
编辑消息。 计算。 辅助几何。 设计。 29 ( 1 ) : 1 ( 2012 ) [公元65年] 杨俊安 , 克里斯托夫·霍夫曼 :
基于约束的LN曲线。 计算。 辅助Geom。 设计。 29 ( 1 ) : 30-40 ( 2012 ) [公元64年] 清水江 , 克里斯托夫·霍夫曼 , 保罗罗斯 :
广义Mafatti问题。 计算。 地理。 45 ( 8 ) : 425-435 ( 2012 ) [公元63年] 年轻的俊安 , 克里斯托夫·霍夫曼 , 保罗罗斯 :
关于圆形填料的注释。 浙江科技大学学报。 C类 13 ( 8 ) : 559-564 ( 2012 ) 2011 [公元62年] 杨俊安 , 克里斯托夫·霍夫曼 , Yeon Soo Kim先生 :
基于使用二次Bézier双圆弧的圆近似的曲率连续偏移近似。 计算。 辅助设计。 43 ( 8 ) : 1011-1017 ( 2011 ) [公元61年] 杨俊安 , 克里斯托夫·霍夫曼 :
三次Bézier LN曲线对的近似卷积。 计算。 辅助Geom。 设计。 28 ( 6 ) : 357-367 ( 2011 ) [公元60年] 伯恩哈德·贝蒂格 , 克里斯托夫·霍夫曼 :
参数化计算机辅助设计中的几何约束求解。 J.计算。 信息科学。 工程师。 11 ( 2 ) ( 2011 ) [公元59年] 金宗赫（Jong-Hyuk Kim） , Jung Ju Choi先生 , 克里斯托夫·霍夫曼 :
姿势空间参数化和蒙皮变形的样式转换。 计算。 动画。 虚拟世界 22 ( 6 ) : 511-518 ( 2011 ) 2010 [约58] 沃伊库·波佩斯库 , 保罗罗斯 , 劳拉·L·阿恩斯 , 泽维尔·特里科奇 , 克里斯·怀曼 , 克里斯托夫·霍夫曼 :
通用针孔相机：有效且高效的可视化非均匀采样。 IEEE传输。 视觉。 计算。 图表。 16 ( 5 ) : 777-790 ( 2010 ) [j57] 崔健（音译） , 保罗罗斯 , 沃伊库·波佩斯库 , 克里斯托夫·霍夫曼 :
通过连续多视角可视化处理遮挡的弯曲光线摄影机。 IEEE传输。 视觉。 计算。 图表。 16 ( 6 ) : 1235-1242 ( 2010 ) 【c23】 年轻的俊安 , 克里斯托夫·霍夫曼 :
基于约束的LN曲线。 囊 2010 : 1242-1246
2000 – 2009
2008 [j56] 亚历山大·库兹米尼克 , 克里斯托夫·霍夫曼 :
验证STEP产品数据交换。 计算。 辅助设计。 40 ( 2 ) : 133-138 ( 2008 ) [公元55年] 保罗罗斯 , 沃伊库·波佩斯库 , 克里斯托夫·霍夫曼 , 艾汉·伊尔法诺格鲁 :
9月11日世贸中心袭击事件的高质量、高逼真画面。 IEEE传输。 视觉。 计算。 图表。 14 ( 4 ) : 937-947 ( 2008 ) [电子5] 彼得·赫特林 , 克里斯托夫·霍夫曼 , 沃尔夫拉姆·路德 , Nathalie Revol公司 :
实数算法的可靠实现：理论与实践，德国Dagstuhl Castle国际研讨会，2006年1月8日至13日，修订论文。 计算机科学课堂讲稿 5045, 施普林格 2008 ，国际标准图书编号 978-3-540-85520-0 [目录] 2007 [约54] 克里斯托夫·霍夫曼 , 齐格蒙特·皮兹洛 , 沃伊库·波佩斯库 , 史蒂夫普莱斯 :
从线条图中感知表面。 显示器 28 ( 1 ) : 1-7 ( 2007 ) 2006 [公元53年] 克里斯托夫·霍夫曼 , 齐格蒙特·皮兹洛 , 沃伊库·波佩斯库 , 保罗罗斯 :
立体显示器三维空间关系感知研究。 J.电子成像 15 ( 三 ) : 033002 ( 2006 ) [公元22年] 沃伊库·波佩斯库 , 克里斯托夫·霍夫曼 :
M10-大规模仿真的真实可视化。 联合国安全理事会 2006 : 224 [电子4] 彼得·赫特林 , 克里斯托夫·霍夫曼 , 沃尔夫拉姆·路德 , Nathalie Revol公司 :
实数算法的可靠实现：理论与实践，08.01.- 13.01.2006. 达格斯图尔研讨会记录 06021, 德国达格斯图尔宫国际展览中心-und Forschungszentrum fuer Informatik（IBFI） 2006 [目录] [i2] 彼得·赫特林 , 克里斯托夫·霍夫曼 , 沃尔夫拉姆·路德 , Nathalie Revol公司 :
06021摘要——实数算法的可靠实现：理论与实践。 实数算法的可靠实现 2006 [i1] 彼得·赫特林 , 克里斯托夫·霍夫曼 , 沃尔夫拉姆·路德 , Nathalie Revol公司 :
06021摘要集——实数算法的可靠实现：理论与实践。 实数算法的可靠实现 2006 2005 [公元52年] 沃伊库·波佩斯库 , 克里斯托夫·霍夫曼 :
可视化大规模仿真的逼真度。 计算。 辅助设计。 37 ( 1 ) : 99-107 ( 2005 ) [j51] 克里斯托夫·霍夫曼 , 尼尔·F·斯图尔特 :
形状插值应用中的准确性和语义。 图表。 模型。 67 ( 5 ) : 373-389 ( 2005 ) [约50] 克里斯托夫·霍夫曼 :
基于约束的计算机辅助设计。 J.计算。 信息科学。 工程师。 5 ( 三 ) : 182-187 ( 2005 ) 2004 [公元49年] 小山高 , 克里斯托夫·霍夫曼 , 杨伟强 :
用轨迹交会法求解空间基本几何约束构形。 计算。 辅助设计。 36 ( 2 ) : 111-122 ( 2004 ) [公元48年] 克里斯托夫·霍夫曼 , 米拉·西塔拉姆 , 博远 :
使约束解算器更可用：过度约束问题。 计算。 辅助设计。 36 ( 4 ) : 377-399 ( 2004 ) [公元47年] 克里斯托夫·霍夫曼 , 沃伊库·波佩斯库 , 萨米·基利奇 , 流星A.Sözen :
建模、模拟和可视化：9月11日在五角大楼。 计算。 科学。 工程师。 6 ( 1 ) : 52-60 ( 2004 ) 【c21】 克里斯托夫·霍夫曼 , Gahyun公园 , J.-R.西蒙德 , 尼尔·F·斯图尔特 :
形状校正应用的残差迭代和精确多项式评估。 实体建模与应用研讨会 2004 : 9-14 【r1】 克里斯托夫·霍夫曼 :
实体建模。 离散和计算几何手册，第2版。 2004 : 1257-1278 2003 [j46] 年轻的J.Kim , 克里斯托夫·霍夫曼 :
增强战场可视化以实现态势感知。 计算。 图表。 27 ( 6 ) : 873-885 ( 2003 ) [公元20年] 沃伊库·波佩斯库 , 克里斯托夫·霍夫曼 , 萨米·基利奇 , 流星A.Sözen , 斯科特·米多尔 :
生成高质量的大规模仿真可视化。 可视化大会 2003 : 575-580 2002 [j45] 克里斯托夫·霍夫曼 , 清水江 :
几何约束下簇合并的变半径圆：I.平移簇。 计算。 辅助设计。 34 ( 11 ) : 787-797 ( 2002 ) [公元44年] 克里斯托夫·霍夫曼 , 清水江 :
簇合并中的变半径圆：II。 旋转簇。 计算。 辅助设计。 34 ( 11 ) : 799-805 ( 2002 ) [第19条] 小山高 , 克里斯托夫·霍夫曼 , 杨伟强 :
用轨迹交会法求解空间基本几何约束构形。 实体建模与应用研讨会 2002 : 95-104 [第1页] 克里斯托夫·霍夫曼 , 罗伯特·乔安·阿里奥 :
参数化建模。 计算机辅助几何设计手册 2002 : 519-541 2001 [公元43年] 克里斯托夫·霍夫曼 , Ku-Jin Kim先生 :
建立有效的参数化CAD模型。 计算。 辅助设计。 33 ( 1 ) : 81-90 ( 2001 ) [公元42年] 克里斯托夫·霍夫曼 :
D-Cubed的尺寸约束管理器。 J.计算。 信息科学。 工程师。 1 ( 1 ) : 100-101 ( 2001 ) [公元41年] 克里斯托夫·霍夫曼 :
几何计算的稳健性。 J.计算。 信息科学。 工程师。 1 ( 2 ) : 143-155 ( 2001 ) [j40] 克里斯托夫·霍夫曼 , 安德鲁·罗蒙诺索夫 , 米拉·西塔拉姆 :
几何约束系统分解计划，第一部分：CAD性能度量。 J.塞姆。 计算。 31 ( 4 ) : 367-408 ( 2001 ) [公元39年] 克里斯托夫·霍夫曼 , 安德鲁·罗蒙诺索夫 , 米拉·西塔拉姆 :
几何约束问题的分解计划，第二部分：新算法。 J.塞姆。 计算。 31 ( 4 ) : 409-427 ( 2001 ) 2000 [公元38年] 克里斯托夫·霍夫曼 , 罗伯特·乔安·阿里奥 :
多产品视图的分布式维护。 计算。 辅助设计。 32 ( 7 ) : 421-431 ( 2000 ) [公元37年] 卡西亚诺·杜兰德 , 克里斯托夫·霍夫曼 :
解析求解几何约束的系统框架。 J.塞姆。 计算。 30 ( 5 ) : 493-519 ( 2000 ) [第18条] 克里斯托夫·霍夫曼 , 博远 :
关于空间约束求解方法。 几何中的自动演绎 2000 : 1-15 [第17条] 詹姆斯·沃尔拉斯 , 罗伯特·温克勒 , 菲利普·埃默曼 , 克里斯托夫·霍夫曼 , 金俊英（Young Jun Kim） :
用于改进态势感知的可视化技术。 人类视觉和电子成像 2000 : 366-371 [e3] 佩雷·布鲁内 , 克里斯托夫·霍夫曼 , Dieter滚筒 :
产品设计的CAD工具和算法[Dagstuhl研讨会，1998年11月]。 施普林格 2000 ，国际标准图书编号 3-540-66204-9 [目录]
1990 – 1999
1999 [公元36年] 当地警官库玛尔 , D.烧伤 , 德巴西什·杜塔 , 克里斯托夫·霍夫曼 :
对象建模框架。 计算。 辅助设计。 31 ( 9 ) : 541-556 ( 1999 ) [第16条] 克里斯托夫·霍夫曼 , 安德鲁·罗蒙诺索夫 , 米拉·西塔拉姆 :
通过最优图变换规划几何约束分解。 AGTIVE公司 1999 : 309-324 [第15条] 卡西亚诺·杜兰德 , 克里斯托夫·霍夫曼 :
3D中的变化约束。 国际形状建模 1999 : 90-97 1998 [j35] 克里斯托夫·霍夫曼 , 罗伯特·琼·阿里尼奥 :
在用户定义的要素上。 计算。 辅助设计。 30 ( 5 ) : 321-332 ( 1998 ) [公元34年] 克里斯托夫·霍夫曼 , 罗伯特·乔安·阿里奥 :
CAD和产品主模型。 计算。 辅助设计。 30 ( 11 ) : 905-918 ( 1998 ) [j33] 郑宏创 , 克里斯托夫·霍夫曼 , 坤明阁 , 黄伟聪 :
几何约束曲面的自适应多边形化。 视觉。 计算。 14 ( 10 ) : 455-470 ( 1998 ) [第14条] 克里斯托夫·霍夫曼 , 金俊英（Young Jun Kim） , 罗伯特·温克勒 , 詹姆斯·沃尔拉斯 , 菲利普·埃默曼 :
情境感知的可视化。 信息可视化和操作新范式研讨会 1998 : 36-40 1997 [公元32年] 克里斯托夫·霍夫曼 , 贾里克·罗西尼亚克 :
特刊：实体建模。 计算。 辅助设计。 29 ( 2 ) : 87 ( 1997 ) [公元31年] 克里斯托夫·霍夫曼 , 罗伯特·乔安·阿里奥 :
构造性几何约束求解中的符号约束。 J.塞姆。 计算。 23 ( 2/3 ) : 287-299 ( 1997 ) 【j30】 Ioannis Fudos公司 , 克里斯托夫·霍夫曼 :
求解几何约束系统的图构造方法。 ACM事务处理。 图表。 16 ( 2 ) : 179-216 ( 1997 ) [第13条] 克里斯托夫·霍夫曼 , 安德鲁·罗蒙诺索夫 , 米拉·西塔拉姆 :
寻找约束图的可解子集。 人物配对关系 1997 : 463-477 [电子2] 克里斯托夫·霍夫曼 , 维姆·布朗斯福特 , 乔治·艾伦 , 普拉特 , 戴维·罗森 :
第四届实体建模与应用研讨会论文集，美国佐治亚州亚特兰大，1997年5月14日至16日。 ACM公司 1997 ，国际标准图书编号 0-89791-946-7 [目录] 1996 [公元29年] 卡波耶花草 , 陈向平 , 克里斯托夫·霍夫曼 :
生成的、基于约束的设计中的通用命名。 计算。 辅助设计。 28 ( 1 ) : 17-26 ( 1996 ) [公元28年] Ioannis Fudos公司 , 克里斯托夫·霍夫曼 :
CAD中基于约束的参数二次曲线。 计算。 辅助设计。 28 ( 2 ) : 91-100 ( 1996 ) [j27] Ioannis Fudos公司 , 克里斯托夫·霍夫曼 :
几何约束求解器的正确性证明。 国际期刊计算。 地理。 申请。 6 ( 4 ) : 405-420 ( 1996 ) [公元26年] 克里斯托夫·霍夫曼 , 贾里克·罗西尼亚克 :
实体建模路线图。 IEEE传输。 视觉。 计算。 图表。 2 ( 1 ) : 3-10 ( 1996 ) [第12条] 克里斯托夫·霍夫曼 :
实体建模是如何实现的？ WACG公司 1996 : 1-8 1995 [公元25年] 威廉·布马 , Ioannis Fudos公司 , 克里斯托夫·霍夫曼 , 蔡佳珍 , 罗伯特·佩奇 :
几何约束解算器。 计算。 辅助设计。 27 ( 6 ) : 487-501 ( 1995 ) [公元24年] 陈向平 , 克里斯托夫·霍夫曼 :
朝向特征附着。 计算。 辅助设计。 27 ( 9 ) : 695-702 ( 1995 ) [公元23年] 陈向平 , 克里斯托夫·霍夫曼 :
基于特征的设计的可编辑性。 计算。 辅助设计。 27 ( 12 ) : 905-914 ( 1995 ) [公元22年] 克里斯托夫·霍夫曼 :
《C中的计算几何》（J.O’Rourke）。 SIAM版本。 37 ( 1 ) : 128-129 ( 1995 ) [第11条] 克里斯托夫·霍夫曼 :
EREP项目概述。 CAD系统开发 1995 : 32-40 [第10条] 陈向平 , 克里斯托夫·霍夫曼 :
基于特征和基于约束的CAD的设计编译。 实体建模与应用研讨会 1995 : 13-19 [电子1] 克里斯托夫·霍夫曼 , 贾里克·罗西尼亚克 :
第三届ACM SIGGRAPH固体建模与应用研讨会，美国犹他州盐湖城，1995年5月17-19日。 ACM公司 1995 ，国际标准图书编号 0-89791-672-7 [目录] 1994 【c9】 克里斯托夫·霍夫曼 , 帕梅拉·维米尔 :
MAT表面表示的有效性确定。 IMA曲面数学会议 1994 : 249-265 1993 [公元21年] 克里斯托夫·霍夫曼 :
CAGD中的隐式曲线和曲面。 IEEE计算机图形和应用 13 ( 1 ) : 79-88 ( 1993 ) 1992 【c8】 克里斯托夫·霍夫曼 , 罗伯特·胡安 :
Erep：用于几何设计和分析的可编辑高级表示。 几何建模 1992 : 129-164 1991 [公元20年] 克里斯托夫·霍夫曼 , 周建华 :
在四维空间中可视化曲面的一些技术。 计算。 辅助设计。 23 ( 1 ) : 83-91 ( 1991 ) [公元19年] 克里斯托夫·霍夫曼 , 帕梅拉·维米尔 :
消除曲线和曲面操作中的无关解决方案。 国际期刊计算。 地理。 申请。 1 ( 1 ) : 47-66 ( 1991 ) [公元18年] 克里斯托夫·霍夫曼 , 帕梅拉·维米尔 :
勘误表-消除曲线和曲面操作中的无关解决方案。 国际期刊计算。 地理。 申请。 1 ( 三 ) : 345 ( 1991 ) 1990 [公元17年] 克里斯托夫·霍夫曼 :
表面质询的维度范式。 计算。 辅助Geom。 设计。 7 ( 6 ) : 517-532 ( 1990 )
1980 – 1989
1989 [公元16年] 克里斯托夫·霍夫曼 , 霍普克罗夫特 , 迈克尔·卡拉西克 :
多面体实体上的稳健集合运算。 IEEE计算机图形和应用 9 ( 6 ) : 50-59 ( 1989 ) [公元15年] 克里斯托夫·霍夫曼 :
几何计算中的精度和鲁棒性问题。 电脑类 22 ( 三 ) : 31-41 ( 1989 ) [公元14年] 郑洪闯 , 克里斯托夫·霍夫曼 :
局部隐式逼近及其应用。 ACM事务处理。 图表。 8 ( 4 ) : 298-324 ( 1989 ) [j13] 维贾亚·钱德鲁 , 德巴西什·杜塔 , 克里斯托夫·霍夫曼 :
关于Dupin cyclides的几何。 视觉。 计算。 5 ( 5 ) : 277-290 ( 1989 ) 1988 [公元12年] 克里斯托夫·霍夫曼 , 霍普克罗夫特 :
投影混合曲面的几何。 Artif公司。 智力。 37 ( 1-3 ) : 357-376 ( 1988 ) [公元11年] Chandrajit L.Bajaj公司 , 克里斯托夫·霍夫曼 , 罗伯特·E·林奇 , 霍普克罗夫特 :
追踪曲面交点。 计算。 辅助Geom。 设计。 5 ( 4 ) : 285-307 ( 1988 ) 【c7】 克里斯托夫·霍夫曼 , 霍普克罗夫特 , 迈克尔·S·卡拉西克 :
实现稳健的几何计算。 SCG公司 1988 : 106-117 1987 [公元10年] 兹维·郭历理 , 克里斯托夫·霍夫曼 , 尤金·M·卢克斯 , 克劳斯·佩特·施诺尔 , 安德列斯·韦伯 :
三价图的O（n³log n）确定性和O（n _3）Las Vegs同构检验。 美国临床医学杂志 34 ( 三 ) : 513-531 ( 1987 ) [公元9年] 克里斯托夫·霍夫曼 , 霍普克罗夫特 :
从几何模型模拟物理系统。 IEEE J.机器人自动化。 三 ( 三 ) : 194-206 ( 1987 ) 1985 [j8] 克里斯托夫·霍夫曼 , 迈克尔·J·奥唐纳 , 罗伯特·斯特兰德 :
抽象方程解释器的实现。 柔和。 实际。 支出。 15 ( 12 ) : 1185-1204 ( 1985 ) [j7] 克里斯托夫·霍夫曼 , 霍普克罗夫特 :
计算机辅助设计中的自动曲面生成。 视觉。 计算。 1 ( 2 ) : 92-100 ( 1985 ) 1984 【c6】 克里斯托夫·霍夫曼 :
关于唯一可破译性的注释。 多功能控制系统 1984 : 50-63 【c5】 克里斯托夫·霍夫曼 , 迈克尔·奥唐纳 :
抽象方程解释器的实现。 POPL公司 1984 : 111-121 1982 【b1】 克里斯托夫·霍夫曼 :
群理论算法与图同构。 计算机科学课堂讲稿 136, 施普林格 1982 ，国际标准图书编号 3-540-11493-9 [j6] 克里斯托夫·霍夫曼 , 迈克尔·奥唐纳 :
树中的模式匹配。 美国临床医学杂志 29 ( 1 ) : 68-95 ( 1982 ) [j5] 克里斯托夫·霍夫曼 :
图同构的次完备推广。 J.计算。 系统。 科学。 25 ( 三 ) : 332-359 ( 1982 ) 【j4】 克里斯托夫·霍夫曼 , 迈克尔·奥唐纳 :
用方程式编程。 ACM事务处理。 程序。 语言系统。 4 ( 1 ) : 83-112 ( 1982 ) 【c4】 兹维·郭历理 , 克里斯托夫·霍夫曼 , 尤金·M·卢克斯 , 克劳斯·佩特·施诺尔 , 安德列斯·韦伯 :
三价图的O（n^3 log n）确定性和O（n ^3）概率同构检验。 光纤通信系统 1982 : 118-125 1980 [j3] 克里斯托夫·霍夫曼 :
Lucid计算子句的语义属性及其编译。 信息学报 13 : 9-20 ( 1980 ) 【c3】 克里斯托夫·霍夫曼 :
锥图同构的测试（扩展抽象）。 随机存取存储器 1980 : 244-251
1970 – 1979
1979 【c2】 克里斯托夫·霍夫曼 , 迈克尔·奥唐纳 :
使用树模式匹配生成解释器。 POPL公司 1979 : 169-179 1978 [注2] 克里斯托夫·霍夫曼 :
非过程语言编译器的设计和正确性。 信息学报 9 : 217-241 ( 1978 ) 1976 [j1] 克里斯托夫·霍夫曼 , 劳伦斯·H·兰德韦伯 :
具有结构变量的直线程序的完备性定理。 美国临床医学杂志 23 ( 1 ) : 203-220 ( 1976 ) 1974 【c1】 克里斯托夫·霍夫曼 , 劳伦斯·H·兰德韦伯 :
结构化变量程序的公理等价性。 重拍 1974 : 78-83
合著者索引
