编辑配置文件（在新选项卡中打开） 娜塔莎·莎莉吉娜 合著者距离 作者ID： 沙里吉纳·纳塔莎 发布日期： 娜塔莎·莎莉吉娜 外部链接： ORCID公司 编入索引的文档： 47出版物自2001年起 3作为编辑的贡献 合著者： 41位合著者具有50联合出版物 949合著作者 全部的 前5名合著者 0 单作者的 13 安蒂·E·J·海瓦·里宁。 10 格里戈里·费迪尤科维奇 9 丹尼尔·科宁 8 克拉克，埃德蒙·梅尔森·琼。 6 弗朗西斯科·阿尔贝蒂 6 萨加·查基 6 西尔维奥·吉拉尔迪 5 塞皮德·阿萨迪 5 马丁·布利查 5 马特奥·马雷斯科蒂 5 尼尚·辛哈 4 罗伯特·布鲁托梅索 4 哈娜·乔克勒 4 西蒙·富尔维奥·罗里尼 4 阿里亚克西·齐托维奇 三 Alt，Leonardo S。 三 拜伦·库克 三 甚至门多萨，卡琳 三 阿里·古芬克尔 三 乔尔·欧·瓦克宁。 三 Christoph M.温特斯泰格。 2 詹姆斯·布朗（James C.Browne）。 2 科夫罗，简 2 西尔维奥·兰伊斯 2 桑卡拉纳拉亚南，斯里拉姆 2 斯特凡诺·托内塔 2 赫尔穆特·维思 2 凯伦·约拉夫 1 凯特琳娜·巴罗内·阿德斯 1 奇亚拉·布拉金 1 奥尔纳·格伦伯格 1 詹姆斯·艾弗斯 1 帕维尔·扬契克 1 罗伯特·P·库尔珊（Robert P.Kurshan）。 1 Doron A.Peled。 1 帕文·萨迪戈娃 1 Šerý，安大略省 1 桑吉特·阿伦库马尔 1 泰瑟·图利 1 斯塔夫罗斯·特里帕基斯 1 库尔特·沃尔诺。 系列 7 系统设计中的形式化方法 三 计算机科学课堂讲稿 2 计算的形式方面 1 理论计算机科学 1 自动推理杂志 领域 50 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 三 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用235中的次150文件 引用人▼ 年份▼ 数组插值的惰性抽象。 Zbl 1352.68141号 弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜 21 2012 SATABS:ANSI-C基于SAT的谓词抽象。 Zbl 1087.68586号 埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 21 2005 使用SAT对ANSI-C程序进行谓词抽象。 Zbl 1090.68022号 埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 16 2004 基于状态/事件的软件模型检查。 Zbl 1196.68129号 萨加·查基;埃德蒙·克拉克（Edmund M.Clarke）。;约尔·瓦克宁;娜塔莎·莎莉吉娜;尼尚·辛哈 14 2004 Booster：用于阵列程序的基于加速的验证框架。 Zbl 1448.68284号 弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜 11 2014 压缩和插值的防分辨率转换。 Zbl 1317.68123号 西蒙·富尔维奥·罗里尼;罗伯特·布鲁托梅索;娜塔莎·莎莉吉娜;阿里亚克西·齐托维奇 9 2014 平面阵列属性的决策程序。 Zbl 1356.03049号 弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜 8 2015 使用状态、事件和死锁进行并发软件验证。 Zbl 1103.68609号 萨加·查基;埃德蒙·克拉克;约尔·瓦克宁;娜塔莎·莎莉吉娜;尼尚·辛哈 7 2005 回路总结和终止分析。 Zbl 1315.68106号 阿里亚克西·齐托维奇;娜塔莎·莎莉吉娜;Christoph M.温特斯泰格。;丹尼尔·克罗宁 7 2011 OpenSMT2：用于多核和云计算的SMT解算器。 Zbl 1475.68438号 安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;莱昂纳多·阿尔特;娜塔莎·莎莉吉娜 7 2016 PeRIPLO：在基于SAT的软件验证中生成有效插值的框架。 兹比尔1407.68303 西蒙·富尔维奥·罗里尼;莱昂纳多·阿尔特;格里戈里·费迪尤科维奇;安蒂·E·J·海瓦·里宁。;娜塔莎·莎莉吉娜 7 2013 一种有效且灵活的减少分辨率的方法。 Zbl 1325.68215号 西蒙·富尔维奥·罗里尼;罗伯特·布鲁托梅索;娜塔莎·莎莉吉娜 6 2011 动态组件可替代性分析。 Zbl 1120.68421号 娜塔莎·莎莉吉娜;萨加·查基;埃德蒙·克拉克;尼尚·辛哈 6 2005 程序间模拟的自动发现。 Zbl 1471.68061号 格里戈里·费迪尤科维奇;阿里·古芬克尔;娜塔莎·莎莉吉娜 6 2015 对带有数组的程序进行插值的惰性抽象的扩展。 Zbl 1317.68107号 弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜 6 2014 计算机辅助验证。2013年7月13日至19日在俄罗斯圣彼得堡举行的2013年CAV第25届国际会议。诉讼程序。 Zbl 1268.68032号 6 2013 异步布尔程序的符号模型检查。 Zbl 1151.68367号 拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 5 2005 使用无限线程创建验证布尔程序。 Zbl 1143.68043号 拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 5 2007 使用抽象变换器的循环摘要。 Zbl 1183.68377号 丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 5 2008 位向量逻辑的近似谓词图像。 Zbl 1180.68175号 丹尼尔·克罗宁;娜塔莎·莎莉吉娜 5 2006 数组理论中加速关系的定义及其应用。 Zbl 1397.68121号 弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜 5 2013 eVolCheck:C的增量升级检查程序。 Zbl 1381.68159号 格里戈里·费迪尤科维奇;Ondrej塞里;娜塔莎·莎莉吉娜 5 2013 分支时间规范的状态/事件软件验证。 兹比尔1137.68432 萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;泰瑟·图利;赫尔穆特·维思 4 2005 通过组件可替代性分析验证正在发展的软件。 Zbl 1147.68047号 萨加·查基;埃德蒙·克拉克;娜塔莎·莎莉吉娜;尼尚·辛哈 4 2008 Cogent：程序验证的精确定理证明。 Zbl 1081.68673号 拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 4 2005 插值属性和基于SAT的模型检查。 Zbl 1410.68229号 阿里·古芬克尔;西蒙·富尔维奥·罗里尼;娜塔莎·莎莉吉娜 4 2013 通过抽象模拟实现属性导向等价。 Zbl 1411.68065号 格里戈里·费迪尤科维奇;阿里·古芬克尔;娜塔莎·莎莉吉娜 4 2016 一种基于模型检查的移动系统安全策略验证方法。 Zbl 1242.68153号 奇亚拉·布拉金;娜塔莎·莎莉吉娜;凯特琳娜·巴罗内·阿德斯 三 2011 ComFoRT推理框架。 Zbl 1081.68613号 萨加·查基;詹姆斯·艾弗斯;娜塔莎·莎莉吉娜;库尔特·沃尔诺 三 2005 验证建模。 Zbl 1392.68264号 Sanjit A.Seshia。;娜塔莎·莎莉吉娜;斯塔夫罗斯·特里帕基斯 三 2018 函数概要模理论。 Zbl 1415.68141号 塞皮德·阿萨迪;马丁·布利查;格里戈里·费迪尤科维奇;安蒂·海瓦里宁;甚至门多萨，卡琳;娜塔莎·莎莉吉娜;哈娜·乔克勒 三 2018 分解Farkas插值。 Zbl 1527.68126号 马丁·布利查;安蒂·E·J·海瓦·里宁。;科夫罗，简;娜塔莎·莎莉吉娜 三 2019 使用状态和转换不变量的循环摘要。 Zbl 1291.68262号 丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 2 2013 一种用于属性定向归纳的协作并行化方法。 Zbl 07228511号 马丁·布利查;安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;娜塔莎·莎莉吉娜 2 2020 基于Farkas的树插值。 Zbl 1474.68321号 塞皮德·阿萨迪;马丁·布利查;安蒂·海瓦里宁;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜 2 2020 程序兼容性方法。 兹比尔1196.68044 埃德蒙·克拉克;娜塔莎·莎莉吉娜;尼尚·辛哈 1 2006 一种用于软件可靠性的组合测试和验证方法。 Zbl 0977.68572号 娜塔莎·莎莉吉娜;多龙·贝利德 1 2001 软件可靠性的形式化面向对象分析：验证设计。 Zbl 0977.68831号 娜塔莎·莎莉吉娜;詹姆斯·布朗（James C.Browne）。;罗伯特·P·库尔珊（Robert P.Kurshan）。 1 2001 用于并行化SMT求解器的搜索空间分区。 Zbl 1471.68244号 安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;娜塔莎·莎莉吉娜 1 2015 用于程序验证的理论细化。 Zbl 1496.68191号 安蒂·E·J·海瓦·里宁。;塞皮德·阿萨迪;甚至门多萨，卡琳;格里戈里·费迪尤科维奇;哈娜·乔克勒;娜塔莎·莎莉吉娜 1 2017 SMTS：分布式可视化约束求解。 Zbl 1415.68197号 马特奥·马雷斯科蒂;安蒂·E·J·海瓦·里宁。;娜塔莎·莎莉吉娜 1 2018 一种用于属性定向归纳的协作并行化方法。 Zbl 07228511号 马丁·布利查;安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;娜塔莎·莎莉吉娜 2 2020 基于Farkas的树插值。 兹伯利1474.68321 塞皮德·阿萨迪;马丁·布利查;安蒂·海瓦里宁;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜 2 2020 分解Farkas插值。 Zbl 1527.68126号 马丁·布利查;安蒂·E·J·海瓦·里宁。;科夫罗，简;娜塔莎·莎莉吉娜 三 2019 验证建模。 Zbl 1392.68264号 Sanjit A.Seshia。;娜塔莎·莎莉吉娜;斯塔夫罗斯·特里帕基斯 三 2018 函数概要模理论。 Zbl 1415.68141号 塞皮德·阿萨迪;马丁·布利查;格里戈里·费迪尤科维奇;安蒂·海瓦里宁;甚至门多萨，卡琳;娜塔莎·莎莉吉娜;哈娜·乔克勒 三 2018 SMTS：分布式可视化约束求解。 Zbl 1415.68197号 马特奥·马雷斯科蒂;安蒂·E·J·海瓦·里宁。;娜塔莎·莎莉吉娜 1 2018 用于程序验证的理论细化。 Zbl 1496.68191号 安蒂·E·J·海瓦·里宁。;塞皮德·阿萨迪;甚至门多萨，卡琳;格里戈里·费迪尤科维奇;哈娜·乔克勒;娜塔莎·莎莉吉娜 1 2017 OpenSMT2：用于多核和云计算的SMT解算器。 Zbl 1475.68438号 安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;莱昂纳多·阿尔特;娜塔莎·莎莉吉娜 7 2016 通过抽象模拟实现属性导向等价。 Zbl 1411.68065号 格里戈里·费迪尤科维奇;阿里·古芬克尔;娜塔莎·莎莉吉娜 4 2016 平面阵列属性的决策程序。 Zbl 1356.03049号 弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜 8 2015 程序之间模拟的自动发现。 Zbl 1471.68061号 格里戈里·费迪尤科维奇;阿里·古芬克尔;娜塔莎·莎莉吉娜 6 2015 用于并行化SMT求解器的搜索空间分区。 Zbl 1471.68244号 安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;娜塔莎·莎莉吉娜 1 2015 Booster：用于阵列程序的基于加速的验证框架。 Zbl 1448.68284号 弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜 11 2014 压缩和插值的防分辨率转换。 Zbl 1317.68123号 西蒙·富尔维奥·罗里尼;罗伯特·布鲁托梅索;娜塔莎·莎莉吉娜;阿里亚克西·齐托维奇 9 2014 对带有数组的程序进行插值的惰性抽象的扩展。 Zbl 1317.68107号 弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜 6 2014 PeRIPLO：在基于SAT的软件验证中生成有效插值的框架。 Zbl 1407.68303号 西蒙·富尔维奥·罗里尼;莱昂纳多·阿尔特;格里戈里·费迪尤科维奇;安蒂·E·J·海瓦·里宁。;娜塔莎·莎莉吉娜 7 2013 计算机辅助验证。2013年7月13日至19日在俄罗斯圣彼得堡举行的2013年CAV第25届国际会议。诉讼程序。 Zbl 1268.68032号 6 2013 数组理论中加速关系的定义及其应用。 Zbl 1397.68121号 弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜 5 2013 eVolCheck:C的增量升级检查程序。 Zbl 1381.68159号 格里戈里·费迪尤科维奇;Ondrej塞里;娜塔莎·莎莉吉娜 5 2013 插值属性和基于SAT的模型检查。 Zbl 1410.68229号 阿里·古芬克尔;西蒙·富尔维奥·罗里尼;娜塔莎·莎莉吉娜 4 2013 使用状态和转换不变量的循环摘要。 Zbl 1291.68262号 丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 2 2013 数组插值的惰性抽象。 Zbl 1352.68141号 弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜 21 2012 回路总结和终止分析。 Zbl 1315.68106号 阿里亚克西·齐托维奇;娜塔莎·莎莉吉娜;Christoph M.温特斯泰格。;丹尼尔·克罗宁 7 2011 一种有效且灵活的减少分辨率的方法。 Zbl 1325.68215号 西蒙·富尔维奥·罗里尼;罗伯特·布鲁托梅索;娜塔莎·莎莉吉娜 6 2011 一种基于模型检查的移动系统安全策略验证方法。 Zbl 1242.68153号 奇亚拉·布拉金;娜塔莎·莎莉吉娜;凯特琳娜·巴罗内·阿德斯 三 2011 使用抽象变换器的循环摘要。 Zbl 1183.68377号 丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 5 2008 通过组件可替代性分析验证正在发展的软件。 Zbl 1147.68047号 萨加·查基;埃德蒙·克拉克;娜塔莎·莎莉吉娜;尼尚·辛哈 4 2008 使用无限线程创建验证布尔程序。 Zbl 1143.68043号 拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 5 2007 位向量逻辑的近似谓词图像。 Zbl 1180.68175号 丹尼尔·克罗宁;娜塔莎·莎莉吉娜 5 2006 程序兼容性方法。 Zbl 1196.68044号 埃德蒙·克拉克;娜塔莎·莎莉吉娜;尼尚·辛哈 1 2006 SATABS:ANSI-C基于SAT的谓词抽象。 Zbl 1087.68586号 埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 21 2005 使用状态、事件和死锁进行并发软件验证。 Zbl 1103.68609号 萨加·查基;埃德蒙·克拉克;约尔·瓦克宁;娜塔莎·莎莉吉娜;尼尚·辛哈 7 2005 动态组件替代性分析。 Zbl 1120.68421号 娜塔莎·莎莉吉娜;萨加·查基;埃德蒙·克拉克;尼尚·辛哈 6 2005 异步布尔程序的符号模型检查。 兹比尔1151.68367 拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 5 2005 分支时间规范的状态/事件软件验证。 兹比尔1137.68432 萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;泰瑟·图利;赫尔穆特·维思 4 2005 Cogent：程序验证的精确定理证明。 Zbl 1081.68673号 拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 4 2005 ComFoRT推理框架。 Zbl 1081.68613号 萨加·查基;詹姆斯·艾弗斯;娜塔莎·莎莉吉娜;库尔特·沃尔诺 三 2005 使用SAT对ANSI-C程序进行谓词抽象。 Zbl 1090.68022号 埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 16 2004 基于状态/事件的软件模型检查。 Zbl 1196.68129号 萨加·查基;埃德蒙·克拉克（Edmund M.Clarke）。;约尔·瓦克宁;娜塔莎·莎莉吉娜;尼尚·辛哈 14 2004 一种用于软件可靠性的组合测试和验证方法。 Zbl 0977.68572号 娜塔莎·莎莉吉娜;多龙·贝利德 1 2001 软件可靠性的形式化面向对象分析：验证设计。 Zbl 0977.68831号 娜塔莎·莎莉吉娜;詹姆斯·布朗（James C.Browne）。;罗伯特·P·库尔珊（Robert P.Kurshan）。 1 2001 所有引用出版物 前5名被引用出版物 全部的 前5名343位作者引用 15 娜塔莎·莎莉吉娜 13 丹尼尔·科宁 8 西尔维奥·吉拉尔迪 6 格里戈里·费迪尤科维奇 6 菲利普·吕默 5 安蒂·E·J·海瓦·里宁。 4 弗朗西斯科·阿尔贝蒂 4 克拉克·W·巴雷特。 4 罗伯特·布鲁托梅索 4 克拉克，埃德蒙·梅尔森·琼。 4 维克多·昆卡 4 阿里亚克西·齐托维奇 4 Christoph M.温特斯泰格。 三 塞皮德·阿萨迪 三 尼古拉·贝内什 三 伊万娜·乔纳 三 拜伦·库克 三 伊曼纽尔·德·安吉利斯 三 董金松 三 阿尔蒂·古普塔 三 刘，杨 三 安德烈·里巴尔琴科 三 孙骏 三 托马斯·瓦尔 三 乔治·威森巴赫 2 Alt，Leonardo S。 2 阿明·比尔 2 马丁·布利查 2 卢博什·布里姆 2 马克·布罗克施米特 2 萨加·查基 2 Supratik查克拉博蒂 2 玛莎·契契克 2 阿拉斯泰尔·唐纳森。 2 法比奥·菲奥拉万蒂 2 亚历山德罗·吉亚诺拉 2 阿尔贝托·格里乔 2 奥尔纳·格伦伯格 2 阿什图什·古普塔 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 霍尼克，约琴 2 艾哈迈德·埃尔凡 2 亚历山大·凯泽。 2 科夫罗，简 2 埃里克·科斯金 2 Marta Z.Kwiatkowska。 2 帕塔萨拉西马杜苏丹 2 马凯曼 2 马丁·奥列特，纳西索 2 奥斯卡·马汀 2 肯尼思·麦克米兰。 2 奥德·帕顿 2 埃琳娜·帕加尼 2 阿尔贝托·佩特罗西 2 丹尼斯·佩特尔 2 阿米尔·普努利 2 安德烈亚斯·波德尔斯基 2 毛里齐奥·普罗埃蒂 2 西尔维奥·兰伊斯 2 罗德里戈·拉亚 2 安德鲁·雷诺兹 2 安德鲁·威廉·罗斯科 2 吉里·索科尔 2 维奥里卡Sofrone-Stokkerman 2 塞萨尔·蒂内利 2 斯特凡诺·托内塔 2 迪夫耶什·乌纳德卡特 2 瓦埃科娃，帕夫利纳 2 阿尔贝托·维尔德乔 2 香，双清 2 谢万玲 1 Abreu Júnior，若昂·卡洛斯 1 罗曼·艾萨特 1 穆拉德·阿洪多夫 1 拉杰夫·阿鲁尔 1 埃蒂安·安德烈 1 安德里亚诺夫，P.S。 1 佩德罗·安东尼诺 1 藤崎青木 1 科尼利厄斯·阿斯切尔曼 1 普拉纳夫·阿沙尔 1 彼得·贝克曼 1 Bae，Kyungmin先生 1 拜尔，克里斯特尔 1 佩德罗·巴尔塔扎尔 1 凯特琳娜·巴罗内·阿德斯 1 霍华德·巴林杰 1 杰拉德·巴斯勒 1 阿米尔·本·阿姆拉姆。 1 艾苏贝汀坎 1 Tewodros A.Beyene。 1 德克·拜尔 1 巴塔拉科索尔 1 卡伦·N·比亚尼。 1 尼古拉·S·比约纳。 1 拉斯蒂斯拉夫·博迪克 1 玛丽亚·保拉（Maria Paola Bonacina） 1 克里斯蒂娜·博拉莱拉斯 1 奇亚拉·布拉金 1 Jörg Brauer ……还有243位作者 全部的 前5名25篇连载文章中引用 26 系统设计中的形式化方法 13 自动推理杂志 11 计算的形式方面 5 计算机程序设计科学 5 逻辑程序设计理论与实践 4 程序设计中的逻辑和代数方法杂志 三 理论计算机科学 2 信息学报 2 信息与计算 2 约束条件 2 ACM计算逻辑事务 1 人工智能 1 国际通用系统杂志 1 编程和计算机软件 1 国际近似推理杂志 1 并行与分布式计算杂志 1 实时系统 1 MSCS公司。计算机科学中的数学结构 1 工程中的数学问题 1 美国医学会杂志 1 计算机语言、系统和结构 1 ACM实验算法杂志 1 中国科学。F系列 1 计算机科学中的逻辑方法 1 计算机科学前沿 全部的 前5名在7个字段中引用 147 计算机科学（68至XX） 39 数学逻辑和基础（03-XX） 4 信息与通信理论、电路（94-XX） 1 代数几何（14-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文