编辑配置文件(在新选项卡中打开) 里卡多·西斯托 合著者距离 作者ID: 西斯托·里卡多 发布日期: 里卡多·西斯托 已编制索引的文档: 11出版物自1995年起 合著者: 11位合著者具有11联合出版物 67位合作作者 全部的 前5名合著者 0 单作者的 6 阿德里亚诺·瓦伦扎诺 5 卢卡·杜兰特 2 伊万·西布拉里奥·贝尔托洛蒂 2 Cibrario B.,伊凡 2 马吉,保罗 2 阿尔弗雷多·皮隆蒂 1 阿瓦莱,马蒂奥 1 皮耶吉塞佩·贝塔萨·科佩特 1 Cibario Bertolotti,伊万 1 哈诺丁,泽维尔 1 拉杜·奥西夫 系列 三 计算的形式方面 1 电气电子工程师学会计算机期刊 1 国际计算机科学基础杂志 字段 11 计算机科学(68-XX) 5 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 6出版物有被引用7中的次6文件 引用人▼ 年份▼ 将带约束弧的Petri网映射到基本LOTOS行为表达式。 Zbl 1048.68515号 里卡多·西斯托;阿德里亚诺·瓦伦扎诺 2 1995 在模型检查中使用垃圾收集。 Zbl 0976.68574号 拉杜·奥西夫;里卡多·西斯托 1 2000 一种新的密码协议分析知识表示策略。 Zbl 1031.94514号 Cibrario B.,伊凡;卢卡·杜兰特;里卡多·西斯托;阿德里亚诺·瓦伦扎诺 1 2003 使用SPIN验证加密协议的安全属性。 Zbl 1077.68696号 马吉,保罗;里卡多·西斯托 1 2002 正式安全协议模型中数据编码的安全抽象。 Zbl 1322.68070号 阿尔弗雷多·皮隆蒂;里卡多·西斯托 1 2014 在密码协议分析中引入交换和关联运算符。 Zbl 1279.94066号 伊万·西巴里奥·贝托洛蒂;卢卡·杜兰特;里卡多·西斯托;阿德里亚诺·瓦伦扎诺 1 2003 正式安全协议模型中数据编码的安全抽象。 Zbl 1322.68070号 阿尔弗雷多·皮隆蒂;里卡多·西斯托 1 2014 一种新的密码协议分析知识表示策略。 Zbl 1031.94514号 Cibrario B.,伊凡;卢卡·杜兰特;里卡多·西斯托;阿德里亚诺·瓦伦扎诺 1 2003 在密码协议分析中引入交换运算符和结合运算符。 Zbl 1279.94066号 伊万·西巴里奥·贝托洛蒂;卢卡·杜兰特;里卡多·西斯托;阿德里亚诺·瓦伦扎诺 1 2003 使用SPIN验证加密协议的安全属性。 Zbl 1077.68696号 马吉,保罗;里卡多·西斯托 1 2002 在模型检查中使用垃圾收集。 Zbl 0976.68574号 拉杜·奥西夫;里卡多·西斯托 1 2000 将带约束弧的Petri网映射到基本LOTOS行为表达式。 Zbl 1048.68515号 里卡多·西斯托;阿德里亚诺·瓦伦扎诺 2 1995 所有引用出版物 排名前五的出版物 全部的 前5名18位作者引用 2 里卡多·西斯托 1 阿瓦勒,马泰奥 1 伊万·西布拉里奥·贝尔托洛蒂 1 皮耶吉乌塞佩·贝塔萨·科佩特 1 马克·博伊尔 1 让-皮埃尔·考蒂亚 1 皮埃尔·德·萨奎·桑奈斯 1 卢卡·杜兰特 1 马修·德怀尔。 1 约翰·哈特克利夫 1 拉杜·奥西夫 1 蒋长军 1 廖少义 1 阿尔弗雷多·皮隆蒂 1 塔雷克·萨达尼 1 Tan、Li 1 阿德里亚诺·瓦伦扎诺 1 王怀清 3篇连载文章中引用 2 计算的形式方面 1 计算机科学与技术杂志 1 系统设计中的形式化方法 在1个字段中引用 6 计算机科学(68-XX) 按年份列出的引文