Nan，Jiang（江楠）；王子晨；王健 量子符号执行。 （英语） Zbl 07763944号 量子信息处理。 22，第10号，第389号论文，第27页（2023年）.MSC公司：81页68 PDF格式BibTeX公司 XML格式引用 \textit{J.Nan}等人，《量子信息处理》。22，第10号，第389号文件，第27页（2023；Zbl 07763944） 全文： 内政部 arXiv公司
德米特里·罗兹普洛哈斯；德米特里·布里切夫 交错搜索的调度复杂性。 （英语） 兹伯利07570119 Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13215, 152-170 (2022).MSC公司：68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Rozplokhas}和\textit{D.Boulytchev}，莱克托。票据计算。科学。13215、152--170（2022；Zbl 07570119） 全文： 内政部 arXiv公司
伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 代数语义、指称语义和操作语义的测试视角。 （英语） Zbl 07168632号 Ribeiro，Pedro（编辑）等人，《统一编程理论》。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11885, 22-38 (2019).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Aichernig}，莱克特。票据计算。科学。11885，22-38（2019；Zbl 07168632） 全文： 内政部