Willem Hagemann-作者简介-zbMATH Open

编辑配置文件

威廉·哈格曼

合著者距离

作者ID：	哈格曼·威廉姆
发布日期：	威廉·哈格曼

1	计算机程序设计科学
1	计算机科学中的数学

所有引用出版物前5名被引用出版物

三出版物有被引用12中的次11文件	引用人▼	年份▼
具有大型离散状态空间的线性混合自动机的精确和完全符号验证。兹比尔1243.68212 达姆，沃纳;海宁·迪尔克斯;斯特凡·迪什;威廉·哈格曼;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨	6	2012
凸多面体上的有效几何运算，以及在混合系统可达性分析中的应用。 Zbl 1341.68293号威廉·哈格曼	4	2015
用于混合系统的混合工具–可立即证明稳定性和安全性。 Zbl 1465.93101号梅尔曼，艾克;威廉·哈格曼;奥利弗·泰尔	2	2015
凸多面体上的有效几何运算，以及在混合系统可达性分析中的应用。兹比尔1341.68293 威廉·哈格曼	4	2015
用于混合动力系统的混合动力工具——同时证明稳定性和安全性。 Zbl 1465.93101号艾克·莫尔曼;威廉·哈格曼;奥利弗·泰尔	2	2015
具有大型离散状态空间的线性混合自动机的精确和完全符号验证。兹比尔1243.68212 达姆，沃纳;海宁·迪尔克斯;斯特凡·迪什;威廉·哈格曼;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨	6	2012

所有引用出版物前5名被引用出版物

2	达姆，沃纳
2	威廉·哈格曼
2	刘菲
2	潘志超
2	雷蒙多，戴维德·马蒂诺
2	约瑟夫·斯科特。
1	帕特里夏·鲍耶
1	理查德·布拉茨。
1	查克拉波蒂，苏普拉特克
1	马丁·范策尔
1	保罗·加斯丁
1	弗雷德里克·赫布雷托
1	黄彪
1	卡斯滕·伊勒曼
1	保罗·B·杰克逊。
1	John，Ajith K。
1	泰勒·T·约翰逊。
1	朱塞佩·罗伯托（Giuseppe Roberto Marseglia）
1	艾克·莫尔曼
1	贾·戴维德·奎塞尔
1	吉勒赫梅·拉夫（Guilherme V.Raffo）。
1	布伦纳·S·雷戈。
1	奥坎·桑库尔
1	维奥里卡Sofrone-Stokkerman
1	安德鲁·索戈孔
1	巴拉古鲁·斯里瓦桑
1	奥利弗·泰尔
1	赵顺义