伊万·普罗基奇;雨果·托雷斯·维埃拉 (C_\pi\)-演算:机密名称传递的模型。 (英语) Zbl 1455.68128号 J.日志。阿尔盖布。方法计划。 119,文章ID 100622,32 p.(2021).MSC公司:68问题85 68平方米25 PDF格式BibTeX公司 XML格式引用 \textit{I.Prokić}和\textit{H.T.Vieira},J.Log。阿尔盖布。方法程序。119,文章ID 100622,32 p.(2021;Zbl 1455.68128) 全文: 内政部 arXiv公司
叶希亚·阿卜杜·阿勒拉赫曼;雨果·托雷斯·维埃拉 一种用于电网运行控制的协调协议语言。 (英语) Zbl 1435.68332号 J.日志。阿尔盖布。方法计划。 109,文章ID 100487,32 p.(2019).MSC公司:68T42型 60年第68季度 68问题85 90B10型 93磅70 PDF格式BibTeX公司 XML格式引用 \textit{Y.Abd Alrahman}和\textit{H.Torres Vieira},J.Log。阿尔盖布。方法程序。109,文章ID 100487,32 p.(2019;Zbl 1435.68332) 全文: 内政部
伊万·普罗基奇;约万卡·潘托维奇;雨果·托雷斯·维埃拉 浮动授权建模的演算。 (英语) Zbl 1431.68080号 J.日志。阿尔盖布。方法计划。 107, 136-174 (2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Prokić}等人,J.Log。阿尔盖布。方法程序。107136-174(2019年;Zbl 1431.68080) 全文: 内政部 arXiv公司
马西莫·巴托莱蒂(编辑);卢多维奇·亨利奥(编辑);索菲亚·奈特(编辑);雨果·托雷斯·维埃拉(编辑) 2016年交互与并发体验专刊前言。 (英语) Zbl 1395.00056号 J.日志。阿尔盖布。方法计划。 98, 26 (2018).MSC公司:00B25型 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}(编辑)等,J.Log。阿尔盖布。方法程序。98,26(2018年;兹bl 1395.00056) 全文: 内政部
伊万·拉内斯(编辑);卢赫·拉富恩特,阿尔贝托(编辑);索菲亚·奈特(编辑);雨果·托雷斯·维埃拉(编辑) 2015年交互与并发体验专刊前言。 (英语) Zbl 1354.00101号 J.日志。阿尔盖布。方法计划。 86,第1、1号(2017).MSC公司:00B25型 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}(编辑)等人,J.Log。阿尔盖布。方法程序。86,第1、1号(2017;Zbl 1354.00101) 全文: 内政部
伊万·拉内斯(编辑);卢赫·拉富恩特,阿尔贝托(编辑);安娜·索科洛娃(编辑);雨果·托雷斯·维埃拉(编辑) 2014年交互与并发体验专刊前言。 (英语) Zbl 1335.00159号 J.日志。阿尔盖布。方法计划。 85、3号、367(2016).MSC公司:00B25型 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}(编辑)等,J.Log。阿尔盖布。方法程序。85、3号、367(2016;Zbl 1335.00159) 全文: 内政部
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 将行为类型与安全分析相结合。 (英语) Zbl 1330.68045号 J.日志。阿尔盖布。方法计划。 84,第6号,763-780(2015).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,J.Log。阿尔盖布。方法程序。84,第6号,763--780(2015;Zbl 1330.68045) 全文: 内政部 arXiv公司