编辑配置文件（在新选项卡中打开） 艾丽卡·阿尔布拉汉姆 合著者距离 作者ID： 阿布拉罕·埃里卡 发布日期： 艾丽卡·阿尔布拉汉姆；艾丽卡·阿尔布拉哈姆·穆姆；E·阿尔布拉哈姆。；艾丽卡·亚伯拉罕 更多。。。较少的 主页： https://ths.rwth-aachen.de/people/erika-abraham网址/ 外部链接： 管理程序·ORCID公司·谷歌学者·数据库许可证 已编制索引的文档： 50种出版物自2000年起 7作为编辑的贡献 合著者： 65位合著者具有56联合出版物 1417合著者 全部的 前5名合著者 1 单作者的 17 马丁·斯特芬 10 贝恩德·贝克尔 10 德波尔（Frank S。 6 威廉·鲍尔·德·罗弗 6 尼尔斯·詹森 6 Joost-Pieter卡托恩 6 基里恩·克莱默 6 拉尔夫·维默（Ralf D.Wimmer）。 5 弗洛里安·科齐利厄斯 5 安德烈亚斯·格吕纳 4 博尔祖·博纳克达尔普尔 4 马塞洛·玛丽亚·邦桑格 4 詹姆斯·哈罗德·达文波特 4 英格兰，马修 4 斯特凡·舒普 三 乌尔里奇·洛普 2 约翰·A·阿伯特。 2 埃齐奥·巴托西 2 安娜·玛丽亚·比加蒂 2 布莱恩，马丁 2 布赫伯格，布鲁诺 2 陈欣 2 亚历山德罗·西马蒂 2 克里斯蒂安·德内特 2 奥延德里拉·多贝 2 帕斯卡·方丹 2 史蒂芬·福雷斯特 2 阿尔贝托·格里乔 2 塞巴斯蒂安·荣格斯 2 丹尼尔·科宁 2 Werner M.塞勒。 2 托马斯·斯特姆 1 本·萨西，穆罕默德·阿明 1 克里斯托弗·布朗（Christopher W.Brown）。 1 吉安弗兰科·西亚多 1 mnesc博士，Isabela 1 克莱门斯，杜布拉夫 1 特里斯坦·埃伯特 1 Fränzle，马丁 1 戈兰·弗雷斯 1 伊莫·格雷布 1 乌尔里希·汉内曼 1 克劳斯·哈维隆德 1 马克·赫伯斯特里特 1 克里斯蒂安·赫尔德 1 侯赛因·霍贾特 1 玛丽克·赫斯曼 1 都铎Jebelean 1 埃纳尔·布罗赫·约翰森 1 Jens Katelaan公司 1 费利克斯·克莱特克 1 加博尔·库斯珀 1 丹尼尔·莱普里 1 Mai Thoung Tran，Thi公司 1 贾斯珀·纳尔巴赫 1 Peter Csaba，Olveczky 1 卡图西亚帕拉米德斯 1 马尔科·保列里 1 桑卡拉纳拉亚南，斯里拉姆 1 卡斯滕·谢布勒 1 舒伯特、托比亚斯 1 菲利普·斯佩克特 1 斯特拉图拉特，索林 1 塔皮娅·塔里法（Tapia Tarifa）、西尔维娅·利泽斯（Silvia Lizeth） 1 埃希塔·扎曼 全部的 前5名系列 6 计算机科学课堂讲稿 2 理论计算机科学 2 符号计算杂志 2 信息与计算 1 IMA数学控制与信息杂志 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 计算系统理论 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 1 计算机代数中的ACM通信 1 《大学学报》。Informatica公司 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 56 计算机科学（68至XX） 7 总体主题；集合（00-XX） 7 数学逻辑和基础（03-XX） 5 运筹学、数学规划（90-XX） 4 概率论与随机过程（60-XX） 三 系统论；控制（93至XX） 1 交换代数（13-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 40出版物有被引用191中的次119文件 引用人▼ 年份▼ SMT-RAT型：开源C类++用于战略性和并行SMT解决方案的工具箱。 Zbl 1471.68241号 弗洛里安·科齐利厄斯；基里恩·克莱默；塞巴斯蒂安·荣格斯；斯特凡·舒普；艾丽卡·阿尔布拉汉姆 17 2015 在符号计算和可满足性检查之间架起桥梁。 Zbl 1345.68279号 艾丽卡·亚伯拉罕 13 2015 联合国安全理事会\（^2）：可满足性检查满足符号计算。（项目文件）。 Zbl 1344.68198号 艾丽卡·阿尔布拉汉姆；约翰·阿伯特；贝恩德·贝克尔；安娜·比加蒂（Anna M.Bigatti）。；布莱恩，马丁；布赫伯格，布鲁诺；亚历山德罗·西马蒂；詹姆斯·H·达文波特。；英格兰，马修；帕斯卡·方丹；史蒂芬·福雷斯特；阿尔贝托·格里乔；丹尼尔·克罗宁；Werner M.塞勒。；托马斯·斯特姆 13 2016 HyperPCTL：概率超属性的时序逻辑。 Zbl 1514.68030号 艾丽卡·阿尔布拉汉姆；博尔祖·博纳克达尔普尔 12 2018 一个基于断言的多线程Java证明系统。 Zbl 1070.68016号 艾丽卡·阿尔布拉汉姆；德波尔（Frank S。；威廉·鲍尔·德·罗弗；马丁·斯特芬 9 2005 区间约束传播与柱面代数分解的共生。 Zbl 1381.68274号 乌尔里奇·洛普；卡斯滕·谢布勒；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔 8 2013 使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 Zbl 1509.68243号 艾丽卡·阿尔布拉汉姆；詹姆斯·H·达文波特。；英格兰，马修；基里恩·克莱默 8 2021 具有未来和承诺的面向对象语言的行为接口描述。 Zbl 1187.68130号 艾丽卡·阿尔布拉汉姆；伊莫·格雷布；安德烈亚斯·格吕纳；马丁·斯特芬 7 2009 广义分枝定界方法及其在SAT模非线性整数算法中的应用。 Zbl 1453.90186号 基里恩·克莱默；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆 7 2016 验证Java的可重入多线程概念。 Zbl 1077.68552号 艾丽卡·阿尔布拉哈姆·穆姆；德波尔（Frank S。；威廉·鲍尔·德·罗弗；马丁·斯特芬 6 2002 离散时间Markov模型的最小临界子系统。 Zbl 1352.68167号 拉尔夫·威默；尼尔斯·詹森；艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔；Joost-Pieter卡托恩 6 2012 SMT求解的虚拟替代。 Zbl 1342.68282号 弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆 6 2011 完全增量柱面代数分解。 兹比尔1432.68601 基里恩·克莱默；艾丽卡·阿尔布拉汉姆 6 2020 用于构建和分析系统的工具和算法。2014年4月5日至13日在法国格勒诺布尔举行的第20届国际会议（TACAS 2014），是欧洲软件理论与实践联合会议（ETAPS 2014）的一部分。诉讼程序。 Zbl 1301.68010号 5 2014 离散时间马尔可夫模型的反例生成：介绍性调查。 Zbl 1445.68130号 艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔；克里斯蒂安·德内特；尼尔斯·詹森；Joost-Pieter卡托恩；拉尔夫·威默 5 2014 线性混合系统的优化有界模型检验。 Zbl 1111.68493号 艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔；费利克斯·克莱特克；马丁·斯特芬 5 2005 多项式Lyapunov函数综合中多项式正性的线性松弛。 Zbl 1397.93189号 本·萨西，穆罕默德·阿明；桑卡拉纳拉亚南，斯里拉姆；陈欣；艾丽卡·阿尔布拉汉姆 5 2016 具有不确定性的概率超性质。 Zbl 1517.68218号 艾丽卡·阿尔布拉汉姆；埃齐奥·巴托西；博尔祖·博纳克达尔普尔；奥延德里拉·多贝 5 2020 基于Gröbner基的可满足性-模理论求解实数。 Zbl 1398.68696号 塞巴斯蒂安·荣格斯；乌尔里奇·洛普；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆 4 2013 离散时间马尔可夫链的层次反例。 Zbl 1348.68139号 尼尔斯·詹森；艾丽卡·阿尔布拉汉姆；Jens Katelaan公司；拉尔夫·威默；Joost-Pieter卡托恩；贝恩德·贝克尔 4 2011 线性时间概率验证的最小反例。 Zbl 1360.68604号 拉尔夫·威默；尼尔斯·詹森；艾丽卡·阿尔布拉汉姆；Joost-Pieter卡托恩；贝恩德·贝克尔 4 2014 Java显示器的防感应轮廓。 Zbl 1253.68080号 艾丽卡·阿尔布拉汉姆；德波尔（Frank S。；威廉·鲍尔·德·罗弗；马丁·斯特芬 4 2003 混合系统可达性分析的有效动态误差减少。 Zbl 1423.68290号 斯特凡·舒普；艾丽卡·阿尔布拉汉姆 4 2018 有界模型检查中的并行SAT求解。 Zbl 1213.68359号 艾丽卡·阿尔布拉汉姆；舒伯特、托比亚斯；贝恩德·贝克尔；Fränzle，马丁；克里斯蒂安·赫尔德 三 2011 概率自动机的高级反例。 Zbl 1347.68211号 拉尔夫·威默；尼尔斯·詹森；艾丽卡·阿尔布拉汉姆；Joost-Pieter卡托恩 三 2015 带有监视器的面向对象语言的抽象接口行为。 Zbl 1162.68475号 艾丽卡·阿尔布拉汉姆；安德烈亚斯·格吕纳；马丁·斯特芬 三 2008 一个支持工具的多线程Java证明系统。 Zbl 1254.68055号 艾丽卡·阿尔布拉汉姆；德波尔（Frank S。；威廉·鲍尔·德·罗弗；马丁·斯特芬 2 2003 Java（_{text{MT}}）的组合操作语义。 Zbl 1274.68037号 艾丽卡·阿尔布拉汉姆；德波尔（Frank S。；威廉·鲍尔·德·罗弗；马丁·斯特芬 2 2003 快速调试PRISM模型。 Zbl 1448.68295号 克里斯蒂安·德内特；尼尔斯·詹森；拉尔夫·威默；艾丽卡·阿尔布拉汉姆；Joost-Pieter卡托恩 2 2014 形式方法的理论和实践。纪念法兰克·德·波尔60岁生日的文章。 Zbl 1460.68002号 2 2016 对象连接性和类的并发演算的完全抽象。 Zbl 1108.68538号 艾丽卡·阿尔布拉汉姆；马塞洛·M·邦桑格。；德波尔（Frank S。；马丁·斯特芬 2 2005 连续类演算中的可观察性、连接性和重播。 Zbl 1143.68359号 艾丽卡·阿尔布拉汉姆；马塞洛·M·邦桑格。；德波尔（Frank S。；安德烈亚斯·格吕纳；马丁·斯特芬 1 2005 Java线程的Proof大纲。 Zbl 0999.68504号 艾丽卡·阿尔布拉哈姆·穆姆；德波尔（Frank S。 1 2000 基于断言的PVS混合系统分析。 Zbl 1023.93510号 艾丽卡·阿尔布拉哈姆·穆姆；乌尔里希·汉内曼；马丁·斯特芬 1 2001 实时Maude中的定时CTL模型检查。 Zbl 1366.68176号 丹尼尔·莱普里；艾丽卡·阿尔布拉汉姆；彼得·塞巴·奥维茨基 1 2012 矩形自动机的有效有界可达性计算。 Zbl 1348.68097号 陈欣；艾丽卡·阿尔布拉汉姆；戈兰·弗雷斯 1 2011 带有监视器的面向对象语言的抽象接口行为。 Zbl 1461.68051号 艾丽卡·阿尔布拉汉姆；安德烈亚斯·格吕纳；马丁·斯特芬 1 2006 模块化战略SMT解决方案SMT-RAT型. Zbl 1412.68270号 基里恩·克莱默；艾丽卡·阿尔布拉汉姆 1 2018 多线程Java的演绎证明系统，有例外。 Zbl 1144.68012号 艾丽卡·阿尔布拉汉姆；德波尔（Frank S。；威廉·鲍尔·德·罗弗；马丁·斯特芬 1 2008 推广工作：混合系统的多线程安全分析。 兹比尔1509.68172 斯特凡·舒普；艾丽卡·阿尔布拉汉姆 1 2018 使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 Zbl 1509.68243号 艾丽卡·阿尔布拉汉姆；詹姆斯·H·达文波特。；英格兰，马修；基里恩·克莱默 8 2021 完全增量柱面代数分解。 兹比尔1432.68601 基里恩·克莱默；艾丽卡·阿尔布拉汉姆 6 2020 具有不确定性的概率超性质。 Zbl 1517.68218号 艾丽卡·阿尔布拉汉姆；埃齐奥·巴托西；博尔祖·博纳克达尔普尔；奥延德里拉·多贝 5 2020 HyperPCTL：概率超属性的时序逻辑。 Zbl 1514.68030号 艾丽卡·阿尔布拉汉姆；博尔祖·博纳克达尔普尔 12 2018 混合系统可达性分析的有效动态误差减少。 Zbl 1423.68290号 斯特凡·舒普；艾丽卡·阿尔布拉汉姆 4 2018 模块化战略SMT解决方案SMT-RAT型. Zbl 1412.68270号 基里恩·克莱默；艾丽卡·阿尔布拉汉姆 1 2018 推广工作：混合系统的多线程安全分析。 Zbl 1509.68172号 斯特凡·舒普；艾丽卡·阿尔布拉汉姆 1 2018 联合国安全理事会\（^2）：可满足性检查满足符号计算。（项目文件）。 Zbl 1344.68198号 艾丽卡·阿尔布拉汉姆；约翰·阿伯特；贝恩德·贝克尔；安娜·比加蒂（Anna M.Bigatti）。；布莱恩，马丁；布赫伯格，布鲁诺；亚历山德罗·西马蒂；詹姆斯·H·达文波特。；英格兰，马修；帕斯卡·方丹；史蒂芬·福雷斯特；阿尔贝托·格里乔；丹尼尔·克罗宁；Werner M.塞勒。；托马斯·斯特姆 13 2016 广义分枝定界方法及其在SAT模非线性整数算法中的应用。 Zbl 1453.90186号 基里恩·克莱默；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆 7 2016 多项式Lyapunov函数综合中多项式正性的线性松弛。 Zbl 1397.93189号 本·萨西，穆罕默德·阿明；桑卡拉纳拉亚南，斯里拉姆；陈欣；艾丽卡·阿尔布拉汉姆 5 2016 形式方法的理论和实践。纪念法兰克·德·波尔60岁生日的文章。 Zbl 1460.68002号 2 2016 SMT-RAT型：开源C类++用于战略和并行SMT解决的工具箱。 Zbl 1471.68241号 弗洛里安·科齐利厄斯；基里恩·克莱默；塞巴斯蒂安·荣格斯；斯特凡·舒普；艾丽卡·阿尔布拉汉姆 17 2015 在符号计算和可满足性检查之间架起桥梁。 Zbl 1345.68279号 艾丽卡·亚伯拉罕 13 2015 概率自动机的高级反例。 Zbl 1347.68211号 拉尔夫·威默；尼尔斯·詹森；艾丽卡·阿尔布拉汉姆；Joost-Pieter卡托恩 三 2015 用于构建和分析系统的工具和算法。2014年4月5日至13日在法国格勒诺布尔举行的第20届国际会议（TACAS 2014），是欧洲软件理论与实践联合会议（ETAPS 2014）的一部分。诉讼程序。 Zbl 1301.68010号 5 2014 离散时间马尔可夫模型的反例生成：介绍性调查。 Zbl 1445.68130号 艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔；克里斯蒂安·德内特；尼尔斯·詹森；Joost-Pieter卡托恩；拉尔夫·威默 5 2014 线性时间概率验证的最小反例。 Zbl 1360.68604号 拉尔夫·威默；尼尔斯·詹森；艾丽卡·阿尔布拉汉姆；Joost-Pieter卡托恩；贝恩德·贝克尔 4 2014 PRISM模型的快速调试。 Zbl 1448.68295号 克里斯蒂安·德内特；尼尔斯·詹森；拉尔夫·威默；艾丽卡·阿尔布拉汉姆；Joost-Pieter卡托恩 2 2014 区间约束传播与柱面代数分解的共生。 Zbl 1381.68274号 乌尔里奇·洛普；卡斯滕·谢布勒；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔 8 2013 基于Gröbner基的可满足性-模理论求解实数。 Zbl 1398.68696号 塞巴斯蒂安·荣格斯；乌尔里奇·洛普；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆 4 2013 离散时间Markov模型的最小临界子系统。 Zbl 1352.68167号 拉尔夫·威默；尼尔斯·詹森；艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔；Joost-Pieter卡托恩 6 2012 实时Maude中的定时CTL模型检查。 Zbl 1366.68176号 丹尼尔·莱普里；艾丽卡·阿尔布拉汉姆；彼得·塞巴·奥维茨基 1 2012 SMT解决方案的虚拟替代。 Zbl 1342.68282号 弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆 6 2011 离散时间马尔可夫链的层次反例。 Zbl 1348.68139号 尼尔斯·詹森；艾丽卡·阿尔布拉汉姆；Jens Katelaan公司；拉尔夫·威默；Joost-Pieter卡托恩；贝恩德·贝克尔 4 2011 有界模型检查中的并行SAT求解。 Zbl 1213.68359号 艾丽卡·阿尔布拉汉姆；舒伯特、托比亚斯；贝恩德·贝克尔；Fränzle，马丁；克里斯蒂安·赫尔德 三 2011 矩形自动机的有效有界可达性计算。 Zbl 1348.68097号 陈欣；艾丽卡·阿尔布拉汉姆；戈兰·弗雷斯 1 2011 具有未来和承诺的面向对象语言的行为接口描述。 Zbl 1187.68130号 艾丽卡·阿尔布拉汉姆；伊莫·格雷布；安德烈亚斯·格吕纳；马丁·斯特芬 7 2009 带有监视器的面向对象语言的抽象接口行为。 兹比尔1162.68475 艾丽卡·阿尔布拉汉姆；安德烈亚斯·格吕纳；马丁·斯特芬 三 2008 多线程Java的演绎证明系统，有例外。 Zbl 1144.68012号 艾丽卡·阿尔布拉汉姆；德波尔（Frank S。；威廉·鲍尔·德·罗弗；马丁·斯特芬 1 2008 带有监视器的面向对象语言的抽象接口行为。 Zbl 1461.68051号 艾丽卡·阿尔布拉汉姆；安德烈亚斯·格吕纳；马丁·斯特芬 1 2006 一个基于断言的多线程Java证明系统。 Zbl 1070.68016号 艾丽卡·阿尔布拉汉姆；德波尔（Frank S。；威廉·鲍尔·德·罗弗；马丁·斯特芬 9 2005 线性混合系统的优化有界模型检验。 Zbl 1111.68493号 艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔；费利克斯·克莱特克；马丁·斯特芬 5 2005 对象连接性和类的并发演算的完全抽象。 Zbl 1108.68538号 艾丽卡·阿尔布拉汉姆；马塞洛·M·邦桑格。；德波尔（Frank S。；马丁·斯特芬 2 2005 连续类演算中的可观察性、连接性和重播。 Zbl 1143.68359号 艾丽卡·阿尔布拉汉姆；马塞洛·M·邦桑格。；德波尔（Frank S。；安德烈亚斯·格吕纳；马丁·斯特芬 1 2005 Java显示器的防感应轮廓。 Zbl 1253.68080号 艾丽卡·阿尔布拉汉姆；德波尔（Frank S。；威廉·鲍尔·德·罗弗；马丁·斯特芬 4 2003 一个支持工具的多线程Java验证系统。 Zbl 1254.68055号 艾丽卡·阿尔布拉汉姆；德波尔（Frank S。；威廉·鲍尔·德·罗弗；马丁·斯特芬 2 2003 Java（_{text{MT}}）的组合操作语义。 Zbl 1274.68037号 艾丽卡·阿尔布拉汉姆；德波尔（Frank S。；威廉·鲍尔·德·罗弗；马丁·斯特芬 2 2003 验证Java的可重入多线程概念。 兹比尔1077.68552 艾丽卡·阿尔布拉哈姆·穆姆；德波尔（Frank S。；威廉·鲍尔·德·罗弗；马丁·斯特芬 6 2002 基于断言的PVS混合系统分析。 Zbl 1023.93510号 艾丽卡·阿尔布拉哈姆·穆姆；乌尔里希·汉内曼；马丁·斯特芬 1 2001 Java线程的校对。 Zbl 0999.68504号 Ábrahám-Mumm，艾瑞卡；德波尔（Frank S。 1 2000 所有引用出版物 前5名被引用出版物 全部的 前5名268位作者引用 20 艾丽卡·阿尔布拉汉姆 9 詹姆斯·哈罗德·达文波特 9 英格兰，马修 8 基里恩·克莱默 6 布莱特，柯蒂斯 6 亚历山德罗·西马蒂 6 维杰·加内什 6 科齐里亚斯（Ilias S.Kotsireas）。 6 Owe、Olaf 6 马丁·斯特芬 5 博尔祖·博纳克达尔普尔 5 阿尔贝托·格里乔 5 尼尔斯·詹森 5 塞巴斯蒂安·荣格斯 5 Joost-Pieter卡托恩 5 托马斯·斯特姆 4 克里斯特尔·拜尔 4 贝恩德·贝克尔 4 德波尔（Frank S。 4 埃纳尔·布罗赫·约翰森 三 约翰·A·阿伯特。 三 安娜·玛丽亚·比加蒂 三 克里斯托弗·布朗（Christopher W.Brown）。 三 弗洛里安·科齐利厄斯 三 Din、Crystal Chang 三 安德烈亚斯·艾格斯 三 弗洛里安·芬克 三 雅各布皮里鲍尔 三 莎莱·申瓦尔德 三 蒂诺·特伊格 三 塞萨尔·蒂内利 三 罗宾·齐梅克 2 克拉克·W·巴雷特。 2 布莱恩，马丁 2 布赫伯格，布鲁诺 2 科什卡，米兰 2 张凯文·K·H。 2 克里斯蒂安·德内特 2 约翰·多夫兰 2 伯恩德·芬克贝纳 2 帕斯卡·方丹 2 史蒂芬·福雷斯特 2 Fränzle，马丁 2 伊莫·格雷布 2 安德烈亚斯·格吕纳 2 阿尔伯特·海因勒 2 西蒙·扬奇 2 丹尼尔·科宁 2 塞尔吉奥·莫弗 2 奥尔德罗格，恩斯特·吕迪格 2 阿恩·施·赫夫特 2 安德鲁·雷诺兹 2 桑卡拉纳拉亚南，斯里拉姆 2 斯特凡·舒普 2 罗伯托·塞巴斯蒂亚尼 2 Werner M.塞勒。 2 桑吉特·阿伦库马尔·塞希亚 2 布雷特·史蒂文斯 2 斯特凡诺·托内塔 2 拉尔夫·维默（Ralf D.Wimmer）。 1 亚历山德罗·阿巴特 1 西瓦利·阿加瓦尔 1 丹尼尔·艾哈迈德 1 沃尔夫冈·阿伦特 1 马蒂亚斯·阿尔霍夫 1 埃蒂安·安德烈 1 罗马人Andriushchenko 1 Krzysztof Rafal公寓 1 西拉·阿罗拉 1 大卫·阿斯皮纳尔 1 蒂格兰·阿瓦内索夫 1 苏海卜·巴里尔 1 斯坦利·巴克 1 哈尼尔·巴博萨 1 埃齐奥·巴托西 1 Stylianos巴萨吉安尼斯 1 斯蒂芬·贝克尔。 1 伯恩哈德·贝克特 1 本·萨西，穆罕默德·阿明 1 伦纳特·贝林格 1 菲利波·比加雷拉 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 菲利波·邦奇 1 罗素·J·布拉德福德。 1 詹姆斯·布里奇。 1 卜、雷 1 蔡少伟 1 史蒂文·卡尔 1 亚尼克·骑士 1 吉安弗兰科·西亚多 1 克拉克、戴夫 1 科宁，诺琳 1 科恩、凯利 1 罗伯特·J·科尔文。 1 凯瑟琳·科德威尔 1 Czarnecki、Krzysztof 1 达姆，丹尼斯·雷内 1 威廉·鲍尔·德·罗弗 1 希切姆·黛比 1 德尔·里奥·阿尔马亚诺，特雷索 …和168多位作者 全部的 前5名27篇连载文章中引用 12 符号计算杂志 9 理论计算机科学 9 系统设计中的形式化方法 6 计算的形式方面 5 信息与计算 5 逻辑与代数程序设计杂志 4 计算机科学中的数学 三 自动推理杂志 2 计算机程序设计科学 2 程序设计中的逻辑和代数方法杂志 1 Semesterberichte数学 1 计算 1 SIAM控制与优化杂志 1 MSCS公司。计算机科学中的数学结构 1 工程、通信和计算中的应用代数 1 人工智能研究杂志 1 数学与人工智能年鉴 1 摩尔多瓦计算机科学杂志 1 约束条件 1 计算系统理论 1 逻辑程序设计理论与实践 1 ACM计算逻辑汇刊 1 计算机科学中的逻辑方法 1 非线性分析。混合动力系统 1 计算机代数中的ACM通信 1 《大学学报》。Informatica公司 1 数值代数、控制与优化 全部的 前5名21个领域被引用 112 计算机科学（68至XX） 21 数学逻辑和基础（03-XX） 10 运筹学、数学规划（90-XX） 6 概率论与随机过程（60-XX） 5 组合数学（05-XX） 5 系统论；控制（93至XX） 4 数值分析（65-XX） 三 交换代数（13-XX） 三 代数几何（14-XX） 2 常微分方程（34-XX） 2 动力系统和遍历理论（37至XX） 2 生物学和其他自然科学（92-XX） 2 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 数论（11-XX） 1 场论和多项式（12-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 几何图形（51至XX） 1 代数拓扑（55-XX） 1 数学教育（97-XX） 按年份列出的引文