编辑配置文件(在新选项卡中打开) 凯文·哈蒙德 合著者距离 作者ID: 哈蒙德·凯文 发布日期: 凯文·哈蒙德;K·哈蒙德。 外部链接: ORCID公司 编入索引的文档: 23出版物自1988年起 3作为编辑的贡献 合著者: 26位合著者具有16联合出版物 267位合作作者 全部的 前5名合著者 3 单作者的 5 汉斯·沃尔夫冈·洛伊德尔 5 菲尔·特林德。 5 佩德罗·瓦康塞洛斯。 4 马里奥弗洛里多 4 斯特芬乔斯特 3 埃德温·布雷迪(Edwin C.Brady)。 2 彼得·霍恩。 2 奥列克桑德尔·科诺瓦洛夫 2 斯蒂芬·A·林顿。 2 格雷格·迈克尔森 2 鲁泽蒙德,丹 2 雨果·R·西蒙斯。 1 史蒂文·阿德里安森 1 Al Zain,A.D。 1 阿卜杜拉·扎因 1 克莱姆·贝克·芬奇 1 米哈伊尔·巴拉什 1 亚历山大·E·I·布朗利。 1 大卫·卡斯特罗 1 詹姆斯·查普曼(James T.E.Chapman)。 1 尼尔·J·戴维斯。 1 巴勃罗·加西亚·桑切斯 1 塞耶德·侯赛因·海里 1 马格尼·哈夫雷恩 1 克里斯托夫·阿尔敏·赫尔曼 1 马丁·霍夫曼 1 Susumu横口 1 科林·约翰逊。 1 艾哈迈德·凯里 1 乌尔里克·克鲁西克 1 福斯蒂纳·克劳伊克 1 丽塔·勒根 1 胡安·朱利安(Juan Julián Merelo) 1 迈克尔森,G.J。 1 莱安德罗·L·明库。 1 约翰·T·奥唐纳。 1 恩德·奥兹坎 1 吉赛尔·帕帕。 1 佩顿·琼斯(Payton Jones,S.L.)。 1 里卡多·佩纳 1 斯蒂芬·普里贝 1 阿拉巴马州雷邦。J。 1 费尔南多·鲁比奥 1 帕特里克·M·桑森。 1 萨卡,苏斯米特 1 诺曼·斯凯夫 1 肯尼思·索伦森 1 杰里·斯旺 1 彼得·汤普森(Peter W.Thompson)。 1 戴维·特纳(David N.Turner)。 1 彼得·范罗伊 1 沃·斯特凡 1 马库斯·瓦格纳 1 大卫·R·怀特。 全部的 前5名系列 2 高阶和符号计算 1 生物特征 1 符号计算杂志 1 自动推理杂志 1 欧洲运筹学杂志 1 函数编程杂志 1 计算机基础理论 领域 24 计算机科学(68至XX) 3 总体主题;集合(00-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用51中的次38文件 引用人▼ 年份▼ 高阶程序定量资源使用的静态确定。 Zbl 1312.68039号 斯特芬乔斯特;凯文·哈蒙德;汉斯·沃尔夫冈·洛伊德尔;马丁·霍夫曼 13 2010 算法+策略=并行。 Zbl 0933.68033号 P.W.特林德。;哈蒙德,K。;H.-W.罗伊德。;佩顿·琼斯(Payton Jones,S.L.)。 12 1998 推导递归、多态和高阶函数程序的成本方程。 Zbl 1108.68356号 佩德罗·瓦康塞洛斯。;凯文·哈蒙德 8 2004 对数伽马残差的秩回归。 Zbl 0653.62020号 史密斯,S.P。;哈蒙德,K。 6 1988 惰性函数语言的基于类型的成本分析。 Zbl 1409.68067号 斯特芬乔斯特;佩德罗·瓦康塞洛斯;马里奥弗洛里多;凯文·哈蒙德 6 2017 惰性函数语言中基于类型的共递归分配分析。 Zbl 1335.68035号 佩德罗·瓦康塞洛斯;斯特芬乔斯特;马里奥弗洛里多;凯文·哈蒙德 4 2015 并行函数编程的研究方向。 Zbl 0940.68022号 2 1999 休谟的动态特性:一种基于功能的并发语言,具有有限的时间和空间行为。 Zbl 0987.68906号 凯文·哈蒙德 2 2001 惰性函数程序动态内存分配的自动摊销分析。 Zbl 1291.68027号 西蒙,雨果;佩德罗·瓦康塞洛斯;马里奥弗洛里多;斯特芬乔斯特;凯文·哈蒙德 2 2012 “大范围”的元启发式。 Zbl 1487.90651号 杰里·斯旺;史蒂文·阿德里安森;亚历山大·E·I·布朗利。;凯文·哈蒙德;科林·约翰逊。;艾哈迈德·凯里;福斯蒂纳·克劳伊克;梅雷洛,J.J。;莱安德罗·L·明库。;恩德·奥兹坎;吉赛尔·巴帕。;巴勃罗·加西亚·桑切斯;肯尼思·索伦森;沃·斯特凡;马库斯·瓦格纳;大卫·R·怀特。 2 2022 使用交集类型进行高阶多态功能程序的成本分析。 Zbl 1178.68139号 雨果·R·西蒙斯。;凯文·哈蒙德;马里奥弗洛里多;佩德罗·瓦康塞洛斯 2 2007 农场、管道、溪流和重新造林:利用类型和植物形态对结构化并行过程进行推理。 Zbl 1361.68061号 大卫·卡斯特罗;凯文·哈蒙德;萨卡,苏斯米特 1 2016 比较并行函数语言:编程和性能。 Zbl 1074.68541号 H.-W.罗伊德。;F.鲁比奥。;Scaife,N。;K·哈蒙德。;Horiguchi,S。;美国克鲁西克。;罗根。;迈克尔森,G.J。;佩尼亚,R。;普里贝,S。;Rebón,Á。J。;P.W.特林德。 1 2003 使用SCSCP轻松组合符号计算软件:用于符号计算的新Lingua Franca。 兹比尔1253.68371 林顿,S。;K·哈蒙德。;科诺瓦洛夫,A。;C.布朗。;P.W.特林德。;H.-W.罗伊德。;霍恩,P。;D.鲁泽蒙德。 1 2013 利用纯函数编程获得有限资源行为:休谟方法。 Zbl 1156.68332号 凯文·哈蒙德 1 2006 “大范围”的元启发式。 Zbl 1487.90651号 杰里·斯旺;史蒂文·阿德里安森;亚历山大·E·I·布朗利。;凯文·哈蒙德;科林·约翰逊。;艾哈迈德·凯里;福斯蒂纳·克劳伊克;梅雷洛,J.J。;莱安德罗·L·明库。;恩德·奥兹坎;吉赛尔·巴帕。;巴勃罗·加西亚·桑切斯;肯尼思·索伦森;沃·斯特凡;马库斯·瓦格纳;大卫·R·怀特。 2 2022 惰性函数语言的基于类型的成本分析。 Zbl 1409.68067号 斯特芬乔斯特;佩德罗·瓦康塞洛斯;马里奥弗洛里多;凯文·哈蒙德 6 2017 农场、管道、溪流和重新造林:关于使用类型和亚纯性的结构化并行过程的推理。 Zbl 1361.68061号 大卫·卡斯特罗;凯文·哈蒙德;萨卡,苏斯米特 1 2016 惰性函数语言中基于类型的共递归分配分析。 Zbl 1335.68035号 佩德罗·瓦康塞洛斯;斯特芬乔斯特;马里奥弗洛里多;凯文·哈蒙德 4 2015 使用SCSCP轻松组合符号计算软件:用于符号计算的新Lingua Franca。 Zbl 1253.68371号 林顿,S。;K·哈蒙德。;科诺瓦洛夫,A。;C.布朗。;P.W.特林德。;H.-W.罗伊德。;霍恩,P。;D.鲁泽蒙德。 1 2013 惰性函数程序动态内存分配的自动摊销分析。 Zbl 1291.68027号 雨果,西蒙斯;佩德罗·瓦康塞洛斯;马里奥弗洛里多;斯特芬乔斯特;凯文·哈蒙德 2 2012 高阶程序定量资源使用的静态确定。 兹比尔1312.68039 斯特芬乔斯特;凯文·哈蒙德;汉斯·沃尔夫冈·洛伊德尔;马丁·霍夫曼 13 2010 使用交集类型进行高阶多态功能程序的成本分析。 Zbl 1178.68139号 雨果·R·西蒙斯。;凯文·哈蒙德;马里奥弗洛里多;佩德罗·瓦康塞洛斯 2 2007 利用纯函数编程来获得有界资源行为:休姆方法。 Zbl 1156.68332号 凯文·哈蒙德 1 2006 推导递归、多态和高阶函数程序的成本方程。 Zbl 1108.68356号 佩德罗·瓦康塞洛斯。;凯文·哈蒙德 8 2004 比较并行函数语言:编程和性能。 Zbl 1074.68541号 H.-W.罗伊德。;F.鲁比奥。;Scaife,N。;K·哈蒙德。;Horiguchi,S。;美国克鲁西克。;罗根。;迈克尔森,G.J。;佩尼亚,R。;普里贝,S。;阿拉巴马州雷邦。J。;P.W.特林德。 1 2003 休谟的动态特性:一种基于功能的并发语言,具有有限的时间和空间行为。 兹伯利0987.68906 凯文·哈蒙德 2 2001 并行函数编程的研究方向。 Zbl 0940.68022号 2 1999 算法+策略=并行。 Zbl 0933.68033号 P.W.特林德。;K·哈蒙德。;H.-W.罗伊德。;佩顿·琼斯(Payton Jones,S.L.)。 12 1998 对数伽马残差的秩回归。 Zbl 0653.62020号 史密斯,S.P。;K·哈蒙德。 6 1988 所有引用出版物 前5名被引用出版物 全部的 前5名90位作者引用 3 詹·菲利普·霍夫曼 3 雷尼,迈克 3 马克·范·埃克伦 2 艾尔维拉·阿尔伯特 2 帕特里克·贝洛特 2 乌戈·达尔拉戈 2 Fluet,Matthew T。 2 萨米尔·根奈姆 2 亚历克西斯·盖塞伦 2 劳尔·古铁雷斯 2 凯文·哈蒙德 2 Horstmeyer,托马斯 2 斯特芬乔斯特 2 迪莉娅·凯斯纳 2 洛伦兹·勒特盖布 2 丽塔·勒根 2 格雷格·迈克尔森 2 乔治·莫瑟 2 托比亚斯·尼普科 2 约翰·H·Reppy。 2 亚当·肖 2 弗洛里安·祖勒格 1 阿卡尔(Umut A.Acar)。 1 贝尼亚米·阿卡托利 1 彼得·阿奇顿 1 史蒂文·阿德里安森 1 桑德拉·阿尔维斯 1 Bergström,Lars B。 1 乔斯特·伯特霍尔德 1 盖伊·E·布莱洛赫。 1 布林科普,豪克 1 亚历山大·E·I·布朗利。 1 亚瑟·查古埃罗 1 诺曼·丹纳 1 马尔滕岛德莫尔 1 迪特尔,M。 1 马里奥弗洛里多 1 约翰·加拉赫(John P.Gallagher)。 1 巴勃罗·加西亚·桑切斯 1 菲利普·吉本斯。 1 圣菲省格拉汉·伦格兰德 1 古德蒙德·格罗夫 1 雷米·海默尔 1 埃马纽埃尔·海恩里 1 罗伯特·哈珀 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯 1 马丁·霍夫曼 1 帕特里夏·约翰 1 科林·约翰逊。 1 大卫·M·卡恩。 1 艾哈迈德·凯里 1 马克西米利亚诺·克莱门 1 彼得·科普曼 1 福斯蒂纳·克劳伊克 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 本杰明·利希特曼 1 乌默·利卡特 1 佩德罗·洛佩兹·加西亚 1 恩里克·马丁·马汀 1 胡安·朱利安(Juan Julián Merelo) 1 曼弗雷德·米尼米尔 1 莱安德罗·L·明库。 1 宫本雅司 1 黑山,曼努埃尔 1 马可·T·莫拉赞。 1 Kenji Nakahira 1 大卫·奥布瓦勒 1 尤兰达奥尔特加购物中心 1 恩德·奥兹坎 1 吉赛尔·帕帕。 1 罗曼·佩乔 1 里卡多·佩纳 1 芭芭拉·佩蒂特 1 莱纳斯·普拉斯梅耶 1 大卫·萨贝尔 1 Schmidt Schauß,曼弗雷德 1 克拉拉·塞古拉 1 奥哈·什卡拉夫斯卡 1 肯尼思·索伦森 1 丹尼尔·斯潘霍尔 1 杰里·斯旺 1 罗恩·范凯斯特伦 1 佩德罗·瓦康塞洛斯。 1 丹尼尔·利马·文图拉 1 Janis Voigtlander公司 1 沃·斯特凡 1 马库斯·瓦格纳 1 大卫·R·怀特。 1 伊恩·泽尼 全部的 前5名10篇连载文章中引用 7 函数编程杂志 5 高阶和符号计算 4 MSCS公司。计算机科学中的数学结构 2 理论计算机科学 2 信息与计算 2 自动推理杂志 1 计算机程序设计科学 1 欧洲运筹学杂志 1 应用和计算谐波分析 1 逻辑程序设计理论与实践 在5个字段中引用 36 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 欧氏空间的调和分析(42-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文