费边·鲍尔·马尔夸特;斯特凡·洛伊;克里斯蒂安·席林 symQV（对称QV）：量子程序的自动符号验证。 （英语） Zbl 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） 全文： DOI程序 arXiv公司
冯、袁;李，三江;英明生 分布式量子程序的验证。 （英语） Zbl 1508.68218号 ACM事务处理。计算。日志。 23，第3号，第19条，第40页（2022）.MSC公司：60年第68季度 03B70号 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}等人，ACM Trans。计算。日志。23，第3号，第19条，40页（2022年；Zbl 1508.68218） 全文： DOI程序 arXiv公司
邓玉欣;冯、袁 经典量子语言的形式语义。 （英语） Zbl 1483.68076号 西奥。计算。科学。 913, 73-93 (2022).MSC公司：68号30 03B70号 68问题55 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}和\textit{Y.Feng}，Theor。计算。科学。913、73-93（2022年；Zbl 1483.68076） 全文： DOI程序 arXiv公司
徐明;傅建玲;梅静怡;邓玉欣 量子马尔可夫链上的模型检查QCTL plus。 （英语） Zbl 1483.68212号 西奥。计算。科学。 913, 43-72 (2022).MSC公司：60年第68季度 03B44号 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人，Theor。计算。科学。913、43-72（2022年；Zbl 1483.68212） 全文： DOI程序
Beillahi、Sidi Mohamed;穆罕默德·尤斯里·马哈茂德;索菲涅·塔哈尔 光学量子电路的建模和验证框架。 （英语） Zbl 1425.68250号 正式Asp。计算。 31,3号，321-351（2019）.MSC公司：60年第68季度 68吨15 81页68 81版本80 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Beillahi}等人，正式Asp。计算。31，第3号，321--351（2019；Zbl 1425.68250） 全文： DOI程序
高弘久保田;川谷义彦;加藤，走;川野康仁;樱田秀树 量子密码协议安全证明的半自动验证。 （英语） Zbl 1336.68164号 J.塞姆。计算。 73, 192-220 (2016).MSC公司：60年第68季度 68问题85 68吨15 81页94 PDF格式BibTeX公司 XML格式引用 \textit{T.Kubota}等人，J.Symb。计算。73192-220（2016年；Zbl 1336.68164） 全文： DOI程序
西蒙·盖伊。;Puthoor，Ittoop V公司。 量子协议的等式推理。 （英语） Zbl 1464.81018号 Krivine，Jean（编辑）等人，《可逆计算》。2015年7月16日至17日，第七届国际会议，RC 2015，法国格勒诺布尔。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9138, 155-170 (2015).MSC公司：81页68 68问题55 60年第68季度 68问题85 81页70 81页94 94A62型 PDF格式BibTeX公司 XML格式引用 \textit｛S.J.Gay｝和\textit｛I.V.Puthoor｝，Lect。票据计算。科学。9138，155-170（2015；Zbl 1464.81018） 全文： DOI程序 链接
罗宾·亚当斯 量子程序和效果语言。 （英语） Zbl 1464.68068号 Coecke，Bob（编辑）等人，《第十一届量子物理与逻辑研讨会论文集》，QPL'14，日本京都，2014年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）172133-153（2014）。MSC公司：68号30 18 C50 81页68 PDF格式BibTeX公司 XML格式引用 \textit{R.Adams}，电子。程序。西奥。计算。科学。（EPTCS）172133--153（2014；Zbl 1464.68068） 全文： arXiv公司 链接
李，杨佳;英明生 关于量子系统可达性的不可判定问题。 （英语） Zbl 1417.68042号 Baldan，Paolo（编辑）等人，CONCUR 2014——并发理论。第25届国际会议，CONCUR 2014，罗马，意大利，2014年9月2-5日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8704, 482-496 (2014).MSC公司：2005年第68季度 65年第68季度 60年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{M.Ying}，Lect。票据计算。科学。8704、482--496（2014；Zbl 1417.68042） 全文： DOI程序 arXiv公司
高弘久保田;川谷义彦;加藤，走;川野康仁 一种用于量子密钥分发的无条件安全证明的形式化方法。 （英语） Zbl 1331.81086号 Calude，Cristian S.（编辑）等人，《非常规计算》。2011年6月6日至10日在芬兰图尔库举行的2011年加州大学第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21340-3/pbk）。计算机科学课堂讲稿6714，125-137（2011）。MSC公司：81页94 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kubota}等人，Lect。票据计算。科学。6714、125-137（2011年；Zbl 1331.81086） 全文： DOI程序
文森特·达诺斯;Ellie D'Hondt 量子密码推理的经典知识。 （英语） Zbl 1277.81039号 Danos，Vincent（ed.）等人，第三届计算模型发展国际研讨会论文集（DCM 2007），波兰弗罗茨瓦夫，2007年7月15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记192，第3期，39-58（2008）。MSC公司：81页94 94A62型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Danos}和\textit{E.D'Hondt}，电子。注释Theor。计算。科学。192，编号3，39-58（2008；Zbl 1277.81039） 全文： DOI程序
西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 通信量子过程。 （英语） Zbl 1369.68207号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。145-157 (2005).MSC公司：2005年第68季度 2010年第68季度 60年第68季度 68问题85 81页68 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Gay}和\textit{R.Nagarajan}，摘自：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。145-157（2005年；Zbl 1369.68207） 全文： DOI程序 arXiv公司