编辑配置文件(在新选项卡中打开) 彼得·佩珀 合著者距离 作者ID: 胡椒度计 发布日期: 彼得·佩珀;胡椒,P。 编入索引的文档: 46出版物自1976年以来,包括5本书 1名编辑贡献·1进一步贡献 合著者: 24位合著者具有28联合出版物 296位联合作者 全部的 前5名合著者 19 单作者的 15 赫尔穆特·帕奇。 14 曼弗雷德·布罗伊 9 马丁·威尔辛 8 弗里德里希·路德维希·鲍尔 6 Wössner,H。 5 沃尔特·多什 3 Möller,伯恩哈德 3 巴甫洛维奇,杜什科 2 鲁珀特·格纳茨 2 佩特拉·霍夫施泰特 2 Krieg-Brückner,伯尔尼 2 道格·史密斯 1 哈特穆特·埃里格 1 安德烈亚斯·费特 1 弗兰克、斯蒂芬 1 卡罗拉·格尔克 1 沃尔夫冈·格里斯坎普 1 穆罕默德·杰迈埃尔 1 阿尔弗雷德·劳特 1 勒克曼,M。 1 T·马特兹纳。 1 费尔南多·奥雷贾斯 1 德克·雷克曼 1 克劳斯·萨梅尔森 1 道格拉斯·史密斯。 1 拉尔夫·斯坦布吕根 全部的 前5名系列 10 自动化控制技术 3 计算机程序设计科学 2 程序设计语言与系统学报 2 IEEE软件工程汇刊 1 信息学报 1 信息处理信件 1 RAIRO公司。技术与科学信息 1 欧洲理论计算机科学协会(EATCS)公报 1 逻辑程序设计理论与实践 1 计算机网络 1 北约ASI系列。F.系列计算机与系统科学 领域 48 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 24出版物有被引用103中的次78文件 引用人▼ 年份▼ 抽象数据类型的层次结构。 Zbl 0513.68015号 马丁·威尔辛;彼得·佩珀;赫尔穆特·帕奇;沃尔特·多什;曼弗雷德·布罗伊 16 1983 关于编程语言的代数定义。 Zbl 0627.68009号 曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀 13 1987 抽象数据类型中的存在量词。 Zbl 0404.68026号 布罗伊,M。;多什·W·。;H·帕奇。;胡椒,P。;Wirsing,M。 13 1979 用广谱语言编程:示例集。 Zbl 0469.68003号 F.L.鲍尔。;布罗伊,M。;多什·W·。;R.格纳茨。;Krieg-Brückner,B。;劳特,A。;勒克曼,M。;T·马特兹纳。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;Steinbrüggen,R。;Wirsing,M。;Wössner,H。 11 1981 关于代数规范的最新趋势。 Zbl 0689.68013号 埃里格·H·。;胡椒,P。;F.奥雷贾斯。 9 1989 算法语言和程序开发。在collab。加H.Partsch和P.Pepper。Transl.公司。来自德国。 Zbl 0486.68007号 F.L.鲍尔。;H·沃斯纳。 9 1982 转换语义学研究。 Zbl 0408.68074号 胡椒,P。 8 1979 代数实现保持程序正确性。 Zbl 0597.68021号 曼弗雷德·布罗伊;Möller,伯恩哈德;彼得·佩珀;马丁·威尔辛 7 1986 并发垃圾收集器的形式化派生。 Zbl 1286.68090号 达斯科·巴甫洛维奇;彼得·佩珀;道格拉斯·史密斯。 7 2010 递归移除的一系列规则。 Zbl 0345.68011号 赫尔穆特·帕奇;彼得·佩珀 6 1976 转换规则的系统性。 兹伯利0396.8009 F.L.鲍尔。;布罗伊,M。;H·帕奇。;胡椒,P。;Wössner,H。 4 1979 关于程序之间的关系。 Zbl 0435.68017号 布罗伊,M。;胡椒,P。;Wirsing,M。 4 1980 通过转换构建正式的程序——计算机辅助、直观引导的编程。 Zbl 0664.68017号 鲍尔,弗里德里希·路德维希;Möller,伯恩哈德;赫尔穆特·帕奇;彼得·佩珀 3 1989 声明性编程和约束编程的集成。 兹比尔1112.68030 佩特拉·霍夫斯特德;彼得·佩珀 3 2007 面向支持程序规范和程序开发的广谱语言。 Zbl 0409.68003号 F.L.鲍尔。;布罗伊,M。;R.格纳茨。;W.黑塞。;Krieg-Brückner,B。;H·帕奇。;胡椒,P。;Wössner,H。 3 1979 作为正式活动的项目开发。 Zbl 0447.68005号 曼弗雷德·布罗伊;彼得·佩珀 3 1981 编程语言中的语义关系。 Zbl 0443.68005号 布罗伊,M。;H·帕奇。;胡椒,P。;Wirsing,M。 2 1980 不断发展的规范工程。 Zbl 1170.68010号 达斯科·巴甫洛维奇;彼得·佩珀;道格·史密斯 2 2008 Opal中的代数编程。 Zbl 1023.68629号 安德烈亚斯·费特;卡罗拉·格尔克;沃尔夫冈·格里斯坎普;彼得·佩珀 1 1993 程序转换的简单微积分(包括归纳法)。 Zbl 0624.68020号 彼得·佩珀 1 1987 编程的转换方法。 Zbl 0405.68004号 胡椒,P。;H·帕奇。;Wössner,H。;F.L.鲍尔。 1 1978 并发收集器的冲突。 Zbl 1274.68212号 达斯科·巴甫洛维奇;彼得·佩珀;道格·史密斯 1 2003 结合代数和算法推理:Schorr-Waite算法的一种方法。 Zbl 0483.68035号 曼弗雷德·布罗伊;佩珀,彼得 1 1982 Abstrakte Datentypen:Die algebraische Spezifikation von Rechenstrukturen。 Zbl 0488.68024号 胡椒,P。;布罗伊,M。;F.L.鲍尔。;H·帕奇。;多什·W·。;Wirsing,M。 1 1982 并发垃圾收集器的形式化派生。 Zbl 1286.68090号 巴甫洛维奇,杜斯科;彼得·佩珀;道格拉斯·史密斯。 7 2010 不断发展的规范工程。 Zbl 1170.68010号 达斯科·巴甫洛维奇;彼得·佩珀;道格·史密斯 2 2008 声明性编程和约束编程的集成。 Zbl 1112.68030号 佩特拉·霍夫斯特德;彼得·佩珀 3 2007 并发收集器的冲突。 Zbl 1274.68212号 达斯科·巴甫洛维奇;彼得·佩珀;道格·史密斯 1 2003 Opal中的代数编程。 Zbl 1023.68629号 安德烈亚斯·费特;卡罗拉·格尔克;沃尔夫冈·格里斯坎普;彼得·佩珀 1 1993 关于代数规范的最新趋势。 Zbl 0689.68013号 埃里格·H·。;胡椒,P。;F.奥雷贾斯。 9 1989 通过转换构建正式的程序——计算机辅助、直观引导的编程。 Zbl 0664.68017号 弗里德里希·路德维希·鲍尔;Möller,伯恩哈德;赫尔穆特·帕奇;彼得·佩珀 3 1989 关于编程语言的代数定义。 Zbl 0627.68009号 曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀 13 1987 程序转换的简单微积分(包括归纳法)。 Zbl 0624.68020号 彼得·佩珀 1 1987 代数实现保持程序正确性。 Zbl 0597.68021号 曼弗雷德·布罗伊;Möller,伯恩哈德;佩珀,彼得;马丁·威尔辛 7 1986 抽象数据类型的层次结构。 Zbl 0513.68015号 马丁·威尔辛;彼得·佩珀;赫尔穆特·帕奇;沃尔特·多什;曼弗雷德·布罗伊 16 1983 算法语言和程序开发。在拼贴画中。加H.Partsch和P.Pepper。Transl.公司。来自德国。 Zbl 0486.68007号 F.L.鲍尔。;沃斯纳,H。 9 1982 结合代数和算法推理:Schorr-Waite算法的一种方法。 Zbl 0483.68035号 曼弗雷德·布罗伊;彼得·佩珀 1 1982 Abstrakte Datentypen:Die algebraische Spezifikation von Rechenstrukturen。 Zbl 0488.68024号 胡椒,P。;布罗伊,M。;F.L.鲍尔。;H·帕奇。;多什·W·。;Wirsing,M。 1 1982 用广谱语言编程:示例集。 Zbl 0469.68003号 F.L.鲍尔。;布罗伊,M。;多什·W·。;R.格纳茨。;Krieg-Brückner,B。;劳特,A。;勒克曼,M。;T·马特兹纳。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;Steinbrüggen,R。;Wirsing,M。;Wössner,H。 11 1981 作为正式活动的项目开发。 Zbl 0447.68005号 曼弗雷德·布罗伊;彼得·佩珀 3 1981 关于程序之间的关系。 Zbl 0435.68017号 布罗伊,M。;胡椒,P。;Wirsing,M。 4 1980 编程语言中的语义关系。 Zbl 0443.68005号 布罗伊,M。;H·帕奇。;胡椒,P。;Wirsing,M。 2 1980 抽象数据类型中的存在量词。 Zbl 0404.68026号 布罗伊,M。;多什·W·。;H·帕奇。;胡椒,P。;Wirsing,M。 13 1979 转换语义学研究。 Zbl 0408.68074号 胡椒,P。 8 1979 转换规则的系统性。 Zbl 0399.68009号 F.L.鲍尔。;布罗伊,M。;H·帕奇。;胡椒,P。;Wössner,H。 4 1979 面向支持程序规范和程序开发的广谱语言。 Zbl 0409.68003号 F.L.鲍尔。;布罗伊,M。;R.格纳茨。;W.黑塞。;Krieg-Brückner,B。;H·帕奇。;胡椒,P。;Wössner,H。 3 1979 编程的转换方法。 Zbl 0405.68004号 胡椒,P。;H·帕奇。;Wössner,H。;F.L.鲍尔。 1 1978 递归移除的一系列规则。 Zbl 0345.68011号 赫尔穆特·帕奇;彼得·佩珀 6 1976 所有引用出版物 前5名被引用出版物 全部的 前5名95位作者引用 7 曼弗雷德·布罗伊 7 马丁·威尔辛 6 罗尔夫·亨尼克 5 何塞·梅塞盖尔·瓜伊塔 4 格里高·罗什乌 4 安德烈·塔莱基 3 回来了,拉尔夫·约翰 3 费尔南多·Sáenz-Pérez 3 唐纳德·桑内拉。 2 奥曼·波霍拉,约翰内斯 2 Jan A.Bergstra。 2 拉斐尔·德尔瓦多·维塞达 2 沃尔特·多什 2 哈特穆特·埃里格 2 索尼娅·埃斯特韦兹·马汀 2 安东尼奥·J·费尔南德斯。 2 Hortalá-González,特蕾莎 2 伊布拉基莫夫,F.N。 2 卡西莫夫纳迪穆拉·卡比布列维奇 2 Möller,伯恩哈德 2 玛格努斯·奥·米林。 2 费尔南多·奥雷贾斯 2 巴甫洛维奇,杜什科 2 唐·伦纳德·皮戈齐 2 马里奥·罗德里格斯-阿塔莱霍 2 亚当·桑德伯格·爱立信 2 道格拉斯·史密斯。 2 卡罗琳·塔尔科特。 2 约翰·V·塔克。 1 卡马尔·阿布尔·霍恩 1 阿洛奇,Jean-Paul Simon 1 雅克·J·阿萨克。 1 弗里德里希·路德维希·鲍尔 1 米歇尔·比多瓦 1 大卫·卡切拉 1 达达扎诺夫,鲁兹马特·诺玛托维奇 1 洛科·德尼古拉 1 德曼德,德尔芬 1 纳鸿·德肖维茨 1 弗朗索瓦连衣裙 1 克劳斯·德罗斯滕 1 汉斯·迪特·埃里奇 1 贝特弗里德·福泽 1 JoséLuiz Fiadeiro 1 财务,Jean-Pierre 1 乌尔里希夫人 1 玛丽·克劳德·高德尔 1 马丁·果戈拉 1 Teruo Hikita公司 1 C.A.R.Tony Hoare 1 苏雷什·贾甘纳森 1 克利夫·琼斯。 1 赫尔穆特·尤根森 1 沃尔夫拉姆·卡尔 1 斯特凡·迈克尔·卡尔斯 1 赫萨姆·科什内维桑 1 赫伯特·克拉伦。 1 德克斯特·C·科赞。 1 汉斯·约尔格·克鲁斯基 1 Gary T.Leavens。 1 Leavens,Gray T。 1 乌多·沃尔特·利佩克 1 萨尔瓦多卢卡斯 1 伯恩德·马赫 1 Th.莫伊瑙。 1 尤金·迈尔斯(Eugene W.Myers)。 1 玛丽莎·纳瓦罗 1 内佩?沃达,尼古拉?尼古拉埃维奇 1 苏珊娜·尼娃 1 R·M·努里耶夫。 1 克劳德·佩尔 1 特姆拉·巴甫洛维奇 1 古斯塔沃·佩特里 1 阿尔贝托·佩特罗西 1 大卫·皮哈迪 1 A.奎尔。 1 Jean-Luc雷米 1 詹姆·桑切斯·埃尔南德斯 1 F.斯卡里奥尼。 1 ☑特拉安·弗洛林(Traian Florin) 1 米查·谢里尔 1 H.G.斯佩兰扎。 1 乔治·斯特鲁斯 1 安妮特·圣佩尔 1 Jerzy Tiuryn 1 拉尔夫·特里宁 1 范·斯塔登(Stephan van Staden) 1 维泰克,简 1 Martin P.沃德。 1 伍德,德里克 1 尼桑萨拉·亚塔帕纳奇 1 扬尼克·扎科夫斯基 1 侯赛因·泽丹 1 张明华 1 朱慧彪 全部的 前5名22篇连载文章中引用 20 理论计算机科学 9 信息学报 4 信息处理信件 3 计算的形式方面 2 人工智能 2 计算机与系统科学杂志 2 信息与计算 2 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 2 国际计算机数学杂志 2 RAIRO公司。Informatique Théorique et Applications公司 2 数学科学杂志(纽约) 2 程序设计中的逻辑和代数方法杂志 1 计算机与数学及其应用 1 苏联数学杂志 1 RAIRO,Informatique Théorique公司 1 控制论 1 符号计算杂志 1 分布式计算 1 图表 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 全部的 前5名在9个字段中引用 74 计算机科学(68至XX) 15 数学逻辑和基础(03-XX) 2 一般代数系统(08-XX) 2 范畴理论;同调代数(18-XX) 1 历史和传记(01-XX) 1 几何图形(51至XX) 1 微分几何(53至XX) 1 整体分析,流形分析(58至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文