编辑配置文件(在新选项卡中打开) 汉斯·沃夫冈·洛伊德 合著者距离 作者ID: 卢迪尔·汉斯·沃尔夫冈 发布日期: 汉斯·沃夫冈·洛伊德;H.-W.罗伊德。;汉斯·沃尔夫冈·洛伊德 更多。。。较少的 已编制索引的文档: 14出版物自1998年以来 4作为编辑的贡献 合著者: 30位合著者具有18联合出版物 506联合作者 全部的 前5名合著者 0 单作者的 8 菲尔·特林德。 5 凯文·哈蒙德 4 马丁·霍夫曼 三 里卡多·佩纳 三 罗伯特·波顿(Robert F.Pointon)。 2 大卫·阿斯皮纳尔 2 伦纳特·贝林格 2 斯特芬·乔斯特 2 丽塔·勒根 2 阿尔贝托·莫米利亚诺 2 斯蒂芬·普里贝 1 阿卜杜拉·扎因 1 克莱姆·贝克·芬奇 1 科尔·默里 1 Faugère、Jean-Charles 1 古德蒙德·格罗夫 1 Susumu横口 1 彼得·霍恩。 1 乌尔里克·克鲁西克 1 Olexandr科诺瓦洛夫 1 马丁·兰格 1 斯蒂芬·林顿(Stephen A.Linton)。 1 迈克尔森,G.J。 1 格雷格·迈克尔森 1 迈克尔·莫纳根。 1 佩顿·琼斯(Payton Jones,S.L.)。 1 阿拉巴马州雷邦。J。 1 丹·鲁泽蒙德 1 费尔南多·鲁比奥 1 诺曼·斯凯夫 全部的 前5名系列 2 理论计算机科学 2 函数编程杂志 1 符号计算杂志 1 高阶和符号计算 1 计算机语言、系统和结构 1 计算机科学课堂讲稿 领域 18 计算机科学(68至XX) 4 总体主题;集合(00-XX) 三 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用46中的次44文件 引用人▼ 年份▼ 算法+策略=并行。 Zbl 0933.68033号 P.W.特林德。;K·哈蒙德。;H.-W.罗伊德。;佩顿·琼斯(Payton Jones,S.L.)。 14 1998 高阶程序定量资源使用的静态确定。 Zbl 1312.68039号 斯特芬·乔斯特;凯文·哈蒙德;汉斯·沃夫冈·洛伊德;马丁·霍夫曼 13 2010 资源的程序逻辑。 Zbl 1133.68010号 大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺 11 2007 并行和分布式Haskells。 Zbl 1037.68026号 P.W.特林德。;H.-W.罗伊德。;波因顿,R.F。 2 2002 格拉斯哥分布式Haskell的设计与实现。 Zbl 0977.68764号 波因顿,R.F。;P.W.特林德。;H.-W.罗伊德。 2 2001 用于资源验证的程序逻辑。 Zbl 1099.68584号 大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺 2 2004 比较并行函数语言:编程和性能。 Zbl 1074.68541号 H.-W.罗伊德。;F.鲁比奥。;斯凯夫,N。;哈蒙德,K。;Horiguchi,S。;美国克鲁西克。;罗根。;迈克尔森,G.J。;佩尼亚,R。;普里贝,S。;阿拉巴马州雷邦。J。;P.W.特林德。 1 2003 使用SCSCP轻松组合符号计算软件:用于符号计算的新Lingua Franca。 Zbl 1253.68371号 林顿,S。;K·哈蒙德。;科诺瓦洛夫,A。;C.布朗。;P.W.特林德。;H.-W.罗伊德。;霍恩,P。;D.鲁泽蒙德。 1 2013 使用SCSCP轻松组合符号计算软件:用于符号计算的新Lingua Franca。 Zbl 1253.68371号 林顿,S。;K·哈蒙德。;科诺瓦洛夫,A。;C.布朗。;P.W.特林德。;H.-W.罗伊德。;霍恩,P。;D.鲁泽蒙德。 1 2013 高阶程序定量资源使用的静态确定。 Zbl 1312.68039号 斯特芬·乔斯特;凯文·哈蒙德;汉斯·沃夫冈·洛伊德;马丁·霍夫曼 13 2010 资源的程序逻辑。 Zbl 1133.68010号 大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺 11 2007 用于资源验证的程序逻辑。 Zbl 1099.68584号 大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺 2 2004 比较并行函数语言:编程和性能。 Zbl 1074.68541号 H.-W.罗伊德。;F.鲁比奥。;斯凯夫,N。;K·哈蒙德。;Horiguchi,S。;Klusik,美国。;罗根。;迈克尔森,G.J。;佩尼亚,R。;普里贝,S。;Rebón,Á。J。;P.W.特林德。 1 2003 并行和分布式Haskells。 Zbl 1037.68026号 P.W.特林德。;H.-W.罗伊德。;波因顿,R.F。 2 2002 格拉斯哥分布式Haskell的设计与实现。 Zbl 0977.68764号 波因顿,R.F。;P.W.特林德。;H.-W.罗伊德。 2 2001 算法+策略=并行。 Zbl 0933.68033号 P.W.特林德。;K·哈蒙德。;H.-W.罗伊德。;佩顿·琼斯(Payton Jones,S.L.)。 14 1998 所有引用出版物 前5名被引用出版物 全部的 前5名90位作者引用 三 伦纳特·贝林格 三 马丁·霍夫曼 三 莱纳斯·普拉斯梅耶 三 雷尼,迈克 三 马尔科·范·埃克伦 2 彼得·阿克滕 2 大卫·阿斯皮纳尔 2 帕特里克·贝洛特 2 亚瑟·查古埃罗 2 乌戈·达尔拉戈 2 Fluet,Matthew T。 2 亚历克西斯·盖塞伦 2 古德蒙德·格罗夫 2 詹·菲利普·霍夫曼 2 托马斯·霍斯特迈尔 2 斯特芬·乔斯特 2 彼得·科普曼 2 汉斯·沃夫冈·洛伊德 2 丽塔·勒根 2 黑山,曼努埃尔 2 里卡多·佩纳 2 约翰·H·Reppy。 2 克拉拉·塞古拉 2 亚当·肖 1 阿卡尔(Umut A.Acar)。 1 阿尔维斯,桑德拉 1 Bergström,Lars B。 1 乔斯特·贝托尔德 1 盖伊·E·布莱洛赫。 1 纪尧姆·邦芬特 1 乔根·布兰特 1 大卫·卡切拉 1 诺曼·丹纳 1 小de Carvalho Francisco Heron 1 马尔滕·德·莫尔 1 迪特尔,M。 1 罗伯特·多金斯 1 马里奥弗洛里多 1 菲利普·吉本斯。 1 伊曼纽尔·海因里 1 凯文·哈蒙德 1 迈克尔·赖赫哈特·汉森 1 罗伯特·哈珀 1 伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯 1 阿奎那·霍伯 1 佐尔坦·霍瓦思 1 阿诺·乔宾 1 帕特里夏·约翰 1 莱因哈德·卡勒 1 罗迪·克尔斯滕 1 迪莉娅·凯斯纳 1 乌尔夫·莱斯 1 洛伦茨,Leutgeb 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 本杰明·利希特曼 1 拉斐尔·杜埃尔·林斯 1 帕特里克·梅尔 1 Jean-Yves玛丽恩 1 格雷格·迈克尔森 1 曼弗雷德·米米奈尔 1 宫本雅司 1 阿尔贝托·莫米利亚诺 1 马可·T·莫拉赞。 1 乔治·莫瑟 1 Kenji Nakahira 1 大卫·奥布瓦勒 1 伊莎贝尔·奥塔维姆 1 尤兰达奥尔特加购物中心 1 保罗·帕里森·托尔丁 1 巴甫洛娃,玛丽埃拉 1 罗曼·佩乔 1 芭芭拉·佩蒂特 1 潘安敦 1 弗朗索瓦·波蒂埃 1 沃尔夫冈·雷西格 1 安藤萨巴斯 1 大卫·萨贝尔 1 曼弗雷德·施密特·沙乌 1 帕斯卡尔·塞拉伦斯。 1 帕斯卡·索丁 1 丹尼尔·斯波恩豪威尔 1 伊恩·斯塔克 1 塔尔莫乌斯塔卢 1 伯纳德·范加斯特尔 1 佩德罗·瓦康塞洛斯。 1 丹尼尔·利马·文图拉 1 Janis Voigtlander公司 1 伊恩·泽尼 1 维克托里亚州兹索克 1 弗洛里安·祖勒格 全部的 前5名11篇连载文章中引用 7 函数编程杂志 5 MSCS公司。计算机科学中的数学结构 4 高阶和符号计算 三 理论计算机科学 2 信息与计算 2 自动推理杂志 1 计算机程序设计科学 1 数学和计算机建模 1 应用和计算谐波分析 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 43 计算机科学(68至XX) 16 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 欧氏空间的调和分析(42至XX) 按年份列出的引文