编辑配置文件（在新选项卡中打开） 庞、军 合著者距离 作者ID: 彭军 发布日期： 庞、军;J.庞。 主页： https://wwwfr.uni.lu/recherche/fstm/dcs/membres/jun_pang 外部链接： MGP公司·ORCID公司·谷歌学者·数据库许可证 已编制索引的文档： 42出版物自2001年起 4作为编辑的贡献 合著者： 72位合著者具有45联合出版物 1614联合作者 全部的 前5名合著者 1 单作者的 12 威廉·扬·福克金 4 李永坚 4 袁、栖霞 三 达姆，沃纳 三 邓玉欣 三 Jan Friso，格鲁特 三 绍克·莫 三 安德烈·米泽拉 三 苏、崔 三 范德波尔，扬·科内利斯 三 鲍里斯·维茨 2 巴哈雷赫巴德班 2 汤姆·乔西亚 2 斯特凡·迪什 2 董金松 2 段凯强 2 哈迪·亨加 2 雨果·伦纳德·容克 2 吕毅 2 卡图西亚帕拉米德斯 2 弗洛里安·皮戈什 2 克里斯托夫·斯科尔 2 穆罕默德·托拉比·达什蒂 2 乌韦州瓦尔德曼 2 安东·威伊斯（Anton J.Wijs）。 2 余、葛 2 张晨毅 2 张丽君 1 雷娜·巴赫西 1 蔡少伟 1 蔡、小娟 1 曹、沈 1 董惠民 1 约尔格恩德鲁利斯 1 范东瑞 1 冯、石 1 顾，余 1 郭崇辉 1 斯特凡·哈尔 1 贾普·亨克·霍普曼 1 罗格·霍夫曼 1 瑞典雅各布斯 1 大卫·詹森（David N.Jansen）。 1 艾勒德·卡克贝 1 刘，杨 1 罗正琴 1 Hugues的Mandon 1 阿尔弗雷德·米克施尔 1 约阿希姆·尼伦 1 Jens Oehlering公司 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 西蒙娜·奥尔赞 1 苏米亚·保罗 1 洛伊奇·波列维 1 安德烈·普拉泽 1 托马斯·索特 1 马克·塞格尔肯 1 司元杰 1 孙骏 1 帕努瓦特·特雷拉特菲桑 1 罗纳德·维尔德马。 1 王大玲 1 王云峰 1 莫妮克·维辛格 1 沃特斯，A.G。 1 徐东平 1 杨凤 1 杨晓虎 1 杨朝辉 1 查，明 1 张绍杰 1 郑国良 全部的 前5名系列 5 计算的形式方面 2 逻辑与代数程序设计杂志 2 计算机科学课堂讲稿 1 计算机与数学及其应用 1 信息处理信件 1 算法杂志 1 计算机科学与技术杂志 1 逻辑与计算杂志 1 系统设计中的形式化方法 1 北欧计算机杂志 1 计算机基础理论 1 东北大学学报。自然科学 1 系统工程杂志 1 ACM计算逻辑事务 1 计算机科学前沿 1 计算机科学评论 全部的 前5名领域 40 计算机科学（68至XX） 8 生物学和其他自然科学（92-XX） 6 信息与通信理论、电路（94-XX） 5 系统论；控制（93至XX） 4 总体主题；集合（00-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 数学逻辑和基础（03-XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 29出版物有被引用102中的次71文件 引用人▼ 年份▼ 概率有限状态行为的合成推理。 Zbl 1171.68570号 邓玉欣;卡图西亚帕拉米德斯;庞、军 13 2005 布尔网络的顺序重编程变得实用。 兹比尔1422.92057 Hugues的Mandon;苏、崔;斯特凡·哈尔;庞、军;洛伊奇·波列维 9 2019 在CRL和PVS中验证滑动窗口协议。 Zbl 1101.68309号 巴哈雷巴德班;Wan Fokkink公司;Jan Friso，格鲁特;庞、军;范德波尔（Jaco van de Pol） 8 2005 使用CRL自动检查匿名性的框架。 Zbl 1211.94027号 汤姆·乔西亚;西蒙娜·奥尔赞;庞、军;穆罕默德·托拉比·达什蒂 6 2007 弱概率匿名性。 Zbl 1277.68027号 邓玉欣;卡图西亚Palamidessi;庞、军 6 2007 具有大离散状态空间的混合系统的自动验证。 Zbl 1161.68562号 达姆，沃纳;斯特凡·迪什;哈迪·亨加;庞、军;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦州瓦尔德曼;鲍里斯·维茨 5 2006 锥和焦点：协议验证的机械框架。 Zbl 1103.68652号 Wan Fokkink公司;庞、军;范德波尔（Jaco van de Pol） 5 2006 关于概率交替模拟。 Zbl 1202.68464号 张晨毅;庞、军 4 2010 重新审查协议验证的锥和焦点。 Zbl 1029.68040号 Wan Fokkink公司;庞、军 4 2003 具有大离散状态空间的线性混合系统验证中的精确状态集表示。 Zbl 1141.68461号 达姆，沃纳;斯特凡·迪什;哈迪·亨加;瑞典雅各布斯;庞、军;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦州瓦尔德曼;鲍里斯·维茨 4 2007 模型检查Java DSM实现的缓存一致性协议。 Zbl 1106.68013号 庞、军;Wan Fokkink公司;罗格·霍夫曼;罗纳德·维尔德马 4 2007 验证\（\mu\）CRL中的滑动窗口协议。 Zbl 1108.68383号 Wan Fokkink公司;Jan Friso，格鲁特;庞、军;巴哈雷赫巴德班;范德波尔（Jaco van de Pol） 三 2004 分析CRL中的安全协议。 兹比尔1015.68613 庞、军 三 2002 起重车分布式系统分析。 Zbl 1048.68055号 J.F.格罗特。;J.庞。;沃特斯，A.G。 三 2003 自动验证交通应用程序中的合作、控制和设计。 Zbl 1151.68476号 达姆，沃纳;阿尔弗雷德·米克施尔;延斯·奥勒金;奥尔德罗格（Ernst-Rüdiger Olderog）;庞、军;安德烈·普拉泽;马克·西格尔肯;鲍里斯·维茨 三 2007 量化投票控制隐私的正式框架。 Zbl 1192.68240号 雨果·容克;绍克·莫;庞、军 三 2009 简化伊泰·罗德赫（Itai-Rodeh）领导人的匿名选举。 Zbl 1272.68041号 Wan Fokkink公司;庞、军 三 2005 GPU加速了大型概率布尔网络的稳态计算。 Zbl 1425.68121号 安德烈·米泽拉;庞、军;袁、栖霞 2 2019 参数化验证的自动证明方法。 Zbl 1407.68295号 李永坚;段凯强;大卫·詹森（David N.Jansen）。;庞、军;张丽君;吕毅;蔡少伟 2 2018 时间分支双相似性真的是等价的吗？ Zbl 1175.68277号 Wan Fokkink公司;庞、军;安东·威伊斯 2 2005 布尔网络的顺序临时和永久控制。 Zbl 1506.92038号 苏、崔;庞、军 2 2020 链空间的归纳方法。 Zbl 1298.68083号 李永坚;庞、军 1 2013 关于带（K=N\）环中的\（K\）-状态自稳定的注记。 兹比尔1083.68003 Wan Fokkink公司;贾普·亨克·霍普曼;庞、军 1 2005 概率交替模拟算法。 Zbl 1302.68205号 张晨毅;庞、军 1 2012 PDGF信号通路的概率模型检查。 Zbl 1381.92033号 袁、栖霞;帕努瓦特·特雷拉特菲桑;庞、军;绍克·莫;莫妮克·维辛格;托马斯·索特 1 2012 具有有限预期延迟的匿名环中的快速领导者选举。 Zbl 1260.68029号 雷娜·巴赫西;约尔格恩德鲁利斯;Wan Fokkink公司;庞、军 1 2011 使用应用pi演算分析电子现金协议。 Zbl 1214.68154号 罗正琴;蔡晓娟;庞、军;邓玉欣 1 2007 概率布尔网络的快速模拟。 Zbl 1382.92146号 安德烈·米泽拉;庞、军;袁、栖霞 1 2016 ASSA-PBN：概率布尔网络的近似稳态分析仪。 Zbl 1471.68148号 安德烈·米泽拉;庞、军;袁、栖霞 1 2015 布尔网络的顺序临时和永久控制。 Zbl 1506.92038号 苏、崔;庞、军 2 2020 布尔网络的顺序重编程变得实用。 Zbl 1422.92057号 Hugues的Mandon;苏、崔;斯特凡·哈尔;庞、军;洛伊奇·波列维 9 2019 GPU加速了大型概率布尔网络的稳态计算。 Zbl 1425.68121号 安德烈·米泽拉;庞、军;袁、栖霞 2 2019 参数化验证的一种自动证明方法。 Zbl 1407.68295号 李永坚;段凯强;大卫·詹森（David N.Jansen）。;庞、军;张丽君;吕毅;蔡少伟 2 2018 概率布尔网络的快速模拟。 兹比尔1382.92146 安德烈·米泽拉;庞、军;袁、栖霞 1 2016 ASSA-PBN：概率布尔网络的近似稳态分析仪。 Zbl 1471.68148号 安德烈·米泽拉;庞、军;袁、栖霞 1 2015 链空间的归纳方法。 Zbl 1298.68083号 李永坚;庞、军 1 2013 一种用于概率交替模拟的算法。 Zbl 1302.68205号 张晨毅;庞、军 1 2012 PDGF信号通路的概率模型检查。 Zbl 1381.92033号 袁、栖霞;帕努瓦特·特雷拉特菲桑;庞、军;绍克·莫;莫妮克·维辛格;托马斯·索特 1 2012 具有有限预期延迟的匿名环中的快速领导者选举。 Zbl 1260.68029号 雷娜·巴赫西;约尔格恩德鲁利斯;Wan Fokkink公司;庞、军 1 2011 关于概率交替模拟。 Zbl 1202.68464号 张晨毅;庞、军 4 2010 量化投票控制隐私的正式框架。 Zbl 1192.68240号 雨果·容克;绍克·莫;庞、军 三 2009 使用CRL自动检查匿名性的框架。 Zbl 1211.94027号 汤姆·乔西亚;西蒙娜·奥尔赞;庞、军;穆罕默德·托拉比·达什蒂 6 2007 弱概率匿名性。 Zbl 1277.68027号 邓雨欣;卡图西亚帕拉米德斯;庞、军 6 2007 具有大离散状态空间的线性混合系统验证中的精确状态集表示。 Zbl 1141.68461号 达姆，沃纳;斯特凡·迪什;哈迪·亨加;雅各布斯，斯文;庞、军;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦州瓦尔德曼;鲍里斯·维茨 4 2007 模型检查Java DSM实现的缓存一致性协议。 Zbl 1106.68013号 庞、军;Wan Fokkink公司;罗格·霍夫曼;罗纳德·维尔德马 4 2007 自动验证交通应用程序中的合作、控制和设计。 Zbl 1151.68476号 达姆，沃纳;阿尔弗雷德·米克施;延斯·奥勒金;奥尔德罗格（Ernst-Rüdiger Olderog）;庞、军;安德烈·普拉泽;马克·塞格尔肯;鲍里斯·维茨 三 2007 使用应用pi演算分析电子现金协议。 Zbl 1214.68154号 罗正琴;蔡晓娟;庞、军;邓玉欣 1 2007 具有大离散状态空间的混合系统的自动验证。 Zbl 1161.68562号 达姆，沃纳;斯特凡·迪什;哈迪·亨加;庞、军;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦州瓦尔德曼;鲍里斯·维茨 5 2006 锥和焦点：协议验证的机械框架。 Zbl 1103.68652号 Wan Fokkink公司;庞、军;范德波尔（Jaco van de Pol） 5 2006 概率有限状态行为的合成推理。 Zbl 1171.68570号 邓玉欣;卡图西亚帕拉米德斯;庞、军 13 2005 在CRL和PVS中验证滑动窗口协议。 Zbl 1101.68309号 巴哈雷巴德班;Wan Fokkink公司;Jan Friso，格鲁特;庞、军;范德波尔（Jaco van de Pol） 8 2005 简化伊泰·罗德赫（Itai-Rodeh）领导人的匿名选举。 Zbl 1272.68041号 Wan Fokkink公司;庞、军 三 2005 时间分支双相似性真的是等价的吗？ 兹比尔1175.68277 Wan Fokkink公司;庞、军;安东·威伊斯 2 2005 关于带（K=N\）环中的\（K\）-状态自稳定的注记。 Zbl 1083.68003号 Wan Fokkink公司;贾普·亨克·霍普曼;庞、军 1 2005 验证\（\mu\）CRL中的滑动窗口协议。 Zbl 1108.68383号 Wan Fokkink公司;Jan Friso，格鲁特;庞、军;巴哈雷赫巴德班;范德波尔（Jaco van de Pol） 三 2004 重新审视了方案验证的锥和焦点。 Zbl 1029.68040号 Wan Fokkink公司;庞、军 4 2003 起重车分布式系统分析。 Zbl 1048.68055号 J.F.格罗特。;J.庞。;沃特斯，A.G。 三 2003 分析CRL中的安全协议。 Zbl 1015.68613号 庞、军 三 2002 所有引用出版物 前5名被引用出版物 全部的 前5名135位作者引用 11 庞、军 8 范德波尔，扬·科内利斯 5 威廉·扬·福克金 5 卡图西亚帕拉米德斯 4 康斯坦蒂诺斯·查齐科科拉基斯 4 达姆，沃纳 4 马克·蒂默 三 斯特凡·布隆 三 汤姆·乔西亚 三 邓玉欣 三 斯特凡·迪什 三 Jan Friso，格鲁特 三 塞尔吉·伊万诺夫 三 西蒙娜·奥尔赞 三 弗洛里安·皮戈什 三 克里斯托夫·斯科尔 三 玛丽·斯托琳加 三 西蒙·蒂尼 2 阿提姆·阿尔哈佐夫 2 苏珊娜·安多瓦 2 菲利波·邦奇 2 马塞洛·玛丽亚·邦桑格 2 亚历山德罗·西马蒂 2 海宁·迪尔克斯 2 鲁道夫·弗伦德 2 索尼娅·乔治耶夫斯卡 2 阿尔贝托·格里乔 2 Joost-Pieter卡托恩 2 绍克·莫 2 塞缪尔·帕斯特瓦 2 吉安卢卡·雷登迪 2 鲁滕，简·J·M·M。 2 亚历山德拉·席尔瓦 2 穆罕默德·托拉比·达什蒂 2 尼古拉·特里卡 2 范格拉贝克、罗伯特·扬 2 Van Weerdenburg，Muck J。 2 乌韦州瓦尔德曼 2 安东·威伊斯（Anton J.Wijs）。 2 蒂姆·威廉姆斯。 2 鲍里斯·维茨 2 袁、栖霞 2 张晨毅 1 亚历山德罗·阿巴特 1 卡琳·阿尔蒂森 1 Jos C.M.巴滕。 1 雷娜·巴赫西 1 阿隆娜·本·塔尔 1 尼古拉·贝内什 1 博特尼克，E。 1 克里斯特尔·布劳恩 1 卢博什·布里姆 1 曹永志 1 罗希特·查达 1 陈、陶璐 1 陈伟恩 1 文森特·雪瓦尔 1 瑟·特凡·乔巴赫 1 皮埃尔·科尔比诺 1 佩皮恩·克鲁森 1 德普特、桑德 1 弗朗西安·戴奇森 1 Frank Delaplace公司 1 圣埃芬·德维斯梅斯 1 杜文杰 1 约琴·艾辛格 1 约尔格恩德鲁利斯 1 汤姆·恩格斯。 1 Esmaeil Zadeh Soudjani，萨代 1 文森特·费拉里·多明格斯 1 尼克·菲舍尔 1 Forejt，Vojtěch公司 1 塞德里克·高切雷尔 1 法特梅·加塞米 1 尼古拉斯·格拉德 1 Alwyn E.古德洛。 1 于尔根·格拉尔 1 纳塔莉亚·谢尔盖夫娜·格里博夫斯卡娅 1 苏菲·海瑟特 1 威廉·哈格曼 1 一郎·哈索 1 轩尼诗，Matthew C.B。 1 霍尔格·赫尔曼斯 1 罗格·霍夫曼 1 Hungar，Hardi哈迪 1 吉野Isobe 1 瑞典雅各布斯 1 雨果·伦纳德·容克 1 川崎，吉野 1 费利克斯·克莱德克 1 史蒂夫·克莱默 1 斯特凡·库普弗施米德 1 Kwiatkowska，Marta Z。 1 玛丽亚·康塞桑·莱特。 1 李海涛 1 李永坚 1 伯特·利瑟 1 巴斯·卢提克 1 亚德·马蒂杰森 1 孟超 …还有35位作者 全部的 前5名20篇连载文章中引用 11 理论计算机科学 三 信息与计算 三 计算的形式方面 三 系统设计中的形式化方法 三 逻辑与代数程序设计杂志 2 计算机程序设计科学 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 信息科学 1 计算机与系统科学杂志 1 编程和计算机软件 1 SIAM控制与优化杂志 1 系统和控制信件 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 差分方程与应用杂志 1 分析（慕尼黑） 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 计算机科学评论 全部的 前5名11个领域引用 63 计算机科学（68至XX） 7 生物学和其他自然科学（92-XX） 7 系统论；控制（93至XX） 7 信息与通信理论、电路（94-XX） 6 数学逻辑和基础（03-XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 运筹学、数学规划（90-XX） 1 阶、格、有序代数结构（06-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 复变量的函数（30年XX月） 1 差分方程和函数方程（39至XX） 按年份列出的引文