马燕芳;陈亮 软件近似正确性的概率模型。 （英语） Zbl 1363.68039号 武汉大学自然科学杂志。 21，第1号，47-55（2016）.MSC公司：68号30 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Ma｝和\textit｛L.Chen｝，武汉大学自然科学。21，第1号，47-55（2016；Zbl 1363.68039） 全文： 内政部
马燕芳 软件近似正确性的定量分析。 （英语） Zbl 1394.68077号 数学。问题。工程师。 2015年，文章ID 173012，13 p.（2015）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ma}，数学。问题。Eng.2015，文章ID 173012，13 p.（2015；Zbl 1394.68077） 全文： 内政部
马彦芳;张敏 二相似性的无限演化机制。 （英语） Zbl 1296.68029号 J.计算。科学。Technol公司。 28，第6期，1097-1105（2013）.MSC公司：68号30 68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.-F.Ma}和\textit{M.Zhang}，J.Compute。科学。Technol公司。28，第6号，1097--1105（2013；Zbl 1296.68029） 全文： 内政部
马燕芳;张敏;陈一香;陈亮 三分之二的仿真指标和模态逻辑表征。 （英语） Zbl 1267.68157号 前面。计算。科学。中国 第454-471号第5页（2011年）.MSC公司：68问题85 03B45号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ma}等人，前。计算。科学。中国5，第4号，454--471（2011；Zbl 1267.68157） 全文： 内政部
马燕芳;张敏 参数化互模拟极限的拓扑构造。 （英语） Zbl 1342.68233号 Chen，Y.-X.（编辑）等，第五届领域理论国际研讨会论文集，中国上海，2009年9月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记257，55-70（2009）。MSC公司：68问题85 54甲12 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ma}和\textit{M.Zhang}，电子。注释Theor。计算。科学。257、55-70（2009年；Zbl 1342.68233） 全文： 内政部