编辑配置文件(在新选项卡中打开) 佛罗伦萨雪佛龙 合著者距离 作者ID: 佛罗伦萨雪佛龙 发布日期: 佛罗伦萨雪佛龙 已编制索引的文档: 2出版物自2016年起 合著者: 2合著者具有2联合出版物 4位合著者 合著者 0 单作者的 2 奥雷利·胡罗 2 菲利普·奎因内克 系列 1 计算的形式方面 1 程序设计中的逻辑和代数方法杂志 字段 2 计算机科学(68-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 2出版物有被引用9中的次7文件 引用人▼ 年份▼ 异步通信的多样性。 Zbl 1345.68022号 佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 7 2016 用于验证通用分布式系统的模块化框架。 Zbl 1435.68191号 佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 2 2019 用于验证通用分布式系统的模块化框架。 Zbl 1435.68191号 佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 2 2019 异步通信的多样性。 Zbl 1345.68022号 佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 7 2016 所有引用出版物 排名前五的出版物 全部的 前5名15位作者引用 三 奥雷利·胡罗 三 菲利普·奎因内克 2 佛罗伦萨雪佛龙 1 奥拉夫·邦特 1 辛齐亚·迪·朱斯托 1 洛伊克·杰梅里·吉佐安 1 李,贾 1 雷、秦 1 弗雷德里克·卢勒格 1 艾蒂安·洛兹 1 费迪南德·佩珀 1 亚当·什米 1 Louis C.M.范古尔。 1 Tim A.C.Willemse。 1 徐文丽 3篇连载文章中引用 三 程序设计中的逻辑和代数方法杂志 1 信息科学 1 计算的形式方面 在3个字段中引用 7 计算机科学(68-XX) 1 总体主题;集合(00-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文