安娜·施密特;Peters,Kirstin彼得斯;邓玉欣 量子系统的可编码性标准。 (英语) Zbl 1499.68234号 Mousavi,Mohammad Reza(编辑)等人,分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议,FORTE 2022,作为第17届分布式计算技术国际联合会议的一部分,于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13273, 151-169 (2022).MSC公司:第68季度85 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Schmitt}等人,Lect。注释计算。科学。13273151-169(2022年;兹bl 1499.68234) 全文: 内政部 arXiv公司
吴,衡阳;邓玉欣 模糊过渡系统仿真和互仿真的逻辑特征。 (英语) Zbl 1378.68121号 模糊集系统。 301, 19-36 (2016).MSC公司:第68季度85 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{H.Wu}和\textit{Y.Deng},模糊集系统。301、19-36(2016年;Zbl 1378.68121) 全文: 内政部
邓玉欣;罗伯特·西蒙斯。;伊利亚诺·塞尔维萨托 线性逻辑和过程代数中的关联推理方法。 (英语) Zbl 1361.68166号 数学。结构。计算。科学。 26,第5期,868-906(2016).MSC公司:第68季度85 03楼52 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}等人,数学。结构。计算。科学。26,第5号,868--906(2016;Zbl 1361.68166) 全文: 内政部
邓玉欣;张瑜 线性环境中的程序等价性。 (英语) Zbl 1327.68078号 西奥。计算。科学。 585, 71-90 (2015).MSC公司:68号30 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}和\textit{Y.Zhang},Theor。计算。科学。585,71-90(2015;Zbl 1327.68078) 全文: 内政部 arXiv公司
邓雨欣;轩尼诗,马修 关于马尔可夫自动机的语义。 (英语) Zbl 1333.68162号 Aceto,Luca(编辑)等人,《自动化,语言和编程》。2011年7月4日至8日,瑞士苏黎世,第38届国际学术讨论会,ICALP 2011。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学讲义6756,307-318(2011)。MSC公司:65年第68季度 第68季度85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.邓}和textit{M.轩尼诗},莱克特。注释计算。科学。6756307--318(2011;Zbl 1333.68162) 全文: 内政部
邓玉欣;罗布·范格拉贝克;马修·轩尼诗;摩根,卡罗尔;张晨毅 关于测试概率过程的备注。 (英语) Zbl 1277.68121号 Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172,359-397(2007)。MSC公司:68问题55 第68季度85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}等人,《电子》。注释Theor。计算。科学。172,359--397(2007;Zbl 1277.68121) 全文: 内政部