编辑配置文件(在新选项卡中打开) 斯坦利·巴克 合著者距离 作者ID: 巴克·斯坦利 发布日期: 斯坦利·巴克 已编制索引的文档: 28出版物自2010年起,包括4个附加arXiv预打印 合著者: 42位合著者具有27联合出版物 773合著作者 全部的 前5名合著者 1 单作者的 7 泰勒·T·约翰逊。 6 Tran,Hoang-Dung村 5 塞尔吉·博戈莫洛夫 5 尼古拉斯·科奇杜普尔 三 马蒂亚斯·阿尔霍夫 三 马可·卡卡莫 三 帕拉萨拉·斯里达尔·达吉拉拉 三 鲁道夫·佩利佐尼 2 埃米利亚诺·贝蒂 2 罗、二台 2 迭戈·曼扎纳斯·洛佩兹 2 乔伊斯·罗杰斯·麦克劳林 2 帕特里克·穆索 2 尼兰贾娜,帕尔 2 丹尼尔·伦齐 2 马克·韦兹林格 2 项伟明 2 杨晓东 2 姚、刚 1 史蒂夫·阿达奇 1 沙赫纳瓦兹·艾哈迈德 1 泰勒·多曼 1 纳撒尼尔·P·汉密尔顿。 1 布兰登·亨西 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 凯莉安·霍布斯。 1 维多利亚州霍兰 1 黄玉生 1 爱德华·D·金。 1 伊桑·卢 1 李东旭 1 阮,越南 1 科斯蒂安·波托姆金 1 普拉卡什,普拉多特 1 沙,路易 1 萨纳兹·谢赫伊 1 克里希纳·苏布拉马尼 1 孙一凡 1 阿舒托什·特里维迪 1 阿尔瓦罗·贝拉斯克斯 1 Wojciechowski,Piotr J。 1 Yun,希澈 全部的 前5名系列 2 电气电子工程师学会计算机期刊 2 SIAM科学计算杂志 1 IEEE自动控制汇刊 1 计算的形式方面 1 实时系统 1 量子信息处理 1 数学物理、分析、几何杂志 全部的 前5名字段 17 计算机科学(68-XX) 7 系统论;控制(93至XX) 2 常微分方程(34-XX) 2 数值分析(65-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 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位作者 全部的 前5名20篇连载文章中引用 4 实时系统 三 信息与计算 三 非线性分析。混合动力系统 2 计算机与数学及其应用 2 计算物理杂志 2 计算的形式方面 2 数学科学研究 1 信息学报 1 Automatica公司 1 计算与应用数学杂志 1 科学计算杂志 1 机器学习 1 离散事件动态系统 1 国际鲁棒非线性控制杂志 1 SIAM科学计算杂志 1 格鲁吉亚数学杂志 1 计算地球科学 1 SIAM应用动力系统杂志 1 工业数学杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在13个字段中引用 48 计算机科学(68-XX) 23 系统论;控制(93至XX) 14 数值分析(65-XX) 9 偏微分方程(35-XX) 三 流体力学(76-XX) 2 可变形固体力学(74-XX) 1 代数几何(14-XX) 1 常微分方程(34-XX) 1 动力系统和遍历理论(37至XX) 1 变分法与最优控制;最优化(49-XX) 1 凸和离散几何(52至XX) 1 地球物理学(86-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文