编辑配置文件（在新选项卡中打开） 桑吉特·阿伦库马尔·塞希亚 合著者距离 作者ID： 塞西亚·桑吉特·阿伦库马尔 发布日期： Sanjit A.Seshia。;桑吉特·阿伦库马尔·塞希亚 已编制索引的文档： 52出版物自2002年以来，包括1本书 2作为编辑的贡献 合著者： 76位合著者具有54联合出版物 1841合著作者 全部的 前5名合著者 0 单作者的 9 Randal E.布莱恩特。 6 亚历山大·唐泽 6 Alberto L.Sangiovanni-Vincentelli。 5 苏斯米特·贾 4 街机，壁画 4 丹尼尔·弗里蒙特。 4 Shromona Ghosh公司 4 埃里克·S·金。 4 拉希里、舒文杜·库马尔 4 瓦苏马提·拉曼 4 马塞尔·瓦兹奎兹·香拉特 三 Jyotirmoy V.德斯穆赫。 三 Jha，萨默什 三 金小青 三 塞巴斯蒂安·荣格斯 三 皮埃尔路易吉·努佐 三 多尔莎·萨迪 三 Yasser，舒克里 三 斯特里赫曼（Ofer Strichman） 三 保罗·塔布阿达 2 布莱恩·布雷迪（Bryan A.Brady）。 2 托马索·德罗西 2 科马克·弗拉纳根 2 丹尼尔·科宁 2 乔尔·欧·瓦克宁。 2 乔治·帕帕斯。 2 伊丽莎白·波尔格林 2 阿尔贝托·普格利 2 沙兹·卡迪尔 2 马库斯·拉贝。 1 安德烈亚·亚历山大。 1 索米尔·班萨尔 1 阿尔伯特·本文尼斯特 1 安库什·德赛 1 吕迪格·埃勒斯 1 斯蒂芬·尼尔（Stephen Neal Freund） 1 维杰·加内什 1 康斯坦蒂诺斯·盖茨斯 1 阿里·古芬克尔 1 威廉·R·哈里斯。 1 史蒂文·霍尔岑 1 Incer，伊尼戈 1 特伦特·杰格 1 尼尔斯·詹森 1 加维特·朱尼瓦尔 1 爱德华·D·金。 1 金，戴夫 1 Kress-Gazit，哈达斯 1 圣菲拉福顿 1 李爱德华·阿什福德 1 玛杜苏丹，帕塔萨拉蒂 1 托德·德·米尔斯坦。 1 费德里科·莫拉 1 内森·穆尔 1 Richard M.默里。 1 迪维亚·穆图库马兰 1 尼基尔·皮姆帕尔切尔 1 卡梅隆·拉斯穆森 1 布莱克·罗林斯。 1 代表，Thomas W。 1 安德鲁·雷诺兹 1 沙海、图欣 1 S.Shankar，萨斯特里 1 Natarajan Shankar 1 娜塔莎·莎莉吉娜 1 Sumukh Shivakumar 1 克里希纳·苏布拉马尼 1 Leander Tentrup公司 1 阿什什·库马尔·蒂瓦里 1 克莱尔·汤姆林。 1 托法、哈泽姆 1 斯塔夫罗斯·特里帕基斯 1 范登·布勒克，盖伊 1 大卫·威塞尔 1 吴义钦 1 岳向玉 全部的 前5名系列 4 系统设计中的形式化方法 三 自动推理杂志 2 IEEE自动控制汇刊 2 计算机科学课堂讲稿 1 信息学报 1 Automatica公司 1 理论计算机科学 1 可满足性、布尔建模与计算杂志 1 计算机科学中的逻辑方法 全部的 前5名领域 52 计算机科学（68至XX） 13 系统论；控制（93至XX） 11 数学逻辑和基础（03-XX） 6 运筹学、数学规划（90-XX） 三 一般性和全局性主题；集合（00-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 46出版物有被引用321次269文件 引用人▼ 年份▼ 传感器攻击下网络物理系统的安全状态估计：可满足性模理论方法。 兹比尔139093532 亚瑟·舒克利;皮埃尔路易吉·努佐;阿尔贝托·普格利;Alberto L.Sangiovanni-Vincentelli。;Sanjit A.Seshia。;保罗·塔布阿达 32 2017 使用带有lambda表达式和未解释函数的计数器算术逻辑对系统进行建模和验证。 Zbl 1010.68522号 Randal E.布莱恩特。;Lahiri，Shuvendu K。;Sanjit A.Seshia。 22 2002 根据信号时序逻辑规范进行反应合成。 Zbl 1366.68180号 瓦苏马提·拉曼;亚历山大·唐泽;多尔莎·萨迪;理查德·默里（Richard M.Murray）。;Sanjit A.Seshia。 21 2015 嵌入式系统简介。一种网络物理系统方法。第二版。 Zbl 1371.68001号 李爱德华·阿什福德;桑吉特·阿伦库马尔·塞希亚 19 2017 用抽象方法确定位向量算法。 兹比尔1186.68281 Randal E.布莱恩特。;丹尼尔·克罗宁;约尔·瓦克宁;Sanjit A.Seshia。;斯特里赫曼（Ofer Strichman）;布莱恩·布雷迪 17 2007 凸不确定性MDP PCTL性质的多项式时间验证。 兹比尔1435.68202 阿尔贝托·普格利;李文超;Alberto L.Sangiovanni-Vincentelli。;Sanjit A.Seshia。 14 2013 强大的信号时序逻辑在线监测。 Zbl 1370.68199号 Jyotirmoy V.德斯穆赫。;亚历山大·唐泽;Shromona Ghosh公司;金小青;加维特·朱尼瓦尔;Sanjit A.Seshia。 14 2017 用SAT确定分离公式。 Zbl 1010.68168号 斯特里赫曼（Ofer Strichman）;Sanjit A.Seshia。;Randal E.布莱恩特。 14 2002 通过归纳学习的形式综合理论。 Zbl 1380.68124号 苏斯米特·贾;Seshia、Sanjit A。 12 2017 使用参数化解边界确定无量词Presburger公式。 Zbl 1125.03010号 Sanjit A.Seshia。;Randal E.布莱恩特。 8 2005 UCLID决策程序。 Zbl 1103.68628号 Lahiri，Shuvendu K。;Sanjit A.Seshia。 8 2004 增量确定。 Zbl 1475.68222号 马库斯·拉贝。;Sanjit A.Seshia。 8 2016 带标识符的合成。 Zbl 1428.68183号 吕迪格·埃勒斯;Sanjit A.Seshia。;Kress-Gazit，哈达斯 8 2014 综合模糊处理策略以确保隐私和实用性。 Zbl 1426.68085号 吴义钦;瓦苏马提·拉曼;布莱克·罗林斯。;拉福，Stéphane;Sanjit A.Seshia。 8 2018 计算机辅助验证。2012年7月7日至13日，第24届国际会议，CAV 2012，美国加州伯克利。诉讼程序。 Zbl 1241.68027号 7 2012 关于求解UTVPI约束的布尔组合。 兹比尔1129.68079 Sanjit A.Seshia。;苏布拉马尼，K。;Randal E.布莱恩特。 7 2007 惰性线性混合自动机的符号可达性分析。 Zbl 1141.93352号 苏斯米特·贾;布莱恩·布雷迪（Bryan A.Brady）。;Sanjit A.Seshia。 7 2007 深度神经网络的形式规范。 Zbl 1517.68345号 Sanjit A.Seshia。;安库什·德赛;托马索·德罗西;丹尼尔·弗里蒙特。;Shromona Ghosh公司;爱德华·金;苏穆克希瓦库马尔;马塞尔·瓦兹奎兹·香拉特;岳向玉 7 2018 时间序列数据的逻辑聚类和学习。 Zbl 1494.68232号 马塞尔·瓦兹奎兹·香拉特;Jyotirmoy V.德斯穆赫。;金小青;Sanjit A.Seshia。 6 2017 从闭环控制模型中挖掘需求。 Zbl 1362.93008号 金小青;亚历山大·唐泽;Jyotirmoy V.德斯穆赫。;Sanjit A.Seshia。 6 2013 根据信号时序逻辑规范进行综合的诊断和修复。 Zbl 1366.68169号 Shromona Ghosh公司;多尔莎·萨迪;皮埃尔路易吉·努佐;瓦苏马提·拉曼;亚历山大·唐泽;Alberto L.Sangiovanni-Vincentelli。;S.Shankar，萨斯特里;Sanjit A.Seshia。 6 2016 UCLID中无序微处理器的建模和验证。 兹伯利1019.68623 Lahiri，Shuvendu K。;Sanjit A.Seshia。;Randal E.布莱恩特。 5 2002 基于抽象的Presburger算法的可满足性求解。 Zbl 1103.68626号 丹尼尔·克罗宁;约尔·瓦克宁;Seshia、Sanjit A。;斯特里赫曼（Ofer Strichman） 5 2004 SAT的硬度与社区结构。 Zbl 1475.68353号 内森·穆尔;丹尼尔·弗里蒙特。;Sanjit A.Seshia。 5 2016 SMC：可满足性模凸优化。 Zbl 1366.68102号 亚瑟·舒克利;皮埃尔路易吉·努佐;Alberto L.Sangiovanni-Vincentelli。;Sanjit A.Seshia。;乔治·帕帕斯。;保罗·塔布阿达 5 2017 TeLEx：使用紧密度度量从正面示例学习信号时序逻辑。 Zbl 1425.68349号 苏斯米特·贾;阿什什·蒂瓦里;Sanjit A.Seshia。;沙海、图欣;Natarajan Shankar 5 2019 多线程程序的模块化验证。 兹比尔1108.68080 科马克·弗拉纳根;斯蒂芬·弗伦德（Stephen N.Freund）。;沙兹·卡迪尔;Sanjit A.Seshia。 4 2005 使用机会约束时序逻辑实现感知不确定性下的安全自主。 Zbl 1425.93202号 苏斯米特·贾;瓦苏马提·拉曼;多尔莎·萨迪;Sanjit A.Seshia。 4 2018 有向规范单调系统的符号控制设计。 Zbl 1373.93119号 埃里克·S·金。;街机，壁画;Sanjit A.Seshia。 三 2017 基于云的部分同态加密二次优化。 Zbl 07352162号 安德烈亚·亚历山大。;康斯坦蒂诺斯·盖茨斯;亚瑟·舒克利;Sanjit A.Seshia。;保罗·塔布阿达;乔治·帕帕斯。 三 2021 用于多线程程序的模块化检查器。 Zbl 1010.68501号 科马克·弗拉纳根;沙兹·卡迪尔;Sanjit A.Seshia。 三 2002 验证建模。 Zbl 1392.68264号 Seshia、Sanjit A。;娜塔莎·莎莉吉娜;斯塔夫罗斯·特里帕基斯 三 2018 一种新的仿真度量，用于确定具有未知动态系统的安全环境和控制器。 Zbl 07120154号 Shromona Ghosh公司;索米尔·班萨尔;阿尔贝托Sangiovanni-Vincentelli;Sanjit A.Seshia。;克莱尔·汤姆林 三 2019 在POMDP中实施几乎安全的可达性。 Zbl 1493.68213号 塞巴斯蒂安·荣格斯;尼尔斯·詹森;Sanjit A.Seshia。 三 2021 术语级有界模型检验中的收敛性测试。 Zbl 1179.68079号 Randal E.布莱恩特。;Lahiri，Shuvendu K。;Seshia、Sanjit A。 2 2003 控制即兴发挥。 Zbl 1366.68144号 丹尼尔·弗里蒙特。;亚历山大·唐泽;Sanjit A.Seshia。;大卫·威塞尔 2 2015 使用机器学习组件对网络物理系统进行合成伪造。 Zbl 1468.68126号 托马索·德罗西;亚历山大·唐泽;Sanjit A.Seshia。 2 2019 理解并扩展2QBF的增量确定。 Zbl 1511.68258号 马库斯·拉贝。;Leander Tentrup公司;卡梅隆·拉斯穆森;Sanjit A.Seshia。 2 2018 反应控制即兴发挥。 Zbl 1511.68156号 丹尼尔·弗里蒙特。;Seshia、Sanjit A。 2 2018 MedleySolver：在线SMT算法选择。 Zbl 07495591号 尼基尔·皮姆帕尔切尔;费德里科·莫拉;伊丽莎白·波尔格林;Sanjit A.Seshia。 2 2021 可满足性与合成模预言。 兹比尔1498.68082 伊丽莎白·波尔格林;安德鲁·雷诺兹;Sanjit A.Seshia。 2 2022 从演示中推断出最大因果熵规范。 Zbl 1478.68301号 马塞尔·瓦兹奎兹·香拉特;Sanjit A.Seshia。 1 2020 参数假设担保合同的小增益定理。 Zbl 1366.68174号 埃里克·S·金。;街机，壁画;Sanjit A.Seshia。 1 2017 利用概率推理对有限水平马尔可夫链进行模型检验。 Zbl 1493.68210号 史蒂文·霍尔岑;塞巴斯蒂安·荣格斯;马塞尔·瓦兹奎兹·香拉特;托德·米尔斯坦;Seshia、Sanjit A。;盖伊，范登·布勒克 1 2021 Markov决策过程的运行时监控器。 Zbl 1493.68214号 塞巴斯蒂安·荣格斯;托法、哈泽姆;Sanjit A.Seshia。 1 2021 单调动力系统的有向规范和假设挖掘。 Zbl 1366.68173号 埃里克·S·金。;街机，壁画;Sanjit A.Seshia。 1 2016 可满足性与合成模预言。 Zbl 1498.68082号 伊丽莎白·波尔格林;安德鲁·雷诺兹;Sanjit A.Seshia。 2 2022 基于云的部分同态加密二次优化。 Zbl 07352162号 安德烈亚·亚历山大。;康斯坦蒂诺斯·盖茨斯;亚瑟·舒克利;Seshia、Sanjit A。;保罗·塔布阿达;乔治·帕帕斯。 三 2021 在POMDP中实施几乎安全的可达性。 Zbl 1493.68213号 塞巴斯蒂安·荣格斯;尼尔斯·詹森;Seshia、Sanjit A。 三 2021 MedleySolver：在线SMT算法选择。 Zbl 07495591号 尼基尔·皮姆帕尔切尔;费德里科·莫拉;伊丽莎白·波尔格林;Sanjit A.Seshia。 2 2021 利用概率推理对有限水平马尔可夫链进行模型检验。 Zbl 1493.68210号 史蒂文·霍尔岑;塞巴斯蒂安·荣格斯;马塞尔·瓦兹奎兹·香拉特;托德·米尔斯坦;Sanjit A.Seshia。;盖伊，范登·布勒克 1 2021 Markov决策过程的运行时监控器。 Zbl 1493.68214号 塞巴斯蒂安·荣格斯;托法、哈泽姆;Sanjit A.Seshia。 1 2021 从演示中推断出最大因果熵规范。 Zbl 1478.68301号 马塞尔·瓦兹奎兹·香拉特;Sanjit A.Seshia。 1 2020 TeLEx：使用紧密度度量从正面示例学习信号时序逻辑。 Zbl 1425.68349号 苏斯米特·贾;阿什什·蒂瓦里;Sanjit A.Seshia。;沙海、图欣;Natarajan Shankar 5 2019 一种新的仿真度量，用于确定具有未知动态系统的安全环境和控制器。 Zbl 07120154号 Shromona Ghosh公司;索米尔·班萨尔;阿尔贝托Sangiovanni-Vincentelli;Sanjit A.Seshia。;克莱尔·汤姆林 三 2019 使用机器学习组件对网络物理系统进行合成伪造。 Zbl 1468.68126号 托马索·德罗西;亚历山大·唐泽;Sanjit A.Seshia。 2 2019 综合模糊处理策略以确保隐私和实用性。 Zbl 1426.68085号 吴毅琴;瓦苏马提·拉曼;布莱克·罗林斯。;圣菲拉福顿;Sanjit A.Seshia。 8 2018 深度神经网络的形式规范。 兹比尔1517.68345 Sanjit A.Seshia。;安库什·德赛;托马索·德罗西;丹尼尔·弗里蒙特。;Shromona Ghosh公司;爱德华·金;Sumukh Shivakumar;马塞尔·瓦兹奎兹·香拉特;岳向玉 7 2018 使用机会约束时序逻辑实现感知不确定性下的安全自主。 Zbl 1425.93202号 苏斯米特·贾;瓦苏马提·拉曼;多尔莎·萨迪;Sanjit A.Seshia。 4 2018 验证建模。 Zbl 1392.68264号 Sanjit A.Seshia。;娜塔莎·莎莉吉娜;斯塔夫罗斯·特里帕基斯 三 2018 理解和扩展2QBF的增量确定。 Zbl 1511.68258号 马库斯·拉贝。;Leander Tentrup公司;卡梅隆·拉斯穆森;Sanjit A.Seshia。 2 2018 反应控制即兴发挥。 Zbl 1511.68156号 丹尼尔·弗里蒙特。;Sanjit A.Seshia。 2 2018 传感器攻击下网络物理系统的安全状态估计：可满足性模理论方法。 Zbl 1390.93532号 亚瑟·舒克利;皮埃尔路易吉·努佐;阿尔贝托·普格利;Alberto L.Sangiovanni-Vincentelli。;Sanjit A.Seshia。;保罗·塔布阿达 32 2017 嵌入式系统简介。一种网络物理系统方法。第二版。 Zbl 1371.68001号 李爱德华·阿什福德;桑吉特·阿伦库马尔·塞希亚 19 2017 强大的信号时序逻辑在线监测。 Zbl 1370.68199号 Jyotirmoy V.德斯穆赫。;亚历山大·唐泽;Shromona Ghosh公司;金小青;加维特·朱尼瓦尔;Seshia、Sanjit A。 14 2017 通过归纳学习的形式综合理论。 Zbl 1380.68124号 苏斯米特·贾;Sanjit A.Seshia。 12 2017 时间序列数据的逻辑聚类和学习。 Zbl 1494.68232号 马塞尔·瓦兹奎兹·香拉特;Jyotirmoy V.德斯穆赫。;金小青;Sanjit A.Seshia。 6 2017 SMC：可满足性模凸优化。 Zbl 1366.68102号 亚瑟·舒克利;皮埃尔路易吉·努佐;Alberto L.Sangiovanni-Vincentelli。;Sanjit A.Seshia。;乔治·帕帕斯。;保罗·塔布阿达 5 2017 具有定向规范的单调系统的符号控制设计。 Zbl 1373.93119号 埃里克·S·金。;街机，壁画;Sanjit A.Seshia。 三 2017 参数假设担保合同的小增益定理。 Zbl 1366.68174号 埃里克·S·金。;街机，壁画;Sanjit A.Seshia。 1 2017 增量确定。 Zbl 1475.68222号 马库斯·拉贝。;Sanjit A.Seshia。 8 2016 根据信号时序逻辑规范进行综合的诊断和修复。 Zbl 1366.68169号 Shromona Ghosh公司;多尔莎·萨迪;皮埃尔路易吉·努佐;瓦苏马提·拉曼;亚历山大·唐泽;Alberto L.Sangiovanni-Vincentelli。;S.Shankar，萨斯特里;Seshia、Sanjit A。 6 2016 SAT的硬度与社区结构。 Zbl 1475.68353号 内森·穆尔;丹尼尔·弗里蒙特。;Seshia、Sanjit A。 5 2016 单调动力系统的有向规范和假设挖掘。 Zbl 1366.68173号 埃里克·S·金。;街机，壁画;Sanjit A.Seshia。 1 2016 根据信号时序逻辑规范进行反应合成。 Zbl 1366.68180号 瓦苏马提·拉曼;亚历山大·唐泽;多尔莎·萨迪;理查德·默里（Richard M.Murray）。;Sanjit A.Seshia。 21 2015 控制即兴发挥。 Zbl 1366.68144号 丹尼尔·弗里蒙特。;亚历山大·唐泽;Sanjit A.Seshia。;大卫·威塞尔 2 2015 带标识符的合成。 兹比尔1428.68183 吕迪格·埃勒斯;Sanjit A.Seshia。;Kress-Gazit，哈达斯 8 2014 凸不确定性MDP PCTL性质的多项式时间验证。 Zbl 1435.68202号 阿尔贝托·普格利;李文超;Alberto L.Sangiovanni-Vincentelli。;Sanjit A.Seshia。 14 2013 从闭环控制模型中挖掘需求。 Zbl 1362.93008号 金小青;亚历山大·唐泽;Jyotirmoy V.德斯穆赫。;Sanjit A.Seshia。 6 2013 计算机辅助验证。2012年7月7日至13日，第24届国际会议，CAV 2012，美国加州伯克利。诉讼程序。 Zbl 1241.68027号 7 2012 用抽象方法确定位向量算法。 Zbl 1186.68281号 Randal E.布莱恩特。;丹尼尔·克罗宁;约尔·瓦克宁;Sanjit A.Seshia。;斯特里赫曼（Ofer Strichman）;布莱恩·布雷迪 17 2007 关于求解UTVPI约束的布尔组合。 Zbl 1129.68079号 Sanjit A.Seshia。;苏布拉马尼，K。;Randal E.布莱恩特。 7 2007 惰性线性混合自动机的符号可达性分析。 兹比尔1141.93352 苏斯米特·贾;布莱恩·布雷迪（Bryan A.Brady）。;Sanjit A.Seshia。 7 2007 使用参数化解边界确定无量词Presburger公式。 Zbl 1125.03010号 Sanjit A.Seshia。;Randal E.布莱恩特。 8 2005 多线程程序的模块化验证。 Zbl 1108.68080号 科马克·弗拉纳根;斯蒂芬·弗伦德（Stephen N.Freund）。;沙兹·卡迪尔;Sanjit A.Seshia。 4 2005 UCLID决策程序。 Zbl 1103.68628号 Lahiri，Shuvendu K。;Sanjit A.Seshia。 8 2004 基于抽象的Presburger算法的可满足性求解。 Zbl 1103.68626号 丹尼尔·克罗宁;约尔·瓦克宁;Sanjit A.Seshia。;斯特里赫曼（Ofer Strichman） 5 2004 术语级有界模型检验中的收敛性测试。 Zbl 1179.68079号 Randal E.布莱恩特。;Lahiri，Shuvendu K。;Sanjit A.Seshia。 2 2003 使用带有lambda表达式和未解释函数的计数器算术逻辑对系统进行建模和验证。 Zbl 1010.68522号 Randal E.布莱恩特。;Lahiri，Shuvendu K。;Sanjit A.Seshia。 22 2002 用SAT确定分离公式。 Zbl 1010.68168号 斯特里赫曼（Ofer Strichman）;Sanjit A.Seshia。;Randal E.布莱恩特。 14 2002 UCLID中无序微处理器的建模和验证。 Zbl 1019.68623号 Lahiri，Shuvendu K。;Sanjit A.Seshia。;Randal E.布莱恩特。 5 2002 多线程程序的模块化检查器。 兹比尔1010.68501 科马克·弗拉纳根;沙兹·卡迪尔;Sanjit A.Seshia。 三 2002 所有引用出版物 前5名被引用出版物 全部的 前5名641位作者引用 13 桑吉特·阿伦库马尔·塞希亚 10 塞巴斯蒂安·荣格斯 8 Joost-Pieter卡托恩 8 克里希纳·苏布拉马尼 7 杨光宏 6 埃齐奥·巴托西 6 迪马罗戈纳斯，迪莫斯五世。 6 艾曼纽·菲利奥特 6 尼尔斯·詹森 5 亚历山德罗·西马蒂 5 莱奥·埃克巴德 5 卡尔·亨利克·约翰逊 5 皮埃尔·阿莱·雷尼尔 4 达姆，沃纳 4 苏斯米特·贾 4 德扬·尼科维奇 4 斯特里赫曼（Ofer Strichman） 4 乌富克托普库 三 马蒂亚斯·阿尔霍夫 三 安、李伟 三 马可·波扎诺 三 查克拉波蒂，苏普拉特克 三 穆拉特·库布克特佩 三 Thao Dang先生 三 Jyotirmoy V.德斯穆赫。 三 亚历山大·唐泽 三 托马索·德罗西 三 何兴康 三 丹尼尔·科宁 三 维克多·昆卡 三 圣菲拉福顿 三 林德曼，拉尔斯 三 鲁、安阳 三 阿米尔·普努利 三 罗伯托·塞巴斯蒂亚尼 三 沙龙·肖姆 三 塞萨尔·蒂内利 三 西蒙·蒂尼 三 莫西·亚亚科夫·瓦尔迪 2 亚历山德罗·阿巴特 2 阿姆鲁阿兰瓦尔 2 巴哈雷赫巴德班 2 羽毛球，Thom S。 2 克拉克·W·巴雷特。 2 Calin A.Belta。 2 阿明·比尔 2 迪米特里斯·博斯科斯 2 罗伯特·布鲁托梅索 2 蔡少伟 2 瓦伦蒂娜·卡斯蒂格利奥尼 2 莱昂纳多·德·莫拉 2 海宁·迪尔克斯 2 斯特凡·迪什 2 约塔姆·M·Y·费尔德曼。 2 阿德里安·弗兰卡兰扎 2 丹尼尔·弗里蒙特。 2 托拜厄斯·弗里德里希 2 维杰·加内什 2 格雷姆·恒河 2 安托万·吉拉德 2 恩里科·金西格里亚 2 阿尔贝托·格里乔 2 尤塞夫·哈马迪 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 沙迦·伊扎基 2 瑞典雅各布斯 2 桑杰·贾恩 2 汤米·A·琼蒂拉。 2 阿伊拉特·哈利莫夫 2 Efim B.金伯。 2 Sr Djan Krstić 2 奥尔纳·库普弗曼 2 约尔迪·利维 2 李伯翰 2 刘荣健 2 米歇尔·洛雷蒂 2 卢建全 2 康斯坦蒂诺斯·马穆拉斯 2 马可·马拉提亚 2 Manuel jun，马祖。 2 Gilles Millerioux公司 2 南乔希，Kedar S。 2 劳拉·内兹 2 内克米耶·奥扎伊 2 米罗斯拉夫·帕季奇 2 吉列尔莫·A·佩雷斯。 2 卡拉广场 2 弗洛里安·皮戈什 2 鲁齐卡皮斯卡 2 伊丽莎白·波尔格林 2 哈桑·普纳瓦拉（Hasan A.Poonawala）。 2 瓦苏马提·拉曼 2 约夫·罗德 2 罗森伯格（Ralf Rothenberger） 2 沙海、图欣 2 亨利克·桑德伯格 2 桑卡拉纳拉亚南，斯里拉姆 2 阿德纳·索乌德 2 彼得·沙切特 2 克里斯托夫·斯科尔 …还有541位作者 全部的 前5名43篇连载文章中引用 39 Automatica公司 19 系统设计中的形式化方法 16 自动推理杂志 10 理论计算机科学 9 人工智能 7 信息与计算 5 计算的形式方面 4 信息学报 4 信息科学 4 国际鲁棒非线性控制杂志 4 计算机科学中的逻辑方法 三 国际控制杂志 三 富兰克林学院学报 三 系统和控制信件 三 控制论与系统分析 三 欧洲控制杂志 三 逻辑程序设计理论与实践 三 非线性分析。混合动力系统 2 计算机与系统科学杂志 2 符号计算杂志 2 算法 2 离散事件动态系统 2 人工智能研究杂志 1 离散应用数学 1 混沌、孤立子和分形 1 应用数学与计算 1 SIAM控制与优化杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 国际并行程序设计杂志 1 随机结构与算法 1 应用的分类结构 1 计算系统理论 1 应用数学与决策科学杂志 1 混乱 1 计算机基础理论 1 ACM计算逻辑事务 1 离散优化 1 计算机科学中的数学 1 可满足性、布尔建模与计算杂志 1 程序设计中的逻辑和代数方法杂志 1 国际系统科学杂志。系统与集成原理与应用 1 Modelirovanie i Analiz信息系统 全部的 前5名17个领域引用 207 计算机科学（68至XX） 89 系统论；控制（93至XX） 38 数学逻辑和基础（03-XX） 28 运筹学、数学规划（90-XX） 7 组合数学（05-XX） 7 信息与通信理论、电路（94-XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 生物学和其他自然科学（92-XX） 4 概率论与随机过程（60-XX） 4 统计学（62-XX） 2 一般性和全局性主题；集合（00-XX） 2 范畴理论；同调代数（18-XX） 2 数值分析（65-XX） 1 数论（11-XX） 1 场论和多项式（12-XX） 1 动力系统和遍历理论（37至XX） 1 变分法与最优控制；最优化（49-XX） 按年份列出的引文