编辑配置文件（在新选项卡中打开） 胡安·迭戈·坎波 合著者距离 作者ID： 胡安·迪戈营地 发布日期： 胡安·迭戈·坎波;胡安·坎波 已编制索引的文档： 6出版物自2014年起 合著者： 7合著者具有6联合出版物 171位合作作者 全部的 前5名合著者 0 单作者的 6 古斯塔沃·贝塔特 6 卡洛斯·卢纳 三 吉尔·巴特 2 阿古斯汀·罗曼诺 1 杰苏斯·莫里西奥·奇曼托 1 费利佩·戈罗斯蒂亚加 1 大卫·皮哈迪 系列 2 自动推理杂志 1 计算机科学科学年鉴 领域 6 计算机科学（68至XX） 三 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用13中的次10文件 引用人▼ 年份▼ 恒定时间加密的系统级不干涉。二： 已验证静态分析和隐形内存。 Zbl 1459.68027号 吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳;大卫·皮哈迪 5 2020 恒定时间加密的系统级不干涉。一： 模型。 Zbl 1459.68026号 吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳 三 2019 对Android基于权限的安全模型进行形式化分析。 Zbl 1424.68029号 古斯塔沃·贝塔特;胡安·坎波;卡洛斯·卢纳;阿古斯汀·罗曼诺 2 2016 Android许可模型的认证参考验证机制。 Zbl 1508.68048号 古斯塔沃·贝塔特;胡安·坎波;费利佩·戈罗斯蒂亚加;卡洛斯·卢纳 1 2018 验证Android的权限模型。 Zbl 1471.68129号 古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳;阿古斯丁·罗曼诺 1 2015 经过正式验证的虚拟化理想模型的实现。 Zbl 1359.68048号 吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;杰苏斯·莫里西奥·奇曼托;卡洛斯·卢纳 1 2014 恒定时间加密的系统级不干涉。二： 已验证静态分析和隐形内存。 Zbl 1459.68027号 吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳;大卫·皮哈迪 5 2020 恒定时间加密的系统级不干涉。一： 模型。 Zbl 1459.68026号 吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳 三 2019 Android权限模型的认证参考验证机制。 Zbl 1508.68048号 古斯塔沃·贝塔特;胡安·坎波;费利佩·戈罗斯蒂亚加;卡洛斯·卢纳 1 2018 Android基于权限的安全模型的正式分析。 Zbl 1424.68029号 古斯塔沃·贝塔特;胡安·坎波;卡洛斯·卢纳;阿古斯汀·罗曼诺 2 2016 验证Android的权限模型。 Zbl 1471.68129号 古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳;阿古斯汀·罗曼诺 1 2015 经过正式验证的虚拟化理想模型的实现。 Zbl 1359.68048号 吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;杰苏斯·莫里西奥·奇曼托;卡洛斯·卢纳 1 2014 所有引用出版物 前5名被引用出版物 全部的 前5名21位作者引用 4 吉尔·巴特 三 马克西米利亚诺·克里斯蒂亚 三 卡洛斯·卢纳 2 何塞·巴塞拉尔·阿尔梅达 2 曼纽尔·巴博萨 2 古斯塔沃·贝塔特 2 胡安·迭戈·坎波 2 吉安弗兰科·罗西 1 大卫·伯恩哈德 1 吉多·德卢卡 1 弗朗索瓦州杜普斯托尔 1 克里斯蒂安·埃内 1 马克·费希林 1 何希明 1 蒂莫西·琼斯。 1 文森特·拉波特 1 劳伦特·穆尼尔 1 大卫·皮哈迪 1 玛丽·劳雷·波特 1 沃林斯基，博格丹 1 周若瑜 2篇连载文章中引用 5 自动推理杂志 1 信息与计算 在3个字段中引用 8 计算机科学（68至XX） 5 信息与通信理论、电路（94-XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文