Della Giustina，D。;C.广场。;里卡迪，B。;罗曼内洛。 量子计算中支持边缘故障的有向图编码。 （英语） Zbl 07615943号 Mezzina、Claudio Antares（编辑）等，《可逆计算》。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 75-92 (2022).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Giustina}等人，Lect。注释计算。科学。13354，75-92（2022；Zbl 07615943） 全文： 内政部
安东尼奥·考伊;斯特凡·库恩;詹姆斯·霍伊 可执行区间时序逻辑规范的可逆性。 （英语） Zbl 07419492号 Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 214-223 (2021).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Cau}等人，Lect。注释计算。科学。12805、214--223（2021；Zbl 07419492） 全文： 内政部 arXiv公司
卢卡·维甘诺;马尔科·沃尔佩;玛格丽塔·佐齐 用于推理无纠缠量子态变换的分支分布式时序逻辑。 （英语） Zbl 1372.68191号 Inf.计算。 255，第2部分，311-333（2017）.MSC公司：68问题85 03B44号 81页第45页 PDF格式BibTeX公司 XML格式引用 \textit｛L.Viganå｝等人，Inf.Comput。255，第2部分，311--333（2017；Zbl 1372.68191） 全文： 内政部 链接
杨，范;杨国武;郝玉杰 通过模型检查建立量子密码协议中窃听方法的模型库。 （英语） 兹比尔1358.81097 国际J.Theor。物理学。 55，第7号，3414-3427（2016）.MSC公司：81页94 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{F.Yang}等人，国际期刊Theor。物理学。55，第7号，3414--3427（2016；Zbl 1358.81097） 全文： 内政部
约翰·迈尔斯（John M.Myers）。;哈迪·麦吉德（F.Hadi Madjid）。 区分原子钟操纵中的证据及其解释。 （英语） Zbl 1344.81040号 安·物理。 350, 29-49 (2014).MSC公司：81第05页 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Myers}和\textit{F.Hadi Madjid}，Ann.Phys。350、29-49（2014；Zbl 1344.81040） 全文： 内政部 arXiv公司