编辑配置文件（在新选项卡中打开） 佩德罗·瓦康塞洛斯。 合著者距离 作者ID： 凡士林.pedro-b 发布日期： 佩德罗·瓦康塞洛斯;佩德罗·瓦康塞洛斯。 已编制索引的文档： 10出版物自2004年起 合著者： 4位合著者具有5联合出版物 40位合作作者 全部的 前5名合著者 0 单作者的 5 凯文·哈蒙德 4 马里奥弗洛里多 三 斯特芬·乔斯特 2 雨果·R·西蒙斯。 1 费尔南德斯。 1 I.R.门德斯。 1 Trindade，医学硕士。 1 Marcelo A.Trindade。 系列 三 计算机科学中的数学 1 自动推理杂志 1 分析杂志 领域 5 数值分析（65-XX） 5 计算机科学（68至XX） 2 常微分方程（34-XX） 2 积分方程（45-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用23次17文件 引用人▼ 年份▼ 推导递归、多态和高阶函数程序的成本方程。 Zbl 1108.68356号 佩德罗·瓦康塞洛斯。;凯文·哈蒙德 9 2004 惰性函数语言的基于类型的成本分析。 Zbl 1409.68067号 斯特芬·乔斯特;佩德罗·瓦康塞洛斯;马里奥弗洛里多;凯文·哈蒙德 6 2017 迈向Lanczos的微分问题（tau）方法工具包。 Zbl 1353.65083号 马塞洛·特林达德;J.马托斯。;Vasconselos，P.B。 5 2016 惰性函数语言中基于类型的共递归分配分析。 Zbl 1335.68035号 佩德罗·瓦康塞洛斯;斯特芬·乔斯特;马里奥弗洛里多;凯文·哈蒙德 4 2015 非线性积分微分方程组的谱Lanczosτ方法。 兹比尔1404.65335 Vasconselos，P.B。;J.马托斯。;Trindade，医学硕士。 三 2017 使用交集类型进行高阶多态功能程序的成本分析。 Zbl 1178.68139号 雨果·R·西蒙斯。;凯文·哈蒙德;马里奥弗洛里多;佩德罗·瓦康塞洛斯 2 2007 惰性函数程序动态内存分配的自动摊销分析。 Zbl 1291.68027号 西蒙，雨果;佩德罗·瓦康塞洛斯;马里奥弗洛里多;斯特芬·乔斯特;凯文·哈蒙德 2 2012 使用MAAOR和集总方法进行PageRank计算。 Zbl 1453.65077号 I.R.门德斯。;Vasconselos，P.B。 2 2018 第二类算子方程迭代精化方法的离散化。 Zbl 1193.45008号 德阿尔梅达，F.d。;费尔南德斯，R。;Vasconselos，P.B。 1 2006 在tau方法中处理函数系数。 Zbl 1416.65554号 M·特林达德。;J.马托斯。;Vasconselos，P.B。 1 2018 使用MAAOR和集总方法进行PageRank计算。 Zbl 1453.65077号 I.R.门德斯。;Vasconselos，P.B。 2 2018 在tau方法中处理函数系数。 Zbl 1416.65554号 M·特林达德。;J.马托斯。;Vasconselos，P.B。 1 2018 惰性函数语言的基于类型的成本分析。 Zbl 1409.68067号 斯特芬·乔斯特;佩德罗·瓦斯科塞洛斯;马里奥弗洛里多;凯文·哈蒙德 6 2017 非线性积分微分方程组的谱Lanczosτ方法。 Zbl 1404.65335号 Vasconselos，P.B。;J.马托斯。;Trindade，医学硕士。 三 2017 迈向Lanczos的微分问题（tau）方法工具包。 Zbl 1353.65083号 马塞洛·特林达德;J.马托斯。;瓦斯科塞洛斯，P.B。 5 2016 惰性函数语言中基于类型的共递归分配分析。 Zbl 1335.68035号 佩德罗·瓦康塞洛斯;斯特芬·乔斯特;马里奥弗洛里多;凯文·哈蒙德 4 2015 惰性函数程序动态内存分配的自动摊销分析。 Zbl 1291.68027号 西蒙，雨果;佩德罗·瓦康塞洛斯;马里奥弗洛里多;斯特芬·乔斯特;凯文·哈蒙德 2 2012 使用交集类型进行高阶多态功能程序的成本分析。 Zbl 1178.68139号 雨果·R·西蒙斯。;凯文·哈蒙德;马里奥弗洛里多;佩德罗·瓦康塞洛斯 2 2007 第二类算子方程迭代求精方法的离散化。 Zbl 1193.45008号 d）；阿梅达，F.D。;费尔南德斯，R。;Vasconselos，P.B。 1 2006 推导递归、多态和高阶函数程序的成本方程。 Zbl 1108.68356号 佩德罗·瓦康塞洛斯。;凯文·哈蒙德 9 2004 所有引用出版物 前5名被引用出版物 全部的 前5名被35位作者引用 三 詹·菲利普·霍夫曼 2 艾尔维拉·阿尔伯特 2 萨米尔·根奈姆 2 劳尔·古铁雷斯 2 凯文·哈蒙德 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 斯特芬·乔斯特 2 迪莉娅·凯斯纳 2 马克西米利亚诺·克莱曼 2 洛伦兹·勒特盖布 2 乌默·利卡特 2 佩德罗·洛佩兹·加西亚 2 乔治·莫瑟 2 托比亚斯·尼普科 2 弗洛里安·祖勒格 1 贝尼亚米·阿卡托利 1 桑德拉·阿尔维斯 1 布林科普，霍克 1 诺曼·丹纳 1 马里奥弗洛里多 1 约翰·加拉赫（John P.Gallagher）。 1 圣菲省格拉汉·伦格兰德 1 雷米·海默尔 1 马丁·霍夫曼 1 大卫·M·卡恩。 1 丹尼尔·李卡塔（Daniel R.Licata）。 1 本杰明·利希特曼 1 恩里克·马丁·马汀 1 格雷格·迈克尔森 1 大卫·奥布瓦勒 1 奥哈·什卡拉夫斯卡 1 马克·范·埃克伦 1 罗恩·范·凯斯特伦 1 佩德罗·瓦康塞洛斯。 1 丹尼尔·利马·文图拉 5篇连载文章中引用 2 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 2 函数编程杂志 2 逻辑程序设计理论与实践 1 高阶和符号计算 在2个字段中引用 17 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文