柯斯汀·彼得斯;吉田、Nobuko 关于混合选择会话的表达能力。 （英语） Zbl 07800872号 Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368113-130（2022年）。MSC公司：第68季度85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}和\textit{N.吉田}，电子。程序。西奥。计算。科学。（EPTCS）368113--130（2022；Zbl 07800872） 全文： arXiv公司 链接
伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 可逆早期内部演算的事件结构。 （英语） Zbl 1482.68152号 J.日志。阿尔盖布。方法程序。 124，文章ID 100720，46 p.（2022）. 审核人：T.C.Mohan（钦奈） MSC公司：第68季度85 2009年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Graversen}等人，J.Log。阿尔盖布。方法计划。124，文章ID 100720，46页（2022；兹bl 1482.68152） 全文： 内政部 链接
格雷弗森，伊娃;伊恩·菲利普斯;吉田、Nobuko （受控）可逆CCS的事件结构语义。 （英语） Zbl 07377686号 J.日志。阿尔盖布。方法程序。 121，文章ID 100686，52 p.（2021）.MSC公司：第68季度85 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Graversen}等人，J.Log。阿尔盖布。方法计划。121，文章ID 100686，52 p.（2021；Zbl 07377686） 全文： 内政部 链接
多里亚娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳;伊恩·菲利普斯;吉田、Nobuko 可逆计算的参数框架。 （英语） Zbl 1496.68241号 Inf.计算。 275，文章ID 104644，58 p.（2020）.MSC公司：第68季度85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Medić}等人，《Inf.Compute》。275，文章ID 104644，58 p.（2020；Zbl 1496.68241） 全文： 内政部 arXiv公司 链接
多莉安娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳;伊恩·菲利普斯;吉田、Nobuko 可逆计算的参数框架。 （英语） Zbl 1525.68085号 Pérez，Jorge A.（编辑）等，第25届并发表达性国际研讨会和第15届结构操作语义研讨会合集，EXPRESS/SOS 2018，中国北京，2018年9月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27687-103（2018）。MSC公司：第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{D.Medic}等人，《电子》。程序。西奥。计算。科学。（EPTCS）276，87--103（2018；Zbl 1525.68085） 全文： 链接
鲁米亚纳内科娃;劳拉·博奇;吉田、Nobuko 多方对话的定时运行时监视。 （英语） 兹比尔1375.68030 正式Asp。计算。 29，第5号，877-910（2017）.MSC公司：64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Neykova}等人，正式Asp。计算。29，第5号，877--910（2017；Zbl 1375.68030） 全文： 内政部 arXiv公司 链接
劳拉·博奇;陈子春;罗曼·德曼根;本田、高黑;吉田、Nobuko 通过多方会话类型监视网络。 （英语） Zbl 1359.68215号 西奥。计算。科学。 669, 33-58 (2017).MSC公司：第68季度85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人，Theor。计算。科学。669、33-58（2017年；Zbl 1359.68215） 全文： 内政部
弗朗西斯科·蒂埃齐;吉田、Nobuko 反转单个会话。 （英语） Zbl 1476.68185号 Devitt，Simon（编辑）等人，《可逆计算》。2016年7月7日至8日，第八届国际会议，RC 2016，意大利博洛尼亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9720, 52-69 (2016).MSC公司：第68季度85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Tiezzi}和\textit{N.Yoshida}，莱克特。注释计算。科学。9720，52-69（2016；Zbl 1476.68185） 全文： 内政部 arXiv公司
罗曼·德曼根;本田、高黑;胡雷蒙德;鲁米亚纳内科娃;吉田、Nobuko 实用的可中断对话：使用多方会话类型和Python进行分布式动态验证。 （英语） Zbl 1341.68118号 形式方法系统。设计。 第46期，第3期，197-225页（2015年）.MSC公司：60年第68季度 68甲15 68甲19 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{R.Demangeon}等人，《形式方法系统》。设计。46，第3号，197--225（2015；Zbl 1341.68118） 全文： 内政部
弗朗西斯科·蒂埃齐;吉田、Nobuko 基于会话的可逆pi-calculus。 （英语） Zbl 1337.68075号 J.日志。阿尔盖布。方法程序。 84，第5期，684-707（2015）.MSC公司：68号30 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Tiezzi}和\textit{N.Yoshida}，J.Log。阿尔盖布。方法计划。84，第5号，684--707（2015；Zbl 1337.68075） 全文： 内政部
丹尼尔·瓦拉卡;吉田、Nobuko 类型化事件结构和线性（pi）演算。 （英语） Zbl 1200.68165号 西奥。计算。科学。 4111949-1973（2010）.MSC公司：第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{D.Varacca}和\textit{N.Yoshida}，Theor。计算。科学。41119949-1973（2010；Zbl 1200.68165） 全文： 内政部
Dezani Ciancaglini，马里亚焦拉;索菲亚·德罗索波卢;迪米特里斯·莫斯特鲁斯;吉田、Nobuko 对象和会话类型。 （英语） Zbl 1183.68358号 Inf.计算。 207，第5期，595-641（2009）.MSC公司：68问题55 68甲15 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人，《信息计算》。207，第5号，595--641（2009；Zbl 1183.68358） 全文： 内政部