编辑配置文件(在新选项卡中打开) 维埃拉、雨果·托雷斯 合著者距离 作者ID: 维埃拉·胡戈托雷斯 发布日期: 雨果·托雷斯·维埃拉;Torres Vieira,雨果;雨果·T·维埃拉。 更多。。。较少的 外部链接: ORCID公司 已编制索引的文档: 14出版物自2007年起 6作为编辑的贡献 合著者: 25位合著者具有20联合出版物 413位联合作者 全部的 前5名合著者 0 单作者的 5 路易斯·凯雷斯 4 索菲亚·奈特 4 伊万·拉内斯 4 阿尔贝托·卢什·拉富恩特 4 约万卡·潘托维奇 三 马西莫·巴托莱蒂 三 佩雷斯,豪尔赫·A。 三 伊万·普罗基奇 2 叶希亚·阿卜杜·阿勒拉赫曼 2 西尔维娅·吉勒赞 2 卢多维奇·亨利奥 2 克劳迪奥·安塔雷斯·梅齐纳 2 安娜·索科洛娃 1 伊利亚州卡斯特拉尼 1 乔安·科斯塔·塞科 1 洛科·德尼古拉 1 Deniélou、Pierre-Malo 1 马里亚纽拉州Dezani-Ciancaglini 1 劳西奥·费朗 1 加莱塔,莱特里奥 1 斯维特拉纳·雅克西奇 1 佐里卡·萨凡诺维奇 1 乔安·塞科。 1 彼得·蒂曼。 1 伯纳多·托尼霍 系列 7 程序设计中的逻辑与代数方法杂志 三 理论计算机科学电子论文集(EPTCS) 1 理论计算机科学 1 计算的形式方面 领域 20 计算机科学(68至XX) 6 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用65中的次51文件 引用人▼ 年份▼ 会话演算:面向服务的计算模型。 Zbl 1133.68388号 雨果·T·维埃拉。;路易斯·凯雷斯;乔安·塞科。 22 2008 对话类型。 Zbl 1207.68222号 路易斯·凯雷斯;雨果·托雷斯·维埃拉 15 2010 对话类型。 Zbl 1234.68291号 路易斯·凯雷斯;雨果·托雷斯·维埃拉 9 2009 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯,豪尔赫·A。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 8 2015 多方对话中的动态角色授权。 Zbl 1345.68235号 西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯,豪尔赫·A。;Torres Vieira,雨果 4 2016 以数据为中心的系统中基于类型的访问控制。 Zbl 1326.68082号 路易斯·凯雷斯;佩雷斯,豪尔赫·A。;乔·科斯塔·塞科;雨果·托雷斯·维埃拉;劳西奥·费朗 2 2011 用于基于组件的消息传递系统的类型语言。 Zbl 1477.68183号 佐里卡萨瓦诺维奇;盖列塔,莱特里奥;雨果·托雷斯·维埃拉 2 2020 分布式系统中空间观测的扩展性。 Zbl 1277.68169号 路易斯·凯恩斯;维埃拉、雨果·托雷斯 1 2007 浮动授权建模的演算。 Zbl 1431.68080号 伊万·普罗基奇;约万卡·潘托维奇;雨果·托雷斯·维埃拉 1 2019 浮动授权建模的演算。 Zbl 1508.68250号 约万卡·潘托维奇;伊万·普罗基奇;Torres Vieira,雨果 1 2018 用于基于组件的消息传递系统的类型语言。 Zbl 1477.68183号 佐里卡萨瓦诺维奇;盖列塔,莱特里奥;雨果·托雷斯·维埃拉 2 2020 浮动授权建模的演算。 Zbl 1431.68080号 伊万·普罗基奇;约万卡·潘托维奇;雨果·托雷斯·维埃拉 1 2019 浮动授权建模的演算。 Zbl 1508.68250号 约万卡·潘托维奇;伊万·普罗基奇;Torres Vieira,雨果 1 2018 多方对话中的动态角色授权。 Zbl 1345.68235号 西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯,豪尔赫·A。;Torres Vieira,雨果 4 2016 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯,豪尔赫·A。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 8 2015 数据中心系统中基于类型的访问控制。 Zbl 1326.68082号 路易斯·凯雷斯;佩雷斯,豪尔赫·A。;乔·科斯塔·塞科;雨果·托雷斯·维埃拉;劳西奥·费朗 2 2011 对话类型。 Zbl 1207.68222号 路易斯·凯雷斯;雨果·托雷斯·维埃拉 15 2010 对话类型。 兹比尔12346.8291 路易斯·凯雷斯;雨果·托雷斯·维埃拉 9 2009 会话演算:面向服务的计算模型。 Zbl 1133.68388号 雨果·T·维埃拉。;路易斯·凯雷斯;乔安·塞科。 22 2008 分布式系统中空间观测的扩展性。 Zbl 1277.68169号 路易斯·凯雷斯;雨果·托雷斯·维埃拉 1 2007 所有引用出版物 前5名被引用出版物 全部的 前5名92位作者引用 9 雨果·托雷斯·维埃拉 6 佩雷斯,豪尔赫·A。 6 吉田、Nobuko 5 路易斯·凯雷斯 5 马里亚纽拉州Dezani-Ciancaglini 5 瓦斯科塞洛斯 4 卢卡·帕多瓦尼 三 罗伯托·布鲁尼 三 伊万·拉内斯 三 约万卡·潘托维奇 三 伊万·普罗基奇 三 弗朗西斯科·蒂埃齐 2 伊利亚州卡斯特拉尼 2 马里奥·科普 2 洛科·德尼古拉 2 本田、高黑 2 胡雷蒙德 2 米歇尔·洛雷蒂 2 乌韦·内斯特曼 2 柯斯汀·彼得斯 2 罗萨里奥·普格利泽 2 安托尼奥·拉瓦拉 2 埃米利奥·托斯托 2 克里斯托夫·瓦格纳。 1 Abreu Jünior,Joáo Carlos 1 Al-Humaimedy,Abeer S。 1 叶希亚·阿卜杜·阿勒拉赫曼 1 费德里科·班蒂 1 佛朗哥·巴巴内拉 1 马西莫·巴托莱蒂 1 安迪·贝杰利里 1 劳拉·博奇 1 博迪,恰拉 1 米歇尔·博雷尔 1 马里奥·布拉维蒂 1 琳达·布罗多 1 杰兹·布热津斯基 1 萨拉·卡佩基 1 马尔科·卡博尼 1 朱塞佩·卡斯塔尼亚 1 陈子纯 1 乔安·科斯塔·塞科 1 路易斯·克鲁兹·菲利佩 1 奥尔内拉·达达 1 罗曼·德曼根 1 格雷戈里奥·迪亚兹 1 达里奥什·德沃尼科夫斯基 1 Patrick Th.尤格斯特。 1 玛丽贝尔·费尔南德斯 1 劳西奥·费朗 1 JoséLuiz Fiadeiro 1 盖列塔,莱特里奥 1 西尔维娅·吉勒赞 1 埃琳娜·贾奇诺 1 保拉·吉安尼尼 1 马可·朱蒂 1 斯维特拉纳·雅克西奇 1 安妮·克尔斯滕 1 直纪小林 1 迪米特里奥斯·库扎帕斯 1 科西莫·拉内夫 1 亚历山德罗·拉帕杜拉 1 迭戈·拉特拉 1 阿尔贝托·卢什·拉富恩特 1 安托尼亚州洛佩斯 1 卢埃萨·卢伦索 1 弗朗西斯科·马丁斯 1 梅克·马西克 1 何塞·安东尼奥·马特奥 1 埃尔南·梅尔格拉蒂 1 克劳迪奥·安塔雷斯·梅齐纳 1 法布里西奥·蒙泰西 1 迪米特里斯·莫斯特鲁斯 1 莫里齐奥·穆尔吉亚 1 丹妮尔·南特 1 罗马尼亚奈科娃 1 弗莱明·尼尔森 1 巴勃罗·拉巴纳尔 1 沃尔夫冈·雷西格 1 佩德罗·雷森德 1 汉内·里斯·尼尔森 1 伊斯梅尔·罗德里格斯 1 佐里卡萨瓦诺维奇 1 阿尔切斯特·斯卡拉斯 1 卡斯滕·舒尔曼 1 乔安·塞科。 1 乔治·斯帕格诺洛 1 安德烈·斯特罗因斯基 1 维林,马尔特 1 吉安路易吉·扎瓦塔罗 1 卢卡斯·齐亚雷克 1 罗伯托·祖尼诺 全部的 前5名13篇连载文章中引用 10 程序设计中的逻辑与代数方法杂志 7 MSCS公司。计算机科学中的数学结构 4 信息与计算 三 计算的形式方面 三 计算机科学中的逻辑方法 2 信息学报 2 系统设计中的形式化方法 1 理论计算机科学 1 计算机程序设计科学 1 符号计算杂志 1 分布式计算 1 计算与决策科学基础 1 逻辑与代数程序设计杂志 在5个字段中引用 51 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文