尼古拉斯·德沃雷茨基;卢卡斯·盖尔 可逆控制流图的优化。 （英文） Zbl 07786595号 Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 57-72 (2023).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{N.Deworetzki}和\textit{L.Gail}，莱克特。注释计算。科学。13960，57-72（2023；Zbl 07786595） 全文： 内政部
罗伯特·格莱克;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;亚洛斯·阿·亚当·米兹扎克;伊恩·菲利普斯;伊雷克·乌利多夫斯基;德国维达尔 朝向可逆计算方法的分类。 （英文） Zbl 07786593号 Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 24-39 (2023).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}等人，Lect。注释计算。科学。13960，24-39（2023；Zbl 07786593） 全文： 内政部
亚瑟·J·帕齐格塔。;Russo，Benjamin P。 非交换分解：有限维中的存在性和唯一性。 （英文） Zbl 07761259号 J.非通勤。地理。 17，第3号，899-955（2023）.MSC公司：46L51型 46L53号 47B65个 81兰特 46英里15 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Parzynata}和\textit{B.P.Russo}，J.Noncommul。地理。17，编号3，899--955（2023；Zbl 07761259） 全文： 内政部 arXiv公司
彼得罗·拉米;伊万·拉内斯;Jean-Bernard斯特凡尼;克劳迪奥·萨塞尔多蒂·科恩;乔瓦尼·法布雷蒂 Erlang中的可逆性：祈使结构。 （英文） Zbl 07615950号 Mezzina、Claudio Antares（编辑）等，《可逆计算》。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 187-203 (2022).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Lami}等人，Lect。注释计算。科学。13354187--203（2022年；兹bl 07615950） 全文： 内政部 哈尔
卡米拉·巴里尔斯卡;安娜·果戈林斯卡;乌卡斯·米库尔斯基;安娜·菲利普;马钦·皮亚特科夫斯基;基里亚基·帕萨拉 从反向Petri网到有色Petri网的形式化翻译。 （英文） 兹伯利07615949 Mezzina，Claudio Antares（编辑）等人，可逆计算。2022年7月5日至6日，第14届国际会议，RC 2022，意大利乌尔比诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 172-186 (2022).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{K.Barylska}等人，Lect。注释计算。科学。13354、172--186（2022；Zbl 07615949） 全文： 内政部
克莱门·奥伯特 可逆并发计算中的并发性。 （英文） Zbl 07615947号 Mezzina、Claudio Antares（编辑）等，《可逆计算》。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 146-163 (2022).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}，莱克特。注释计算。科学。13354，146-163（2022；Zbl 07615947） 全文： 内政部 哈尔
亚瑟·J·帕齐格塔。;Russo，Benjamin P。 非交换贝叶斯定理。 （英文） Zbl 1500.46052号 线性代数应用。 644, 28-94 (2022). 审核人：托比亚斯·弗里茨（因斯布鲁克） MSC公司：46L53号 第81页第16页 81页第45页 2015年1月62日 18米40 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Parzynat}和\textit{B.P.Russo}，线性代数应用。644，28-94（2022；Zbl 1500.46052） 全文： 内政部 arXiv公司
埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;G.Michele Pinna 实现可逆CCS的真正并发语义。 （英文） Zbl 07419486号 Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 109-125 (2021).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{H.Melgratti}等人，Lect。注释计算。科学。12805、109-125（2021；Zbl 07419486） 全文： 内政部 哈尔
乔瓦尼·法布雷蒂;伊万·拉内斯;Jean-Bernard斯特凡尼 分布式Erlang程序的因果一致性调试。 （英文） 兹布尔07419484 Yamashita，Shigeru（编辑）等人，可逆计算。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 79-95 (2021).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{G.Fabbretti}等人，Lect。注释计算。科学。12805，79-95（2021；Zbl 07419484） 全文： 内政部 哈尔
巴特·雅各布斯;亚伯拉罕·韦斯特班 状态之间和谓词之间的距离。 （英文） Zbl 1528.60014号 日志。方法计算。科学。 16，第1号，第26号论文，第27页（2020年）.MSC公司：60B99型 第81页第16页 18B99型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}和\textit{A.Westeban}，Log。方法计算。科学。16，第1号，第26号论文，第27页（2020年；Zbl 1528.60014） 全文： arXiv公司 链接
巴特·雅各布斯 量子贝叶斯理论中的上下条件。 （英文） Zbl 1486.60004号 Peter Selinger等人，《第十五届量子物理与逻辑国际会议论文集》，QPL'18，加拿大哈利法克斯，2018年6月3-7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）287225-238（2019年）。MSC公司：60A05型 第81页第16页 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}，电子。程序。西奥。计算。科学。（EPTCS）287，225--238（2019；Zbl 1486.60004） 全文： 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 1395.05112号 数学杂志。物理学。 59，第8期，081706，42页（2018）.MSC公司：05C60型 05第57页 05C15号 91年43月 17立方厘米 81页99 PDF格式BibTeX公司 XML格式引用 \textit{B.Musto}等人，J.数学。物理学。59，第8号，081706，42页（2018；Zbl 1395.05112） 全文： 内政部 arXiv公司
阿马尔·哈齐哈萨诺维奇 相互作用代数理论的拓扑观点。 （英文） Zbl 1484.18021号 Duncan，Ross（编辑）等人，《第13届量子物理和逻辑国际会议论文集》，QPL'16，苏格兰格拉斯哥，2016年6月6日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）23670-86（2017）。MSC公司：18N10型 68问题55 81兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Hadzihasanovic}，电子。程序。西奥。计算。科学。（EPTCS）236、70--86（2017；Zbl 1484.18021） 全文： arXiv公司 链接