×
作者ID: 巴克·斯坦利“Bak,Stanley”最近发表的zbMATH文章
发布日期: 斯坦利·巴克
已编制索引的文档: 28出版物自2010年起,包括4个附加arXiv预打印
合著者: 42位合著者具有27联合出版物
773合著作者

按年份列出的出版物

zbMATH Open中包含的引文

18出版物有被引用112中的次67文件 引用人 年份
使用ImageStars验证深度卷积神经网络。 Zbl 1478.68180号
Tran,Hoang-Dung村;斯坦利·巴克;项伟明;泰勒·T·约翰逊。
15
2020
具有输入的大型线性系统的仿真等价可达性。 Zbl 1497.93010号
斯坦利·巴克;帕拉萨拉·斯里达尔·达吉拉拉
15
2017
分段深度神经网络的验证:带zonotope预滤器的星集方法。 Zbl 1519.68143号
Tran,Hoang-Dung村;内拉尼亚娜·帕尔;迭戈·曼扎纳斯·洛佩兹;帕特里克·穆索;杨晓东;阮、滦越;项伟明;斯坦利·巴克;泰勒·T·约翰逊。
14
2021
改进的几何路径枚举用于验证ReLU神经网络。 Zbl 1478.68142号
斯坦利·巴克;Tran,Hoang-Dung村;霍布斯,克里安;泰勒·T·约翰逊。
10
2020
研究了二维介质上具有非线性相互作用的离散sine-Gordon方程中异宿行波的存在性。 Zbl 1402.34013号
贝克,S。
9
2018
对快速扫描方法进行了一些改进。 Zbl 1219.65124号
斯坦利·巴克;乔伊斯·麦克劳林;丹尼尔·伦齐
9
2010
高达十亿维仿射系统的数值验证。 Zbl 07120137号
斯坦利·巴克;Tran,Hoang-Dung村;泰勒·T·约翰逊。
8
2019
多核硬实时系统的以内存为中心的调度。 兹比尔1291.68100
姚、刚;鲁道夫·佩利佐尼;斯坦利·巴克;埃米利亚诺·贝蒂;马可·卡卡莫
8
2012
利用杂交和动力学标度分析非线性系统的可达性。 兹伯利07317102
李东旭;斯坦利·巴克;塞尔吉·博戈莫洛夫
7
2020
基于松弛可达性的语义分割神经网络鲁棒性验证。 Zbl 1493.68221号
Tran,Hoang-Dung村;内拉尼亚娜·帕尔;帕特里克·穆索;洛佩兹,迭戈·曼扎纳斯;纳撒尼尔·汉密尔顿;杨晓东;斯坦利·巴克;泰勒·T·约翰逊。
4
2021
非线性系统分析的可伸缩静态杂交方法。 Zbl 1364.68243号
斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格(Thomas A.Henzinger)。;泰勒·T·约翰逊。;普拉卡什,普拉多特
4
2016
二维程函方程的三阶精确快速推进方法。 Zbl 1235.65122号
沙赫纳瓦兹·艾哈迈德;巴克·斯坦利;乔伊斯·麦克劳林;丹尼尔·伦齐
4
2011
带有COTS外围设备的实时I/O管理系统。 Zbl 1365.68013号
埃米利亚诺·贝蒂;斯坦利·巴克;鲁道夫·佩利佐尼;马可·卡卡莫;沙,路易
4
2013
基于严格仿真的线性混合系统分析。 Zbl 1452.68098号
斯坦利·巴克;帕拉萨拉·斯里达尔·达吉拉拉
2017
HYST:混合自动机模型的源代码转换和翻译工具。 兹比尔1364.68244
斯坦利·巴克;塞尔吉·博戈莫洛夫;泰勒·T·约翰逊。
2015
用于多核系统的以内存为中心的全局实时调度。 Zbl 1360.68126号
姚、刚;鲁道夫·佩利佐尼;斯坦利·巴克;Yun、Heechul;马可·卡卡莫
2
2016
Koopman线性化系统使用随机傅立叶特征可观测度和多项式区域图精化的可达性。 Zbl 1518.93012号
斯坦利·巴克;塞尔吉·博戈莫洛夫;布兰登·亨西;尼古拉斯·科奇杜普尔;伊桑·卢;科斯蒂安·波托姆金
1
2022
混合自动机可达性分析中保护的时间触发转换。 Zbl 1497.93107号
斯坦利·巴克;塞尔吉·博戈莫洛夫;马蒂亚斯·阿尔霍夫
1
2017
使用随机傅里叶特征观测值和多项式分区细化的Koopman线性化系统的可达性。 Zbl 1518.93012号
斯坦利·巴克;塞尔吉·博戈莫洛夫;布兰登·亨西;尼古拉斯·科奇杜普尔;伊桑·卢;科斯蒂安·波托姆金
1
2022
分段深度神经网络的验证:带zonotope预滤波器的星集方法。 Zbl 1519.68143号
Tran,Hoang-Dung村;内拉尼亚娜·帕尔;迭戈·曼扎纳斯·洛佩兹;帕特里克·穆索;杨晓东;阮、滦越;项伟明;斯坦利·巴克;泰勒·T·约翰逊。
14
2021
基于松弛可达性的语义分割神经网络鲁棒性验证。 Zbl 1493.68221号
Tran,Hoang-Dung村;内拉尼亚娜·帕尔;帕特里克·穆索;洛佩兹,迭戈·曼扎纳斯;纳撒尼尔·汉密尔顿;杨晓东;斯坦利·巴克;泰勒·T·约翰逊。
4
2021
使用ImageStars验证深度卷积神经网络。 Zbl 1478.68180号
Tran,黄登;斯坦利·巴克;项伟明;泰勒·T·约翰逊。
15
2020
改进的几何路径枚举用于验证ReLU神经网络。 Zbl 1478.68142号
斯坦利·巴克;Tran,Hoang-Dung村;凯里安·霍布斯;泰勒·T·约翰逊。
10
2020
使用杂交和动力学标度的非线性系统的可达性分析。 Zbl 07317102号
李东旭;斯坦利·巴克;塞尔吉·博戈莫洛夫
7
2020
高达十亿维仿射系统的数值验证。 Zbl 07120137号
斯坦利·巴克;Tran,Hoang-Dung村;泰勒·T·约翰逊。
8
2019
研究了二维介质上具有非线性相互作用的离散sine-Gordon方程中异宿行波的存在性。 Zbl 1402.34013号
贝克,S。
9
2018
具有输入的大型线性系统的仿真等价可达性。 Zbl 1497.93010号
斯坦利·巴克;帕拉萨拉·斯里达尔·达吉拉拉
15
2017
基于严格仿真的线性混合系统分析。 Zbl 1452.68098号
斯坦利·巴克;帕拉萨拉·斯里达尔·达吉拉拉
2017
用于混合自动机可达性分析的保护的时间触发转换。 Zbl 1497.93107号
斯坦利·巴克;塞尔吉·博戈莫洛夫;马蒂亚斯·阿尔霍夫
1
2017
非线性系统分析的可伸缩静态杂交方法。 Zbl 1364.68243号
斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格(Thomas A.Henzinger)。;泰勒·T·约翰逊。;普拉卡什,普拉多特
4
2016
多核系统的全局实时内存中心调度。 Zbl 1360.68126号
姚、刚;鲁道夫·佩利佐尼;斯坦利·巴克;Yun、Heechul;马可·卡卡莫
2
2016
HYST:用于混合自动机模型的源转换和翻译工具。 兹比尔1364.68244
斯坦利·巴克;塞尔吉·博戈莫洛夫;泰勒·T·约翰逊。
2015
带有COTS外围设备的实时I/O管理系统。 Zbl 1365.68013号
埃米利亚诺·贝蒂;斯坦利·巴克;鲁道夫·佩利佐尼;马可·卡卡莫;沙,路易
4
2013
多核硬实时系统的以内存为中心的调度。 Zbl 1291.68100号
姚、刚;鲁道夫·佩利佐尼;斯坦利·巴克;埃米利亚诺·贝蒂;马可·卡卡莫
8
2012
二维程函方程的三阶精确快速推进方法。 Zbl 1235.65122号
沙赫纳瓦兹·艾哈迈德;斯坦利·巴克;乔伊斯·麦克劳林;丹尼尔·伦齐
4
2011
对快速扫描方法进行了一些改进。 Zbl 1219.65124号
斯坦利·巴克;乔伊斯·麦克劳林;丹尼尔·伦齐
9
2010
全部的 前5名

189位作者引用

8 斯坦利·巴克
6 马蒂亚斯·阿尔霍夫
6 Tran,Hoang-Dung村
5 泰勒·T·约翰逊。
4 尼古拉斯·科奇杜普尔
4 杨晓东
塞尔吉·博戈莫洛夫
马塞洛·福雷茨
巴德省霍克萨
迭戈·曼扎纳斯·洛佩兹
帕特里克·穆索
丹尼尔·普罗霍罗夫。
克里斯蒂安·席林
马克·韦兹林格
项伟明
2 克拉克·W·巴雷特。
2 Choi、Sungwoo
2 帕拉萨拉·斯里达尔·达吉拉拉
2 纳撒尼尔·P·汉密尔顿。
2 黄成超
2 凯兹,盖伊
2 海塔姆·凯德
2 阿德里安·库姆伯格
2 李仁觉
2 阮、滦越
2 克莱尔·佩吉蒂
2 内拉尼亚娜·帕尔
2 鲁道夫·佩利佐尼
2 玛丽亚·普兰迪尼
2 钱建良
2 亚瑟·舒克利
2 蔡延熙
2 吴浩泽
2 山口,富古屋
2 杨鹏飞
2 张丽君
1 艾丽卡·阿尔布拉汉姆
1 阿文德·阿迪穆兰
1 劳拉·阿尔蒂莉·桑巴托洛美
1 塞巴斯蒂安·阿尔特迈耶。
1 肯·奥尔顿
1 拉杰夫·阿鲁尔
1 盖伊·埃米尔
1 埃里克·阿塞林
1 阿尔卑斯山艾迪诺格鲁
1 西蒙·巴尔迪
1 米歇尔·伯格曼
1 亚历山德罗·比昂迪
1 布鲁塞特,马格纳斯
1 乔治·布塔佐(Giorgio C.Buttazzo)。
1 马可·卡卡莫
1 泰勒·J·卡彭特。
1 阿尔贝托·卡萨格兰德
1 Chen,Chieh先生
1 陈广科
1 陈丽倩
1 陈、陶璐
1 朱,杰伊
1 亚历山德罗·西马蒂
1 亚瑟·克莱维尔
1 丹尼尔·库琳娜
1 Thao Dang先生
1 罗伯特·戴维斯。
1 里卡多·德西米尼
1 迈尔斯·德特里克斯
1 乔治·迪亚曼托普洛斯
1 泰勒·多曼
1 卢卡·多里戈
1 玛丽恩,杜贝克
1 德拉赫斯勒-科恩,达纳
1 托马索·德罗西
1 安东·杜奇科夫(Anton A.Duchkov)。
1 特里斯坦·埃伯特
1 费内科斯(Georgios E.Fainekos)。
1 樊楚楚
1 方,王
1 法特纳西,瓦尔
1 马亚尔·法兹利亚布
1 詹姆斯·费雷兹
1 Antoine Fondanèche
1 戈兰·弗雷斯
1 彼得·弗罗尔科维奇
1 克里斯托夫·加里昂
1 乔治亚州Giannopoulou
1 福雷德里克·吉布
1 吉尔伯格,托尔
1 罗兰·格洛温斯基
1 乔·古森
1 埃里克·古博
1 马尼什·戈亚尔
1 阿尔贝托·格里乔
1 拉杜·格罗苏
1 关、吉
1 布兰登·亨西
1 伊文德·赫杰尔
1 安德烈亚斯·霍辛格
1 Indrusiak、Leandro S。
1 安吉洛·埃洛
1 艾哈迈德·埃尔凡
1 拉多斯拉夫·伊万诺夫
…还有89位作者

按年份列出的引文