编辑配置文件（在新选项卡中打开） 桑吉特·阿伦库马尔·塞希亚 合著者距离 作者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 Shuvendu Kumar拉希里 4 瓦苏马提·拉曼 4 马塞尔·瓦兹奎兹·香拉特 三 Jyotirmoy V.德斯穆赫。 三 Jha，萨默什 三 金小青 三 塞巴斯蒂安·荣格斯 三 皮埃尔路易吉·努佐 三 多尔莎·萨迪 三 亚瑟·舒克利 三 斯特里赫曼（Ofer Strichman） 三 保罗·塔布阿达 2 布莱恩·布雷迪（Bryan A.Brady）。 2 托马索·德罗西 2 科马克·弗拉纳根 2 丹尼尔·科宁 2 乔尔·欧·瓦克宁。 2 乔治·J·帕帕斯。 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.Murray）。 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名领域 51 计算机科学（68至XX） 13 系统论；控制（93至XX） 11 数学逻辑和基础（03-XX） 5 运筹学、数学规划（90-XX） 三 总体主题；集合（00-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 46出版物有被引用320中的次268文件 引用人▼ 年份▼ 传感器攻击下网络物理系统的安全状态估计：可满足性模理论方法。 兹比尔139093532 亚瑟·舒克利；皮埃尔路易吉·努佐；阿尔贝托·普格利；Alberto L.Sangiovanni-Vincentelli。；Sanjit A.Seshia。；保罗·塔布阿达 32 2017 使用带有lambda表达式和未解释函数的计数器算术逻辑对系统进行建模和验证。 Zbl 1010.68522号 Randal E.布莱恩特。；Shuvendu K.拉希里。；Sanjit A.Seshia。 22 2002 根据信号时序逻辑规范进行反应合成。 Zbl 1366.68180号 瓦苏马提·拉曼；亚历山大·唐泽；多尔莎·萨迪；理查德·默里（Richard M.Murray）。；Sanjit A.Seshia。 21 2015 嵌入式系统简介。一种网络物理系统方法。第二版。 Zbl 1371.68001号 爱德华·阿什福德李；桑吉特·阿伦库马尔·塞希亚 19 2017 用抽象方法确定位向量算法。 Zbl 1186.68281号 Randal E.布莱恩特。；丹尼尔·克罗宁；约尔·瓦克宁；Sanjit A.Seshia。；斯特里赫曼（Ofer Strichman）；布雷迪，布莱恩 17 2007 用SAT确定分离公式。 Zbl 1010.68168号 斯特里赫曼（Ofer Strichman）；Sanjit A.Seshia。；Randal E.布莱恩特。 14 2002 凸不确定性MDP PCTL性质的多项式时间验证。 Zbl 1435.68202号 阿尔贝托·普格利；李文超；Alberto L.Sangiovanni-Vincentelli。；Sanjit A.Seshia。 14 2013 强大的信号时序逻辑在线监测。 Zbl 1370.68199号 Jyotirmoy V.德斯穆赫。；亚历山大·唐泽；Shromona Ghosh公司；金小青；加维特·朱尼瓦尔；Sanjit A.Seshia。 14 2017 通过归纳学习的形式综合理论。 Zbl 1380.68124号 苏斯米特·贾；Sanjit A.Seshia。 12 2017 UCLID决策程序。 Zbl 1103.68628号 Shuvendu K.拉希里。；Sanjit A.Seshia。 8 2004 综合模糊处理策略以确保隐私和实用性。 Zbl 1426.68085号 吴义钦；拉曼，瓦苏马蒂；布莱克·罗林斯。；圣菲拉福顿；Sanjit A.Seshia。 8 2018 带标识符的合成。 Zbl 1428.68183号 吕迪格·埃勒斯；Sanjit A.Seshia。；Kress-Gazit，哈达斯 8 2014 使用参数化解边界确定无量词Presburger公式。 Zbl 1125.03010号 Sanjit A.Seshia。；Randal E.布莱恩特。 8 2005 增量确定。 Zbl 1475.68222号 马库斯·拉贝。；Sanjit A.Seshia。 8 2016 计算机辅助验证。2012年7月7日至13日，第24届国际会议，CAV 2012，美国加州伯克利。诉讼程序。 Zbl 1241.68027号 7 2012 惰性线性混合自动机的符号可达性分析。 Zbl 1141.93352号 苏斯米特·贾；布莱恩·布雷迪（Bryan A.Brady）。；Sanjit A.Seshia。 7 2007 关于求解UTVPI约束的布尔组合。 兹比尔1129.68079 Sanjit A.Seshia。；苏布拉马尼，K。；Randal E.布莱恩特。 7 2007 深度神经网络的形式规范。 Zbl 1517.68345号 Sanjit A.Seshia。；安库什·德赛；托马索·德罗西；丹尼尔·弗里蒙特。；Shromona Ghosh公司；爱德华·金；Sumukh Shivakumar；马塞尔·瓦兹奎兹·香拉特；岳向玉 6 2018 从闭环控制模型中挖掘需求。 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 时间序列数据的逻辑聚类和学习。 Zbl 1494.68232号 马塞尔·瓦兹奎兹·香拉特；Jyotirmoy V.德斯穆赫。；金小青；Sanjit A.Seshia。 6 2017 基于抽象的Presburger算法的可满足性求解。 Zbl 1103.68626号 丹尼尔·克罗宁；约尔·瓦克宁；Sanjit A.Seshia。；斯特里赫曼（Ofer Strichman） 5 2004 UCLID中无序微处理器的建模和验证。 Zbl 1019.68623号 Shuvendu K.拉希里。；Sanjit A.Seshia。；Randal E.布莱恩特。 5 2002 TeLEx：使用紧密度度量从正面示例学习信号时序逻辑。 Zbl 1425.68349号 苏斯米特·贾；阿什什·蒂瓦里；Sanjit A.Seshia。；沙海、图欣；Natarajan Shankar 5 2019 SMC：可满足性模凸优化。 Zbl 1366.68102号 亚瑟·舒克利；皮埃尔路易吉·努佐；Alberto L.Sangiovanni-Vincentelli。；Sanjit A.Seshia。；乔治·J·帕帕斯。；保罗·塔布阿达 5 2017 SAT的硬度与社区结构。 Zbl 1475.68353号 内森·穆尔；丹尼尔·弗里蒙特。；Sanjit A.Seshia。 5 2016 多线程程序的模块化验证。 Zbl 1108.68080号 科马克·弗拉纳根；斯蒂芬·弗伦德（Stephen N.Freund）。；沙兹·卡迪尔；Sanjit A.Seshia。 4 2005 使用机会约束时序逻辑实现感知不确定性下的安全自主。 兹比尔1425.93202 苏斯米特·贾；瓦苏马提·拉曼；多尔莎·萨迪；Sanjit A.Seshia。 4 2018 在POMDP中实施几乎安全的可达性。 Zbl 1493.68213号 塞巴斯蒂安·荣格斯；尼尔斯·詹森；Sanjit A.Seshia。 三 2021 多线程程序的模块化检查器。 Zbl 1010.68501号 科马克·弗拉纳根；沙兹·卡迪尔；Sanjit A.Seshia。 三 2002 验证建模。 Zbl 1392.68264号 Sanjit A.Seshia。；娜塔莎·莎莉吉娜；斯塔夫罗斯·特里帕基斯 三 2018 基于云的部分同态加密二次优化。 Zbl 07352162号 安德烈亚·亚历山大。；康斯坦丁诺斯·加西斯；亚瑟·舒克利；Sanjit A.Seshia。；保罗·塔布阿达；乔治·J·帕帕斯。 三 2021 一种新的仿真度量，用于确定具有未知动态系统的安全环境和控制器。 Zbl 07120154号 Shromona Ghosh公司；索米尔·班萨尔；阿尔贝托Sangiovanni-Vincentelli；Sanjit A.Seshia。；克莱尔·汤姆林 三 2019 有向规范单调系统的符号控制设计。 Zbl 1373.93119号 埃里克·S·金。；穆拉特·阿卡克；Sanjit A.Seshia。 三 2017 MedleySolver：在线SMT算法选择。 Zbl 07495591号 尼基尔·皮姆帕尔切尔；费德里科·莫拉；伊丽莎白·波尔格林；Sanjit A.Seshia。 2 2021 术语级有界模型检验中的收敛性测试。 Zbl 1179.68079号 Randal E.布莱恩特。；Shuvendu K.拉希里。；Sanjit A.Seshia。 2 2003 反应控制即兴发挥。 Zbl 1511.68156号 丹尼尔·弗里蒙特。；Sanjit A.Seshia。 2 2018 使用机器学习组件对网络物理系统进行合成伪造。 Zbl 1468.68126号 托马索·德罗西；亚历山大·唐泽；Sanjit A.Seshia。 2 2019 控制即兴发挥。 Zbl 1366.68144号 丹尼尔·弗里蒙特。；亚历山大·唐泽；Sanjit A.Seshia。；大卫·威塞尔 2 2015 可满足性与合成模预言。 Zbl 1498.68082号 伊丽莎白·波尔格林；安德鲁·雷诺兹；Sanjit A.Seshia。 2 2022 理解并扩展2QBF的增量确定。 Zbl 1511.68258号 马库斯·拉贝。；Leander Tentrup公司；卡梅隆·拉斯穆森；Sanjit A.Seshia。 2 2018 Markov决策过程的运行时监控器。 Zbl 1493.68214号 塞巴斯蒂安·荣格斯；托法、哈泽姆；Sanjit A.Seshia。 1 2021 利用概率推理对有限水平马尔可夫链进行模型检验。 Zbl 1493.68210号 史蒂文·霍尔岑；塞巴斯蒂安·荣格斯；马塞尔·瓦兹奎兹·香拉特；托德·米尔斯坦；Sanjit A.Seshia。；盖伊，范登·布勒克 1 2021 从演示中推断出最大因果熵规范。 Zbl 1478.68301号 马塞尔·瓦兹奎兹·香拉特；Sanjit A.Seshia。 1 2020 单调动力系统的有向规范和假设挖掘。 Zbl 1366.68173号 埃里克·S·金。；穆拉特·阿卡克；Sanjit A.Seshia。 1 2016 参数假设担保合同的小增益定理。 Zbl 1366.68174号 埃里克·S·金。；穆拉特·阿卡克；Sanjit A.Seshia。 1 2017 可满足性与合成模预言。 Zbl 1498.68082号 伊丽莎白·波尔格林；安德鲁·雷诺兹；Sanjit A.Seshia。 2 2022 在POMDP中实施几乎安全的可达性。 Zbl 1493.68213号 塞巴斯蒂安·荣格斯；尼尔斯·詹森；Sanjit A.Seshia。 三 2021 基于云的部分同态加密二次优化。 Zbl 07352162号 安德烈亚·亚历山德鲁。；康斯坦丁诺斯·加西斯；亚瑟·舒克利；Sanjit A.Seshia。；保罗·塔布阿达；乔治·J·帕帕斯。 三 2021 MedleySolver：在线SMT算法选择。 Zbl 07495591号 尼基尔·皮姆帕尔切尔；费德里科·莫拉；伊丽莎白·波尔格林；Sanjit A.Seshia。 2 2021 Markov决策过程的运行时监控器。 Zbl 1493.68214号 塞巴斯蒂安·荣格斯；托法、哈泽姆；Sanjit A.Seshia。 1 2021 利用概率推理对有限水平马尔可夫链进行模型检验。 Zbl 1493.68210号 史蒂文·霍尔岑；塞巴斯蒂安·荣格斯；马塞尔·瓦兹奎兹·香拉特；托德·米尔斯坦；Sanjit A.Seshia。；盖伊，范登·布勒克 1 2021 从演示中推断出最大因果熵规范。 兹比尔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 深度神经网络的形式规范。 Zbl 1517.68345号 Sanjit A.Seshia。；安库什·德赛；托马索·德若西；丹尼尔·弗里蒙特。；Shromona Ghosh公司；爱德华·金；Sumukh Shivakumar；马塞尔·瓦兹奎兹·香拉特；岳向玉 6 2018 使用机会约束时序逻辑实现感知不确定性下的安全自主。 Zbl 1425.93202号 苏斯米特·贾；瓦苏马提·拉曼；多尔莎·萨迪；Sanjit A.Seshia。 4 2018 验证建模。 Zbl 1392.68264号 Sanjit A.Seshia。；娜塔莎·莎莉吉娜；斯塔夫罗斯·特里帕基斯 三 2018 反应控制即兴发挥。 Zbl 1511.68156号 丹尼尔·弗里蒙特。；Sanjit A.Seshia。 2 2018 理解并扩展2QBF的增量确定。 Zbl 1511.68258号 马库斯·拉贝。；Leander Tentrup公司；卡梅隆·拉斯穆森；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公司；金小青；加维特·朱尼瓦尔；Sanjit A.Seshia。 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。；乔治·J·帕帕斯。；保罗·塔布阿达 5 2017 有向规范单调系统的符号控制设计。 Zbl 1373.93119号 埃里克·S·金。；穆拉特·阿卡克；Sanjit A.Seshia。 三 2017 参数假设担保合同的小增益定理。 兹伯利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，萨斯特里；Sanjit A.Seshia。 6 2016 SAT的硬度与社区结构。 Zbl 1475.68353号 内森·穆尔；丹尼尔·弗里蒙特。；Sanjit A.Seshia。 5 2016 单调动力系统的有向规范和假设挖掘。 Zbl 1366.68173号 埃里克·S·金。；穆拉特·阿卡克；Sanjit A.Seshia。 1 2016 根据信号时序逻辑规范进行反应合成。 兹比尔1366.68180 瓦苏马提·拉曼；亚历山大·唐泽；多尔莎·萨迪；理查德·默里（Richard M.Murray）。；Sanjit A.Seshia。 21 2015 控制即兴发挥。 Zbl 1366.68144号 丹尼尔·弗里蒙特。；亚历山大·唐泽；Sanjit A.Seshia。；大卫·威塞尔 2 2015 带标识符的合成。 Zbl 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 惰性线性混合自动机的符号可达性分析。 Zbl 1141.93352号 苏斯米特·贾；布莱恩·布雷迪（Bryan A.Brady）。；Sanjit A.Seshia。 7 2007 关于求解UTVPI约束的布尔组合。 Zbl 1129.68079号 Sanjit A.Seshia。；苏布拉马尼，K。；Randal E.布莱恩特。 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号 Shuvendu K.拉希里。；Sanjit A.Seshia。 8 2004 基于抽象的Presburger算法的可满足性求解。 Zbl 1103.68626号 丹尼尔·克罗宁；约尔·瓦克宁；Sanjit A.Seshia。；斯特里赫曼（Ofer Strichman） 5 2004 术语级有界模型检验中的收敛性测试。 Zbl 1179.68079号 Randal E.布莱恩特。；Shuvendu K.拉希里。；Sanjit A.Seshia。 2 2003 使用带有lambda表达式和未解释函数的计数器算术逻辑对系统进行建模和验证。 Zbl 1010.68522号 Randal E.布莱恩特。；Shuvendu K.拉希里。；Sanjit A.Seshia。 22 2002 用SAT确定分离公式。 Zbl 1010.68168号 斯特里赫曼（Ofer Strichman）；Sanjit A.Seshia。；Randal E.布莱恩特。 14 2002 UCLID中无序微处理器的建模和验证。 Zbl 1019.68623号 Shuvendu K.拉希里。；Sanjit A.Seshia。；Randal E.布莱恩特。 5 2002 用于多线程程序的模块化检查器。 Zbl 1010.68501号 科马克·弗拉纳根；沙兹·卡迪尔；Sanjit A.Seshia。 三 2002 所有引用出版物 前5名被引用出版物 全部的 前5名638位作者引用 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 Badings，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.Namjoshi。 2 劳拉·内兹 2 内克米耶·奥扎伊 2 米罗斯拉夫·帕吉奇 2 吉列尔莫·佩雷斯。 2 卡拉广场 2 弗洛里安·皮戈什 2 鲁齐卡皮斯卡 2 伊丽莎白·波尔格林 2 哈桑·普纳瓦拉（Hasan A.Poonawala）。 2 瓦苏马提·拉曼 2 约夫·罗德 2 罗森伯格（Ralf Rothenberger） 2 沙海、图欣 2 亨利克·桑德伯格 2 桑卡拉纳拉亚南，斯里拉姆 2 阿德纳·索乌德 2 彼得·沙赫特 2 克里斯托夫·斯科尔 …还有538位作者 全部的 前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个领域引用 206 计算机科学（68至XX） 88 系统论；控制（93至XX） 37 数学逻辑和基础（03-XX） 28 运筹学、数学规划（90-XX） 8 信息与通信理论、电路（94-XX） 7 组合数学（05-XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 生物学和其他自然科学（92-XX） 4 概率论与随机过程（60-XX） 三 统计学（62-XX） 2 总体主题；集合（00-XX） 2 范畴理论；同调代数（18-XX） 2 数值分析（65-XX） 1 数论（11-XX） 1 场论和多项式（12-XX） 1 动力系统和遍历理论（37至XX） 1 变分法与最优控制；最优化（49至XX） 按年份列出的引文