安德烈·米泽拉;庞、军;袁、栖霞 GPU加速了大型概率布尔网络的稳态计算。 (英语) Zbl 1425.68121号 正式Asp。计算。 31,第1期,第27-46页(2019年).MSC公司:2010年第68季度 87年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Mizera}等人,正式Asp。计算。31,第1号,27-46(2019年;Zbl 1425.68121) 全文: 内政部 链接
斯蒂芬·默兹(编辑);庞、军(编辑);董金松(编辑) 编辑。 (英语) Zbl 1345.00025号 正式Asp。计算。 28,第5期,723-724(2016).MSC公司:00B25型 68-06 60年第68季度 68问题85 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}(编辑)等人,《形式语法》。计算。28,第5号,723--724(2016;Zbl 1345.00025) 全文: 内政部
李永坚;庞、军 在Isabelle/HOL中规范可证明的匿名性。 (英语) Zbl 1331.68202号 正式Asp。计算。 27,第2期,255-282(2015).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{J.Pang},正式Asp。计算。27,第2号,255--282(2015;Zbl 1331.68202) 全文: 内政部 链接
李永坚;庞、军 链空间的归纳方法。 (英语) Zbl 1298.68083号 正式Asp。计算。 25,第4期,465-501(2013).MSC公司:68第25页 68个M12 第68页第15页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{J.Pang},正式Asp。计算。25,第4号,465--501(2013;Zbl 1298.68083) 全文: 内政部
巴哈雷赫巴德班;Wan Fokkink公司;Jan Friso,格鲁特;庞、军;范德波尔(Jaco van de Pol) 验证CRL和PVS中的滑动窗口协议。 (英语) Zbl 1101.68309号 正式Asp。计算。 17,第3期,342-388(2005).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}等人,正式Asp。计算。17,第3号,342--388(2005;Zbl 1101.68309) 全文: 内政部