编辑配置文件（在新选项卡中打开） 斯特芬·乔斯特 合著者距离 作者ID: 乔斯特芬 发布日期： 斯特芬·乔斯特 编入索引的文档： 9出版物自2003年起 合著者： 8位合著者具有9联合出版物 121位Co-Co作者 全部的 前5名合著者 0 单作者的 4 凯文·哈蒙德 4 马丁·霍夫曼 三 马里奥弗洛里多 三 佩德罗·瓦康塞洛斯。 2 汉斯·沃夫冈·洛伊德 1 萨宾·鲍尔 1 詹·菲利普·霍夫曼 1 雨果·R·西蒙斯。 系列 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 领域 9 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物被引用78中的次46文件 引用人▼ 年份▼ 一阶函数程序堆空间使用的静态预测。 Zbl 1321.68180号 马丁·霍夫曼;斯特芬·乔斯特 39 2003 高阶程序的定量资源使用的静态确定。 Zbl 1312.68039号 斯特芬·乔斯特;凯文·哈蒙德;汉斯·沃夫冈·洛伊德;马丁·霍夫曼 13 2010 基于类型的摊销堆空间分析。 Zbl 1178.68143号 马丁·霍夫曼;斯特芬·乔斯特 11 2006 惰性函数语言的基于类型的成本分析。 Zbl 1409.68067号 斯特芬·乔斯特;佩德罗·瓦康塞洛斯;马里奥弗洛里多;凯文·哈蒙德 6 2017 惰性函数语言中基于类型的共递归分配分析。 Zbl 1335.68035号 佩德罗·瓦康塞洛斯;斯特芬·乔斯特;马里奥弗洛里多;凯文·哈蒙德 4 2015 无限树上的可判定不等式。 Zbl 1415.68059号 萨宾·鲍尔;斯特芬·乔斯特;马丁·霍夫曼 三 2018 惰性函数程序动态内存分配的自动摊销分析。 Zbl 1291.68027号 雨果，西蒙斯;佩德罗·瓦康塞洛斯;马里奥弗洛里多;斯特芬·乔斯特;凯文·哈蒙德 2 2012 无限树上的可判定不等式。 Zbl 1415.68059号 萨宾·鲍尔;斯特芬·乔斯特;马丁·霍夫曼 三 2018 惰性函数语言的基于类型的成本分析。 Zbl 1409.68067号 斯特芬·乔斯特;佩德罗·瓦康塞洛斯;马里奥弗洛里多;凯文·哈蒙德 6 2017 惰性函数语言中基于类型的共递归分配分析。 Zbl 1335.68035号 佩德罗·瓦斯科塞洛斯;斯特芬·乔斯特;马里奥弗洛里多;凯文·哈蒙德 4 2015 惰性函数程序动态内存分配的自动摊销分析。 Zbl 1291.68027号 雨果，西蒙斯;佩德罗·瓦康塞洛斯;马里奥弗洛里多;斯特芬·乔斯特;凯文·哈蒙德 2 2012 高阶程序定量资源使用的静态确定。 Zbl 1312.68039号 斯特芬·乔斯特;凯文·哈蒙德;汉斯·沃夫冈·洛伊德;马丁·霍夫曼 13 2010 基于类型的摊销堆空间分析。 Zbl 1178.68143号 马丁·霍夫曼;斯特芬·乔斯特 11 2006 一阶函数程序堆空间使用的静态预测。 Zbl 1321.68180号 马丁·霍夫曼;斯特芬·乔斯特 39 2003 所有引用出版物 前5名被引用出版物 全部的 前5名84位作者引用 6 马丁·霍夫曼 5 帕特里克·贝洛特 4 艾尔维拉·阿尔伯特 4 萨米尔·根奈姆 4 詹·菲利普·霍夫曼 三 普里阿雷纳斯 三 亚瑟·查古埃罗 三 亚历克西斯·盖塞伦 三 里卡多·佩纳 三 德国普埃布拉 2 大卫·阿斯皮纳尔 2 伦纳特·贝林格 2 乌戈·达尔拉戈 2 达格·霍夫兰 2 斯特芬·乔斯特 2 迪莉娅·凯斯纳 2 洛伦兹·勒特盖布 2 黑山，曼努埃尔 2 乔治·莫瑟 2 托比亚斯·尼普科 2 弗朗索瓦·波蒂埃 2 克拉拉·塞古拉 2 弗洛里安·祖勒格 1 阿卡尔（Umut A.Acar）。 1 贝尼亚米·阿卡托利 1 彼得·阿奇顿 1 桑德拉·阿尔维斯 1 Attrapadung、Nuttapong 1 佛朗哥·巴巴内拉 1 马克·贝泽姆 1 布林科普，豪克 1 米歇尔·布格列西 1 丹·杜赫 1 诺曼·丹纳 1 德迪奥斯，哈维尔 1 Dezani Ciancaglini，马里亚焦拉 1 多米尼克·杜瓦尔 1 瑞希德·埃哈希德 1 塞尔达尔·埃尔巴图尔 1 丹尼尔·费尔蒂 1 费彻，伯克 1 罗伯特·布鲁斯·芬德勒 1 马里奥弗洛里多 1 罗伯特·格拉博夫斯基 1 圣菲省格拉汉·伦格兰德 1 劳尔·古铁雷斯 1 伊曼纽尔·海因里 1 凯文·哈蒙德 1 花冈、果一郎 1 洪丹凡 1 斯维特拉纳·雅克西奇 1 大卫·M·卡恩。 1 米查尔·科内奇 1 皮特·库普曼 1 丹尼尔·李卡塔（Daniel R.Licata）。 1 本杰明·利希特曼 1 汉斯·沃夫冈·洛伊德 1 恩里克·马丁·马汀 1 杰·麦卡锡（Jay A.McCarthy）。 1 阿尔贝托·莫米利亚诺 1 马可·T·莫拉赞。 1 新，Max S。 1 Nguyen、Ngoc-Khai 1 大卫·奥布瓦勒 1 卢卡·帕多瓦尼 1 罗曼·佩乔 1 芭芭拉·佩蒂特 1 普罗斯特、弗雷德里克 1 雷尼，迈克 1 爱德华·罗伯逊。 1 杜尔玛·罗德里格斯 1 酒井裕介 1 弗拉迪米罗·萨松 1 劳伦斯五世·萨克斯顿。 1 邵，钟 1 川崎捷瑞 1 安洪特朗 1 马克·范·埃克伦 1 德克·范·古赫特 1 斯迪恩·范萨梅伦 1 佩德罗·瓦康塞洛斯。 1 丹尼尔·利马·文图拉 1 尤根·兹利内斯库 1 达米亚诺·扎纳尔迪尼 全部的 前5名10篇连载文章中引用 5 理论计算机科学 5 信息与计算 5 函数编程杂志 4 自动推理杂志 三 MSCS公司。计算机科学中的数学结构 2 计算机程序设计科学 1 计算系统理论 1 高阶和符号计算 1 逻辑程序设计理论与实践 1 计算机语言、系统和结构 在3个字段中引用 45 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文