克莱门·奥伯特；彼得·布朗宁 可逆分布式微积分的实现。 （英语） Zbl 07786603号 Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 210-217 (2023).MSC公司：2009年第68季度 第68季度10 81页68 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{P.Browning}，莱克特。注释计算。科学。13960、210-217（2023；Zbl 07786603） 全文： 内政部 哈尔
布莱恩，马丁；卡洛斯·西德；玩家Rachel；雷娜·罗布森 验证经典McEliece：研究形式化方法在后量子密码学标准化中的作用。 （英语） Zbl 1519.94064号 Jean-Christophe Denuville（编辑），《基于代码的密码术》。第十届国际研讨会，2022年5月29日至30日，挪威特隆赫姆，CBCrypto 2022。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13839, 21-36 (2023).MSC公司：94A60型 81页94 PDF格式BibTeX公司 XML格式引用 \textit{M.Brain}等人，Lect。注释计算。科学。13839，21-36（2023；Zbl 1519.94064） 全文： 内政部
费边·鲍尔·马尔夸特；斯特凡·洛伊；克里斯蒂安·席林 symQV（对称QV）：量子程序的自动符号验证。 （英语） 兹比尔1529.68152 Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 181-198 (2023).MSC公司：60年第68季度 68号30 68伏15 81页68 PDF格式BibTeX公司 XML格式引用 \textit｛F.Bauer Marquart｝等人，Lect。注释计算。科学。14000、181--198（2023年；Zbl 1529.68152） 全文： 内政部 arXiv公司
刘业洲；拉杜·尼科尔斯库；孙静 面向cP系统中的自动扣除。 （英语） Zbl 07805741号 信息科学。 587, 435-449 (2022).MSC公司：68倍 81至XX PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu}等人，《信息科学》。587435-449（2022；Zbl 07805741） 全文： 内政部
穆罕默德·尤斯里·马哈茂德；艾米·费尔蒂（Amy P.Felty）。 线性逻辑中Quipper量子编程语言的元理论的形式化。 （英语） Zbl 1468.68330号 J.汽车。推理 63，第4期，967-1002（2019）.MSC公司：68V20型 68甲15 68甲18 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Mahmoud}和\textit{A.P.Felty}，J.Autom。推理63，No.4，967--1002（2019；Zbl 1468.68330） 全文： 内政部 arXiv公司
罗伯特·兰德；詹妮弗·佩金；史蒂夫·兹丹塞维奇 \（\数学｛Q｝\）电线实践：Coq中量子电路的形式验证。 （英语） Zbl 1486.81065号 Coecke，Bob（编辑）等人，《第14届量子物理与逻辑国际会议论文集》，QPL'17，荷兰奈梅亨，2017年7月3-7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）266119-132（2018）。MSC公司：81页68 81页第10页 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Rand}等人，《电子》。程序。西奥。计算。科学。（EPTCS）266119--132（2018；Zbl 1486.81065） 全文： arXiv公司 链接
穆罕默德·尤斯里·马哈茂德；艾米·费尔蒂（Amy P.Felty）。 量子编程语言的正式元级分析框架。 （英语） Zbl 1433.68078号 Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 185-201 (2018).MSC公司：68甲15 03B40型 03B70号 68伏15 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Mahmoud}和\textit{A.P.Felty}，电子。注释Theor。计算。科学。338185-201（2018；Zbl 1433.68078） 全文： 内政部
雅普·伯恩德；弗洛里安·卡姆米勒；拉贾戈帕尔·纳加拉扬 形式化属于使用Coq的量子协议。 （英语） Zbl 1477.68528号 Heunen，Chris（编辑）等人，《第十二届量子物理与逻辑国际研讨会论文集》，QPL'15，英国牛津，2015年7月15日至17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）195，71-83（2015）。MSC公司：68V20型 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{J.Boender}等人，《电子》。程序。西奥。计算。科学。（EPTCS）195，71--83（2015；Zbl 1477.68528） 全文： arXiv公司 链接