编辑配置文件（在新选项卡中打开） Marta Z.Kwiatkowska。 合著者距离 作者ID： kwiatkowska.marta-z公司 发布日期： 玛尔塔·奎亚特科夫斯卡;Marta Z.Kwiatkowska。;Kwiatkowska，M。;Kwiatkowska，M.Z。;奎亚特科夫斯卡，玛尔塔。 更多。。。较少的 主页： http://www.cs.ox.ac.uk/people/marta.kwiatkowska/ 外部链接： ORCID公司·维基数据·谷歌学者·数据库许可证·接地·ID参考·论文.fr 已编制索引的文档： 140出版物自1985年起 9作为编辑的贡献·1进一步贡献 合著者： 106合著者具有139联合出版物 2667合著作者 全部的 前5名合著者 10 单作者的 51 格钦·诺曼 13 卢卡·卡德利 12 克里斯特尔·拜尔 12 陈、陶璐 12 Forejt，Vojtěch公司 11 卢卡·劳伦蒂 9 杰里米·斯普洛斯顿 7 亚历山德罗·阿巴特 6 亚历山大·梅雷克莱 6 西马蒂斯，艾斯蒂斯 6 王旭 5 科什卡，米兰 5 曲洪阳 5 罗伯特·塞加拉 4 尼古拉斯·巴塞特 4 克里斯·奇尔顿 4 Dannenberg，弗里茨 4 马尔科·迪西奥拉 4 阿列克桑德拉·乔瓦诺维奇。 4 尼古拉·保莱蒂 4 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 4 阿舒托什·特里维迪 4 马克斯·惠特比 4 克莱门斯·威尔奇 三 巴伯，贝诺 三 卢卡·博托卢西 三 费多尔·福明。 三 韩婷婷 三 黄晓伟 三 Mark Kattenbelt公司 三 大卫·佩勒 三 克里斯·塔丘克 三 王富之 2 西蒙·安布勒。 2 卢博什 2 斯特凡诺·卡塔尼 2 卢卡·德·阿尔法罗 2 克劳斯·阿格博士 2 库沙·埃特萨米 2 弗赖夫德斯、拉西什·毛尔蒂 2 本特·琼森 2 莫特萨·拉希贾尼安 2 尼古拉斯测量员 2 拉希德·迈赫穆德 2 安托尼奥·帕切科 2 安德鲁·J·特伯菲尔德（Andrew J.Turberfield）。 2 俄克拉荷马州提姆希欣 2 马特乌斯·乌玛 2 莫西·亚亚科夫·瓦尔迪 2 吴敏 2 米哈伊利斯·扬纳卡基斯 1 马克·比昂纳多 1 布鲁姆，巴德 1 托马斯·布拉兹迪尔 1 纳塔利·考奇 1 查特吉，克里什南杜 1 马丁·奇梅利克 1 Frank Ciesinski先生 1 克拉克（Edmund Melson jun Clarke）。 1 阿巴斯·埃达拉特 1 冯、鲁 1 马丁·范策尔 1 埃蒙·加夫尼（Eamonn A.Gaffney）。 1 霍尔格·吉斯 1 帕斯卡尔，古尔多 1 马库斯·格勒 1 拉杰什·库马尔·古普塔 1 恩斯特·莫里茨·哈恩 1 瓦西利基·哈特纳斯·加姆豪森 1 赫里萨菲斯·哈托纳斯 1 希思，J.K。 1 约翰·R·希思。 1 霍尔格·赫尔曼斯 1 迈克尔·R·A·胡特。 1 卡齐米尔兹·乔奇克 1 阿希姆·荣格 1 马尔钦·尤季扬斯基 1 瓦伦·卡纳德 1 Joost-Pieter卡托恩 1 克劳斯·凯梅尔 1 克里斯蒂安·克劳斯 1 简·Křetínsk 1 阿莱西奥·洛穆西奥 1 法隆·莫勒 1 马西耶·奥列尼克 1 帕南加登，普拉卡什 1 安德烈·帕坦埃 1 Doron A.Peled。 1 沃伊切赫·彭泽克 1 佩拉斯、昆廷 1 阮文杰 1 简·J·M·M·鲁顿。 1 迈克尔·西尔德斯（Michael W.Schields）。 1 桑迪普·库马尔·舒克拉 1 马库斯·西格尔 1 马里亚·斯沃雷奥娃 1 西奥多罗普洛斯（Georgios K。 1 理查德·托马斯（Richard M.Thomas）。 1 乌富克托普库 1 米尔科·特里巴斯通 …以及另外9位合著者 全部的 前5名系列 11 理论计算机科学 5 信息与计算 5 计算的形式方面 5 系统设计中的形式化方法 三 信息处理信件 三 自然计算 三 ACM计算逻辑事务 2 IEEE自动控制汇刊 2 计算机基础理论 2 计算机科学课堂讲稿 2 理论计算机科学电子笔记 2 计算机科学中的逻辑方法 1 信息学学报 1 计算机与数学及其应用 1 数学生物学通报 1 MSCS公司。计算机科学中的数学结构 1 分布式计算 1 杰西蒂·诺科大学（Zeszyty Naukow Uniwersytetu Jagiello an skiego）。Prace Informatyczne公司 1 美国计算机学会模型和计算机仿真汇刊 1 欧洲控制杂志 1 逻辑与代数程序设计杂志 1 机器学习研究杂志（JMLR） 1 CRM专题系列 全部的 前5名领域 136 计算机科学（68至XX） 25 博弈论、经济学、金融和其他社会和行为科学（91-XX） 13 数学逻辑和基础（03-XX） 13 概率论与随机过程（60-XX） 13 生物学和其他自然科学（92-XX） 9 系统论；控制（93至XX） 8 总体主题；集合（00-XX） 6 运筹学、数学规划（90-XX） 5 数值分析（65-XX） 三 信息与通信理论、电路（94-XX） 2 一般拓扑结构（54至XX） 1 阶、格、有序代数结构（06-XX） 1 动力系统和遍历理论（37至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 124出版物被引用1103中的次608文件 引用人▼ 年份▼ 概率符号模型检查器。 Zbl 1047.68533号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 66 2002 具有离散概率分布的实时系统的自动验证。 Zbl 1050.68094号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;罗伯特·塞加拉;杰里米·斯普洛斯顿 55 2002 随机模型检查。 Zbl 1323.68379号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 48 2007 概率系统的定量多目标验证。 Zbl 1315.68177号 Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 41 2011 深度神经网络的安全验证。 Zbl 1494.68166号 黄晓伟;玛尔塔·奎亚特科夫斯卡;王森（Wang，Sen）;吴敏 38 2017 使用数字时钟的概率时间自动机性能分析。 Zbl 1105.68063号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 32 2006 复杂生物路径的概率模型检查。 Zbl 1133.68043号 约翰·希思;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;俄克拉荷马州提姆希欣 27 2008 马尔可夫决策过程的基于游戏的抽象再定义框架。 Zbl 1233.90276号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 27 2010 使用学习算法验证马尔可夫决策过程。 Zbl 1448.68290号 托马斯·布拉兹迪尔;查特吉，克里什南杜;马丁·奇梅利克;Forejt，Vojtěch公司;简·Křetínsk;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 26 2014 概率时间自动机的符号模型检验。 Zbl 1122.68075号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之 25 2007 马尔可夫决策过程的多目标模型检验。 兹比尔1161.68565 库沙·埃特萨米;玛尔塔·奎亚特科夫斯卡;莫舍·瓦尔迪。;米哈伊利斯·扬纳卡基斯 23 2008 概率过程的符号模型检查。 Zbl 1401.68180号 克里斯特尔·拜尔;埃德蒙·克拉克（Edmund M.Clarke）。;瓦西利基·哈特纳斯·加姆豪森;玛尔塔·奎亚特科夫斯卡;马克·瑞恩 21 1997 具有公平性的概率分支时间逻辑的模型检查。 Zbl 1448.68285号 克里斯特尔·拜尔;玛尔塔·奎亚特科夫斯卡 21 1998 用于分析并发和概率系统的数学技术。 Zbl 1069.68074号 20 2004 概率模型检查的对称约简。 Zbl 1188.68194号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 18 2006 竞争随机系统的自动验证。 兹比尔1291.68252 陈、陶璐;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马蒂斯，艾斯蒂斯 17 2013 使用MTBDD和Kronecker表示对概率过程进行符号模型检查。 Zbl 0960.68109号 卢卡·德·阿尔法罗;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;罗伯特·塞加拉 17 2000 痕迹的度量。 Zbl 0697.68071号 Marta Z.Kwiatkowska。 16 1990 概率时间自动机验证的随机博弈。 兹比尔1262.68125 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 16 2009 概率系统的假设保证验证。 Zbl 1284.68406号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 15 2010 事件公平性和不干涉并发性。 Zbl 0696.68092号 Marta Z.Kwiatkowska。 15 1989 模型检查概率系统。 Zbl 1392.68227号 克里斯特尔·拜尔;卢卡·德·阿尔法罗;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡 15 2018 关于多目标随机博弈。 Zbl 1400.91040号 陈、陶璐;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;西马蒂斯，艾斯蒂斯;克莱门斯·威尔奇 15 2013 连续状态空间和非确定性的随机转移系统。 Zbl 1118.68568号 斯特凡诺·卡塔尼;罗伯特·塞加拉;玛尔塔·奎亚特科夫斯卡;格钦·诺曼 13 2005 IEEE 802.11无线局域网协议的概率模型检查。 Zbl 1065.68583号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿 13 2002 概率模型检查的Pareto曲线。 Zbl 1374.68285号 Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克 12 2012 PRISM概率符号模型检验：一种混合方法。 Zbl 1043.68576号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 12 2002 马尔可夫决策过程的多目标模型检验。 Zbl 1186.68286号 Etessami，K。;Kwiatkowska，M。;M.Y.瓦尔迪。;亚纳卡基斯，M。 11 2007 组件行为的组合规范理论。 Zbl 1352.68149号 陈、陶璐;克里斯·奇尔顿;本特·琼森;玛尔塔·奎亚特科夫斯卡 11 2012 随机生化系统的精确参数综合。 Zbl 1373.92038号 科什卡，米兰;Dannenberg，弗里茨;尼古拉·保莱蒂;玛尔塔·奎亚特科夫斯卡;卢博什 11 2017 DNA行走电路：计算潜力、设计和验证。 Zbl 1409.68099号 Dannenberg，弗里茨;玛尔塔·奎亚特科夫斯卡;克里斯·塔丘克;安德鲁·J·特伯菲尔德（Andrew J.Turberfield）。 11 2013 更快、符号化的CTMC模型检查。 Zbl 1007.68517号 Joost-Pieter卡托恩;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2001 赫尔曼自稳定算法的概率验证。 Zbl 1259.68130号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2012 概率软件的抽象精化。 Zbl 1206.68090号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2009 具有可证明保证的深度神经网络的基于游戏的近似验证。 Zbl 1436.68199号 吴敏;马修·威克;阮文杰;黄晓伟;玛尔塔·奎亚特科夫斯卡 11 2020 PRISM-games：随机多层游戏的模型检查器。 Zbl 1381.68151号 陈、陶璐;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马蒂斯，艾斯蒂斯 10 2013 概率过程的域方程。 兹伯利0974.68136 克里斯特尔·拜尔;玛尔塔·奎亚特科夫斯卡 10 2000 验证连续概率时间自动机的定量性质。 兹比尔0999.68125 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;罗伯特·塞加拉;杰里米·斯普洛斯顿 10 2000 公平约束下概率过程定性性质的验证。 Zbl 1078.68664号 克里斯特尔·拜尔;玛尔塔·奎亚特科夫斯卡 10 1998 通过不确定性提高效率：随机混合系统的可扩展形式综合。 Zbl 07120160号 纳塔利·考奇;卢卡·劳伦蒂;莫特萨·拉希贾尼安;亚历山德罗·阿巴特;玛尔塔·奎亚特科夫斯卡;卢卡·卡德利 9 2019 概率过程的域方程。 Zbl 0911.68087号 克里斯特尔·拜尔;玛尔塔·奎亚特科夫斯卡 9 1997 IEEE 1394 fireWire根竞争协议中截止时间属性的概率模型检查。 兹比尔1029.68017 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿 9 2002 模型检查具有随机时间边界的期望时间和期望报酬公式。 Zbl 1104.68067号 Kwiatkowska，M。;G·诺曼。;A.帕切科。 9 2006 概率系统的自动验证和策略综合。 Zbl 1410.68233号 玛尔塔·奎亚特科夫斯卡;大卫·帕克 8 2013 用线性噪声近似近似化学反应网络的概率可达性。 Zbl 1381.92110号 卢卡·博托卢西;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 8 2016 随机博弈的定量验证与策略综合。 Zbl 1347.93240号 马里亚·斯沃雷奥娃;玛尔塔·奎亚特科夫斯卡 8 2016 使用cadence SMV和PRISM的随机分布式共识协议的自动验证。 Zbl 0991.68503号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;罗伯特·塞加拉 8 2001 反应概率过程的测试等价性。 Zbl 0917.68154号 Kwiatkowska，M.Z。;G.J.诺曼。 8 1998 根据实时规范对CTMC进行有时限的验证。 Zbl 1348.68126号 陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 7 2011 同步概率系统基于学习的组合验证。 Zbl 1348.68135号 冯、鲁;韩婷婷;玛尔塔·奎亚特科夫斯卡;大卫·帕克 7 2011 通过多目标模型检查进行组合概率验证。 Zbl 1277.68138号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 7 2013 接口自动机的代数理论。 Zbl 1360.68608号 克里斯·奇尔顿;本特·琼森;玛尔塔·奎亚特科夫斯卡 7 2014 模态演算的对偶性和完备性。 兹伯利0872.03010 西蒙·安布勒;玛尔塔·奎亚特科夫斯卡;尼古拉斯测量员 7 1995 秘密定价的概率时间自动机。 Zbl 1254.68136号 马尔钦·尤季扬斯基;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 6 2009 数值与统计概率模型检验：一项实证研究。 Zbl 1126.68490号 哈坎·L·S·尤尼斯。;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 6 2004 使用概率模型检查验证团队组建协议。 Zbl 1348.68255号 陈、陶璐;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马蒂斯，艾斯蒂斯 6 2011 PRISM中基于博弈的概率谓词抽象。 Zbl 1286.68316号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 6 2008 概率时间自动机的符号模型检验。 Zbl 1109.68517号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之 6 2004 关于使用MTBDD进行随机系统的性能分析和验证。 Zbl 1054.68018号 霍尔格·赫尔曼斯;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;马库斯·西格尔 6 2003 连续时间线性随机混合过程的形式化有效综合。 Zbl 07320129号 卢卡·劳伦蒂;莫特萨·拉希贾尼安;亚历山德罗·阿巴特;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡 6 2021 关于区间值离散时间马尔可夫链模型检验的复杂性。 Zbl 1259.68150号 陈、陶璐;韩婷婷;玛尔塔·奎亚特科夫斯卡 6 2013 结合细胞内和细胞间动力学研究肠内稳态。 Zbl 1375.92015年 俄克拉荷马州提姆希欣;玛尔塔·奎亚特科夫斯卡 5 2008 概率时间自动机的符号最小期望时间控制器综合。 Zbl 1465.68153号 亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼 5 2015 生化反应网络的PID控制。 Zbl 07480846号 马克斯·惠特比;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂;米尔科·特里巴斯通;马克斯·柴科夫斯基 5 2022 多目标随机博弈的合成策略综合。 Zbl 1395.68265号 北巴塞特。;Kwiatkowska，M。;Wiltsche，C。 5 2018 用化学反应网络编程离散分布。 Zbl 1451.68108号 卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 5 2016 关于迹域和序列合成。 Zbl 0967.68527号 Marta Z.Kwiatkowska。 5 1991 使用概率模型检查进行动态电源管理。 Zbl 1080.68601号 格钦·诺曼;大卫·帕克;玛尔塔·奎亚特科夫斯卡;桑迪普·舒克拉;拉杰什·古普塔 5 2005 概率系统的允许控制器综合。 Zbl 1391.68076号 克劳斯·阿格博士;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 5 2015 模型检查CSL直到具有随机时间边界的公式。 Zbl 1065.68595号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;安托尼奥·帕切科 5 2002 为非交错并发定义进程公平性。 Zbl 0744.68048号 Marta Z.Kwiatkowska。 4 1990 具有多个长期目标的随机博弈的策略综合。 Zbl 1420.91011号 尼古拉斯·巴塞特;玛尔塔·奎亚特科夫斯卡;乌富克托普库;克莱门斯·威尔奇 4 2015 通过有限近似互模拟对标记马尔可夫过程进行概率模型检验。 Zbl 1407.68275号 亚历山德罗·阿巴特;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 4 2014 随机博弈的组合控制器综合。 Zbl 1421.93053号 尼古拉斯·巴塞特;玛尔塔·奎亚特科夫斯卡;克莱门斯·威尔奇 4 2014 验证随机拜占庭协议。 Zbl 1037.68508号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼 4 2002 化学反应网络的句法引导优化合成。 Zbl 1494.68163号 卢卡·卡德利;科什卡，米兰;马丁·范策尔;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂;尼古拉·保莱蒂;马克斯·惠特比 4 2017 异步逻辑电路的化学反应网络设计。 Zbl 1451.68109号 卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;马克斯·惠特比 4 2016 使用数字时钟的概率时间自动机性能分析。 Zbl 1099.68534号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 4 2004 时间自动机的基于细化的进程代数。 Zbl 1101.68694号 斯特凡诺·卡塔尼;玛尔塔·奎亚特科夫斯卡 4 2005 概率报酬模型的约简准则。 Zbl 1177.68150号 马库斯·格勒;格钦·诺曼;克里斯特尔·拜尔;Frank Ciesinski先生;玛尔塔·奎亚特科夫斯卡;大卫·帕克 三 2006 时间认知逻辑的并行模型检查。 Zbl 1211.68406号 玛尔塔·奎亚特科夫斯卡;阿莱西奥·洛穆西奥;曲洪阳 三 2010 概率移动环境。 Zbl 1183.68400号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;玛丽亚·格拉齐亚·维格利奥蒂 三 2009 使用快速自适应均匀化计算累积奖励。 Zbl 1369.65014号 Dannenberg，弗里茨;恩斯特·莫里茨·哈恩;玛尔塔·奎亚特科夫斯卡 三 2015 马尔可夫模型的符号离核求解方法。 Zbl 1270.68232号 玛尔塔·奎亚特科夫斯卡;拉希德·迈赫穆德;格钦·诺曼;大卫·帕克 三 2002 混合心脏模型上植入式心脏起搏器的定量验证。 Zbl 1311.92100号 陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 三 2014 马尔可夫链的自适应聚合：化学反应网络的定量分析。 Zbl 1381.68140号 亚历山德罗·阿巴特;卢博什;科什卡，米兰;玛尔塔·奎亚特科夫斯卡 三 2015 使用随机博弈抽象的概率时间自动机的参数合成。 Zbl 1393.68095号 亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡 三 2014 精确地玩随机游戏。 Zbl 1364.91024号 陈、陶璐;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;西马蒂斯，艾斯蒂斯;阿舒托什·特里维迪;米歇尔·乌梅尔斯 三 2012 预期可达性-时间游戏。 Zbl 1290.68073号 Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 三 2010 真正并发的权衡：pomsets和Mazurkiewicz跟踪。 Zbl 1518.68228号 布鲁姆，巴德;玛尔塔·奎亚特科夫斯卡 三 1992 反应概率过程的完全抽象度量空间指称语义。 Zbl 0917.68137号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼 三 1997 最大概率可达性的符号计算。 Zbl 1006.68096号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿 三 2001 使用符号和进化计算技术合成心脏起搏器的稳健和最佳参数。 Zbl 1412.92150号 玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱;尼古拉·保莱蒂;安德烈·帕坦埃 三 2015 异步电路的过程代数验证。 Zbl 1128.68070号 王旭;玛尔塔·奎亚特科夫斯卡 2 2007 并发随机博弈的多人均衡验证。 Zbl 1483.68197号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2020 关于行为性质的拓扑表征。 Zbl 0744.54020号 Marta Z.Kwiatkowska。 2 1991 概率时间自动机的符号最优期望时间可达性计算和控制器综合。 Zbl 1359.68171号 亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;佩拉斯、昆廷 2 2017 面向异步硬件分层验证的统一CSP方法。 Zbl 1272.68278号 X·王。;Kwiatkowska，M。;西奥多罗普洛斯，G。;张，Q。 2 2005 切换扩散的可达性计算，有限抽象，具有可验证和可调整的精度。 Zbl 1369.93728号 卢卡·劳伦蒂;亚历山德罗·阿巴特;卢卡·博托卢西;卢卡·卡德利;塞斯卡，米兰;玛尔塔·奎亚特科夫斯卡 2 2017 基于线性噪声近似的化学动力学随机混合近似。 Zbl 1382.92269号 卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 2 2016 生化反应网络的PID控制。 Zbl 07480846号 马克斯·惠特比;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂;米尔科·特里巴斯通;马克斯·柴科夫斯基 5 2022 连续时间线性随机混合过程的形式化有效综合。 Zbl 07320129号 卢卡·劳伦蒂;莫特萨·拉希贾尼安;亚历山德罗·阿巴特;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡 6 2021 并发随机系统的自动验证。 Zbl 1505.68025号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2021 关于稳健分类的难度。 Zbl 07626788号 帕斯卡尔，古尔多;瓦伦·卡纳德;玛尔塔·奎亚特科夫斯卡;詹姆斯·沃雷尔 1 2021 具有可证明保证的深度神经网络的基于游戏的近似验证。 Zbl 1436.68199号 吴敏;马修·威克;阮文杰;黄晓伟;玛尔塔·奎亚特科夫斯卡 11 2020 并发随机博弈的多人均衡验证。 Zbl 1483.68197号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2020 通过不确定性提高效率：随机混合系统的可扩展形式综合。 Zbl 07120160号 纳塔利·考奇;卢卡·劳伦蒂;莫特萨·拉希贾尼安;亚历山德罗·阿巴特;玛尔塔·奎亚特科夫斯卡;卢卡·卡德利 9 2019 中心极限模型检查。 Zbl 1433.68209号 卢卡·博托卢西;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 1 2019 模型检查概率系统。 Zbl 1392.68227号 克里斯特尔·拜尔;卢卡·德·阿尔法罗;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡 15 2018 多目标随机博弈的合成策略综合。 Zbl 1395.68265号 北巴塞特。;Kwiatkowska，M。;Wiltsche，C。 5 2018 异步逻辑电路的化学反应网络设计。 Zbl 1528.68112号 卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;马克斯·惠特比 2 2018 并发随机博弈的自动验证。 Zbl 1514.68138号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2018 具有形式语义的实验生物协议。 Zbl 1397.92268号 亚历山德罗·阿巴特;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂;博扬·约丹诺夫 1 2018 用化学反应网络编程离散分布。 Zbl 1528.68111号 卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 1 2018 深度神经网络的安全验证。 Zbl 1494.68166号 黄晓伟;玛尔塔·奎亚特科夫斯卡;王森（Wang，Sen）;吴敏 38 2017 随机生化系统的精确参数综合。 Zbl 1373.92038号 科什卡，米兰;Dannenberg，弗里茨;尼古拉·保莱蒂;玛尔塔·奎亚特科夫斯卡;卢博什 11 2017 化学反应网络的句法引导优化合成。 Zbl 1494.68163号 卢卡·卡德利;科什卡，米兰;马丁·范策尔;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂;尼古拉·保莱蒂;马克斯·惠特比 4 2017 概率时间自动机的符号最优期望时间可达性计算和控制器综合。 Zbl 1359.68171号 亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;佩拉斯、昆廷 2 2017 切换扩散的可达性计算，有限抽象，具有可验证和可调整的精度。 Zbl 1369.93728号 卢卡·劳伦蒂;亚历山德罗·阿巴特;卢卡·博托卢西;卢卡·卡德利;塞斯卡，米兰;玛尔塔·奎亚特科夫斯卡 2 2017 用线性噪声近似近似化学反应网络的概率可达性。 Zbl 1381.92110号 卢卡·博托卢西;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 8 2016 随机博弈的定量验证与策略综合。 Zbl 1347.93240号 马里亚·斯沃雷奥娃;玛尔塔·奎亚特科夫斯卡 8 2016 用化学反应网络编程离散分布。 Zbl 1451.68108号 卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 5 2016 异步逻辑电路的化学反应网络设计。 Zbl 1451.68109号 卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;马克斯·惠特比 4 2016 基于线性噪声近似的化学动力学随机混合近似。 Zbl 1382.92269号 卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 2 2016 随机博弈的模型检验和策略合成：从理论到实践（邀请演讲）。 Zbl 1388.68186号 Marta Z.Kwiatkowska。 2 2016 预期可达性-时间游戏。 Zbl 1339.68146号 Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 2 2016 时间自动机的统一采样及其在语言包含性测量中的应用。 Zbl 1377.68126号 巴伯，贝诺;尼古拉斯·巴塞特;马克·比昂纳多;玛尔塔·奎亚特科夫斯卡 1 2016 概率时间自动机的符号最小期望时间控制器综合。 Zbl 1465.68153号 亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼 5 2015 概率系统的允许控制器综合。 Zbl 1391.68076号 克劳斯·阿格博士;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 5 2015 具有多个长期目标的随机博弈的策略综合。 Zbl 1420.91011号 尼古拉斯·巴塞特;玛尔塔·奎亚特科夫斯卡;乌富克托普库;克莱门斯·威尔奇 4 2015 使用快速自适应均匀化计算累积奖励。 Zbl 1369.65014号 Dannenberg，弗里茨;恩斯特·莫里茨·哈恩;玛尔塔·奎亚特科夫斯卡 三 2015 马尔可夫链的自适应聚合：化学反应网络的定量分析。 Zbl 1381.68140号 亚历山德罗·阿巴特;卢博什;科什卡，米兰;玛尔塔·奎亚特科夫斯卡 三 2015 使用符号和进化计算技术合成心脏起搏器的稳健和最佳参数。 Zbl 1412.92150号 玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱;尼古拉·保莱蒂;安德烈·帕坦埃 三 2015 DNA行走电路：计算潜力、设计和验证。 Zbl 1415.68078号 Dannenberg，弗里茨;玛尔塔·奎亚特科夫斯卡;克里斯·塔丘克;安德鲁·J·特伯菲尔德（Andrew J.Turberfield）。 2 2015 使用随机Petri网对DNA步行电路进行定量建模和验证。 Zbl 1432.68144号 巴伯，贝诺;玛尔塔·奎亚特科夫斯卡 2 2015 使用学习算法验证马尔可夫决策过程。 Zbl 1448.68290号 托马斯·布拉兹迪尔;查特吉，克里什南杜;马丁·奇梅利克;Forejt，Vojtěch公司;简·Křetínsk;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 26 2014 接口自动机的代数理论。 Zbl 1360.68608号 克里斯·奇尔顿;本特·琼森;玛尔塔·奎亚特科夫斯卡 7 2014 通过有限近似互模拟对标记马尔可夫过程进行概率模型检验。 Zbl 1407.68275号 亚历山德罗·阿巴特;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 4 2014 随机博弈的组合控制器综合。 Zbl 1421.93053号 尼古拉斯·巴塞特;玛尔塔·奎亚特科夫斯卡;克莱门斯·威尔奇 4 2014 混合心脏模型上植入式心脏起搏器的定量验证。 Zbl 1311.92100号 陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 三 2014 使用随机博弈抽象的概率时间自动机的参数合成。 Zbl 1393.68095号 亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡 三 2014 竞争随机系统的自动验证。 兹比尔1291.68252 陈、陶璐;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马蒂斯，艾斯蒂斯 17 2013 关于多目标随机博弈。 Zbl 1400.91040号 陈、陶璐;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;西马蒂斯，艾斯蒂斯;克莱门斯·威尔奇 15 2013 DNA行走电路：计算潜力、设计和验证。 Zbl 1409.68099号 Dannenberg，弗里茨;玛尔塔·奎亚特科夫斯卡;克里斯·塔丘克;安德鲁·J·特伯菲尔德（Andrew J.Turberfield）。 11 2013 PRISM-games：随机多层游戏的模型检查器。 Zbl 1381.68151号 陈、陶璐;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马蒂斯，艾斯蒂斯 10 2013 概率系统的自动验证和策略综合。 Zbl 1410.68233号 玛尔塔·奎亚特科夫斯卡;大卫·帕克 8 2013 通过多目标模型检查进行组合概率验证。 Zbl 1277.68138号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 7 2013 关于区间值离散时间马尔可夫链模型检验的复杂性。 Zbl 1259.68150号 陈、陶璐;韩婷婷;玛尔塔·奎亚特科夫斯卡 6 2013 连续时间马尔可夫链上线性持续时间特性的验证。 Zbl 1353.68174号 陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 1 2013 概率模型检查的Pareto曲线。 Zbl 1374.68285号 Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克 12 2012 组件行为的组合规范理论。 Zbl 1352.68149号 陈、陶璐;克里斯·奇尔顿;本特·琼森;玛尔塔·奎亚特科夫斯卡 11 2012 赫尔曼自稳定算法的概率验证。 Zbl 1259.68130号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2012 精确地玩随机游戏。 Zbl 1364.91024号 陈、陶璐;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;西马蒂斯，艾斯蒂斯;阿舒托什·特里维迪;米歇尔·乌梅尔斯 三 2012 竞争随机系统的自动验证。 Zbl 1352.68150号 陈、陶璐;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马蒂斯，艾斯蒂斯 2 2012 重温时间规范理论：线性时间视角。 Zbl 1374.68274号 克里斯·奇尔顿;玛尔塔·奎亚特科夫斯卡;王旭 2 2012 概率系统的定量多目标验证。 Zbl 1315.68177号 Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 41 2011 根据实时规范对CTMC进行有时限的验证。 Zbl 1348.68126号 陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 7 2011 同步概率系统基于学习的组合验证。 Zbl 1348.68135号 冯、鲁;韩婷婷;玛尔塔·奎亚特科夫斯卡;大卫·帕克 7 2011 使用概率模型检查验证团队组建协议。 Zbl 1348.68255号 陈、陶璐;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马蒂斯，艾斯蒂斯 6 2011 马尔可夫决策过程的基于游戏的抽象再定义框架。 Zbl 1233.90276号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 27 2010 概率系统的假设保证验证。 Zbl 1284.68406号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 15 2010 时间认知逻辑的并行模型检查。 Zbl 1211.68406号 玛尔塔·奎亚特科夫斯卡;阿莱西奥·洛穆西奥;曲洪阳 三 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 1183.68400号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;玛丽亚·格拉齐亚·维格利奥蒂 三 2009 复杂生物路径的概率模型检查。 Zbl 1133.68043号 约翰·希思;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;俄克拉荷马州提姆希欣 27 2008 马尔可夫决策过程的多目标模型检验。 兹比尔1161.68565 库沙·埃特萨米;玛尔塔·奎亚特科夫斯卡;莫舍·瓦尔迪。;米哈伊利斯·扬纳卡基斯 23 2008 PRISM中基于博弈的概率谓词抽象。 Zbl 1286.68316号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 6 2008 结合细胞内和细胞间动力学研究肠内稳态。 Zbl 1375.92015年 俄克拉荷马州提姆希欣;玛尔塔·奎亚特科夫斯卡 5 2008 成纤维细胞生长因子信号通路的质量作用模型及其简化。 Zbl 1169.92012年9月 E.A.加夫尼。;希思，J.K。;Kwiatkowska，M.Z。 1 2008 随机模型检查。 Zbl 1323.68379号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 48 2007 概率时间自动机的符号模型检验。 Zbl 1122.68075号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之 25 2007 马尔可夫决策过程的多目标模型检验。 Zbl 1186.68286号 Etessami，K。;Kwiatkowska，M。;M.Y.瓦尔迪。;亚纳卡基斯，M。 11 2007 异步电路的过程代数验证。 Zbl 1128.68070号 王旭;玛尔塔·奎亚特科夫斯卡 2 2007 异步电路的过程代数验证。 Zbl 1137.68456号 王旭;玛尔塔·奎亚特科夫斯卡 1 2007 使用未纠缠动作的合成状态空间缩减。 Zbl 1277.68213号 王旭;玛尔塔·奎亚特科夫斯卡 1 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 1101.68694号 斯特凡诺·卡塔尼;玛尔塔·奎亚特科夫斯卡 4 2005 面向异步硬件分层验证的统一CSP方法。 Zbl 1272.68278号 X·王。;Kwiatkowska，M。;西奥多罗普洛斯，G。;张，Q。 2 2005 用于分析并发和概率系统的数学技术。 Zbl 1069.68074号 20 2004 数值与统计概率模型检验：一项实证研究。 Zbl 1126.68490号 哈坎·L·S·尤尼斯。;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 6 2004 概率时间自动机的符号模型检验。 Zbl 1109.68517号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之 6 2004 使用数字时钟的概率时间自动机性能分析。 Zbl 1099.68534号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 4 2004 关于使用MTBDD进行随机系统的性能分析和验证。 Zbl 1054.68018号 霍尔格·赫尔曼斯;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;马库斯·西格尔 6 2003 概率符号模型检查器。 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根竞争协议中截止时间属性的概率模型检查。 兹比尔1029.68017 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿 9 2002 模型检查CSL直到具有随机时间边界的公式。 Zbl 1065.68595号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;安托尼奥·帕切科 5 2002 验证随机拜占庭协议。 Zbl 1037.68508号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼 4 2002 马尔可夫模型的符号离核求解方法。 Zbl 1270.68232号 玛尔塔·奎亚特科夫斯卡;拉希德·迈赫穆德;格钦·诺曼;大卫·帕克 三 2002 …还有24个文档 所有引用出版物 前5名被引用出版物 全部的 前5名1118位作者引用 51 Marta Z.Kwiatkowska。 32 Joost-Pieter卡托恩 25 格钦·诺曼 20 克里斯特尔·拜尔 19 塞巴斯蒂安·荣格斯 13 查特吉，克里什南杜 12 霍尔格·赫尔曼斯 12 杰里米·斯普洛斯顿 11 尼尔斯·詹森 11 简·Křetínsk 10 张丽君 9 亚历山德罗·阿巴特 9 卢卡·卡德利 9 Doron A.Peled。 8 恩斯特·莫里茨·哈恩 8 马吉德·扎马尼 7 卢卡·博托卢西 7 陈、陶璐 7 埃里克·P·德文克。 7 贝诺·德拉哈耶 7 Forejt，Vojtěch公司 7 保罗·加斯丁 7 简·希尔斯顿 6 马可·贝尔纳多 6 何塞·德斯哈奈斯 6 冯、袁 6 安东尼·库塞拉 6 金·古德斯特兰·拉森 6 阿波法兹·拉瓦伊 6 杰拉尔德·吕特根 6 保罗·米拉佐 6 安托尼奥·帕切科 6 桑吉特·阿伦库马尔·塞希亚 6 萨代赫·苏贾尼 6 沃尔特·福格勒 5 保罗·巴拉里尼 5 帕特里夏·鲍耶 5 托马斯·布拉兹迪尔 5 科什卡，米兰 5 佩德罗·鲁宾·达吉尼奥 5 霍尔格·吉斯 5 Boudewijn R.哈维尔科特。 5 约阿希姆·克莱因 5 卢卡·劳伦蒂 5 Legay、Axel 5 安德烈亚·马吉奥洛·谢蒂尼 5 玛丽亚·马克西莫娃 5 帕南加登，普拉卡什 5 吉列尔莫·A·佩雷斯。 4 Nathalie Bertrand 4 卡德，莫菲 4 马丁·奇梅利克 4 多米尼克·楚 4 邓玉欣 4 芬德里奇，萨沙 4 阿恩·哈特曼斯 4 托马斯·亨辛格。 4 黄晓伟 4 阿列克桑德拉·乔瓦诺维奇。 4 马尔钦·尤季扬斯基 4 萨瓦斯·科努尔 4 拉诺特、拉格罗 4 保罗·C·马特乌斯。 4 卡罗尔·C·摩根。 4 曲洪阳 4 蒂姆·夸特曼 4 Jean-François拉斯金 4 阮文杰 4 斯文·舍韦 4 斯文·施奈德 4 安娜·索科洛娃 4 玛丽·斯托琳加 4 孙骏 4 乌富克托普库 4 阿舒托什·特里维迪 4 马克斯·柴科夫斯基 4 安德烈·范丁 4 马克西米利安·威宁格 三 艾丽卡·阿尔布拉汉姆 三 伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 三 埃蒂安·安德烈 三 埃齐奥·巴托西 三 尼古拉斯·巴塞特 三 尼克·贝扎尼什维利 三 菲利波·邦奇 三 Jeremy T·布拉德利。 三 托马斯·布里海耶 三 伊万娜·乔纳 三 罗希特·查达 三 Dannenberg，弗里茨 三 沃尔克·迪克特 三 克莱门斯·杜伯斯拉夫 三 赫里萨菲斯·哈托纳斯 三 泰勒·T·约翰逊。 三 凯兹，盖伊 三 克里斯蒂安·克劳斯 三 丹尼尔·科宁 三 詹姆斯·拉思罗普。 三 弗朗索瓦·拉维奥莱特 三 米歇尔·洛雷蒂 …还有1018位作者 全部的 前5名引用于77连载 76 理论计算机科学 30 计算的形式方面 27 信息与计算 26 系统设计中的形式化方法 15 信息学学报 12 计算机与系统科学杂志 12 计算机科学中的逻辑方法 9 人工智能 9 Automatica公司 9 逻辑与代数程序设计杂志 9 程序设计中的逻辑和代数方法杂志 7 信息处理信件 7 自然计算 6 自动推理杂志 6 机器学习 6 非线性分析。混合动力系统 5 理论生物学杂志 4 分布式计算 4 美国医学会杂志 4 计算机基础理论 三 离散事件动态系统 三 人工智能研究杂志 三 欧洲控制杂志 三 ACM计算逻辑事务 三 计算机科学前沿 2 计算机与数学及其应用 2 计算机程序设计科学 2 纯逻辑与应用逻辑年鉴 2 排队系统 2 MSCS公司。计算机科学中的数学结构 2 数学化学杂志 2 运筹学的数学方法 2 国际应用数学与计算机科学杂志 2 机器学习研究杂志（JMLR） 2 计算机科学评论 1 代数通讯 1 应用力学与工程中的计算机方法 1 数学生物学杂志 1 数学生物学通报 1 计算 1 国际博弈论杂志 1 编程和计算机软件 1 半群论坛 1 SIAM控制与优化杂志 1 Studia Logica公司 1 伊朗数学学会公报 1 并行与分布式计算杂志 1 运筹学年鉴 1 实时系统 1 全球优化杂志 1 应用数学建模 1 统计计算与模拟杂志 1 线性代数及应用 1 SIAM应用数学杂志 1 数学逻辑档案 1 国际鲁棒非线性控制杂志 1 逻辑、语言与信息杂志 1 数学科学杂志（纽约） 1 数学与人工智能年鉴 1 摩尔多瓦计算机科学杂志 1 运筹学国际交易 1 美国计算机学会模型和计算机仿真汇刊 1 信息计算杂志 1 工程中的数学问题 1 计算系统理论 1 组合优化期刊 1 非线性科学与数值模拟中的通信 1 RAIRO公司。理论信息学及其应用 1 系统科学与复杂性杂志 1 应用数学杂志 1 计算机语言、系统和结构 1 应用逻辑杂志 1 国际量子信息杂志 1 优化信函 1 算法 1 国际系统科学杂志。系统与集成原理与应用 1 膜计算杂志 全部的 前5名27个领域被引用 526 计算机科学（68至XX） 68 运筹学、数学规划（90-XX） 64 概率论与随机过程（60-XX） 60 数学逻辑和基础（03-XX） 55 系统论；控制（93至XX） 54 生物学和其他自然科学（92-XX） 42 博弈论、经济学、金融和其他社会和行为科学（91-XX） 13 信息与通信理论、电路（94-XX） 11 数值分析（65-XX） 10 统计学（62-XX） 7 组合数学（05-XX） 5 阶、格、有序代数结构（06-XX） 5 常微分方程（34-XX） 4 范畴理论；同调代数（18-XX） 4 群论与推广（20-XX） 4 动力系统和遍历理论（37至XX） 4 一般拓扑结构（54至XX） 三 量子理论（81-XX） 2 代数几何（14-XX） 2 变分法与最优控制；最优化（49至XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 偏微分方程（35-XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 1 凸和离散几何（52至XX） 1 经典热力学，传热（80-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.