斯特凡·基尔
人员信息
SPARQL查询
优化列表
2010 – 2019
2017 [j7] 叶卡捷琳娜·奥尔 , 路易斯·森克尔 , 斯特凡·基尔 , 安德烈亚斯·劳赫 :
从V&V角度看SO燃料电池的控制导向模型:分析、简化可能性、性能。 算法 10 ( 4 ) : 140 ( 2017 ) 2014 【b1】 斯特凡·基尔 :
UniVerMeC——已验证技术的开发、评估和互操作使用框架。 杜伊斯堡大学, Verlag博士Hut 2014 2013 [j6] 叶卡捷琳娜·奥尔 , 斯特凡·基尔 , 安德烈亚斯·劳赫 :
一种求解分段光滑初值问题的验证方法。 国际期刊申请。 数学。 计算。 科学。 23 ( 4 ) : 731-747 ( 2013 ) [j5] 叶卡捷琳娜·奥尔 , 斯特凡·基尔 :
非光滑初值问题验证方法的使用。 Reliab公司。 计算。 19 ( 2 ) : 156-175 ( 2013 ) 【j4】 斯特凡·基尔 , 叶卡捷琳娜·奥尔 , 安德烈亚斯·劳赫 :
固体氧化物燃料电池动态模型的测试、验证和验证环境。 Reliab公司。 计算。 19 ( 三 ) : 302-317 ( 2013 ) [j3] 斯特凡·基尔 , 沃尔夫拉姆·路德 , 伊娃·戴龙 :
使用层次空间分解结构验证了非凸超二次曲面之间的距离计算。 软计算。 17 ( 8 ) : 1367-1378 ( 2013 ) 【c2】 斯特凡·基尔 , 叶卡捷琳娜·奥尔 , 安德烈亚斯·劳赫 :
GPU供电区间优化在SO燃料电池环境下用于参数识别。 NOLCOS公司 2013 : 558-563 2012 [注2] 伊娃·戴龙 , 斯特凡·基尔 :
使用不同距离封闭算法在隐式对象之间验证距离计算的比较。 计算 94 ( 2-4 ) : 281-296 ( 2012 ) [j1] 斯特凡·基尔 :
YalAA:又一个仿射算术库。 Reliab公司。 计算。 16 : 114-129 ( 2012 ) 2010 【c1】 斯特凡·基尔 :
使用隐式线性区间估计验证隐式对象的空间细分。 曲线和曲面 2010 : 402-415
2000 – 2009
2009 [i1] 叶卡捷琳娜·奥尔 , 罗杰·库珀斯 , 伊娃·戴龙 , 斯特凡·基尔 , 沃尔夫拉姆·路德 :
股骨假体手术的验证和确认。 计算机辅助校样.工具,方法和应用 2009