编辑配置文件(在新选项卡中打开) 费雷拉,Francisco H.G。 合著者距离 作者ID: 费雷拉·弗朗西斯科-h-g 发布日期: 弗朗西斯科·费雷拉;费雷拉,Francisco H.G。 已编制索引的文档: 4出版物自2008年起 合著者: 7合著者具有4联合出版物 198位合作作者 全部的 前5名合著者 0 单作者的 2 碧姬·品特卡 1 安德鲁·凯夫 1 菲利普·莱特(Phillippe G.Leite)。 1 Julie A.利奇菲尔德。 1 帕南加登,普拉卡什 1 吉田、Nobuko 1 周方毅 系列 1 宏观经济动态 领域 三 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用10中的次10文件 引用人▼ 年份▼ 公平的反应式编程。 Zbl 1284.68127号 安德鲁·凯夫;弗朗西斯科·费雷拉;帕南加登,普拉卡什;碧姬·品特卡 6 2014 使用带有一级绑定器的语法的程序。 Zbl 1485.68064号 弗朗西斯科·费雷拉;碧姬·品特卡 三 2017 通信有限状态机和多方会话类型的可扩展工具链。 Zbl 1487.68168号 吉田、Nobuko;周方毅;弗朗西斯科·费雷拉 1 2021 通信有限状态机和多方会话类型的可扩展工具链。 Zbl 1487.68168号 吉田、Nobuko;周方毅;弗朗西斯科·费雷拉 1 2021 使用带有一级绑定器的语法的程序。 Zbl 1485.68064号 弗朗西斯科·费雷拉;碧姬·品特卡 三 2017 公平的反应式编程。 Zbl 1284.68127号 凯夫,安德鲁;弗朗西斯科·费雷拉;帕南加登,普拉卡什;碧姬·品特卡 6 2014 所有引用的出版物 前5名被引用出版物 全部的 前5名11位作者引用 2 保拉·加布里埃拉·塞维利 1 达内尔·阿赫曼 1 帕特里克·巴尔 1 大卫·巴兹勒 1 洛伦佐·盖里 1 克里斯蒂安·乌尔达尔·格劳伦德 1 吉勒姆·贾伯 1 内尔·克里希纳斯瓦米 1 科林·里巴 1 Dmitrij,Szamozvancev 1 莫里斯·比克。 3篇连载文章中引用 2 自动推理杂志 1 函数编程杂志 1 计算机科学中的逻辑方法 在2个字段中引用 10 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的引文