马克·苏查德（Marc A.Suchard）。;肖恩·辛普森（Shawn E.Simpson）。;伊凡·佐里奇;帕特里克·瑞安;大卫·马迪根 复杂广义线性模型串行推理算法的大规模并行化。 （英语） Zbl 1386.65065号 ACM事务处理。模型。计算。模拟。 23，第1号，第10条，第17页（2013年）.MSC公司：65C60个 62J12型 62-04 2005年5月 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Suchard}等人，《美国医学杂志》。模型。计算。模拟。23，第1号，第10条，第17页（2013；Zbl 1386.65065） 全文： 内政部 arXiv公司 链接
丹尼尔·黄;格雷格·莫里塞特 规范化SAFECode类型系统。 （英语） Zbl 1426.68048号 Gonthier，Georges（编辑）等人，《认证程序和证明》。第三届国际会议，2013年CPP，澳大利亚维多利亚州墨尔本，2013年12月11-13日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8307, 211-226 (2013).MSC公司：68号30 第68页第20页 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Huang}和\textit{G.Morrisett}，Lect。注释计算。科学。8307211-226（2013年；兹比尔1426.68048） 全文： 内政部
Minh-Thai Trinh;Le，Quang Loc公司;克里斯蒂娜·大卫;魏恩根·钦 具有纯属性的双向约简，用于规范推理。 （英语） Zbl 1426.68067号 Shan，Chung-chieh（编辑），《编程语言和系统》。第十一届亚洲研讨会，2013年APLAS，澳大利亚维多利亚州墨尔本，2013年12月9-11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8301, 107-123 (2013).MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.-T.Trinh}等人，Lect。注释计算。科学。8301107-123（2013；Zbl 1426.68067） 全文： 内政部
洛伦佐·贝蒂尼;萨拉·卡佩基;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 派生对象的会话和联合类型。 （英语） Zbl 1308.68035号 数学。结构。计算。科学。 23，第6期，1163-1219（2013）. 审核人：哈伊姆·基洛夫（米林顿） MSC公司：68号30 68甲19 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人，《数学》。结构。计算。科学。23，编号6，1163-1219（2013；兹bl 1308.68035） 全文： 内政部
迪莉安·古罗夫;玛丽克·赫斯曼 通过过程将程序的行为属性减少为结构属性。 （英语） Zbl 1291.68259号 西奥。计算。科学。 480, 69-103 (2013).MSC公司：60年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Gurov}和\textit{M.Huisman}，Theor。计算。科学。480，69-103（2013；Zbl 1291.68259） 全文： 内政部
安娜·卡瓦尔坎蒂;安迪·威林斯;吉姆·伍德科克 安全关键型Java内存模型正式化。 （英语） Zbl 1259.68029号 正式Asp。计算。 25，第1期，37-57（2013）.MSC公司：68甲19 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人，《正式Asp》。计算。25、1号、37-57（2013；Zbl 1259.68029） 全文： 内政部