编辑配置文件（在新选项卡中打开） 大卫·詹森（David N.Jansen）。 合著者距离 作者ID： 简森·达维德-n 发布日期： 大卫·詹森（David N.Jansen）。 外部链接： MGP公司·ORCID公司 已编制索引的文档： 26出版物自2001年起 2作为编辑的贡献 合著者： 44位合著者具有27联合出版物 1118位联合作者 全部的 前5名合著者 1 单作者的 12 张丽君 7 霍尔格·赫尔曼斯 三 Jan Friso，格鲁特 三 杨鹏飞 2 贾斯珀·贝伦德森 2 弗里德里希·艾森布兰德 2 Joost-Pieter卡托恩 2 Jeroen J.A.Keiren。 2 弗莱明·尼尔森 2 罗尔·韦林加（Roel J.Wieringa）。 2 安东·威伊斯（Anton J.Wijs）。 1 本杰明·比斯平 1 蔡少伟 1 陈、陶璐 1 克里斯蒂安·德内特 1 邓玉欣 1 段凯强 1 克里斯蒂安·艾森特罗 1 冯毅军 1 付，陈 1 Daniel E.Gebler。 1 Jens Chr.Godskesen。 1 马可·格里鲍多 1 蒂姆·凯姆纳 1 李永坚 1 刘新新 1 吕毅 1 约书亚·莫尔曼 1 乌韦·内斯特曼 1 庞、军 1 帕维特拉Prabhakar 1 安妮·雷姆克 1 朱利安·施马耳茨 1 瑞克·斯梅特瑟 1 宋磊 1 Timmers，渡轮 1 Vaandrager，Frits W。 1 米歇尔·沃尔帕托 1 夏碧灿 1 徐明 1 杨宗元 1 伊万·萨普雷夫。 1 詹乃军 1 朱慧彪 全部的 前5名系列 三 计算机科学中的逻辑方法 2 ACM计算逻辑事务 2 计算机科学课堂讲稿 1 信息学报 1 理论计算机科学 1 信息与计算 1 逻辑与计算杂志 1 应用逻辑杂志 领域 28 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 2 概率论与随机过程（60-XX） 1 一般代数系统（08-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用128次103文件 引用人▼ 年份▼ 互模拟最小化主要加快了概率模型检查。 Zbl 1186.68296号 Joost-Pieter卡托恩;蒂姆·凯姆纳;伊万·扎普列夫;大卫·詹森（David N.Jansen）。 23 2007 一种计算断续等价和分支互模拟的（mathcal O（m\log n））算法。 Zbl 1367.68211号 Jan Friso，格鲁特;大卫·詹森（David N.Jansen）。;Jeroen J.A.Keiren。;安东·威伊斯（Anton J.Wijs）。 19 2017 流程更快：用于概率模拟的高效决策算法。 Zbl 1161.68473号 张丽君;霍尔格·赫尔曼斯;弗里德里希·艾森布兰德;大卫·詹森（David N.Jansen）。 11 2008 覆盖和更新的公理化。 Zbl 1194.03020号 贾斯珀·贝伦德森;大卫·詹森（David N.Jansen）。;朱利安·施马耳茨;Vaandrager，Frits W。 9 2010 定价概率时间自动机中代价有界可达性的不可解性。 Zbl 1241.68076号 贾斯珀·贝伦德森;陈、陶璐;大卫·詹森（David N.Jansen）。 8 2009 标记转移系统上分支双相似性的（O（m\log n）算法。 Zbl 1483.68232号 大卫·詹森（David N.Jansen）。;Jan Friso，格鲁特;Jeroen J.A.Keiren。;安东·威伊斯 8 2020 流程更快：用于概率模拟的高效决策算法。 Zbl 1186.68326号 张丽君;霍尔格·赫尔曼斯;弗里德里希·艾森布兰德;大卫·詹森（David N.Jansen）。 6 2007 寻找概率程序的多项式循环不变量。 Zbl 1495.68042号 冯毅军;张丽君;大卫·詹森（David N.Jansen）。;詹乃军;夏碧灿 6 2017 使用分层进行有效的CSL模型检查。 Zbl 1348.68152号 张丽君;大卫·詹森（David N.Jansen）。;弗莱明·尼尔森;霍尔格·赫尔曼斯 5 2012 UML状态图规范和验证的概率扩展。 Zbl 1278.68226号 大卫·詹森（David N.Jansen）。;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 4 2002 所有状态对的最小分离序列。 Zbl 1443.68096号 里克·斯梅策斯;约书亚·莫尔曼;大卫·詹森（David N.Jansen）。 4 2016 马尔可夫链弱双相似性的近线性时间算法。 Zbl 07559464号 大卫·詹森（David N.Jansen）。;Jan Friso，格鲁特;Timmers，渡轮;杨鹏飞 4 2020 基于CSL模型的自动检查。 Zbl 1334.68135号 张丽君;大卫·詹森（David N.Jansen）。;弗莱明·尼尔森;霍尔格·赫尔曼斯 三 2011 关于概率系统的抽象。 Zbl 1426.68167号 克里斯蒂安·德内特;丹尼尔·格布勒;米歇尔·沃尔帕托;大卫·詹森（David N.Jansen）。 三 2014 马尔可夫报酬模型上的多阶段直到公式：代数方法。 Zbl 1332.68143号 徐明;张丽君;大卫·詹森（David N.Jansen）。;朱慧彪;杨宗元 三 2016 标记马尔可夫过程的基于分布的互模拟。 Zbl 1494.68184号 杨鹏飞;大卫·詹森（David N.Jansen）。;张丽君 三 2017 参数化验证的自动证明方法。 Zbl 1407.68295号 李永坚;段凯强;大卫·詹森（David N.Jansen）。;庞、军;张丽君;吕毅;蔡少伟 2 2018 隐马尔可夫模型的逻辑和模型检查。 兹比尔1169.68524 张丽君;霍尔格·赫尔曼斯;大卫·詹森（David N.Jansen）。 2 2005 实际调度程序的概率互模拟。 Zbl 1398.68374号 张丽君;杨鹏飞;宋磊;霍尔格·赫尔曼斯;克里斯蒂安·艾森特罗;大卫·詹森（David N.Jansen）。;Jens Chr.Godskesen。 2 2018 通过操作和实时扩展CTL。 Zbl 1001.68076号 大卫·詹森（David N.Jansen）。;罗尔·韦林加（Roel J.Wieringa）。 1 2002 一次性决定所有行为等效性：线性时间分支时间谱的游戏。 Zbl 07577583号 本杰明·比斯平;大卫·詹森（David N.Jansen）。;乌韦·内斯特曼 1 2022 一种基于概率自动机的空间效率仿真算法。 Zbl 1345.68219号 张丽君;大卫·詹森（David N.Jansen）。 1 2016 一次性决定所有行为等效性：线性时间分支时间谱的游戏。 Zbl 07577583号 本杰明·比斯平;大卫·詹森（David N.Jansen）。;乌韦·内斯特曼 1 2022 标记转移系统上分支双相似性的（O（m\log n）算法。 Zbl 1483.68232号 大卫·詹森（David N.Jansen）。;Jan Friso，格鲁特;Jeroen J.A.Keiren。;安东·威伊斯 8 2020 马尔可夫链弱双相似性的近线性时间算法。 Zbl 07559464号 大卫·詹森（David N.Jansen）。;Jan Friso，格鲁特;Timmers，渡轮;杨鹏飞 4 2020 参数化验证的自动证明方法。 Zbl 1407.68295号 李永坚;段凯强;大卫·詹森（David N.Jansen）。;庞、军;张丽君;吕毅;蔡少伟 2 2018 实际调度程序的概率互模拟。 Zbl 1398.68374号 张丽君;杨鹏飞;宋磊;霍尔格·赫尔曼斯;克里斯蒂安·艾森特罗;大卫·詹森（David N.Jansen）。;Jens Chr.Godskesen。 2 2018 一种用于计算口吃等价和分支互模拟的\（\mathcal O（m\log n）\）算法。 Zbl 1367.68211号 Jan Friso，格鲁特;大卫·詹森（David N.Jansen）。;Jeroen J.A.Keiren。;安东·威伊斯（Anton J.Wijs）。 19 2017 寻找概率程序的多项式循环不变量。 Zbl 1495.68042号 冯毅军;张丽君;大卫·詹森（David N.Jansen）。;詹乃军;夏碧灿 6 2017 标记马尔可夫过程的基于分布的互模拟。 Zbl 1494.68184号 杨鹏飞;大卫·詹森（David N.Jansen）。;张丽君 三 2017 所有状态对的最小分离序列。 Zbl 1443.68096号 瑞克·斯梅特瑟;约书亚·莫尔曼;大卫·詹森（David N.Jansen）。 4 2016 马尔可夫报酬模型上的多阶段直到公式：代数方法。 Zbl 1332.68143号 徐明;张丽君;大卫·詹森（David N.Jansen）。;朱慧彪;杨宗元 三 2016 一种基于概率自动机的空间效率仿真算法。 兹比尔1345.68219 张丽君;大卫·詹森（David N.Jansen）。 1 2016 关于概率系统的抽象。 Zbl 1426.68167号 克里斯蒂安·德内特;丹尼尔·格布勒;米歇尔·沃尔帕托;大卫·詹森（David N.Jansen）。 三 2014 使用分层进行有效的CSL模型检查。 Zbl 1348.68152号 张丽君;大卫·詹森（David N.Jansen）。;弗莱明·尼尔森;霍尔格·赫尔曼斯 5 2012 基于CSL模型的自动检查。 Zbl 1334.68135号 张丽君;大卫·詹森（David N.Jansen）。;弗莱明·尼尔森;霍尔格·赫尔曼斯 三 2011 覆盖和更新的公理化。 Zbl 1194.03020号 贾斯珀·贝伦德森;大卫·詹森（David N.Jansen）。;朱利安·施马耳茨;Vaandrager，Frits W。 9 2010 定价概率时间自动机中代价有界可达性的不可解性。 Zbl 1241.68076号 贾斯珀·贝伦德森;陈、陶璐;大卫·詹森（David N.Jansen）。 8 2009 流程更快：用于概率模拟的高效决策算法。 Zbl 1161.68473号 张丽君;霍尔格·赫尔曼斯;弗里德里希·艾森布兰德;大卫·詹森（David N.Jansen）。 11 2008 互模拟最小化主要加快了概率模型检查。 Zbl 1186.68296号 Joost-Pieter卡托恩;蒂姆·凯姆纳;伊万·扎普列夫;大卫·詹森（David N.Jansen）。 23 2007 流程更快：用于概率模拟的高效决策算法。 Zbl 1186.68326号 张丽君;霍尔格·赫尔曼斯;弗里德里希·艾森布兰德;大卫·詹森（David N.Jansen）。 6 2007 隐马尔可夫模型的逻辑和模型检查。 Zbl 1169.68524号 张丽君;霍尔格·赫尔曼斯;大卫·詹森（David N.Jansen）。 2 2005 UML状态图规范和验证的概率扩展。 Zbl 1278.68226号 大卫·詹森（David N.Jansen）。;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 4 2002 通过动作和实时扩展CTL。 Zbl 1001.68076号 大卫·詹森（David N.Jansen）。;罗尔·韦林加（Roel J.Wieringa）。 1 2002 所有引用出版物 前5名被引用出版物 全部的 前5名209位作者引用 10 张丽君 9 霍尔格·赫尔曼斯 9 Joost-Pieter卡托恩 8 大卫·詹森（David N.Jansen）。 6 Jan Friso，格鲁特 6 格钦·诺曼 5 Marta Z.Kwiatkowska。 4 埃齐奥·巴托西 4 西尔维亚·克拉法 4 埃里克·P·德文克。 4 弗朗西斯科·兰扎托 4 安德烈亚·图里尼 4 托尔斯滕·维曼 4 徐明 三 Ciancia，文森佐 三 邓玉欣 三 科瓦奇，劳拉·伊尔迪科 三 迭戈·拉特拉 三 Legay、Axel 三 梅克·马西克 三 斯特凡·米利厄斯 三 卢茨·施罗德 三 米罗斯拉夫斯坦科维奇 2 塞利亚·博利多 2 瓦伦蒂娜·卡斯蒂格利奥尼 2 亚历山德罗·西马蒂 2 卡琳·Cvetko-Vah 2 贝诺·德拉哈耶 2 乌尔里希·多尔希 2 克里斯蒂安·艾森特罗 2 冯、袁 2 Forejt，Vojtěch公司 2 Daniel E.Gebler。 2 简·赫尔曼·杰弗斯 2 Jens Chr.Godskesen。 2 罗伯托·戈里埃里 2 阿尔贝托·格里乔 2 韩婷婷 2 瓦希德·哈希米 2 Boudewijn R.哈维尔科特。 2 马塞尔·杰克逊。 2 阿列克桑德拉·乔瓦诺维奇。 2 塞巴斯蒂安·荣格斯 2 Jeroen J.A.Keiren。 2 弗雷德里克·朗 2 拉森，金·古尔德斯特朗 2 乔纳森·埃德蒙·利奇 2 布雷特·麦克莱恩 2 亚历山大·梅雷克莱 2 米克尔·莱克·佩德森 2 吉安卢卡·雷登迪 2 桑吉特·阿伦库马尔 2 福尔克·谢尔 2 宋磊 2 蒂莫西·斯托克斯（Timothy E.Stokes）。 2 蒂妮，西蒙 2 阿舒托什·特里维迪 2 安德烈·索夫斯基 2 Tim A.C.Willemse。 2 杨鹏飞 1 亚历山德罗·阿巴特 1 马里奥·阿尔瓦雷斯·皮卡略 1 苏珊娜·安多瓦 1 奥纳·安德烈 1 克里斯特尔·拜尔 1 鲍嘉璐 1 巴伯，贝诺 1 凯文·巴茨 1 安德烈·鲍尔 1 尼克·贝扎尼什维利 1 本杰明·比斯平 1 斯特凡·布隆 1 菲利波·邦奇 1 托马斯·布里海耶 1 埃夫斯塔提亚·布拉 1 卡德，莫菲 1 曹天岳 1 曹永志 1 乔治·查齐利夫赫里奥 1 陈明帅 1 陈、陶璐 1 陈一香 1 布，露西娅 1 弗拉维奥·科拉迪尼 1 斯乔德·克兰恩 1 佩皮恩·克鲁森 1 克里斯蒂安·德内特 1 汉斯·佩特·迪费尔 1 盖尔·杜勒鲁（Geir E.Dullerud）。 1 乌里·法伦贝格 1 哈拉尔德·费彻 1 费雷尔·菲奥里蒂，路易斯·玛丽亚 1 傅洪飞 1 傅建玲 1 大卫·加伯里亚 1 休伯特·加拉维 1 吉勒·杰勒茨 1 梅·盖尔克 1 索尼娅·乔治耶夫斯卡 1 吉安卢卡·格里莱蒂 …和109多位作者 全部的 前5名26篇连载文章中引用 11 理论计算机科学 9 信息与计算 9 计算机科学中的逻辑方法 4 系统设计中的形式化方法 三 信息学报 2 Automatica公司 2 纯粹与应用代数杂志 2 计算的形式方面 1 人工智能 1 信息处理信件 1 代数普遍性 1 信息科学 1 代数杂志 1 计算机与系统科学杂志 1 半群论坛 1 拓扑及其应用 1 国际近似推理杂志 1 统计计算与模拟杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 1 算法 1 欧洲计算优化杂志 1 程序设计中的逻辑和代数方法杂志 1 离散与应用数学的艺术 全部的 前5名13个领域引用 90 计算机科学（68至XX） 26 数学逻辑和基础（03-XX） 10 概率论与随机过程（60-XX） 6 有序，格，有序代数结构（06-XX） 4 一般代数系统（08-XX） 4 运筹学、数学规划（90-XX） 4 系统论；控制（93至XX） 三 范畴理论；同调代数（18-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 群论与推广（20-XX） 2 一般拓扑结构（54至XX） 1 统计学（62-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文