尤里·古里维奇;安德烈亚斯·布拉斯 量子电路算法的软件科学观。 （英语） Zbl 07687211号 Inf.计算。 292，文章ID 105024，17 p.（2023）.MSC公司：第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich}和\textit{A.Blass}，Inf.Comput。292，文章ID 105024，17 p.（2023；Zbl 07687211） 全文： 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛;奥克塔维奥·马勒贝 幺正球中的量子控制：λ-（S_1）及其范畴模型。 （英语） Zbl 07596580号 日志。方法计算。科学。 18，第3号，第32号论文，36页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}和\textit{O.Malherbe}，日志。方法计算。科学。18，第3号，第32号论文，36页（2022；Zbl 07596580） 全文： 内政部 arXiv公司 OA许可证
傅鹏;Kohei的Kishida;彼得·塞林格 量子编程语言的线性相关类型理论。 （英语） Zbl 1503.68039号 日志。方法计算。科学。 18，第3号，第28号论文，44页（2022年）.MSC公司：68甲19 03B38型 2005年8月 68甲15 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Fu}等人，Log。方法计算。科学。18，第3号，第28号论文，第44页（2022年；Zbl 1503.68039） 全文： 内政部 arXiv公司 OA许可证
大卫·法拉利;伊万诺·塔维内利;米歇尔·阿莫雷蒂 编译具有循环模式的量子电路的确定性算法。 （英语） Zbl 1509.81258号 量子信息处理。 20，第6号，第213号论文，第21页（2021年）.MSC公司：81页68 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Ferrari}等人，《量子信息处理》。20，第6号，第213号论文，第21页（2021；Zbl 1509.81258） 全文： 内政部 arXiv公司
菲利昂·古尔多，F。;E.洛林。 对称一阶线性双曲方程组的简单数字量子算法。 （英语） Zbl 1464.68117号 数字。算法 82，第3期，1009-1045（2019）.MSC公司：2012年第68季度 35L40英寸 6500万08 81页第45页 PDF格式BibTeX公司 XML格式引用 \textit{F.Fillion-Gourdeau}和\textit{E.Lorin}，数字。算法82，No.3，1009--1045（2019；Zbl 1464.68117） 全文： 内政部 arXiv公司
穆罕默德·尤斯里·马哈茂德;艾米·费尔蒂（Amy P.Felty）。 线性逻辑中Quipper量子编程语言的元理论的形式化。 （英语） 兹比尔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公司
卢卡·保里尼;毛罗·皮科洛;玛格丽塔·佐齐 高阶语言和量子电路。 （英语） Zbl 1468.68049号 J.汽车。推理 63，第4期，941-966（2019）.MSC公司：68甲15 81页65 81页68 PDF格式BibTeX公司 XML格式引用 \textit{L.Paolini}等人，J.Autom。推理63，第4号，941-966（2019；Zbl 1468.68049） 全文： 内政部 arXiv公司
艾米、马修 低级量子元编程的大小类型。 （英语） Zbl 1527.68034号 汤姆森、迈克尔·柯克达尔（编辑）等，《可逆计算》。第11届国际会议，2019年6月24日至25日，瑞士洛桑，RC 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11497, 87-107 (2019).MSC公司：68甲19 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Amy}，莱克特。注释计算。科学。11497，87-107（2019；Zbl 1527.68034） 全文： 内政部 arXiv公司
英明生 朝向量子程序的自动验证。 （英语） Zbl 1425.68271号 正式Asp。计算。 第1期第31页，第3-25页（2019年）.MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}，正式Asp。计算。31，第1号，第3--25号（2019年；Zbl 1425.68271） 全文： 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛;马科斯·维拉格拉 经典的时间控制量子自动机。 （英语） Zbl 1522.68264号 Fagan，David（编辑）等人，《自然计算的理论与实践》。2018年12月12日至14日在爱尔兰都柏林举行的TPNC 2018第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11324, 266-278 (2018).MSC公司：65年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}和\textit{M.Villagra}，莱克特。注释计算。科学。11324226-278（2018年；兹比尔1522.68264） 全文： 内政部
马西斯·雷内拉;萨姆·斯塔顿 丰富范畴理论中的经典控制和量子电路。 （英语） Zbl 1525.68020号 Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 257-279 (2018).MSC公司：68甲18 18 C50 18D20天 68问题55 81页65 PDF格式BibTeX公司 XML格式引用 \textit{M.Rennela}和\textit{S.Staton}，电子。注释Theor。计算。科学。336257-279（2018年；Zbl 1525.68020） 全文： 内政部
Chernyavskiy，A.Yu。;弗吉尼亚州沃沃丁。五、。;沃进化素，Vl。五、。 有噪声量子电路模拟的并行计算结构。 （英语） Zbl 1396.81066号 Lobachevskii J.数学。 39，第4期，494-502（2018）.MSC公司：81页68 2012年第68季度 2010年第81季度 68岁20岁 81S22号 PDF格式BibTeX公司 XML格式引用 \textit{A.Yu.Chernyavskiy}等人，Lobachevskii J.数学。39，第4号，494--502（2018；Zbl 1396.81066） 全文： 内政部
亚历杭德罗·迪亚斯·卡洛 具有经典和概率控制的密度矩阵的lambda演算。 （英语） Zbl 1503.68043号 Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695, 448-467 (2017).MSC公司：68号30 03B40型 68甲18 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}，莱克特。注释计算。科学。10695448-467（2017年；兹比尔1503.68043） 全文： 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛;Gilles Dowek 键入量子叠加和测量。 （英语） Zbl 1513.81018号 Martín-Vide，Carlos（编辑）等人，《自然计算的理论与实践》。2017年12月18日至20日，在捷克共和国布拉格举行的第六届国际会议，TPNC 2017。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10687, 281-293 (2017).MSC公司：81页68 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}和\textit{G.Dowek}，莱克特。注释计算。科学。10687，281--293（2017；Zbl 1513.81018） 全文： 内政部 哈尔
阿图尔·谢勒;贝诺缬氨酸;绍恩·库恩·茂;斯科特·亚历山大;埃里克·范登伯格;托马斯·查普兰（Thomas E.Chapuran）。 用于计算二维目标电磁散射截面的量子线性系统算法的具体资源分析。 （英语） Zbl 1374.81032号 量子信息处理。 16，第3号，第60号论文，65页（2017年）.MSC公司：81页68 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Scherer}等人，《量子信息处理》。16，第3号，第60号论文，65页（2017；Zbl 1374.81032） 全文： 内政部 arXiv公司 OA许可证
Stevens，Kelly E.史蒂文斯。;Jason M.阿米尼。;查尔斯·多雷特;格雷格·莫勒;柯蒂斯·沃林;Alexa W.哈特。 自动化量子实验控制。从电路编译到离子布线。 （英语） Zbl 1373.81151号 量子信息处理。 16，第3号，第56号论文，20页（2017年）.MSC公司：81页68 81问题93 78A37飞机 PDF格式BibTeX公司 XML格式引用 \textit{K.E.Stevens}等人，《量子信息处理》。16，第3号，第56号论文，20页（2017；Zbl 1373.81151） 全文： 内政部
大卫·霍克;罗伯特·科苏特;赫歇尔·拉比茨 PEET：一种用于估计量子信息处理系统中物理门误差的Matlab工具。 （英语） Zbl 1348.81165号 量子信息处理。 15，第9号，3489-3518（2016）.MSC公司：81页68 81问题93 81S22号 PDF格式BibTeX公司 XML格式引用 \textit{D.Hocker}等人，《量子信息处理》。15，第9号，3489--3518（2016；Zbl 1348.81165） 全文： 内政部
琳达·安蒂科利;卡拉广场;莱昂纳多·塔利亚莱涅;保罗·祖利亚尼 走向量子程序验证：从Quipper电路到QPMC。 （英语） Zbl 1480.81028号 Devitt，Simon（编辑）等人，《可逆计算》。2016年7月7日至8日，第八届国际会议，RC 2016，意大利博洛尼亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9720, 213-219 (2016).MSC公司：81页68 68甲15 2012年第68季度 2006年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Anticoli}等人，Lect。注释计算。科学。9720213-219（2016年；兹比尔1480.81028） 全文： 内政部
迈克尔·柯克达尔·汤姆森;罗宾·卡斯加德;马蒂亚斯·苏肯 Ricercar：用ancillae及其置换语义描述和重写可逆电路的语言。 （英语） Zbl 1464.68109号 Krivine，Jean（编辑）等人，《可逆计算》。2015年7月16日至17日，第七届国际会议，RC 2015，法国格勒诺布尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9138, 200-215 (2015).MSC公司：2006年第68季度 2009年第68季度 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Thomsen}等人，Lect。注释计算。科学。9138，200-215（2015；Zbl 1464.68109） 全文： 内政部