编辑配置文件（在新选项卡中打开） 菲利普·奎因内克 合著者距离 作者ID: 奎因内克·菲利佩 发布日期： 菲利普·奎因内克;菲利普·奎因内克 编入索引的文档： 7出版物自2016年以来 合著者： 5位合著者具有7联合出版物 35位合作作者 合著者 0 单作者的 7 奥雷利·胡罗 4 亚当·什米 2 佛罗伦萨雪佛龙 1 阿曼多·卡斯塔涅达 1 罗伊，马蒂厄 系列 1 信息与计算 1 计算的形式方面 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 领域 7 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物被引用13中的次9文件 引用人▼ 年份▼ 异步通信的多样性。 兹比尔1345.68022 佛罗伦萨雪佛龙;奥雷利·胡罗;Quéinnec，菲利普 7 2016 用于验证通用分布式系统的模块化框架。 Zbl 1435.68191号 佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 2 2019 通过轮次描述异步消息传递模型。 Zbl 07561446号 亚当·什米;奥雷利·胡罗;菲利普·奎因内克 1 2019 异步消息传递模型的听说谓词的特征描述和推导。 Zbl 07407798号 亚当·什米;奥雷利·胡罗;菲利普·奎因内克 1 2021 超越因果关系的异步消息排序。 Zbl 1487.68116号 亚当·什米;奥雷利·胡罗;菲利普·奎因内克 1 2018 从基本行为模式派生听说谓词。 Zbl 1511.68031号 亚当·什米;奥雷利·胡罗;菲利普·奎因内克 1 2020 异步消息传递模型的听说谓词的特征描述和推导。 Zbl 07407798号 亚当·什米;奥雷利·胡罗;菲利普·奎因内克 1 2021 从基本行为模式派生听说谓词。 兹比尔1511.68031 亚当·什米;奥雷利·胡罗;菲利普·奎内克 1 2020 用于验证通用分布式系统的模块化框架。 Zbl 1435.68191号 弗洛伦特·切弗鲁;奥雷利·胡罗;菲利普·奎因内克 2 2019 通过轮次描述异步消息传递模型。 Zbl 07561446号 亚当·什米;奥雷利·胡罗;菲利普·奎因内克 1 2019 超越因果关系的异步消息排序。 Zbl 1487.68116号 亚当·什米;奥雷利·胡罗;菲利普·奎因内克 1 2018 异步通信的多样性。 Zbl 1345.68022号 佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 7 2016 所有引用出版物 前5名被引用出版物 全部的 前5名15位作者引用 5 奥雷利·胡罗 5 菲利普·奎因内克 三 亚当·什米 2 佛罗伦萨雪佛龙 1 奥拉夫·邦特 1 辛齐亚·迪·朱斯托 1 洛伊克·杰梅里·吉佐安 1 李，贾 1 雷、秦 1 弗雷德里克·卢勒格 1 艾蒂安·洛兹 1 费迪南德·佩珀 1 Louis C.M.范古尔。 1 Tim A.C.Willemse。 1 徐文丽 4篇连载文章中引用 三 程序设计中的逻辑和代数方法杂志 1 信息科学 1 计算的形式方面 1 计算机科学中的逻辑方法 在4个字段中引用 9 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数理逻辑与基础（03-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文