路易斯·克鲁兹·菲利佩;Larsen，Kim S。;彼得·施奈德·坎普 正式证明分拣网络的尺寸优化。 （英语） Zbl 1425.68372号 J.汽车。推理 59，第4期，425-454（2017）.理学硕士：68吨15 68甲18 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}等人，J.Autom。推理59，No.4，425--454（2017；Zbl 1425.68372） 全文： 内政部
内森·富尔顿;斯特凡·米奇;布兰登·伯勒;安德烈·普拉泽 Bellerophon：混合系统的战术定理证明。 （英语） Zbl 1483.68191号 Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10499, 207-224 (2017).理学硕士：60年第68季度 68伏15 93立方 PDF格式BibTeX公司 XML格式引用 \textit｛N.Fulton｝等人，Lect。注释计算。科学。10499，207--224（2017；Zbl 1483.68191） 全文： 内政部
路易斯·克鲁兹·菲利佩;彼得·施奈德·坎普 为大规模计算机生成的证明优化认证的证明检查器。 （英语） Zbl 1417.68180号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。勒克特。注释计算。科学。9150, 55-70 (2015).理学硕士：68吨15 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}和\textit{P.Schneider-Kamp}，莱克特。注释计算。科学。9150、55-70（2015；Zbl 1417.68180） 全文： 内政部 arXiv公司
玛丽亚·波扎;塞萨尔·多明格斯;乔纳森·赫拉斯;朱利奥·鲁比奥 用于同源图像处理的经认证的简化策略。 （英语） 兹比尔1354.68286 ACM事务处理。计算。日志。 第15号第3条第23条第23页（2014年）.理学硕士：68单位10 03B35型 55单元15 68吨15 92 C55 PDF格式BibTeX公司 XML格式引用 \textit{M.Poza}等人，ACM Trans。计算。日志。第15号第3条第23条第23页（2014年；Zbl 1354.68286） 全文： 内政部 arXiv公司