编辑配置文件(在新选项卡中打开) 塞尔吉·博戈莫洛夫 合著者距离 作者ID: bogomolov.sergiy公司 发布日期: 塞尔吉·博戈莫洛夫 已编制索引的文档: 19出版物自2010年起 3作为编辑的贡献 合著者: 35位合著者具有21联合出版物 748联合作者 全部的 前5名合著者 0 单作者的 7 戈兰·弗雷斯 5 斯坦利·巴克 5 托马斯·亨辛格(Thomas A.Henzinger)。 5 安德烈亚斯·波德尔斯基 5 克里斯蒂安·席林 4 马塞洛·福雷茨 三 孔慧 三 李东旭 三 科斯蒂安·波托姆金 2 米尔科·贾科布 2 阿米特·古龙 2 姜云平 2 泰勒·T·约翰逊。 2 马蒂厄·马特尔 2 乔治·马蒂乌斯 2 Rayarshi Ray 1 亚明·艾特阿默尔 1 马蒂亚斯·阿尔霍夫 1 埃齐奥·巴托西 1 纪尧姆·杜邦 1 马吕斯·格雷萨克斯 1 拉杜·格罗苏 1 布兰登·亨西 1 克里斯蒂安·埃雷拉 1 Kochdumper,尼克拉斯 1 伊桑·卢 1 科琳娜·米特罗欣 1 马尔科·穆尼兹 1 帕维特拉·普拉巴卡 1 普拉卡什,普拉多特 1 尼拉杰·库马尔·辛格 1 保利乌斯·斯坦凯蒂斯 1 托马斯·斯特伦普 1 Viry,Frédéric 1 伯恩德·韦斯特法尔 系列 2 计算机科学课堂讲稿 1 信息与计算 1 理论计算机科学电子笔记 1 非线性分析。混合动力系统 全部的 前5名领域 17 计算机科学(68至XX) 13 系统论;控制(93至XX) 三 总体主题;集合(00-XX) 2 数值分析(65-XX) 1 交换代数(13-XX) 1 常微分方程(34-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用64中的次38文件 引用人▼ 年份▼ JuliaReach:基于集合的可达性工具箱。 Zbl 07120139号 塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;科斯蒂安·波托姆金;克里斯蒂安·席林 16 2019 通过低维集和高维矩阵的分解达到集近似。 Zbl 1417.93059号 塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;Viry,Frédéric;安德烈亚斯·波德尔斯基;克里斯蒂安·席林 11 2018 使用杂交和动力学标度的非线性系统的可达性分析。 Zbl 07317102号 李东旭;斯坦利·巴克;塞尔吉·博戈莫洛夫 7 2020 模板多面体的反例引导细化。 Zbl 1452.68099号 塞尔吉·博戈莫洛夫;戈兰·弗雷斯;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。 7 2017 使用支持功能消除可达性中的虚假转换。 Zbl 1364.93056号 戈兰·弗雷斯;塞尔吉·博戈莫洛夫;马吕斯·格雷萨克斯;托马斯·斯特伦普;安德烈亚斯·波德尔斯基 4 2015 非线性系统分析的可伸缩静态杂交方法。 Zbl 1364.68243号 斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格(Thomas A.Henzinger)。;泰勒·T·约翰逊。;普拉卡什,普拉多特 4 2016 基于不变簇的非线性混合系统的安全性验证。 Zbl 1369.93185号 孔慧;塞尔吉·博戈莫洛夫;克里斯蒂安·席林;姜瑜;托马斯·亨辛格(Thomas A.Henzinger)。 4 2017 HYST:混合自动机模型的源代码转换和翻译工具。 兹比尔1364.68244 斯坦利·巴克;塞尔吉·博戈莫洛夫;泰勒·T·约翰逊。 三 2015 为安全性和稳定性对混合系统的可达性进行综合分析。 Zbl 1305.68110号 塞尔吉·博戈莫洛夫;科琳娜·米特罗欣;安德烈亚斯·波德尔斯基 2 2010 使用符号可达性和轨迹拼接对混合系统进行伪造。 Zbl 07120135号 塞尔吉·博戈莫洛夫;戈兰·弗雷斯;阿米特·古龙;李东旭;乔治·马蒂乌斯;Rayarshi Ray 2 2019 使用随机傅里叶特征观测值和多项式分区细化的Koopman线性化系统的可达性。 Zbl 1518.93012号 斯坦利·巴克;塞尔吉·博戈莫洛夫;布兰登·亨西;Kochdumper,尼克拉斯;伊桑·卢;科斯蒂安·波托姆金 1 2022 混合系统的锥形抽象。 Zbl 1497.93109号 塞尔吉·博戈莫洛夫;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。;孔慧 1 2017 混合自动机可达性分析中保护的时间触发转换。 Zbl 1497.93107号 斯坦利·巴克;塞尔吉·博戈莫洛夫;马蒂亚斯·阿尔霍夫 1 2017 混合自动机中的准相关变量。 Zbl 1361.68118号 塞尔吉·博戈莫洛夫;克里斯蒂安·埃雷拉;马尔科·穆尼兹;伯恩德·韦斯特法尔;安德烈亚斯·波德尔斯基 1 2014 使用随机傅里叶特征观测值和多项式分区细化的Koopman线性化系统的可达性。 Zbl 1518.93012号 斯坦利·巴克;塞尔吉·博戈莫洛夫;布兰登·亨西;Kochdumper,尼克拉斯;伊桑·卢;科斯蒂安·波托姆金 1 2022 利用杂交和动力学标度分析非线性系统的可达性。 Zbl 07317102号 李东旭;斯坦利·巴克;塞尔吉·博戈莫洛夫 7 2020 JuliaReach:基于集合的可达性工具箱。 Zbl 07120139号 塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;科斯蒂安·波托姆金;克里斯蒂安·席林 16 2019 使用符号可达性和轨迹拼接对混合系统进行伪造。 Zbl 07120135号 塞尔吉·博戈莫洛夫;戈兰·弗雷斯;阿米特·古龙;李东旭;乔治·马蒂乌斯;Rayarshi Ray 2 2019 通过低维集和高维矩阵的分解达到集近似。 Zbl 1417.93059号 塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;Viry,Frédéric;安德烈亚斯·波德尔斯基;克里斯蒂安·席林 11 2018 模板多面体的反例引导细化。 Zbl 1452.68099号 塞尔吉·博戈莫洛夫;戈兰·弗雷斯;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。 7 2017 基于不变簇的非线性混合系统的安全性验证。 Zbl 1369.93185号 孔慧;塞尔吉·博戈莫洛夫;克里斯蒂安·席林;姜瑜;托马斯·亨辛格(Thomas A.Henzinger)。 4 2017 混合系统的锥形抽象。 Zbl 1497.93109号 塞尔吉·博戈莫洛夫;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。;孔慧 1 2017 混合自动机可达性分析中保护的时间触发转换。 Zbl 1497.93107号 斯坦利·巴克;塞尔吉·博戈莫洛夫;马蒂亚斯·阿尔霍夫 1 2017 非线性系统分析的可伸缩静态杂交方法。 Zbl 1364.68243号 斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格(Thomas A.Henzinger)。;泰勒·T·约翰逊。;普拉卡什,普拉多特 4 2016 使用支持功能消除可达性中的虚假转换。 Zbl 1364.93056号 戈兰·弗雷斯;塞尔吉·博戈莫洛夫;马吕斯·格雷萨克斯;托马斯·斯特伦普;安德烈亚斯·波德尔斯基 4 2015 HYST:混合自动机模型的源代码转换和翻译工具。 兹比尔1364.68244 斯坦利·巴克;塞尔吉·博戈莫洛夫;泰勒·T·约翰逊。 三 2015 混合自动机中的准相关变量。 Zbl 1361.68118号 塞尔吉·博戈莫洛夫;克里斯蒂安·埃雷拉;马尔科·穆尼兹;伯恩德·韦斯特法尔;安德烈亚斯·波德尔斯基 1 2014 组成混合系统的可达性分析,以确保安全性和稳定性。 Zbl 1305.68110号 塞尔吉·博戈莫洛夫;科琳娜·米特罗欣;安德烈亚斯·波德尔斯基 2 2010 所有引用的出版物 前5名被引用出版物 全部的 前5名被100位作者引用 6 马蒂亚斯·阿尔霍夫 6 塞尔吉·博戈莫洛夫 5 斯坦利·巴克 4 戈兰·弗雷斯 4 克里斯蒂安·席林 三 马塞洛·福雷茨 三 Kochdumper,尼克拉斯 三 马克·韦兹林格 2 米歇尔·博雷尔 2 米尔科·贾科布 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 泰勒·T·约翰逊。 2 阿德里安·库姆伯格 2 李东旭 2 安德烈亚斯·波德尔斯基 2 玛丽亚·普兰迪尼 1 亚历山德罗·阿巴特 1 艾丽卡·阿尔布拉汉姆 1 阿文德·阿迪穆兰 1 亚明·艾特阿默尔 1 劳拉·阿尔蒂莉·桑巴托洛美 1 埃里克·阿塞林 1 西蒙·巴尔迪 1 斯蒂芬·贝克尔。 1 本·萨西,穆罕默德·阿明 1 尼克·贝扎尼什维利 1 阿尔贝托·卡萨格兰德 1 达里奥·卡塔鲁扎 1 文森佐·西安西亚 1 亚历山德罗·西马蒂 1 亚瑟·克莱维尔 1 凯瑟琳·科德威尔 1 达默斯,朱利安 1 Thao Dang先生 1 里卡多·德西米尼 1 丁明辉 1 董伟杰 1 卢卡·多里戈 1 托马索·德罗西 1 帕拉萨拉·斯里达尔·达吉拉拉 1 纪尧姆·杜邦 1 特里斯坦·埃伯特 1 Gabelaia,大卫 1 克里斯托夫·加里昂 1 阿尔贝托·格里乔 1 吉安卢卡·格里莱蒂 1 杰西卡·格伦斯基。 1 拉杜·格罗苏 1 阿米特·古龙 1 纳撒尼尔·P·汉密尔顿。 1 布兰登·亨西 1 艾哈迈德·伊尔凡 1 卢克·杰林 1 丹尼尔·科宁 1 托拜厄斯·拉德纳 1 迭戈·拉特拉 1 亚历克西斯·勒彭文 1 伊桑·卢 1 李绍元 1 李一农 1 罗、二台 1 迭戈·曼扎纳斯·洛佩兹 1 乔治·马蒂乌斯 1 梅克·马西克 1 科琳娜·米特罗欣 1 斯特凡·米奇 1 帕特里克·穆索 1 越南,攀盛 1 苏菲·纽鲍尔(Sophie A.Neubauer)。 1 阮、滦越 1 克莱尔·佩吉蒂 1 卡拉广场 1 埃莉诺拉·皮皮亚 1 安德烈·普拉泽 1 科斯蒂安·波托姆金 1 贾加特·乔蒂·拉特 1 Rayarshi Ray 1 西蒙,罗侯 1 马可·罗维里 1 因德拉尼尔·萨哈 1 桑卡拉纳拉亚南,斯里拉姆 1 彼得·施拉梅尔 1 斯特凡·舒普 1 巴斯蒂安·舒尔曼 1 罗伯托·塞巴斯蒂亚尼 1 尼拉杰·库马尔·辛格 1 安德鲁·索戈孔 1 米丽亚姆·加西亚·索托 1 保利乌斯·斯坦凯蒂斯 1 Tan,Yong Kiam先生 1 乐光督安 1 Tran,Hoang-Dung村 1 里卡多·维格纳利 1 Kan王 1 项伟明 1 尹、香 1 于新义 1 埃纳州扎法内拉 1 章子伟 1 郑玲 全部的 前5名9连载 4 信息与计算 4 非线性分析。混合动力系统 三 Automatica公司 2 系统设计中的形式化方法 1 富兰克林学院学报 1 自动推理杂志 1 离散事件动态系统 1 国际鲁棒非线性控制杂志 1 计算机科学中的逻辑方法 全部的 前5名在8个字段中引用 26 计算机科学(68至XX) 20 系统论;控制(93至XX) 2 数理逻辑与基础(03-XX) 2 数值分析(65-XX) 2 运筹学、数学规划(90-XX) 1 常微分方程(34-XX) 1 偏微分方程(35-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文