编辑配置文件（在新选项卡中打开） 金·古德斯特兰·拉森 合著者距离 作者ID： 拉森·金格斯特兰德 发布日期： Larsen，Kim G。;金·古德斯特兰·拉森;Guldstrand Larsen，金;金·拉森;拉森，K.G。 更多。。。较少的 主页： http://people.cs.aau.dk/~千克/ 外部链接： MGP公司·谷歌学者·数据库管理程序·接地 已编制索引的文档： 233出版物自1984年以来，包括1本书 16名编辑的贡献·1进一步贡献 传记参考： 1出版物 合著者： 188位合著者具有232联合出版物 3078合著作者 全部的 前5名合著者 11 单作者的 35 吉·斯尔巴 34 拉杜·马达尔 25 Legay、Axel 21 乔瓦尼·巴奇 19 乌里法伦伯格 18 帕特里夏·鲍耶 17 乔治·巴奇 17 安德烈·索夫斯基 16 亚历山大·戴维 15 格德·贝尔曼 12 尼古拉斯·马基 11 彼得·格约尔·詹森 11 乌尔里克·尼曼 11 易、王 9 贝诺·德拉哈耶 9 保罗·佩特森 9 瑟兰，克劳斯·R。 9 薛冰田 8 弗兰克·卡塞兹 7 尼古拉·贝内什 7 Juhl，Line公司 7 简·Křetínsk 7 马尔科·穆尼兹 7 雅各布·伊勒姆拉斯穆森 6 瑟伦·埃内沃德森 6 马里乌斯·米库乔尼斯 5 丹尼·鲍尔森（Danny Bougsted Poulsen） 5 卢卡·卡德利 5 米克尔·汉森 5 布莱恩·尼尔森 5 马德斯·克里斯蒂安·奥尔森 5 米克尔·莱克·佩德森 5 Jean-François拉斯金 5 阿恩·斯科 4 亚当·安东尼克 4 弗雷德里克·梅耶·伯内兰 4 埃德·布林克斯马 4 彼得·布利切夫（Peter E.Bulychev）。 4 安德烈亚斯·恩格尔布雷德 4 伊曼纽尔·弗勒里 4 托马斯·胡恩 4 迈克尔·R·A·胡特。 4 亨利克·埃杰斯博·延森 4 马蒂亚斯·克劳斯·詹森 4 伊莎贝拉·考夫曼 4 Kristoffersen，Káre J。 4 西蒙·劳尔森 4 莱姆，迪迪埃 4 安德斯·马里加德 4 马蒂亚斯·拉加德·佩德森 4 皮埃尔·阿莱·雷尼尔 4 卡斯滕·韦斯 三 塞巴斯蒂安·鲍尔。 三 安斯加·芬克 三 汉森、雷内·里多夫 三 詹森，拉塞·S。 三 Joost-Pieter卡托恩 三 米凯尔·哈克杰·默勒 三 索伦·尼尔森。 三 帕南加登，普拉卡什 三 路易斯·马里·特劳努埃兹 三 格林·温斯克尔 2 卢卡·埃特罗 2 伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 2 安徒生、亨利克·雷夫 2 杰拉德·布多尔 2 佩德罗·鲁宾·达吉尼奥 2 彼得·福格 2 Daniel E.Gebler。 2 苏珊娜·格拉芙 2 Jan Friso，格鲁特 2 拉杜·格罗苏 2 克劳斯·哈维隆德 2 马蒂恩·亨德里克斯 2 亨利克·胡尔加德 2 贝特朗·珍妮特 2 芬恩·弗纳·詹森 2 托拜厄斯·杰普森。 2 本特·琼森 2 安德烈·基维里加 2 德克斯特·C·科赞。 2 塞巴斯蒂安·库普弗施米德 2 弗雷德里克·拉尔森 2 李广元 2 约恩·林德·尼尔森 2 刘新新 2 蒂齐亚娜·玛格丽亚 2 罗宾·米尔纳 2 彼得·尼伯特 2 塞缪尔·帕斯特瓦 2 贾斯汀·皮尔逊 2 拉德克·佩拉内克 2 伊戈尔·波塔波夫 2 米凯尔·兰多尔 2 镇静，肖恩 2 福尔克·谢尔 2 克里希纳·苏布拉马尼 2 雅各布·哈哈尔·塔安克维斯特 2 唐启毅 2 马丁·塔普勒 ……还有101多名合著者 全部的 前5名系列 14 理论计算机科学 11 计算机科学课堂讲稿 9 计算机科学中的逻辑方法 7 信息与计算 6 系统设计中的形式化方法 6 逻辑与代数程序设计杂志 4 信息学报 4 程序设计中的逻辑和代数方法杂志 三 MSCS公司。计算机科学中的数学结构 三 北欧计算机杂志 2 计算的形式方面 2 软计算 1 IEEE自动控制汇刊 1 实时系统 1 机器学习 1 逻辑与计算杂志 1 爱沙尼亚科学院院刊。物理、数学 1 欧洲理论计算机科学协会公报 1 赖罗。理论信息学及其应用 1 计算机基础理论 1 计算与信息学 1 理论计算机科学电子笔记 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 239 计算机科学（68至XX） 44 数理逻辑与基础（03-XX） 21 博弈论、经济学、金融和其他社会和行为科学（91-XX） 20 概率论与随机过程（60-XX） 16 总体主题；集合（00-XX） 12 系统论；控制（93-XX） 10 运筹学、数学规划（90-XX） 三 阶、格、有序代数结构（06-XX） 2 历史和传记（01-XX） 1 组合数学（05-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 范畴理论；同调代数（18-XX） 1 群论与推广（20-XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 197出版物有被引用2211次1255份文件 引用人▼ 年份▼ 模型检查原则。金·古德斯特兰·拉森（Kim Guldstrand Larsen）的前言。 Zbl 1179.68076号 克里斯特尔·拜尔;Joost-Pieter卡托恩 652 2008 通过概率测试进行相互模拟。 Zbl 0756.68035号 Larsen，Kim G。;阿恩·斯科 317 1991 简单地说，很高兴。 Zbl 1060.68577号 Larsen，Kim G。;保罗·佩特森;易、王 155 1997 关于UPPAAL的教程。 兹比尔1105.68350 格德·贝尔曼;亚历山大·戴维;Larsen，Kim G。 85 2004 定价时间自动机的最低成本可达性。 Zbl 0991.68037号 格德·贝尔曼;安斯加·芬克;托马斯·胡恩;金·拉森;保罗·佩特森 68 2002 无限在能量约束的加权时间自动机中运行。 Zbl 1171.68524号 帕特里夏·鲍耶;乌里法伦伯格;Larsen，Kim G。;尼古拉斯·马基;吉·斯尔巴 57 2008 无功系统。建模、规范和验证。 Zbl 1141.68043号 卢卡·埃特罗;Anna Ingólfsdóttir;Larsen，Kim G。;吉·斯尔巴 55 2007 使用信息系统有效地求解递归区域方程。 Zbl 0539.68019号 拉森，K.G。;温斯克尔，G。 55 1984 接口和产品线理论的模式I/O自动机。 Zbl 1187.68296号 Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 49 2007 用于分析计时游戏的高效实时算法。 Zbl 1134.68382号 弗兰克·卡塞兹;亚历山大·戴维;伊曼纽尔·弗勒里;Larsen，Kim G。;莱姆，迪迪埃 45 2005 过程代数的概率扩张。 Zbl 1062.68081号 本特·琼森;易、王;Larsen，Kim G。 44 2001 递归Hennessy-Milner逻辑中可满足性的证明系统。 Zbl 0698.68014号 Larsen，Kim G。 39 1990 尽可能便宜：定价时间自动机的高效成本最优可达性。 Zbl 0991.68536号 拉森，金;格德·贝尔曼;埃德·布林克斯马;安斯加·芬克;托马斯·胡恩 28 2001 Hennessy-Milner逻辑递归证明系统。 Zbl 0647.68012号 Larsen，Kim G。 27 1988 通过上下文的操作语义实现合成。 兹比尔0738.68056 Larsen，Kim G。;刘新新 26 1991 秒表令人印象深刻的力量。 Zbl 0999.68112号 弗兰克·卡塞兹;金·拉森 26 2000 通过连续细化对概率系统进行可达性分析。 Zbl 1007.68131号 佩德罗·R·达吉尼奥。;贝特朗·珍妮特;亨利克·詹森（Henrik E.Jensen）。;Larsen，Kim G。 25 2001 时间I/O自动机：实时系统的完整规范理论。 Zbl 1361.68143号 亚历山大·戴维;Larsen，Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·沃索斯基 24 2010 多定价时间自动机的最优无限调度。 Zbl 1133.68360号 帕特里夏·鲍耶;埃德·布林克斯马;Larsen，Kim G。 21 2008 20年的模态和混合规范。 Zbl 1169.68498号 亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 19 2008 时间抽象互模拟：隐含规范和可判定性。 Zbl 0887.68068号 Larsen，Kim G。;易、王 19 1997 多权自动机中的能量博弈。 Zbl 1350.68168号 乌里法伦伯格;Juhl，Line公司;Larsen，Kim G。;吉·斯尔巴 19 2011 从时间自动机到逻辑，再到逻辑。 Zbl 1193.03069号 弗朗索瓦·拉鲁西尼;Larsen，Kim G。;卡斯滕·韦斯 19 1995 图形规范与逻辑规范。 Zbl 0776.68084号 杰拉德·布多尔;Larsen，Kim G。 18 1992 定价时间博弈自动机中的最优策略。 Zbl 1117.68396号 帕特里夏·鲍耶;弗兰克·卡塞兹;伊曼纽尔·弗勒里;Larsen，Kim G。 18 2004 高效引导UPPAAL实现成本优化。 Zbl 0978.68541号 格德·贝尔曼;安斯加·芬克;托马斯·胡恩;金·拉森;保罗·佩特森 17 2001 尽可能便宜地活着。 Zbl 1135.93352号 帕特里夏·鲍耶;埃德·布林克斯马;Larsen，Kim G。 17 2004 通过上下文的组合语义和操作语义。 兹比尔0765.68107 Larsen，Kim G。;刘新新 16 1990 平均能量游戏。 Zbl 1390.68115号 帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;Larsen，Kim G。;西蒙·劳森 16 2018 实时系统的模型检查。 Zbl 1507.68193号 Larsen，Kim G。;保罗·佩特森;易、王 16 1995 基于概率过程计算的组合互模拟度量推理。 Zbl 1398.68365号 丹尼尔·格布勒;Larsen，Kim G。;西蒙·蒂尼 16 2016 时间自动机基于区域抽象的上下限。 Zbl 1126.68453号 格德·贝尔曼;帕特里夏·鲍耶;Larsen，Kim G。;拉德克·佩拉内克 16 2004 加权过渡系统的定量分析。 Zbl 1204.68137号 瑟兰，克劳斯;乌里法伦伯格;Larsen，Kim G。 16 2010 加权转移系统的度量：公理化和复杂性。 Zbl 1216.68191号 Larsen，Kim G。;乌里法伦伯格;克劳斯·苏兰 16 2011 连续时间参数时间自动机的语言空虚性。 Zbl 1440.68150号 尼古拉·贝内什;彼得·贝兹克;Larsen，Kim G。;吉·斯尔巴 15 2015 时间自动机验证中的静态保护分析。 Zbl 1031.68076号 格德·贝尔曼;帕特里夏·鲍耶;伊曼纽尔·弗勒里;Larsen，Kim G。 15 2003 时间自动机可达性测试的威力。 Zbl 1023.68060号 卢卡·埃特罗;帕特里夏·鲍耶;奥古斯托·布尔古埃诺;Larsen，Kim G。 14 2003 马尔可夫过程的斯通对偶性。 Zbl 1433.06006号 德克斯特·科岑;Larsen，Kim G。;拉杜·马达尔;帕南加登，普拉卡什 14 2013 关于模态精化和一致性。 Zbl 1151.68541号 Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 14 2007 模型检查单时钟定价时间自动机。 Zbl 1149.68401号 帕特里夏·鲍耶;Larsen，Kim G。;尼古拉斯·马基 14 2008 进程之间的上下文相关等价。 Zbl 0612.68027号 Larsen，Kim G。 14 1987 能量约束下带观测器的时间自动机。 Zbl 1361.68135号 帕特里夏·鲍耶;乌里法伦伯格;Larsen，Kim G。;尼古拉斯·马基 13 2010 关于模态转换系统中的决定论。 Zbl 1186.68314号 北卡罗来纳州贝内什。;Křetínsk \345]，J。;拉森，K.G。;斯尔巴，J。 13 2009 双相似距离的实时精确计算。 Zbl 1381.68218号 乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 13 2013 使用Uppaal在线测试实时系统。 Zbl 1081.68574号 Larsen，Kim G。;马里乌斯·米库乔尼斯;布莱恩·尼尔森 12 2005 时间自动机的自动抽象精化。 Zbl 1141.68431号 海宁·迪尔克斯;塞巴斯蒂安·库普弗施米德;Larsen，Kim G。 12 2007 鲁棒和最优控制器的自动综合——工业案例研究。 Zbl 1237.93058号 弗兰克·卡塞兹;Jan J.杰森。;Larsen，Kim G。;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔 12 2009 约束马尔可夫链。 Zbl 1223.68070号 贝诺·凯劳德;贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 12 2011 多权重和参数化能量对策的最优界。 Zbl 1390.68399号 Juhl，Line公司;Guldstrand Larsen，金;Jean-François拉斯金 12 2013 使用时钟差异图进行高效的定时可达性分析。 Zbl 1046.68577号 贝尔曼，G。;拉森，K.G。;皮尔逊，J。;魏斯，C。;Yi，W。 11 1999 模型检查实时系统。 Zbl 1392.68235号 帕特里夏·鲍耶;乌里法伦伯格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 11 2018 概率分析的简化和细化策略。 Zbl 1065.68582号 佩德罗·R·达吉尼奥。;贝特朗·珍妮特;亨利克·詹森（Henrik E.Jensen）。;Larsen，Kim G。 11 2002 在模式流程逻辑中使用静态结构。 Zbl 0683.03014号 汉斯·休特尔;Larsen，Kim G。 11 1989 多定价时间自动机的最优可达性。 Zbl 1134.68029号 金·古德斯特兰·拉森;雅各布·伊勒姆拉斯穆森 11 2008 多值时间自动机的最优条件可达性。 Zbl 1118.68527号 金·古德斯特兰·拉森;雅各布·伊勒姆拉斯穆森 10 2005 计算行为距离，合成。 Zbl 1400.68144号 乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 10 2013 学习时间——从测试中学习时间自动机。 Zbl 1434.68212号 马丁·塔普勒;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。;金·古德斯特兰·拉森;弗洛里安·洛伯 10 2019 以最低的预期成本按时完成！ Zbl 1448.68294号 亚历山大·戴维;彼得·詹森（Peter G.Jensen）。;Guldstrand Larsen，金;Legay、Axel;莱姆，迪迪埃;Sørensen、Mathias Grund;雅各布·H·塔安克维斯特。 9 2014 从模型检查的角度学习确定性概率自动机。 Zbl 1454.68061号 毛，华;陈英科;曼弗雷德·杰格;托马斯·尼尔森。;Larsen，Kim G。;布莱恩·尼尔森 9 2016 关于过程代数中方程求解的复杂性。 Zbl 0967.68514号 本特·琼森;金·古德斯特兰·拉森 9 1991 时钟差异图。 Zbl 0937.68086号 Larsen，Kim G。;贾斯汀·皮尔逊;卡斯滕·韦斯;易、王 9 1999 使用结构化标签扩展模态转换系统。 Zbl 1277.68160号 塞巴斯蒂安·鲍尔。;Juhl，Line公司;Larsen，Kim G。;Legay、Axel;吉·斯尔巴 9 2012 极限：马尔可夫过程的近似推理。 Zbl 1365.68344号 金·古德斯特兰·拉森;拉杜·马达尔;帕南加登，普拉卡什 9 2012 完成EXPTIME-检查模态转换系统的彻底细化。 Zbl 1250.68117号 尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;吉·斯尔巴 9 2009 定价时间自动机：算法和应用。 Zbl 1143.68430号 格德·贝尔曼;Larsen，Kim G。;拉斯穆森，雅各布一世。 9 2005 使用信息系统求解递归域方程。 Zbl 0731.68071号 金·古德斯特兰·拉森;格林·温斯克尔 9 1991 在马尔可夫链上从分支收敛到线性度量。 兹比尔1407.68277 乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 8 2015 基于概率过程计算的组合度量推理。 Zbl 1459.68143号 丹尼尔·格布勒;金·古德斯特兰·拉森;西蒙·蒂尼 8 2015 混合和模态规范的决策问题的复杂性。 Zbl 1139.68035号 亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 8 2008 抽象概率自动机。 兹比尔1317.68095 贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 8 2011 参数模态转换系统。 Zbl 1348.68120号 尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;米凯尔·H·默勒。;吉·斯尔巴 8 2011 使用UPPAAL指导合成控制程序。 Zbl 0978.68021号 托马斯·胡恩;Larsen，Kim G。;保罗·佩特森 7 2001 使用相对化互模拟验证协议。 Zbl 0628.68022号 Larsen，Kim G。;罗宾·米尔纳 7 1987 基于观察和断续不变策略的时间控制。 Zbl 1141.68428号 弗兰克·卡塞兹;亚历山大·戴维;Larsen，Kim G。;莱姆，迪迪埃;Jean-François拉斯金 7 2007 使用定价时间自动机的资源优化调度。 Zbl 1126.68461号 J.I.拉斯穆森。;Larsen，Kim G。;苏布拉马尼，K。 7 2004 用于合成混合系统最优控制器的“混合”方法：油泵工业实例的案例研究。 Zbl 1373.93125号 赵恒军;詹乃军;迪帕克·卡普尔;Larsen，Kim G。 7 2012 基于max-plus代数的时间自动机可达性分析。 Zbl 1279.68214号 鲁、齐;迈克尔·马德森;马丁·米拉塔;瑟伦·瑞文;乌里法伦伯格;Larsen，Kim G。 7 2012 用于检查交替定时模拟的高效动态算法。 Zbl 1262.68105号 彼得·布利切夫;托马斯·查泰恩;亚历山大·戴维;Larsen，Kim G。 7 2009 定价时间自动机网络的统计模型检验。 Zbl 1348.68130号 亚历山大·戴维;Larsen，Kim G。;Legay、Axel;马吕斯·米库奇奥尼斯;丹尼·鲍尔森;乔纳斯·范弗利特;王，郑 7 2011 时间自动机总是可以实现的。 Zbl 1343.68134号 帕特里夏·鲍耶;Larsen，Kim G。;尼古拉斯·马基;奥坎·桑库尔;瑟兰，克劳斯 7 2011 定价时间自动机中的折扣最优无限运行。 Zbl 1347.68204号 乌里法伦伯格;Larsen，Kim G。 7 2009 \基于（L^\ast）的马尔可夫决策过程学习（扩展版本）。 Zbl 1519.68106号 马丁·塔普勒;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。;乔瓦尼·巴奇;玛丽亚·艾希塞德;Larsen，Kim G。 6 2021 向Uppaal添加对称减少。 Zbl 1099.68657号 马蒂恩·亨德里克斯;格德·贝尔曼;金·拉森;彼得·尼伯特;Vaandrager，Frits公司 6 2004 同步加权和定时自动机的单词。 Zbl 1360.68552号 劳伦特·多恩;Juhl，Line公司;Larsen，Kim G。;尼古拉斯·马基;马赫萨·希尔穆罕默德 6 2014 时序逻辑中加权Kripke结构的定量表征。 Zbl 1413.68073号 乌里法伦伯格;Larsen，Kim G。;克劳斯·苏兰 6 2010 在一个时钟定价的计时游戏中，几乎是最佳策略。 Zbl 1177.68142号 帕特里夏·鲍耶;Larsen，Kim G。;尼古拉斯·马基;雅各布·伊勒姆拉斯穆森 6 2006 模型检查单时钟定价的时间自动机。 Zbl 1149.68400号 帕特里夏·鲍耶;Larsen，Kim G。;尼古拉斯·马基 6 2007 加权模态转换系统的定量精化。 Zbl 1343.68150号 塞巴斯蒂安·鲍尔。;乌里法伦伯格;Juhl，Line公司;Larsen，Kim G。;Legay、Axel;克劳斯·苏兰 6 2011 通过离散化实现定时弧Petri网博弈的实时策略综合。 Zbl 1354.68196号 彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴 5 2016 可达性博弈的部分降阶。 Zbl 07649931号 弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴 5 2019 扩大Uppaal。使用组合和抽象对实时系统进行自动验证。 Zbl 0986.68519号 亨利克·埃杰斯博·延森;金·古德斯特兰·拉森;阿恩·斯科 5 2000 部分可观测性下的同步策略。 兹比尔1417.68129 Guldstrand Larsen，金;西蒙·劳尔森;吉·斯尔巴 5 2014 无交替加权微积分：可判定性和完备性。 Zbl 1351.68164号 Larsen，Kim G。;拉杜·马达尔;薛冰田 5 2015 通过Russian Doll抽象快速定向模型检查。 Zbl 1134.68412号 塞巴斯蒂安·库普弗施米德;约尔格·霍夫曼;Larsen，Kim G。 5 2008 储存或不储存。 Zbl 1278.68155号 格德·贝尔曼;Larsen，Kim G。;拉德克·佩拉内克 5 2003 具有重量间隔的模态转换系统。 Zbl 1243.68215号 Juhl，Line公司;Larsen，Kim G。;吉·斯尔巴 5 2012 连续马尔科夫逻辑——公理化和量化元理论。 Zbl 1261.03088号 拉杜·马达尔;卢卡·卡德利;Larsen，Kim G。 5 2012 实时系统的验证、性能分析和控制器综合。 Zbl 1274.68185号 乌里法伦伯格;Larsen，Kim G。;瑟兰，克劳斯·R。 5 2010 抽象概率自动机。 Zbl 1296.68092号 贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 5 2013 超越活力：有效的参数合成，用于有时限的活力。 Zbl 1175.68255号 格德·贝尔曼;Larsen，Kim G。;雅各布·伊勒姆拉斯穆森 5 2005 区间马尔可夫链的定量分析。 Zbl 1522.68296号 乔瓦尼·巴奇;德拉海耶，贝努伊特;Larsen，Kim G。;安德斯·马里加德 1 2022 \基于（L^\ast）的马尔可夫决策过程学习（扩展版本）。 Zbl 1519.68106号 马丁·塔普勒;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。;乔瓦尼·巴奇;玛丽亚·艾希塞德;Larsen，Kim G。 6 2021 两层可达博弈的顽固集约简。 Zbl 1501.68002号 弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 5 2021 计算概率自动机的概率相似性距离。 Zbl 1509.68181号 乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔;唐启毅;弗兰克·范·布鲁格尔 4 2021 基于不确定性能量时间自动机的最优鲁棒控制器综合。 Zbl 1458.93072号 乔瓦尼·巴奇;帕特里夏·鲍耶;乌里法伦伯格;Larsen，Kim G。;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 三 2021 不确定连续时间马尔可夫链的集总性。 Zbl 1492.60219号 卢卡·卡德利;拉杜·格罗苏;Larsen，Kim G。;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 1 2021 用于构建和分析系统的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。 Zbl 1471.68016号 1 2021 扩展时间自动机的紧急部分降阶。 Zbl 1517.68259号 Larsen，Kim G。;马吕斯·米库奇奥尼斯;马尔科·穆尼兹;吉·斯尔巴 2 2020 学习时间——从测试中学习时间自动机。 Zbl 1434.68212号 马丁·塔普勒;艾切尔尼格，伯恩哈德·K。;金·古德斯特兰·拉森;弗洛里安·洛伯 10 2019 可达性博弈的部分降阶。 Zbl 07649931号 Bønneland，弗雷德里克·迈耶;彼得·格约尔·詹森;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴 5 2019 计算概率自动机的概率双相似距离。 Zbl 07649917号 乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔;唐启毅;弗兰克·范·布鲁格尔 4 2019 抽象依赖图及其在模型检查中的应用。 Zbl 1527.68127号 瑟伦·埃内沃德森;金·古德斯特兰·拉森;吉·斯尔巴 三 2019 分支多权逻辑的模型检查与综合。 兹比尔1423.68284 延森，L.S。;考夫曼，I。;拉森，K.G。;尼尔森，S.M。;斯尔巴，J。 2 2019 在马尔可夫链上从分支收敛到线性度量。 Zbl 1407.68278号 乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 2 2019 用于系统设计和分析的连续时间模型。 Zbl 1485.93204号 拉杰夫·阿鲁尔;米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。;Larsen，Kim G。;马吕斯·米库奇奥尼斯 2 2019 平均能量游戏。 Zbl 1390.68115号 帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;Larsen，Kim G。;西蒙·劳尔森 16 2018 模型检查实时系统。 Zbl 1392.68235号 帕特里夏·鲍耶;乌里法伦伯格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 11 2018 基于度量的马尔可夫链近似最小化。 Zbl 1400.68098号 乔瓦尼·巴奇;乔治·巴奇;Larsen，Kim G。;拉杜·马达尔 4 2018 当时间紧迫时开始修剪：定时系统的部分降阶。 Zbl 1511.68180号 弗雷德里克·伯内兰。;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 4 2018 一种用于扩展依赖图的分布式定点算法。 Zbl 1396.68070号 安德烈亚斯·达尔斯加德（Andreas E.Dalsgaard）。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;彼得·詹森（Peter G.Jensen）。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen，Kim G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 三 2018 关于加权转移系统中边界的推理。 Zbl 1528.68253号 米克尔·汉森;金·古德斯特兰·拉森;拉杜·马达尔;马蒂亚斯·拉加德·佩德森 2 2018 马尔可夫链总变差距离的完全公理化。 Zbl 1525.68080号 乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 2 2018 加权分支系统：行为等效、行为距离及其逻辑特征。 Zbl 1514.68172号 马蒂亚斯·克劳斯·詹森;金·古德斯特兰·拉森;拉杜·马达尔 1 2018 马尔可夫链上双相似距离的完整定量推导系统。 Zbl 1409.68182号 乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 1 2018 递归加权逻辑的可判定性。 Zbl 1522.03054号 Larsen，Kim G。;拉杜·马达尔;薛冰田 1 2018 最优和鲁棒控制器综合。使用具有不确定性的能量时间自动机。 Zbl 1460.93031号 乔瓦尼·巴奇;帕特里夏·鲍耶;乌里法伦伯格;金·古德斯特兰·拉森;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 1 2018 半马尔可夫决策过程模拟的半度量扩展。 Zbl 1514.68192号 马蒂亚斯·拉加德·佩德森;乔治·巴奇;金·古德斯特兰·拉森;拉杜·马达尔 1 2018 实时程序跟踪抽象的细化。 Zbl 1478.68052号 弗兰克·卡塞兹;彼得·格约尔·詹森;Guldstrand Larsen，金 4 2017 扩展依赖关系图和高效的分布式定点计算。 Zbl 1393.68098号 安德烈亚斯·达尔斯加德（Andreas E.Dalsgaard）。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen，Kim G。;索伦·尼尔森。;Olesen，Mads Chr女士。;塞缪尔·帕斯特瓦;吉·斯尔巴 4 2017 PTrie：通过前缀共享压缩和存储集合的数据结构。 Zbl 1444.68063号 彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴 三 2017 WNetKAT：一种加权SDN编程和验证语言。 Zbl 1432.68052号 Larsen，Kim G。;斯特凡·施密德;薛冰田 2 2017 实时计算双相似距离。 Zbl 1398.68375号 乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 2 2017 基于度量的马尔可夫链近似最小化。 Zbl 1442.68079号 乔瓦尼·巴奇;乔治·巴奇;Larsen，Kim G。;拉杜·马达尔 2 2017 模型检查的符号依赖关系图。 Zbl 1494.68170号 安德斯·马里加德;金·古德斯特兰·拉森 1 2017 第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，2017年MFCS，丹麦奥尔堡。 Zbl 1376.68011号 1 2017 Markov过程的无限制Stone对偶。 Zbl 1452.06009号 罗伯特·福伯;德克斯特·科岑;金·拉森;拉杜·马代尔;帕南加登，普拉卡什 1 2017 基于概率过程计算的组合互模拟度量推理。 Zbl 1398.68365号 丹尼尔·格布勒;Larsen，Kim G。;蒂妮，西蒙 16 2016 从模型检查的角度学习确定性概率自动机。 Zbl 1454.68061号 毛，华;陈英科;曼弗雷德·杰格;托马斯·尼尔森。;Larsen，Kim G。;布莱恩·尼尔森 9 2016 基于离散化的时弧Petri网博弈实时策略综合。 Zbl 1354.68196号 彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴 5 2016 马尔可夫链上双相似距离的完全公理化。 Zbl 1392.68282号 乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 4 2016 依赖图上不动点的分布式计算。 Zbl 1393.68099号 安德烈亚斯·恩格尔布雷特·达尔斯加德;瑟伦·埃内沃德森;金·古德斯特兰·拉森;吉·斯尔巴 三 2016 使用时间自动机建模攻击防御树。 Zbl 1433.68251号 奥尔加·加迪亚茨卡亚;汉森、雷内·里多夫;金·古德斯特兰·拉森;Legay、Axel;Mads Chr.奥列森。;丹尼·鲍尔森 2 2016 加权过渡系统的完全近似理论。 Zbl 1393.68116号 米克尔·汉森;金·古德斯特兰·拉森;拉杜·马达尔;马蒂亚斯·拉加德·佩德森;薛冰田 1 2016 可达性问题。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。 Zbl 1371.68012号 1 2016 概率演算：可判定性和完全公理化。 Zbl 1434.03072号 Larsen，Kim G。;拉杜·马达尔;薛冰田 1 2016 连续时间参数时间自动机的语言空虚性。 兹比尔1440.68150 尼古拉·贝内什;彼得·贝兹克;Larsen，Kim G。;吉·斯尔巴 15 2015 在马尔可夫链上从分支收敛到线性度量。 Zbl 1407.68277号 乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马代尔 8 2015 基于概率过程计算的组合度量推理。 Zbl 1459.68143号 丹尼尔·格布勒;金·古德斯特兰·拉森;西蒙·蒂尼 8 2015 无交替加权微积分：可判定性和完备性。 Zbl 1351.68164号 Larsen，Kim G。;拉杜·马达尔;薛冰田 5 2015 关于半马尔可夫链的总变差距离。 Zbl 1459.68116号 乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森;拉杜·马代尔 4 2015 安全且最佳的自适应巡航控制。 Zbl 1444.68183号 金·古德斯特兰·拉森;马吕斯·米库奇奥尼斯;雅各布·哈哈尔·塔安克维斯特 三 2015 递归加权逻辑的决定性和表达性。 Zbl 1434.68330号 金·古德斯特兰·拉森;拉杜·马达尔;薛冰田 三 2015 参数模态转换系统的精化检查。 Zbl 1309.68130号 尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;米凯尔·H·默勒。;所罗门·西克特;吉·斯尔巴 三 2015 加权系统的参数验证。 Zbl 1429.68140号 彼得·克里斯托弗森;米克尔·汉森;安德斯·马里加德;朱利安·特里尔·林格莫斯;金·古德斯特兰·拉森;拉杜·马达尔 2 2015 部分可观测条件下加权同步的多项式时间可判定性。 Zbl 1374.68260号 简·克雷汀斯基;金·古德斯特兰·拉森;西蒙·劳尔森;Srba，吉里 2 2015 平均能量游戏。 Zbl 1476.68024号 帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;Larsen，Kim G。;西蒙·劳森 2 2015 并发加权逻辑。 Zbl 1330.68210号 Larsen，Kim G。;拉杜·马达尔;薛冰田 1 2015 以最低的预期成本按时完成！ Zbl 1448.68294号 亚历山大·戴维;彼得·詹森（Peter G.Jensen）。;Guldstrand Larsen，金;Legay、Axel;莱姆，迪迪埃;瑟伦森，马蒂亚斯·格兰德;雅各布·H·塔安克维斯特。 9 2014 同步加权和定时自动机的单词。 兹比尔1360.68552 劳伦特·多恩;Juhl，Line公司;Larsen，Kim G。;尼古拉斯·马基;马赫萨·希尔穆罕默德 6 2014 部分可观测性下的同步策略。 Zbl 1417.68129号 Guldstrand Larsen，金;西蒙·劳尔森;吉·斯尔巴 5 2014 加权模态逻辑的完整证明系统。 Zbl 1317.68120号 Larsen，Kim G。;拉杜·马达尔 4 2014 时间模态逻辑的充分性和完全公理化。 Zbl 1337.03028号 萨米·贾齐里;Larsen，Kim G。;拉杜·马达尔;薛冰田 三 2014 加权转移系统的可判定递归逻辑。 Zbl 1432.68310号 金·古德斯特兰·拉森;拉杜·马达尔;薛冰田 三 2014 实时系统的鲁棒综合。 Zbl 1311.68088号 Larsen，Kim G。;Legay、Axel;路易斯·马里·特劳努埃兹;安德烈·索夫斯基 三 2014 模态转换系统的参数和定量扩展。 Zbl 1416.68121号 乌里法伦伯格;Guldstrand Larsen，金;Legay、Axel;路易斯·马里·特劳努埃兹 2 2014 概率自动机的精化和差异。 Zbl 1338.68144号 德拉海耶，贝努伊特;乌里法伦伯格;Larsen，Kim G。;Legay、Axel 1 2014 任意可测空间上马尔可夫过程的互模拟。 Zbl 1407.68327号 乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森;拉杜·马达尔 1 2014 \（\mathrm）片段的高效控制器合成{MTL}_{0，\infty}\）。 Zbl 1360.68578号 彼得·布利切夫;亚历山大·戴维;Larsen，Kim G。;李广元 1 2014 马尔可夫过程的斯通对偶性。 Zbl 1433.06006号 德克斯特·科岑;Larsen，Kim G。;拉杜·马达尔;帕南加登，普拉卡什 14 2013 双相似距离的实时精确计算。 Zbl 1381.68218号 乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 13 2013 多重加权和参数化能量博弈的最优边界。 Zbl 1390.68399号 Juhl，Line公司;Guldstrand Larsen，金;Jean-François拉斯金 12 2013 计算组合的行为距离。 Zbl 1400.68144号 乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 10 2013 抽象概率自动机。 Zbl 1296.68092号 贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 5 2013 加权模态转换系统。 Zbl 1291.68246号 塞巴斯蒂安·鲍尔。;乌里法伦伯格;Juhl，Line公司;Larsen，Kim G。;Legay、Axel;克劳斯·苏兰 5 2013 实时系统的基于模型的验证、优化、综合和性能评估。 Zbl 1445.68132号 乌里法伦伯格;Larsen，Kim G。;Legay、Axel 2 2013 为抽象概率自动机而结结巴巴。 Zbl 1437.68094号 贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel 1 2013 关于LTL范式与Büchi自动机之间的关系。 Zbl 1390.68435号 李建文;浦、葛光;张丽君;王，郑;何继峰;Guldstrand Larsen，金 1 2013 使用结构化标签扩展模态转换系统。 兹比尔1277.68160 塞巴斯蒂安·鲍尔。;Juhl，Line公司;Larsen，Kim G。;Legay、Axel;吉·斯尔巴 9 2012 极限：马尔可夫过程的近似推理。 Zbl 1365.68344号 金·古德斯特兰·拉森;拉杜·马达尔;帕南加登，普拉卡什 9 2012 用于合成混合系统最优控制器的“混合”方法：油泵工业实例的案例研究。 Zbl 1373.93125号 赵恒军;詹乃军;迪帕克·卡普尔;Larsen，Kim G。 7 2012 基于max-plus代数的时间自动机可达性分析。 Zbl 1279.68214号 鲁、齐;迈克尔·马德森;马丁·米拉塔;瑟伦·瑞文;乌里法伦伯格;Larsen，Kim G。 7 2012 具有重量间隔的模态转换系统。 Zbl 1243.68215号 Juhl，Line公司;Larsen，Kim G。;吉·斯尔巴 5 2012 连续马尔科夫逻辑——公理化和量化元理论。 Zbl 1261.03088号 拉杜·马达尔;卢卡·卡德利;Larsen，Kim G。 5 2012 并发定价博弈中的纳什均衡。 Zbl 1351.68182号 米罗斯拉夫·克里莫什;Larsen，Kim G。;Štefaňák，Filip;Jeppe Thaarup 4 2012 区间马尔可夫链的一致性和精化。 Zbl 1247.68195号 贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 4 2012 EXPTIME-对模态转换系统进行彻底细化的完整性。 Zbl 1282.68118号 尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;吉·斯尔巴 4 2012 加权度量时态逻辑的基于监视器的统计模型检查。 Zbl 1352.68147号 彼得·布利切夫;亚历山大·戴维;Guldstrand Larsen，金;Legay、Axel;李广元;丹尼·鲍尔森（Danny Bougsted Poulsen）;阿米莉·斯坦纳 4 2012 具有持续时间的双价格模式转换系统。 Zbl 1352.68144号 尼古拉·贝内什;简·Křetínsk;Guldstrand Larsen，金;米凯尔·H·默勒。;吉·斯尔巴 三 2012 多重加权自动机中的能量博弈。 Zbl 1350.68168号 乌里法伦伯格;Juhl，Line公司;Larsen，Kim G。;吉·斯尔巴 19 2011 加权转移系统的度量：公理化和复杂性。 Zbl 1216.68191号 Larsen，Kim G。;乌里法伦伯格;克劳斯·苏兰 16 2011 约束马尔可夫链。 Zbl 1223.68070号 贝诺·凯劳德;贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 12 2011 抽象概率自动机。 兹比尔1317.68095 贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 8 2011 参数模态转换系统。 Zbl 1348.68120号 尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;米凯尔·H·默勒。;吉·斯尔巴 8 2011 定价时间自动机网络的统计模型检验。 Zbl 1348.68130号 亚历山大·戴维;Larsen，Kim G。;Legay、Axel;马吕斯·米库奇奥尼斯;丹尼·鲍尔森;乔纳斯·范弗利特;王，郑 7 2011 时间自动机总是可以实现的。 Zbl 1343.68134号 帕特里夏·鲍耶;Larsen，Kim G。;尼古拉斯·马基;奥坎·桑库尔;克劳斯·苏兰 7 2011 加权模态转换系统的定量精化。 Zbl 1343.68150号 塞巴斯蒂安·鲍尔。;乌里法伦伯格;Juhl，Line公司;Larsen，Kim G。;Legay、Axel;克劳斯·苏兰 6 2011 实时组件的稳健规范。 Zbl 1348.68143号 Larsen，Kim G。;Legay、Axel;路易斯·马里·特劳努埃兹;安德烈·索夫斯基 5 2011 连续马尔科夫逻辑——从完全公理化到公式的度量空间。 兹比尔1247.03030 卢卡·卡德利;Larsen，Kim G。;拉杜·马达尔 4 2011 模块化马尔科夫逻辑。 Zbl 1333.68200号 卢卡·卡德利;Larsen，Kim G。;拉杜·马代尔 4 2011 区间马尔可夫链的决策问题。 Zbl 1330.68109号 贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 4 2011 …以及其他97个文档 所有引用出版物 排名前五的出版物 全部的 前5名1652位作者引用 94 金·古德斯特兰·拉森 32 Legay、Axel 27 帕特里夏·鲍耶 25 吉·斯尔巴 24 卢卡·埃特罗 24 乌里法伦伯格 22 Joost-Pieter卡托恩 22 尼古拉斯·马基 21 Anna Ingólfsdóttir 19 马可·贝尔纳多 19 Marta Z.Kwiatkowska。 18 莱姆，迪迪埃 18 拉杜·马达尔 18 Jean-François拉斯金 16 埃蒂安·安德烈 16 格钦·诺曼 16 卢茨·施罗德 16 西蒙·蒂尼 15 李庆国 15 安德烈·索夫斯基 14 罗尔夫·亨尼克 13 乔瓦尼·巴奇 13 克里希南德·查特吉 13 阿德里安·弗兰卡兰扎 13 帕南加登，普拉卡什 13 奥利维尔·H·鲁克斯。 13 Vaandrager，Frits W。 12 托马斯·布里海耶 12 霍尔格·赫尔曼斯 12 弗兰克·范·布鲁格尔 11 拜尔，克里斯特尔 11 贝诺·德拉哈耶 11 曼弗雷德·德罗斯特 11 托马斯·亨辛格（Thomas A.Henzinger）。 11 范格拉贝克、罗伯特·扬 11 詹姆斯·沃雷尔。 10 乔治·巴奇 10 杰拉尔德·吕特根 9 卡洛斯·格雷戈里奥·罗德里格斯 9 彼得·格约尔·詹森 9 拉诺特、拉格罗 9 卡琳·夸斯 9 米凯尔·兰多尔 9 沃尔特·福格勒 8 菲律宾邦奇 8 瓦伦蒂娜·卡斯蒂格利奥尼 8 戴维·德·弗鲁托斯·埃斯克里格 8 何塞·德斯哈奈斯 8 劳伦特·多恩 8 罗伯托·戈里埃里 8 简·Křetínsk 8 简·J·M·M·鲁顿。 8 马里耶·斯托林加 8 格林·温斯克尔 8 张丽君 7 亚历山德罗·阿巴特 7 尼古拉·贝内什 7 Nathalie Bertrand 7 科琳娜·科斯特 7 兰斯·克莱维兰 7 亚历山大·戴维 7 邓玉欣 7 保罗·加斯丁 7 Daniel E.Gebler。 7 格内西、斯特凡尼亚 7 郭兰坤 7 轩尼诗，Matthew C.B。 7 塞巴斯蒂安·荣格斯 7 米歇尔·洛雷蒂 7 何塞·梅塞盖尔·瓜伊塔 7 乌尔里克·尼曼 7 德克·帕丁森 7 帕维特拉·普拉巴卡 7 皮埃尔·阿莱·雷尼尔 7 亚历山德拉·席尔瓦 7 杰里米·斯普洛斯顿 7 伯恩哈德·斯特芬 7 莫里斯·比克。 7 路易斯·马里·特劳努埃兹 7 安德烈·范丁 7 詹乃军 6 伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 6 罗伯托·布鲁尼 6 维罗尼克·布鲁埃 6 曹永志 6 加布里埃尔·乔巴努 6 佩德罗·鲁宾·达吉尼奥 6 埃里克·P·德文克。 6 Ernst-Erich Doberkat 6 威廉·扬·福克金 6 吉勒茨 6 Jan Friso，格鲁特 6 蒂埃里·杰伦 6 本特·琼森 6 斯特凡·米利厄斯 6 乌戈·蒙塔纳里。 6 奥尔德罗格（Ernst-Rüdiger Olderog） 6 奥坎·桑库尔 6 米尔科·特里巴斯通 6 瓦莱罗，瓦伦丁 …还有1552名作者 全部的 前5名93篇连载文章中引用 193 理论计算机科学 89 信息与计算 51 系统设计中的形式化方法 48 计算机科学中的逻辑方法 43 计算的形式方面 38 程序设计中的逻辑和代数方法杂志 37 信息学报 27 逻辑与代数程序设计杂志 24 MSCS公司。计算机科学中的数学结构 17 信息处理信件 15 实时系统 14 离散事件动态系统 9 纯逻辑与应用逻辑年鉴 8 计算机与系统科学杂志 8 计算机程序设计科学 8 国际计算机科学基础杂志 8 计算机基础理论 7 国际近似推理杂志 6 Automatica公司 6 非线性分析。混合动力系统 5 计算机科学与技术杂志 5 机器学习 5 欧洲控制杂志 4 国际控制杂志 4 模糊集与系统 4 Studia Logica公司 4 分布式计算 4 SibirskieÈlektronnye Matematicheskie Izvestiya公司 三 人工智能 三 信息科学 三 算法 三 计算系统理论 三 软计算 三 ACM计算逻辑事务 三 应用逻辑杂志 2 符号逻辑杂志 2 SIAM控制与优化杂志 2 自动推理杂志 2 控制论与系统分析 2 应用的分类结构 2 数学与人工智能年鉴 2 美国医学会杂志 2 高阶与符号计算 2 赖罗。理论信息学及其应用 2 自然计算 1 倒排索引综述 1 计算机与数学及其应用 1 国际通用系统杂志 1 数学生物学通报 1 应用数学与计算 1 比特币 1 组合理论杂志。B系列 1 纯粹与应用代数杂志 1 模拟中的数学与计算机 1 编程和计算机软件 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 半群论坛 1 拓扑及其应用 1 系统和控制信件 1 数学社会科学 1 订单 1 符号计算杂志 1 密码学杂志 1 中国科学。系列A 1 计算数学与建模 1 运筹学年鉴 1 国际代数与计算杂志 1 赖罗。Informatique Théorique et Applications公司 1 数学百科全书。新系列 1 工程、通信和计算中的应用代数 1 国际鲁棒非线性控制杂志 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 人工智能研究杂志 1 工程中的数学问题 1 组合优化期刊 1 应用数学与决策科学杂志 1 武汉大学自然科学学报 1 自然与社会中的离散动力学 1 国际应用数学与计算机科学杂志 1 国际不确定性、模糊性和基于知识的系统杂志 1 系统科学与复杂性杂志 1 逻辑程序设计理论与实践 1 Annali dell'费拉拉大学。塞齐奥内七世。科学Matematiche 1 计算机科学中的数学 1 算法 1 科学中国。信息科学 1 赖罗。理论信息学及其应用 1 中国计算机科学前沿 1 马哈尼数学研究中心期刊 1 计算机科学评论 1 国际系统科学杂志。系统与集成原理与应用 1 Modelirovanie i Analiz信息系统 全部的 前5名27个领域被引用 1,162 计算机科学（68至XX） 244 数理逻辑与基础（03-XX） 86 系统论；控制（93-XX） 82 博弈论、经济学、金融和其他社会和行为科学（91-XX） 54 概率论与随机过程（60-XX） 47 运筹学、数学规划（90-XX） 40 阶、格、有序代数结构（06-XX） 34 范畴理论；同调代数（18-XX） 21 生物学和其他自然科学（92-XX） 14 信息与通信理论、电路（94-XX） 10 一般拓扑结构（54至XX） 7 一般代数系统（08-XX） 6 线性代数和多线性代数；矩阵理论（15-XX） 5 组合数学（05-XX） 4 动力系统和遍历理论（37至XX） 三 量子理论（81-XX） 2 总体主题；集合（00-XX） 2 数论（11-XX） 2 常微分方程（34-XX） 2 功能分析（46倍X倍） 1 历史和传记（01-XX） 1 群论与推广（20-XX） 1 差分方程和函数方程（39至XX） 1 算子理论（47-XX） 1 凸和离散几何（52至XX） 1 数值分析（65-XX） 1 数学教育（97-XX） 按年份列出的引文