编辑配置文件(在新选项卡中打开) 彼得·蒂曼。 合著者距离 作者ID: 蒂曼·佩特-j 发布日期: 彼得·蒂曼;彼得·蒂曼。 已编制索引的文档: 54出版物自1993年起 3作为编辑的贡献 合著者: 39位合著者具有40份联合出版物 606合著作者 全部的 前5名合著者 17 单作者的 8 马丁·苏尔兹曼 6 马蒂亚斯·纽鲍尔 三 西蒙·赫尔森 三 斯特凡·韦尔 2 安妮特·比纽萨 2 马库斯·德根 2 Keil,Matthias S。 2 汉内斯·萨弗里奇 2 迈克尔·斯珀伯 2 Vascoconcelos、Vasco Thudichum 2 菲利普·李瓦德勒 1 贝尔纳多·阿尔梅达。 1 吉尔·巴特 1 马西莫·巴托莱蒂 1 克里斯蒂亚诺·卡尔加诺 1 伊利亚州卡斯特拉尼 1 德尼卢,皮埃尔·马洛 1 马里亚纽拉州Dezani-Ciancaglini 1 德克·杜沙特 1 芬内尔,发光 1 马丁·加斯比克勒 1 曼纽尔·杰夫肯 1 西尔维娅·吉勒赞 1 约翰·哈特克利夫 1 菲利普·海德格尔 1 西蒙·霍尔姆·詹森 1 赫伯特·A·克拉伦。 1 朱莉娅·劳尔。 1 安德斯·佩佩·默勒 1 安德烈亚·莫迪多 1 Henrik尼尔森 1 约万卡·潘托维奇 1 佩雷斯(Jorge A.Pérez)。 1 约翰内斯·鲁道夫 1 汤姆·施里杰弗斯 1 杰里米·西克。 1 Kai Stadtmüller 1 伯纳多·托尼霍 1 雨果·托雷斯·维埃拉 全部的 前5名系列 5 函数编程杂志 2 信息与计算 2 高阶和符号计算 2 计算机科学课堂讲稿 1 计算机语言 1 计算机与系统科学杂志 1 新一代计算 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 领域 57 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物有被引用112中的次93文件 引用人▼ 年份▼ 无上下文会话类型。 Zbl 1361.68052号 彼得·蒂曼;Vasco T.瓦康塞洛斯。 17 2016 效果和单子的结合。 Zbl 1365.68166号 菲利普·沃德勒;彼得·蒂曼 13 2003 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;德尼卢,皮埃尔·马洛;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 8 2015 正则洗牌表达式的导数。 Zbl 1423.68266号 马丁·苏尔兹曼;彼得·蒂曼 7 2015 判别和类型定位类型错误的来源。 Zbl 1315.68056号 马蒂亚斯·纽鲍尔;彼得·蒂曼 6 2003 用于程序生成的组合器。 Zbl 0945.68029号 彼得·蒂曼 4 1999 正则洗牌表达式的导数和偏导数。 Zbl 1423.68267号 马丁·苏尔兹曼;彼得·蒂曼 4 2019 通过偏导数从\(\omega\)-正则表达式到Büchi自动机。 Zbl 1451.68162号 彼得·蒂曼;马丁·苏尔兹曼 4 2015 通过程序转换从顺序程序到多层应用程序。 Zbl 1369.68149号 马蒂亚斯·诺伊鲍尔;彼得·蒂曼 4 2005 扩展正则表达式不等式的符号求解。 Zbl 1360.68565号 马蒂亚斯·基尔;彼得·蒂曼 三 2014 具有交叉和联合的高阶合同的责任分配。 Zbl 1360.68365号 马蒂亚斯·基尔;彼得·蒂曼 三 2015 指责和胁迫:第一次再次并肩作战。 Zbl 1522.68130号 杰里米·西克。;彼得·蒂曼;菲利普·沃德勒 三 2021 逐步键入的会话类型。 Zbl 1444.68123号 彼得·蒂曼 三 2014 注释类型系统的渐进式键入。 Zbl 1405.68093号 彼得·蒂曼;芬内尔,发光 三 2014 契约与懒惰的相互作用。 Zbl 1360.68325号 德根,马库斯;彼得·蒂曼;斯特凡·韦尔 2 2012 无上下文语言的偏导数。从\(\mu\)-正则表达式到下推自动机。 Zbl 1486.68098号 彼得·蒂曼 2 2017 命令式语言的类型专门化。 Zbl 1369.68093号 德克·杜沙特;约翰·休斯;彼得·蒂曼 2 1997 延迟传播的跨过程分析。 Zbl 1306.68030号 西蒙·霍尔姆·詹森;安德斯·默勒;彼得·蒂曼 2 2010 紧急和延迟合同监控,以进行按需付费和按需付费评估。 Zbl 1204.68071号 马库斯·德根;彼得·蒂曼;斯特凡·韦尔 2 2010 可分叉正则表达式。 Zbl 1443.68097号 马丁·苏尔兹曼;彼得·蒂曼 2 2016 计算效果的声音专业化。 Zbl 0884.03011号 朱莉娅·劳尔。;彼得·蒂曼 1 1997 协议专门化。 Zbl 1116.68386号 马蒂亚斯·纽鲍尔;彼得·蒂曼 1 2004 一元型系统:用于不纯设置的纯型系统。(初步报告)。 Zbl 0925.68294号 吉尔·巴特;约翰·哈特克利夫;彼得·蒂曼 1 1997 类型安全的DOM API。 Zbl 1159.68428号 彼得·蒂曼 1 2005 使用类型专用化强制执行安全属性。 Zbl 0977.68647号 彼得·蒂曼 1 2001 证明软件事务内存的隔离属性。 Zbl 1326.68078号 安妮特·比纽萨;彼得·蒂曼 1 2011 具有更多高阶多态性的类型类。 Zbl 1322.68046号 马蒂亚斯·纽鲍尔;彼得·蒂曼 1 2002 脚本语言的访问权限合同。 Zbl 1321.68125号 菲利普·海德格尔;安妮特·比纽萨;彼得·蒂曼 1 2012 记忆法:在运行时生成类型安全的字节码。 兹比尔12346.8055 约翰内斯·鲁道夫;彼得·蒂曼 1 2010 共有六条线。 Zbl 1345.68077号 彼得·蒂曼。 1 1996 增强正则表达式的派生。 Zbl 1475.68167号 彼得·蒂曼 1 2016 客户端-服务器演算的放置推断。 Zbl 1155.68338号 马蒂亚斯·纽鲍尔;彼得·蒂曼 1 2008 区域演算的句法类型稳健性结果。 Zbl 1009.68019号 克里斯蒂亚诺·卡尔加诺;西蒙·赫尔森;彼得·蒂曼 1 2002 具有有界存在类型和实现约束的子类型的可判定性。 Zbl 1251.68075号 斯特凡·韦尔;彼得·蒂曼 1 2011 区域演算的句法类型稳健性。 Zbl 1262.68100号 西蒙·赫尔森;彼得·蒂曼 1 2001 编程语言和系统。2016年4月2日至8日,作为欧洲软件理论与实践联合会议的一部分,在荷兰埃因霍温举行了第25届欧洲编程研讨会,即2016年ESOP。诉讼程序。 Zbl 1333.68019号 1 2016 具有无上下文会话类型的多态lambda演算。 Zbl 07629141号 贝尔纳多·阿尔梅达;安德烈亚·莫迪多;彼得·蒂曼;Vasco T.瓦康塞洛斯。 1 2022 关联函数和命令会话类型。 Zbl 07596581号 汉内斯·萨弗里奇;彼得·蒂曼 1 2022 具有无上下文会话类型的多态lambda演算。 Zbl 07629141号 贝尔纳多·阿尔梅达;安德烈亚·莫迪多;彼得·蒂曼;Vasco T.瓦康塞洛斯。 1 2022 关联函数和命令会话类型。 Zbl 07596581号 汉内斯·萨弗里奇;彼得·蒂曼 1 2022 指责和胁迫:第一次再次并肩作战。 Zbl 1522.68130号 杰里米·西克。;彼得·蒂曼;菲利普·沃德勒 三 2021 正则洗牌表达式的导数和偏导数。 兹比尔1423.68267 马丁·苏尔兹曼;彼得·蒂曼 4 2019 无上下文语言的偏导数。从\(\mu\)-正则表达式到下推自动机。 Zbl 1486.68098号 彼得·蒂曼 2 2017 无上下文会话类型。 Zbl 1361.68052号 彼得·蒂曼;Vasco T.瓦康塞洛斯。 17 2016 可分叉正则表达式。 Zbl 1443.68097号 马丁·苏尔兹曼;彼得·蒂曼 2 2016 增强正则表达式的导数。 Zbl 1475.68167号 彼得·蒂曼 1 2016 编程语言和系统。2016年4月2日至8日,作为欧洲软件理论与实践联合会议的一部分,在荷兰埃因霍温举行了第25届欧洲编程研讨会,即2016年ESOP。诉讼程序。 Zbl 1333.68019号 1 2016 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;德尼卢,皮埃尔·马洛;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 8 2015 正则洗牌表达式的导数。 Zbl 1423.68266号 马丁·苏尔兹曼;彼得·蒂曼 7 2015 通过偏导数从\(\omega\)-正则表达式到Büchi自动机。 Zbl 1451.68162号 彼得·蒂曼;马丁·苏尔兹曼 4 2015 具有交叉和联合的高阶合同的责任分配。 Zbl 1360.68365号 马蒂亚斯·基尔;彼得·蒂曼 三 2015 扩展正则表达式不等式的符号求解。 Zbl 1360.68565号 马蒂亚斯·基尔;彼得·蒂曼 三 2014 逐步键入的会话类型。 Zbl 1444.68123号 彼得·蒂曼 三 2014 注释类型系统的渐进式键入。 Zbl 1405.68093号 彼得·蒂曼;芬内尔,发光 三 2014 契约与懒惰的相互作用。 Zbl 1360.68325号 马库斯·德根;彼得·蒂曼;斯特凡·韦尔 2 2012 脚本语言的访问权限合同。 兹比尔1321.68125 菲利普·海德格尔;安妮特·比纽萨;彼得·蒂曼 1 2012 证明软件事务内存的隔离属性。 Zbl 1326.68078号 安妮特·比纽萨;彼得·蒂曼 1 2011 具有有界存在类型和实现约束的子类型的可判定性。 Zbl 1251.68075号 斯特凡·韦尔;彼得·蒂曼 1 2011 延迟传播的跨过程分析。 Zbl 1306.68030号 西蒙·霍尔姆·詹森;安德斯·默勒;彼得·蒂曼 2 2010 紧急和延迟合同监控,以进行按需付费和按需付费评估。 Zbl 1204.68071号 马库斯·德根;彼得·蒂曼;斯特凡·韦尔 2 2010 记忆法:在运行时键入安全的字节码生成。 Zbl 1234.68055号 约翰内斯·鲁道夫;彼得·蒂曼 1 2010 客户端-服务器演算的放置推断。 Zbl 1155.68338号 马蒂亚斯·纽鲍尔;彼得·蒂曼 1 2008 通过程序转换从顺序程序到多层应用程序。 Zbl 1369.68149号 马蒂亚斯·纽鲍尔;彼得·蒂曼 4 2005 类型安全的DOM API。 Zbl 1159.68428号 彼得·蒂曼 1 2005 协议专用化。 Zbl 1116.68386号 马蒂亚斯·纽鲍尔;彼得·蒂曼 1 2004 效果和单子的结合。 Zbl 1365.68166号 菲利普·沃德勒;彼得·蒂曼 13 2003 判别和类型定位类型错误的来源。 Zbl 1315.68056号 马蒂亚斯·纽鲍尔;彼得·蒂曼 6 2003 具有更多高阶多态性的类型类。 Zbl 1322.68046号 马蒂亚斯·纽鲍尔;彼得·蒂曼 1 2002 区域演算的句法类型稳健性结果。 Zbl 1009.68019号 克里斯蒂亚诺·卡尔加诺;西蒙·赫尔森;彼得·蒂曼 1 2002 使用类型专用化强制安全属性。 Zbl 0977.68647号 彼得·蒂曼 1 2001 区域演算的句法类型稳健性。 兹比尔1262.68100 西蒙·赫尔森;彼得·蒂曼 1 2001 用于程序生成的组合器。 Zbl 0945.68029号 彼得·蒂曼 4 1999 命令式语言的类型专门化。 Zbl 1369.68093号 德克·杜沙特;约翰·休斯;彼得·蒂曼 2 1997 计算效应存在下的声音专门化。 Zbl 0884.03011号 朱莉娅·劳尔。;彼得·蒂曼 1 1997 Mondic类型系统:用于不纯设置的纯类型系统。(初步报告)。 Zbl 0925.68294号 吉尔·巴特;约翰·哈特克利夫;彼得·蒂曼 1 1997 共有六条线。 Zbl 1345.68077号 彼得·蒂曼。 1 1996 所有引用出版物 前5名被引用出版物 全部的 前5名被163位作者引用 14 彼得·蒂曼。 6 内尔玛·莫雷拉 6 罗杰里奥·里斯 5 萨宾·布罗达 5 马里亚纽拉州Dezani-Ciancaglini 5 安东尼奥·马基雅维罗 5 安德烈亚·莫迪多 5 佩雷斯(Jorge A.Pérez)。 5 Vascoconcelos、Vasco Thudichum 4 弗兰克·芬宁 三 贝尔纳多·阿尔梅达。 三 伊利亚州卡斯特拉尼 三 Chebotarev,Anatoli N。 三 达斯,安库什 三 乌戈·德利古罗 三 奥列格·基塞利约夫 三 卢卡·帕多瓦尼 三 Shan、Chung-chieh 三 马丁·苏尔兹曼 三 里卡多·特雷格里亚 三 斯特凡·韦尔 2 阿马尔·艾哈迈德 2 马西莫·巴托莱蒂 2 雅克·卡雷特 2 菲利佩·卡萨尔 2 陈盛 2 魏恩根·钦 2 马里奥·科波 2 马库斯·德根 2 西蒙·盖伊。 2 西尔维娅·吉勒赞 2 Yukiyoshi Kameyama 2 伊万·拉内斯 2 新,Max S。 2 约万卡·潘托维奇 2 文森特·拉里 2 杰里米·西克。 2 宋亚辉 2 埃里克·坦特 2 塔尔莫乌斯塔卢 2 雨果·托雷斯·维埃拉 2 菲利普·李瓦德勒 1 延斯·阿加德 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 Arai,龙屋 1 罗伯特·艾奇 1 安妮·巴南 1 Jos C.M.巴滕。 1 费利佩·巴尼亚多斯·施沃特 1 佛朗哥·巴巴内拉 1 吉尔·巴特 1 海宁·巴索尔德 1 阿斯特里德·贝尔德 1 杰斯珀·本特森 1 尼克·本顿 1 杰拉德·布多尔 1 威廉·鲍曼。 1 詹姆斯·考德威尔。 1 萨拉·卡佩基 1 张,再见 1 陈天宇 1 Choi,Kwanghoon公司 1 文卡特斯·乔佩拉 1 福雷德里克·达布罗夫斯基 1 皮埃尔·埃瓦里斯特·达甘 1 米拉·达拉·普雷达 1 阿德里安·霍里亚·德迪乌 1 德尼卢,皮埃尔·马洛 1 亨利·德扬 1 索菲亚·克洛伊·德罗索波卢 1 克莱门斯·杜伯斯拉夫 1 哈雷III伊德斯 1 马丁·埃尔维格 1 克劳迪娅·法根 1 安斯加·芬克 1 费莱森,马蒂亚斯 1 丹尼尔·费尔蒂 1 罗伯特·布鲁斯·芬德勒 1 达纳·菲斯曼 1 大流士·富 1 哈达尔,弗伦克尔 1 毛里齐奥·加布里埃利 1 罗纳德·加西亚 1 菲利普·安·加德纳 1 埃琳娜·贾奇诺 1 萨维里奥·贾勒伦佐 1 保拉·詹尼尼 1 汉娜·贡默施塔特 1 本·格林曼 1 朱利奥·格雷里 1 古哈,阿琼 1 约翰·哈特克利夫 1 克里斯托弗·托马斯·海恩斯 1 马丁·霍夫曼 1 霍尔,马尔科姆 1 汉斯·休特尔 1 岩崎、秀霞 1 马蒂亚斯·雅各布森。 1 斯维特拉纳·雅克西奇 1 贾利民 …还有63位作者 全部的 前5名16篇连载文章中引用 16 函数编程杂志 6 计算机科学中的逻辑方法 5 理论计算机科学 4 信息与计算 4 高阶和符号计算 4 程序设计中的逻辑和代数方法杂志 三 控制论与系统分析 2 计算机与系统科学杂志 2 计算的形式方面 1 信息学报 1 计算机程序设计科学 1 符号计算杂志 1 新一代计算 1 骨髓间充质干细胞。计算机科学中的数学结构 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 在4个字段中引用 93 计算机科学(68至XX) 18 数学逻辑和基础(03-XX) 三 范畴理论;同调代数(18-XX) 1 总体主题;集合(00-XX) 按年份列出的引文