编辑配置文件（在新选项卡中打开） 格钦·诺曼 合著者距离 作者ID： 诺曼·埃塞俄比亚 发布日期： 格钦·诺曼;G.J.诺曼。;G·诺曼。 更多。。。较少的 主页： 网址：https://www.dcs.gla.ac.uk/~去拿/ 外部链接： ORCID公司·谷歌学者 已编制索引的文档： 58出版物自1997年起 5名编辑的贡献·1进一步贡献 合著者： 41位合著者具有63联合出版物 907合著作者 全部的 前5名合著者 1 单作者的 52 Marta Z.Kwiatkowska。 10 杰里米·斯普洛斯顿 5 罗伯特·塞加拉 4 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 三 Forejt，Vojtěch公司 三 Mark Kattenbelt公司 三 曲洪阳 三 阿舒托什·特里维迪 2 克里斯特尔·拜尔 2 亚历山德拉·迪·皮耶罗 2 阿列克桑德拉·乔瓦诺维奇。 2 梅克·马西克 2 安托尼奥·帕切科 2 王福智 2 邹学毅 1 亚历山德罗·阿巴特 1 彼得·比罗 1 斯特凡诺·卡塔尼 1 康斯坦蒂诺斯·查齐科科拉基斯 1 弗兰克·西辛斯基 1 卢卡·德·阿尔法罗 1 道格拉斯·弗雷泽 1 鲁本·贾昆塔 1 马库斯·格勒 1 拉杰什·库马尔·古普塔 1 约翰·R·希思。 1 霍尔格·赫尔曼斯 1 鲁思·霍夫曼 1 爱尔兰，穆雷 1 马尔钦·尤季扬斯基 1 Joost-Pieter卡托恩 1 拉希德·迈赫穆德 1 爱丽丝·安·米勒 1 帕南加登，普拉卡什 1 佩拉斯、昆廷 1 鲁滕，简·J·M·M。 1 威廉·H·桑德斯。 1 Shukla、Sandeep Kumar 1 马库斯·西格尔 1 俄克拉荷马州提姆希欣 1 弗兰克·范·布鲁格尔 1 玛丽亚·格拉齐亚·维格利奥蒂 1 赫伯特，威克利基 1 哈坎·L·S·尤尼斯。 全部的 前5名系列 7 理论计算机科学 4 计算的形式方面 4 系统设计中的形式化方法 2 信息与计算 2 理论计算机科学电子论文集（EPTCS） 1 计算机与数学及其应用 1 国际博弈论杂志 1 实时系统 1 逻辑与代数程序设计杂志 1 CRM专题系列 1 计算机科学课堂讲稿 全部的 前5名领域 62 计算机科学（68至XX） 11 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 总体主题；集合（00-XX） 4 概率论与随机过程（60-XX） 三 系统论；控制（93至XX） 2 数学逻辑和基础（03-XX） 2 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 55出版物有被引用639中的次379文件 引用人▼ 年份▼ PRISM：概率符号模型检查器。 Zbl 1047.68533号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 66 2002 具有离散概率分布的实时系统的自动验证。 Zbl 1050.68094号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;罗伯特·塞加拉;杰里米·斯普洛斯顿 55 2002 随机模型检查。 Zbl 1323.68379号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 48 2007 概率系统的定量多目标验证。 Zbl 1315.68177号 Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 41 2011 使用数字时钟的概率时间自动机性能分析。 Zbl 1105.68063号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 32 2006 复杂生物途径的概率模型检查。 Zbl 1133.68043号 约翰·希思;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;俄克拉荷马州提姆希欣 27 2008 马尔可夫决策过程的基于游戏的抽象再定义框架。 兹伯利1233.90276 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 27 2010 概率时间自动机的符号模型检验。 Zbl 1122.68075号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之 25 2007 用于分析并发和概率系统的数学技术。 Zbl 1069.68074号 20 2004 概率模型检查的对称约简。 Zbl 1188.68194号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 18 2006 概率时间自动机的模型检验。 兹比尔1291.68265 格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 17 2013 使用MTBDD和Kronecker表示对概率过程进行符号模型检查。 Zbl 0960.68109号 卢卡·德·阿尔法罗;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;罗伯特·塞加拉 17 2000 概率时间自动机验证的随机博弈。 Zbl 1262.68125号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 16 2009 概率系统的假设保证验证。 Zbl 1284.68406号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 15 2010 IEEE 802.11无线局域网协议的概率模型检查。 Zbl 1065.68583号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿 13 2002 连续状态空间和非确定性的随机转移系统。 Zbl 1118.68568号 斯特凡诺·卡塔尼;罗伯特·塞加拉;玛尔塔·奎亚特科夫斯卡;格钦·诺曼 13 2005 PRISM概率符号模型检验：一种混合方法。 Zbl 1043.68576号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 12 2002 更快、符号化的CTMC模型检查。 Zbl 1007.68517号 Joost-Pieter卡托恩;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2001 赫尔曼自稳定算法的概率验证。 Zbl 1259.68130号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2012 概率软件的抽象精化。 Zbl 1206.68090号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2009 验证连续概率时间自动机的定量性质。 Zbl 0999.68125号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;罗伯特·塞加拉;杰里米·斯普洛斯顿 10 2000 模型检查具有随机时间边界的期望时间和期望报酬公式。 Zbl 1104.68067号 Kwiatkowska，M。;G·诺曼。;A.帕切科。 9 2006 IEEE 1394 fireWire根竞争协议中截止时间属性的概率模型检查。 Zbl 1029.68017号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿 9 2002 反应概率过程的测试等价性。 Zbl 0917.68154号 Kwiatkowska，M.Z。;G.J.诺曼。 8 1998 部分可观测概率系统的验证和控制。 兹比尔1425.68266 格钦·诺曼;大卫·帕克;邹学毅 8 2017 使用cadence SMV和PRISM自动验证随机分布式共识协议。 Zbl 0991.68503号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;罗伯特·塞加拉 8 2001 通过多目标模型检查进行组合概率验证。 Zbl 1277.68138号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 7 2013 PRISM中基于博弈的概率谓词抽象。 Zbl 1286.68316号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 6 2008 概率时间自动机的符号模型检验。 Zbl 1109.68517号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之 6 2004 秘密定价的概率时间自动机。 Zbl 1254.68136号 马尔钦·尤季扬斯基;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 6 2009 关于使用MTBDD进行随机系统的性能分析和验证。 Zbl 1054.68018号 霍尔格·赫尔曼斯;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;马库斯·西格尔 6 2003 数值与统计概率模型检验：一项实证研究。 Zbl 1126.68490号 哈坎·L·S·尤尼斯。;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 6 2004 恶魔调度器的相互模拟。 兹比尔12346.8293 康斯坦蒂诺斯·查齐科科拉基斯;格钦·诺曼;大卫·帕克 6 2009 模型检查CSL，直到公式具有随机时间界限。 Zbl 1065.68595号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;安托尼奥·帕切科 5 2002 概率时间自动机的符号最小期望时间控制器综合。 兹比尔1465.68153 亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼 5 2015 使用概率模型检查进行动态电源管理。 Zbl 1080.68601号 格钦·诺曼;大卫·帕克;玛尔塔·奎亚特科夫斯卡;桑迪普·舒克拉;拉杰什·古普塔 5 2005 随机匹配市场分析。 Zbl 1279.91120号 佩特尔·比罗;格钦·诺曼 5 2013 使用数字时钟的概率时间自动机性能分析。 Zbl 1099.68534号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;杰里米·斯普鲁斯顿 4 2004 通过有限近似互模拟对标记马尔可夫过程进行概率模型检验。 Zbl 1407.68275号 亚历山德罗·阿巴特;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 4 2014 分析随机分布式算法。 Zbl 1203.68326号 格钦·诺曼 4 2004 验证随机拜占庭协议。 Zbl 1037.68508号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼 4 2002 最大概率可达性的符号计算。 Zbl 1006.68096号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿 三 2001 反应概率过程的完全抽象度量空间指称语义。 Zbl 0917.68137号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼 三 1997 部分可观测概率实时系统的验证和控制。 Zbl 1465.68182号 格钦·诺曼;大卫·帕克;邹学毅 三 2015 概率报酬模型的约简准则。 Zbl 1177.68150号 马库斯·格勒;格钦·诺曼;克里斯特尔·拜尔;Frank Ciesinski先生;玛尔塔·奎亚特科夫斯卡;大卫·帕克 三 2006 马尔可夫模型的符号离核求解方法。 Zbl 1270.68232号 玛尔塔·奎亚特科夫斯卡;拉希德·迈赫穆德;格钦·诺曼;大卫·帕克 三 2002 预期可达性时间游戏。 Zbl 1290.68073号 Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 三 2010 概率移动环境。 Zbl 1183.68400号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;玛丽亚·格拉齐亚·维格利奥蒂 三 2009 预期可达性时间游戏。 Zbl 1339.68146号 Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 2 2016 概率时间自动机的符号最优期望时间可达性计算和控制器综合。 Zbl 1359.68171号 亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;佩拉斯、昆廷 2 2017 并发随机博弈的多人均衡验证。 Zbl 1483.68197号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2020 并发随机游戏的自动验证。 Zbl 1514.68138号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2018 并发随机系统的自动验证。 Zbl 1505.68025号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2021 用时间和概率验证软件的框架。 Zbl 1290.68035号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 1 2010 回合制概率实时游戏的验证和控制。 Zbl 07817560号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 1 2019 并发随机系统的自动验证。 Zbl 1505.68025号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2021 并发随机博弈的多人均衡验证。 Zbl 1483.68197号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2020 基于回合的概率实时游戏的验证和控制。 Zbl 07817560号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 1 2019 并发随机游戏的自动验证。 Zbl 1514.68138号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2018 部分可观测概率系统的验证和控制。 Zbl 1425.68266号 格钦·诺曼;大卫·帕克;邹学毅 8 2017 概率时间自动机的符号最优期望时间可达性计算和控制器综合。 Zbl 1359.68171号 亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;佩拉斯、昆廷 2 2017 预期可达性-时间游戏。 Zbl 1339.68146号 Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 2 2016 概率时间自动机的符号最小期望时间控制器综合。 Zbl 1465.68153号 亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼 5 2015 部分可观测概率实时系统的验证和控制。 Zbl 1465.68182号 格钦·诺曼;大卫·帕克;邹学毅 三 2015 通过有限近似互模拟对标记马尔可夫过程进行概率模型检验。 Zbl 1407.68275号 亚历山德罗·阿巴特;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 4 2014 概率时间自动机的模型检验。 Zbl 1291.68265号 格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 17 2013 通过多目标模型检查进行组合概率验证。 Zbl 1277.68138号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 7 2013 随机匹配市场分析。 Zbl 1279.91120号 佩特尔·比罗;格钦·诺曼 5 2013 赫尔曼自稳定算法的概率验证。 Zbl 1259.68130号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2012 概率系统的定量多目标验证。 Zbl 1315.68177号 Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 41 2011 马尔可夫决策过程的基于游戏的抽象再定义框架。 Zbl 1233.90276号 马克·卡滕贝尔特;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 27 2010 概率系统的假设保证验证。 Zbl 1284.68406号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 15 2010 预期可达性-时间游戏。 Zbl 1290.68073号 Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 三 2010 用时间和概率验证软件的框架。 Zbl 1290.68035号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 1 2010 概率时间自动机验证的随机博弈。 兹比尔1262.68125 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 16 2009 概率软件的抽象精化。 Zbl 1206.68090号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2009 秘密定价的概率时间自动机。 Zbl 1254.68136号 马尔钦·尤季扬斯基;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 6 2009 恶魔调度器的相互模拟。 Zbl 1234.68293号 康斯坦蒂诺斯·查齐科科拉基斯;格钦·诺曼;大卫·帕克 6 2009 概率移动环境。 Zbl 1183.68400号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;玛丽亚·格拉齐亚·维格利奥蒂 三 2009 复杂生物路径的概率模型检查。 Zbl 1133.68043号 希思，约翰;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;俄克拉荷马州提姆希欣 27 2008 PRISM中基于博弈的概率谓词抽象。 Zbl 1286.68316号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 6 2008 随机模型检查。 Zbl 1323.68379号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 48 2007 概率时间自动机的符号模型检验。 Zbl 1122.68075号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之 25 2007 使用数字时钟的概率时间自动机性能分析。 Zbl 1105.68063号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 32 2006 概率模型检查的对称约简。 Zbl 1188.68194号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 18 2006 模型检验具有随机时间边界的期望时间和期望奖励公式。 Zbl 1104.68067号 Kwiatkowska，M。;G·诺曼。;A.帕切科。 9 2006 概率报酬模型的约简准则。 Zbl 1177.68150号 马库斯·格勒;格钦·诺曼;克里斯特尔·拜尔;Frank Ciesinski先生;玛尔塔·奎亚特科夫斯卡;大卫·帕克 三 2006 连续状态空间和非确定性的随机转移系统。 Zbl 1118.68568号 斯特凡诺·卡塔尼;罗伯特·塞加拉;玛尔塔·奎亚特科夫斯卡;格钦·诺曼 13 2005 使用概率模型检查进行动态电源管理。 Zbl 1080.68601号 格钦·诺曼;大卫·帕克;玛尔塔·奎亚特科夫斯卡;桑迪普·舒克拉;拉杰什·古普塔 5 2005 用于分析并发和概率系统的数学技术。 Zbl 1069.68074号 20 2004 概率时间自动机的符号模型检验。 Zbl 1109.68517号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之 6 2004 数值与统计概率模型检验：一项实证研究。 Zbl 1126.68490号 哈坎·L·S·尤尼斯。;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 6 2004 使用数字时钟的概率时间自动机性能分析。 Zbl 1099.68534号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;杰里米·斯普鲁斯顿 4 2004 分析随机分布式算法。 Zbl 1203.68326号 格钦·诺曼 4 2004 关于使用MTBDD进行随机系统的性能分析和验证。 Zbl 1054.68018号 霍尔格·赫尔曼斯;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;马库斯·西格尔 6 2003 PRISM：概率符号模型检查器。 Zbl 1047.68533号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 66 2002 具有离散概率分布的实时系统的自动验证。 Zbl 1050.68094号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;罗伯特·塞加拉;杰里米·斯普洛斯顿 55 2002 IEEE 802.11无线局域网协议的概率模型检查。 Zbl 1065.68583号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿 13 2002 PRISM概率符号模型检验：一种混合方法。 Zbl 1043.68576号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 12 2002 IEEE 1394 fireWire根竞争协议中截止时间属性的概率模型检查。 Zbl 1029.68017号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿 9 2002 模型检查CSL，直到公式具有随机时间界限。 Zbl 1065.68595号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;安托尼奥·帕切科 5 2002 验证随机拜占庭协议。 Zbl 1037.68508号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼 4 2002 马尔可夫模型的符号离核求解方法。 Zbl 1270.68232号 玛尔塔·奎亚特科夫斯卡;拉希德·迈赫穆德;格钦·诺曼;大卫·帕克 三 2002 更快、符号化的CTMC模型检查。 Zbl 1007.68517号 Joost-Pieter卡托恩;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2001 使用cadence SMV和PRISM自动验证随机分布式共识协议。 Zbl 0991.68503号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;罗伯特·塞加拉 8 2001 最大概率可达性的符号计算。 Zbl 1006.68096号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿 三 2001 使用MTBDD和Kronecker表示的概率过程的符号模型检查。 Zbl 0960.68109号 卢卡·德·阿尔法罗;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;罗伯特·塞加拉 17 2000 验证连续概率时间自动机的定量性质。 Zbl 0999.68125号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;罗伯特·塞加拉;杰里米·斯普洛斯顿 10 2000 反应概率过程的测试等价性。 兹伯利0917.68154 Kwiatkowska，M.Z。;G.J.诺曼。 8 1998 反应概率过程的完全抽象度量空间指称语义。 Zbl 0917.68137号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼 三 1997 所有引用出版物 前5名被引用出版物 全部的 前5名693位作者引用 36 Marta Z.Kwiatkowska。 28 Joost-Pieter卡托恩 23 格钦·诺曼 14 克里斯特尔·拜尔 14 塞巴斯蒂安·荣格斯 12 杰里米·斯普洛斯顿 11 霍尔格·赫尔曼斯 10 克里希南德·查特吉 9 简·Křetínsk 7 马吉德·扎马尼 7 张丽君 6 埃里克·P·德文克。 6 恩斯特·莫里茨·哈恩 6 简·希尔斯顿 6 尼尔斯·詹森 6 阿波法兹·拉瓦伊 6 保罗·米拉佐 5 亚历山德罗·阿巴特 5 保罗·巴拉里尼 5 马可·贝尔纳多 5 Bortolussi，卢卡 5 科什卡，米兰 5 贝诺·德拉哈耶 5 冯、袁 5 霍尔格·吉斯 5 Boudewijn R.哈维尔科特。 5 Legay、Axel 5 玛丽亚·马克西莫娃 5 安托尼奥·帕切科 5 桑吉特·阿伦库马尔·塞希亚 5 萨代赫·苏贾尼 4 卢卡·卡德利 4 马丁·奇梅利克 4 多米尼克·楚 4 佩德罗·鲁宾·达吉尼奥 4 邓玉欣 4 何塞·德斯哈奈斯 4 Forejt，Vojtěch公司 4 阿恩·哈特曼斯 4 阿列克桑德拉·乔瓦诺维奇。 4 马尔钦·尤季扬斯基 4 萨瓦斯·科努尔 4 安德烈亚·马吉奥洛·谢蒂尼 4 卡罗尔·C·摩根。 4 卡图西亚帕拉米德斯 4 曲洪阳 4 蒂姆·夸特曼 4 斯文·施奈德 4 安娜·索科洛娃 4 拼写，Jip 4 乌富克托普库 4 阿舒托什·特里维迪 三 艾丽卡·阿尔布拉汉姆 三 埃蒂安·安德烈 三 埃齐奥·巴托西 三 Nathalie Bertrand 三 菲律宾邦奇 三 帕特里夏·鲍耶 三 Jeremy T·布拉德利。 三 托马斯·布拉兹迪尔 三 卡尔德，穆菲 三 罗希特·查达 三 穆拉特·库布克特佩 三 Dannenberg，弗里茨 三 托马斯·亨辛格。 三 约阿希姆·克莱因 三 克里斯蒂安·克劳斯 三 拉诺特、拉格罗 三 弗朗索瓦·拉维奥莱特 三 米歇尔·洛雷蒂 三 Annabelle K.McIver。 三 爱丽丝·安·米勒 三 阿里·莫瓦加尔 三 劳拉·内兹 三 斯文·舍韦 三 亚历山德拉·席尔瓦 三 马赫什·维斯瓦纳坦 三 马克西米利安·威宁格 三 詹姆斯·沃雷尔。 三 英明生 2 马哈提·阿南德 2 佩德罗·巴尔塔扎尔 2 巴伯，贝诺 2 罗伯托·巴布蒂 2 尼古拉斯·巴塞特 2 马修·史蒂文·鲍尔 2 贝恩德·贝克尔 2 博尔祖·博纳克达尔普尔 2 卢博什·布里姆 2 彼得·巴赫霍尔茨 2 贝努伊特Caillaud 2 康斯坦蒂诺斯·查齐科科拉基斯 2 陈、陶璐 2 Frank Ciesinski先生 2 Daca，Przemysław公司 2 劳雷·达沃 2 卢卡·德·阿尔法罗 2 洛科·德尼古拉 2 克里斯蒂安·德内特 2 克莱门斯·杜伯斯拉夫 …和593多位作者 全部的 前5名59篇连载文章中引用 42 理论计算机科学 22 信息与计算 21 系统设计中的形式化方法 19 计算的形式方面 9 人工智能 9 计算机科学中的逻辑方法 8 计算机与系统科学杂志 8 逻辑与代数程序设计杂志 7 信息学学报 5 非线性分析。混合动力系统 5 程序设计中的逻辑和代数方法杂志 4 信息处理信件 4 Automatica公司 4 自动推理杂志 4 自然计算 4 理论生物学杂志 三 分布式计算 2 计算机与数学及其应用 2 排队系统 2 人工智能研究杂志 2 欧洲控制杂志 2 运筹学的数学方法 2 美国医学会杂志 2 国际应用数学与计算机科学杂志 2 计算机基础理论 2 ACM计算逻辑汇刊 2 计算机科学前沿 1 数学生物学通报 1 计算 1 经济理论杂志 1 SIAM控制与优化杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 SIAM离散数学杂志 1 并行与分布式计算杂志 1 运筹学年鉴 1 实时系统 1 机器学习 1 MSCS公司。计算机科学中的数学结构 1 全球优化杂志 1 离散事件动态系统 1 游戏与经济行为 1 应用数学建模 1 统计计算与模拟杂志 1 线性代数及应用 1 逻辑、语言与信息杂志 1 数学科学杂志（纽约） 1 数学与人工智能年鉴 1 摩尔多瓦计算机科学杂志 1 美国计算机学会模型和计算机仿真汇刊 1 工程中的数学问题 1 应用数学杂志 1 计算机语言、系统和结构 1 国际量子信息杂志 1 优化信函 1 算法 1 计算机科学评论 1 国际系统科学杂志。系统与集成原理与应用 1 膜计算杂志 全部的 前5名21个领域被引用 331 计算机科学（68至XX） 53 运筹学、数学规划（90-XX） 48 概率论与随机过程（60-XX） 35 生物学和其他自然科学（92-XX） 34 数学逻辑和基础（03-XX） 30 博弈论、经济学、金融和其他社会和行为科学（91-XX） 29 系统论；控制（93至XX） 10 信息与通信理论、电路（94-XX） 5 数值分析（65-XX） 4 统计学（62-XX） 2 组合数学（05-XX） 2 范畴理论；同调代数（18-XX） 2 群论与推广（20-XX） 2 变分法与最优控制；最优化（49至XX） 2 量子理论（81-XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 常微分方程（34-XX） 1 动力系统和遍历理论（37至XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 按年份列出的引文