编辑配置文件(在新选项卡中打开) 巴勃罗·布伊拉斯 合著者距离 作者ID: 布伊拉斯·巴勃罗 发布日期: 巴勃罗·布伊拉斯 编入索引的文档: 6出版物自2010年以来 合著者: 16位合著者具有6联合出版物 293位联合作者 全部的 前5名合著者 0 单作者的 三 亚历杭德罗·拉索 1 吉尔·巴特 1 亚历杭德罗·迪亚斯·卡洛 1 罗伯特·瓜夏莱 1 瑞典雅各布斯 1 毛罗·贾斯克利奥夫 1 塞萨尔·库茨 1 阿米特·利维 1 安德里亚斯·林德纳 1 大卫·马齐埃尔 1 约翰·米切尔(John C.Mitchell)。 1 内马蒂,哈米德 1 德伊安·斯特凡 1 马可·瓦塞纳 1 Vytiniotis,迪米特里奥斯 1 韦伊,卢卡斯 系列 领域 5 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用6中的次6文件 引用人▼ 年份▼ HLIO:在Haskell中混合静态和动态类型以进行信息流控制。 Zbl 1360.68316号 巴勃罗·布伊拉斯;Vytiniotis,迪米特里奥斯;亚历杭德罗·拉索 三 2015 解决并发信息流系统中的隐蔽终止和定时通道。 Zbl 1291.68057号 德伊安·斯特凡;亚历杭德罗·拉索;巴勃罗·布伊拉斯;阿米特·利维;约翰·米切尔(John C.Mitchell)。;大卫·马齐埃雷斯 2 2012 代数(λ)演算中通过强正规化与重写的汇合。 Zbl 1469.03038号 巴勃罗·布伊拉斯;亚历杭德罗·迪亚斯·卡洛;毛罗·贾斯克利奥夫 1 2012 HLIO:在Haskell中混合静态和动态类型以进行信息流控制。 Zbl 1360.68316号 巴勃罗·布伊拉斯;Vytiniotis,迪米特里奥斯;亚历杭德罗·拉索 三 2015 解决并发信息流系统中的隐蔽终止和定时通道。 Zbl 1291.68057号 德伊安·斯特凡;亚历杭德罗·拉索;巴勃罗·布伊拉斯;阿米特·利维;约翰·米切尔(John C.Mitchell)。;大卫·马齐埃雷斯 2 2012 代数(λ)演算中通过强正规化与重写的汇合。 Zbl 1469.03038号 巴勃罗·布伊拉斯;亚历杭德罗·迪亚斯·卡洛;毛罗·贾斯克利奥夫 1 2012 所有引用出版物 前5名被引用出版物 全部的 前5名31位作者引用 1 哈米达桑·艾哈迈德。 1 沃尔夫冈·阿伦特 1 巴勃罗·阿里吉 1 埃齐奥·巴托西 1 多梅尼科·比安库利 1 克里斯蒂安·科伦坡 1 亚历杭德罗·迪亚斯·卡洛 1 理查德·艾森伯格。 1 伊利耶斯·法尔科内 1 Mehran S·法拉。 1 阿德里安·弗兰卡兰扎 1 伊朗,扎伊纳布 1 克里斯蒂安·克里斯蒂奇 1 Lourenço,Joáo M。 1 大卫·马齐埃尔 1 约翰·米切尔(John C.Mitchell)。 1 德扬·尼科维奇 1 Owe、Olaf 1 戈登·佩斯。 1 托克塔姆,拉梅扎尼法尔卡尼 1 若泽·鲁菲诺 1 亚历杭德罗·拉索 1 塞萨尔·桑切斯 1 杰拉尔多·施奈德 1 辛戈尔斯,朱利安 1 德伊安·斯特凡 1 Tokas、Shukun 1 德米特里·特拉泰尔 1 贝诺缬氨酸 1 斯蒂芬妮·威里奇 1 亚历山大·韦斯 5篇连载文章中引用 1 信息与计算 1 系统设计中的形式化方法 1 函数编程杂志 1 计算机语言、系统和结构 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 6 计算机科学(68至XX) 按年份列出的引文