编辑配置文件（在新选项卡中打开） 曼弗雷德·布罗伊 合著者距离 作者ID： 布罗伊·曼弗雷德 发布日期： 曼弗雷德·布罗伊;布罗伊，M。 编入索引的文档： 121出版物自1978年以来，包括12本书 26作为编辑的贡献·3进一步捐款 合著者： 60位合著者具有75联合出版物 978名合著者 全部的 前5名合著者 72 单作者的 29 马丁·威尔辛 14 彼得·佩珀 9 弗里德里希·路德维希·鲍尔 9 赫尔穆特·帕奇。 6 沃尔特·多什 6 鲁珀特·格纳茨 5 Krieg-Brückner，伯尔尼 4 比约纳，迪内斯 4 拉尔夫·斯坦布吕根 三 C.A.R.Tony Hoare 三 Möller，伯恩哈德 三 伯恩哈德·伦普 三 比吉特·希德 三 Wössner，H。 三 Aleksandr Vasil’evich扎姆林 2 卢奇 2 托马斯·斯特里彻 2 约翰·V·塔克。 1 埃吉迪奥·阿斯特西亚诺 1 埃克塞尔·贝林芬特 1 特蕾莎·伯格 1 Jan A.Bergstra。 1 克尔斯滕·伯克科特 1 亨利克·比约克隆德 1 朱根尼·博塔斯卡扬 1 皮埃尔·布利埃 1 露丝·布鲁 1 劳拉·布兰丹（Laura Brandán Briones） 1 斯特凡·D·布鲁达。 1 安东尼奥·塞隆 1 塞维琳·科林 1 戴振如 1 恩斯特·登特 1 皮埃尔·德兰萨特 1 Edsger Wybe，Dijkstra 1 乔治·丁 1 穆罕默德·勒姆利 1 财务，Jean-Pierre 1 拉尔斯·弗兰岑 1 安吉洛·加甘蒂尼 1 克里斯托夫·加斯顿 1 玛丽·克劳德·高德尔 1 亚历山大·格鲁勒 1 约翰内斯·格伦鲍尔 1 亚历山大·哈胡林 1 多米尼克·赫兹伯格 1 乌苏拉·欣克尔 1 马克·霍斯特曼 1 弗兰茨·胡贝尔 1 尼尔·D·琼斯。 1 本特·琼森 1 卡斯滕斯，乌韦 1 Joost-Pieter卡托恩 1 雷蒙·科纳 1 斯特芬·纳普 1 列奥尼德·科夫 1 瓦迪姆·科托夫（Vadim E.Kotov）。 1 莫伊斯·克里钦 1 Krüger，Ingolf H。 1 阿尔弗雷德·劳特 1 克里斯蒂安·伦戈尔 1 马丁·勒克 1 利瓦·卢西奥 1 勒克曼，M。 1 莱昂纳多·马里亚尼 1 T·马特兹纳。 1 托比亚斯·尼普科 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 克劳德·佩尔 1 保罗，沃尔夫冈·雅各布 1 法比安·佩鲁克斯 1 菲利普斯，简 1 M.皮兹卡。 1 伊戈尔V·波托辛。 1 克里斯蒂安·普雷霍弗 1 沃尔夫冈·普伦宁格 1 亚历山大·普雷施纳 1 A.奎尔。 1 哈拉尔德·拉菲尔特 1 马丁·拉斯科夫斯基 1 吉安娜·雷吉奥 1 Jean-Luc雷米 1 里普肯，克努特 1 马库斯·罗根巴赫 1 马蒂亚斯·罗尔 1 克劳斯·萨梅尔森 1 马可·萨梅尔 1 斯文·桑德伯格 1 克里斯蒂安·夏尔哈特 1 施林格洛夫，伯恩德·霍尔格 1 施密特，大卫·A。 1 冈瑟·施密特 1 杰拉尔多·施奈德 1 沃尔夫冈·施韦林 1 德克·塞弗特 1 谢赫，西拉杰·艾哈迈德 1 奥斯卡·斯洛托什 1 Spaniol，奥托 1 玛丽亚·斯皮奇科娃 1 特工，凯萨琳娜 …和另外7位合著者 全部的 前5名系列 9 计算机科学课堂讲稿 8 理论计算机科学 8 计算机程序设计科学 6 信息处理信件 6 北约ASI系列。F系列计算机与系统科学 4 斯普林格·勒布赫 三 信息学报 三 计算机与系统科学杂志 三 程序设计语言与系统学报 三 计算的形式方面 2 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 2 分布式计算 2 北约科学系列III：计算机与系统科学 1 计算机语言 1 《计算机杂志》。A部分/B部分 1 信息和控制 1 RAIRO，Informatique Théorique公司 1 RAIRO公司。技术与科学信息学 1 国际并行程序设计杂志 1 信息与计算 1 欧洲理论计算机科学协会（EATCS）公报 1 IEEE软件工程汇刊 1 系统设计中的形式化方法 1 北欧计算机杂志 1 美国医学会杂志 1 北约ASI系列。C辑数学和物理科学 1 理论计算机科学电子笔记 1 理论计算机科学课文。EATCS系列 领域 148 计算机科学（68至XX） 22 总体主题；集合（00-XX） 6 数学逻辑和基础（03-XX） 2 历史和传记（01-XX） 1 一般代数系统（08-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 92出版物有被引用480中的次308文件 引用人▼ 年份▼ 反应系统的基于模型的测试。高级讲座。 Zbl 1070.68088号 51 2005 部分抽象类型。 Zbl 0494.68020号 曼弗雷德·布罗伊;马丁·威尔辛 38 1982 交互式系统的规范和开发。关注流、接口和优化。 Zbl 0981.68115号 曼弗雷德·布罗伊;Stølen，凯蒂尔 35 2001 关于不确定性、并行性、通信和并发性的理论。 Zbl 0601.68022号 曼弗雷德·布罗伊 20 1986 非确定性和非连续结构的语义。 Zbl 0406.03059号 布罗伊，M。;R.格纳茨。;Wirsing，M。 18 1979 关于代数规格说明的威力。 Zbl 0462.68001号 J.A.伯格斯特拉。;布罗伊，M。;J.V.塔克。;Wirsing，M。 16 1981 抽象数据类型的层次结构。 Zbl 0513.68015号 马丁·威尔辛;彼得·佩珀;赫尔穆特·帕奇;沃尔特·多什;曼弗雷德·布罗伊 16 1983 编程概念和方法。IFIP工作组2.2/2.3工作会议记录，以色列加利利海，1990年4月2日至5日。 Zbl 0744.68016号 15 1990 关于不确定性程序设计语言的代数规范。 Zbl 0462.68063号 布罗伊，M。;威辛，M。 13 1981 抽象数据类型中的存在量词。 Zbl 0404.68026号 布罗伊，M。;多什·W·。;H·帕奇。;胡椒，P。;Wirsing，M。 13 1979 关于编程语言的代数定义。 Zbl 0627.68009号 曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀 13 1987 作为抽象数据类型的编程语言。 Zbl 0433.68014号 布罗伊，M。;Wirsing，M。 12 1980 通信和并发的不动点理论。 Zbl 0512.68024号 曼弗雷德·布罗伊 12 1983 用广谱语言编程：示例集。 Zbl 0469.68003号 F.L.鲍尔。;布罗伊，M。;多什·W·。;R.格纳茨。;Krieg-Brückner，B。;劳特，A。;勒克曼，M。;T·马特兹纳。;莫勒，B。;H·帕奇。;胡椒，P。;萨梅尔森，K。;斯坦布吕根，R。;Wirsing，M。;沃斯纳，H。 11 1981 非确定性数据流程序：如何避免合并异常。 Zbl 0632.68016号 曼弗雷德·布罗伊 11 1988 将数据类型抽象为有限生成模型的格。 Zbl 0441.68014号 威辛，M。;布罗伊，M。 10 1980 对抽象数据类型模型的系统研究。 Zbl 0552.68010号 布罗伊，M。;Wirsing，M。;成对，C。 9 1984 流处理函数的代数。 Zbl 0973.68172号 布罗伊，M。;tefnescu，G。 9 2001 并发通信代理的有限和无限网络的语义。 Zbl 0621.68012号 曼弗雷德·布罗伊 8 1987 代数实现保持程序正确性。 Zbl 0597.68021号 曼弗雷德·布罗伊;Möller，伯恩哈德;彼得·佩珀;马丁·威尔辛 7 1986 计算机科学和数学。（信息与数学） Zbl 0751.68003号 6 1991 正式的茎干规范。RPC内存规范案例研究。 Zbl 1060.68504号 5 1996 程序。结构。国际暑期学校。 Zbl 0396.00016号 5 1979 软件先驱。对软件工程的贡献。包括4张DVD。 Zbl 0997.68001号 5 2002 描述通信网络的功能程序的预测规范。 Zbl 0625.68007号 曼弗雷德·布罗伊 5 1987 分布式系统的规范和自顶向下的设计。 兹伯利0563.68020 曼弗雷德·布罗伊 5 1985 调整计算逻辑以适应未定义的。 兹伯利0941.03031 比吉特·希德;曼弗雷德·布罗伊 4 1999 转换规则的系统学。 Zbl 0399.68009号 F.L.鲍尔。;布罗伊，M。;H·帕奇。;胡椒，P。;Wössner，H。 4 1979 更改类型和对象结构的示例。 Zbl 0399.68030号 H·帕奇。;布罗伊，M。 4 1979 交互式系统的组合优化。 Zbl 0904.68002号 曼弗雷德·布罗伊 4 1997 关于有限无限通信序列过程的代数规范。 Zbl 0512.68021号 曼弗雷德·布罗伊;马丁·威尔辛 4 1983 应用多道程序设计的定点方法。 Zbl 0508.68012号 曼弗雷德·布罗伊 4 1982 函数式编程语言及其语义模型的代数定义。 Zbl 0515.68017号 曼弗雷德·布罗伊;马丁·威尔辛 4 1983 程序构造的代数方法：CIP项目。 Zbl 0547.68011号 曼弗雷德·布罗伊 4 1984 关于Herbrand-Kleene宇宙的非确定性计算。 Zbl 0553.68026号 曼弗雷德·布罗伊 4 1984 通信过程的语义。 Zbl 0591.68030号 曼弗雷德·布罗伊 4 1984 关于程序之间的关系。 Zbl 0435.68017号 Broy，M。;胡椒，P。;Wirsing，M。 4 1980 交互式计算的可计算性和可实现性。 Zbl 1309.68064号 曼弗雷德·布罗伊 4 2015 交互和可实现性。 Zbl 1132.68031号 曼弗雷德·布罗伊 三 2007 面向支持程序规范和程序开发的广谱语言。 Zbl 0409.68003号 F.L.鲍尔。;布罗伊，M。;R.格纳茨。;W.黑塞。;Krieg-Brückner，B。;H·帕奇。;胡椒，P。;Wössner，H。 三 1979 通过转换在程序开发期间派生不变断言。 Zbl 0468.68016号 曼弗雷德·布罗伊;Krieg-Brückner，伯尔尼 三 1980 时间的细化。 Zbl 0954.68097号 布罗伊，M。 三 2001 作为正式活动的项目开发。 Zbl 0447.68005号 曼弗雷德·布罗伊;彼得·佩珀 三 1981 并发程序的转换语义。 Zbl 0444.68017号 布罗伊，M。 三 1980 转型与abaufender计划并行。 Zbl 0461.68013号 曼弗雷德·布罗伊 三 1980 面向跟踪的并发模型。 Zbl 1021.68040号 曼弗雷德·布罗伊;奥尔德罗格（Ernst-Rüdiger Olderog） 三 2001 关于抽象数据类型的代数扩展。 兹伯利0492.68024 曼弗雷德·布罗伊;马丁·威尔辛 三 1981 广义异质代数与部分解释。 Zbl 0522.08001号 曼弗雷德·布罗伊;马丁·威尔辛 三 1983 编程逻辑和离散设计计算。（1986年7月29日至8月10日在德意志联邦共和国马克托伯多夫举行的北约程序设计逻辑和离散设计计算高级研究所会议记录）。国际暑期学校由F.L.Bauer、M.Broy、E.W.Dijkstra、C.A.R.Hoare执导。 Zbl 0619.00021号 三 1987 并发系统的代数规范。 Zbl 0973.68150号 埃吉迪奥·阿斯特西亚诺;曼弗雷德·布罗伊;吉安娜·雷吉奥 2 1999 模块化系统工程的逻辑基础。 Zbl 1012.68055号 曼弗雷德·布罗伊 2 1999 面向服务的系统工程：建模服务和分层架构。 Zbl 1279.68063号 曼弗雷德·布罗伊 2 2003 编程语言中的语义关系。 Zbl 0443.68005号 布罗伊，M。;H·帕奇。;胡椒，P。;Wirsing，M。 2 1980 部分高阶代数的方程规范。 Zbl 0625.68022号 曼弗雷德·布罗伊 2 1987 队列视图。 Zbl 0665.68014号 曼弗雷德·布罗伊 2 1988 通过转换构建程序：排序程序的家族树。 Zbl 0518.68018号 曼弗雷德·布罗伊 2 1983 分层分布式通信系统建模。 Zbl 1101.68383号 多米尼克·赫茨伯格;曼弗雷德·布罗伊 2 2005 基于应用多道程序设计语言的通信过程的表示语义。 Zbl 0509.68019号 曼弗雷德·布罗伊 2 1983 并发程序语言构造的系统方法。 Zbl 0536.68013号 曼弗雷德·布罗伊;弗里德里希·鲍尔。 2 1984 具有共享内存的并发程序的表示语义。 Zbl 0558.68021号 曼弗雷德·布罗伊 2 1984 分布式系统的要求和设计规范。 Zbl 0663.68029号 曼弗雷德·布罗伊 2 1988 编程方法。CIP项目精选论文。 邮编：0875.00050 2 1991 分布式系统的视图。 Zbl 0626.68012号 曼弗雷德·布罗伊;托马斯·斯特里彻 2 1987 并发、不确定、通信系统的扩展行为。 Zbl 0566.68019号 曼弗雷德·布罗伊 2 1985 验证无限状态Mealy机器的接口断言。 Zbl 1410.68218号 曼弗雷德·布罗伊 2 2014 动态系统模型。 Zbl 1417.68022号 曼弗雷德·布罗伊 2 2014 基于假设/承诺的系统接口规范和架构合同的理论和方法。 Zbl 1392.68238号 曼弗雷德·布罗伊 2 2018 系统交互理论：组件、接口和服务。 Zbl 1266.68113号 曼弗雷德·布罗伊 2 2006 消息序列图的语义和方法本质。 Zbl 1085.68011号 曼弗雷德·布罗伊 1 2005 关于汽车系统上层的正确性。 Zbl 1165.68047号 博塔尚詹，杰杰尼;曼弗雷德·布罗伊;亚历山大·格鲁勒;亚历山大·哈胡林;斯特芬·纳普;列奥尼德·科夫;保罗，沃尔夫冈;玛丽亚·斯皮奇科娃 1 2008 规范和描述语言SDL的正式基础。 Zbl 0712.68015号 曼弗雷德·布罗伊 1 1991 计算科学中的构造方法。1988年7月24日至8月5日，马克托伯多夫/FRG国际暑期学校。诉讼程序。 Zbl 0701.68005号 1 1989 用于描述和验证不确定交互系统的函数演算。 Zbl 1274.68178号 曼弗雷德·布罗伊 1 2003 一种用于程序开发的广谱语言。 Zbl 0405.68003号 F.L.鲍尔。;布罗伊，M。;R.格纳茨。;W.黑塞。;Krieg-Brückner，B。 1 1978 系统和软件工程中的数学方法。 Zbl 0884.68037号 曼弗雷德·布罗伊 1 1997 具有显式并发的操作语义和指称语义。 Zbl 0762.68041号 曼弗雷德·布罗伊 1 1992 交互式可序列化数据库接口的代数和函数规范。 Zbl 0748.68011号 曼弗雷德·布罗伊 1 1992 共享资源仲裁的规范和设计。 Zbl 0741.68034号 曼弗雷德·布罗伊;托马斯·斯特里彻 1 1991 部分高阶代数的方程规范。 Zbl 0644.68031号 曼弗雷德·布罗伊 1 1988 Abstrakte Datentypen：Die algebraische Spezifikation von Rechenstrukturen。 Zbl 0488.68024号 胡椒，P。;布罗伊，M。;F.L.鲍尔。;H·帕奇。;多什·W·。;Wirsing，M。 1 1982 结合代数和算法推理：Schorr-Waite算法的一种方法。 Zbl 0483.68035号 曼弗雷德·布罗伊;彼得·佩珀 1 1982 规划方法的理论基础。《国际暑期学校讲稿》（德国马克托伯多夫，1981年），由F.L.Bauer、E.W.Dijkstra和C.A.R.Hoare执导。 Zbl 0507.0015号 1 1982 高阶代数类型的部分解释。 Zbl 0609.68019号 曼弗雷德·布罗伊 1 1986 通信顺序程序的表示语义。 Zbl 0612.68024号 曼弗雷德·布罗伊 1 1986 功能语言的口译员验证。 Zbl 1044.68666号 曼弗雷德·布罗伊;乌苏拉·欣克尔;托比亚斯·尼普科;克里斯蒂安·普雷霍弗;比吉特·希德 1 1994 面向支持程序规范和程序开发的广谱语言。 Zbl 0375.68012号 F.L.鲍尔。;布罗伊，M。;R.格纳茨。;W.黑塞。;Krieg-Brückner，B。 1 1978 问题spezifikation-eine Grundlage für Programmentwicklung。 兹比尔0407.68005 布罗伊，M。;R.格纳茨。;威辛，M。 1 1979 长度为1的缓冲器的规范和改进。 Zbl 0847.68062号 曼弗雷德·布罗伊 1 1996 关于Herbrand-Kleene宇宙的非确定性计算。 Zbl 0567.68024号 曼弗雷德·布罗伊 1 1985 关于逻辑和代数在软件工程中的作用。 Zbl 1315.68083号 曼弗雷德·布罗伊 1 2013 分布式系统的规范和自顶向下的设计。 Zbl 0619.68020号 曼弗雷德·布罗伊 1 1987 软件工程的形式化方法。语言，方法，应用领域。曼弗雷德·布罗伊（Manfred Broy）的前言和约翰·塔克（John V.Tucker）对形式方法的起源和发展的贡献。 Zbl 1492.68003号 马库斯·罗根巴赫;安东尼奥·塞隆;施林格洛夫，伯恩德·霍尔格;杰拉尔多·施奈德;谢赫，西拉杰·艾哈迈德 1 2022 软件工程的形式化方法。语言，方法，应用领域。曼弗雷德·布罗伊（Manfred Broy）的前言和约翰·塔克（John V.Tucker）对形式方法的起源和发展的贡献。 Zbl 1492.68003号 马库斯·罗根巴赫;安东尼奥·塞隆;施林格洛夫，伯恩德·霍尔格;杰拉尔多·施奈德;谢赫，西拉杰·艾哈迈德 1 2022 基于假设/承诺的系统接口规范和架构合同的理论和方法。 Zbl 1392.68238号 曼弗雷德·布罗伊 2 2018 交互式计算的可计算性和可实现性。 Zbl 1309.68064号 曼弗雷德·布罗伊 4 2015 验证无限状态Mealy机器的接口断言。 Zbl 1410.68218号 曼弗雷德·布罗伊 2 2014 动态系统模型。 Zbl 1417.68022号 曼弗雷德·布罗伊 2 2014 关于逻辑和代数在软件工程中的作用。 Zbl 1315.68083号 曼弗雷德·布罗伊 1 2013 关于汽车系统上层的正确性。 Zbl 1165.68047号 朱根尼·博塔斯卡扬;曼弗雷德·布罗伊;亚历山大·格鲁勒;亚历山大·哈胡林;斯特芬·纳普;列奥尼德·科夫;保罗，沃尔夫冈;玛丽亚·斯皮奇科娃 1 2008 交互和可实现性。 Zbl 1132.68031号 曼弗雷德·布罗伊 三 2007 系统交互理论：组件、接口和服务。 Zbl 1266.68113号 曼弗雷德·布罗伊 2 2006 反应系统的基于模型的测试。高级讲座。 Zbl 1070.68088号 51 2005 对分层分布式通信系统进行建模。 Zbl 1101.68383号 多米尼克·赫茨伯格;曼弗雷德·布罗伊 2 2005 消息序列图的语义和方法本质。 Zbl 1085.68011号 曼弗雷德·布罗伊 1 2005 面向服务的系统工程：建模服务和分层架构。 Zbl 1279.68063号 曼弗雷德·布罗伊 2 2003 用于描述和验证不确定交互系统的函数演算。 Zbl 1274.68178号 曼弗雷德·布罗伊 1 2003 软件先驱。对软件工程的贡献。包括4张DVD。 Zbl 0997.68001号 5 2002 交互式系统的规范和开发。关注流、接口和优化。 兹伯利0981.68115 曼弗雷德·布罗伊;Stølen，凯蒂尔 35 2001 流处理函数的代数。 兹伯利0973.68172 布罗伊，M。;tefnescu，G。 9 2001 时间的提炼。 Zbl 0954.68097号 布罗伊，M。 三 2001 面向跟踪的并发模型。 Zbl 1021.68040号 曼弗雷德·布罗伊;奥尔德罗格（Ernst-Rüdiger Olderog） 三 2001 调整计算逻辑以适应未定义的。 Zbl 0941.03031号 比吉特·希德;曼弗雷德·布罗伊 4 1999 并发系统的代数规范。 Zbl 0973.68150号 埃吉迪奥·阿斯特西亚诺;曼弗雷德·布罗伊;吉安娜·雷吉奥 2 1999 模块化系统工程的逻辑基础。 Zbl 1012.68055号 曼弗雷德·布罗伊 2 1999 交互式系统的组合优化。 Zbl 0904.68002号 曼弗雷德·布罗伊 4 1997 系统和软件工程中的数学方法。 Zbl 0884.68037号 曼弗雷德·布罗伊 1 1997 正式的茎干规范。RPC内存规范案例研究。 Zbl 1060.68504号 5 1996 长度为1的缓冲器的规范和改进。 Zbl 0847.68062号 曼弗雷德·布罗伊 1 1996 功能语言的口译员验证。 Zbl 1044.68666号 曼弗雷德·布罗伊;乌苏拉·欣克尔;托比亚斯·尼普科;克里斯蒂安·普雷霍弗;Schieder，比尔吉特 1 1994 具有显式并发的操作语义和指称语义。 Zbl 0762.68041号 曼弗雷德·布罗伊 1 1992 交互式可序列化数据库接口的代数和函数规范。 Zbl 0748.68011号 曼弗雷德·布罗伊 1 1992 计算机科学和数学。（信息与数学） Zbl 0751.68003号 6 1991 编程方法。CIP项目精选论文。 邮编：0875.00050 2 1991 规范和描述语言SDL的正式基础。 Zbl 0712.68015号 曼弗雷德·布罗伊 1 1991 共享资源仲裁的规范和设计。 Zbl 0741.68034号 曼弗雷德·布罗伊;托马斯·斯特里彻 1 1991 编程概念和方法。IFIP工作组2.2/2.3工作会议记录，以色列加利利海，1990年4月2日至5日。 Zbl 0744.68016号 15 1990 计算科学中的构造方法。1988年7月24日至8月5日，马克托伯多夫/FRG国际暑期学校。诉讼程序。 Zbl 0701.68005号 1 1989 非确定性数据流程序：如何避免合并异常。 Zbl 0632.68016号 曼弗雷德·布罗伊 11 1988 队列视图。 Zbl 0665.68014号 曼弗雷德·布罗伊 2 1988 分布式系统的要求和设计规范。 Zbl 0663.68029号 曼弗雷德·布罗伊 2 1988 部分高阶代数的方程规范。 Zbl 0644.68031号 曼弗雷德·布罗伊 1 1988 关于编程语言的代数定义。 兹比尔062768009 曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀 13 1987 并发通信代理的有限和无限网络的语义。 Zbl 0621.68012号 曼弗雷德·布罗伊 8 1987 描述通信网络的功能程序的谓词规范。 Zbl 0625.68007号 曼弗雷德·布罗伊 5 1987 编程逻辑和离散设计计算。（1986年7月29日至8月10日在德意志联邦共和国马克托伯多夫举行的北约程序设计逻辑和离散设计计算高级研究所会议记录）。国际暑期学校由F.L.Bauer、M.Broy、E.W.Dijkstra、C.A.R.Hoare执导。 Zbl 0619.00021号 三 1987 部分高阶代数的方程规范。 Zbl 0625.68022号 曼弗雷德·布罗伊 2 1987 分布式系统的视图。 Zbl 0626.68012号 曼弗雷德·布罗伊;托马斯·斯特里彻 2 1987 分布式系统的规范和自顶向下的设计。 Zbl 0619.68020号 曼弗雷德·布罗伊 1 1987 关于不确定性、并行性、通信和并发性的理论。 Zbl 0601.68022号 曼弗雷德·布罗伊 20 1986 代数实现保持程序正确性。 Zbl 0597.68021号 曼弗雷德·布罗伊;Möller，伯恩哈德;彼得·佩珀;马丁·威尔辛 7 1986 高阶代数类型的部分解释。 Zbl 0609.68019号 曼弗雷德·布罗伊 1 1986 通信顺序程序的表示语义。 Zbl 0612.68024号 曼弗雷德·布罗伊 1 1986 分布式系统的规范和自顶向下的设计。 Zbl 0563.68020号 曼弗雷德·布罗伊 5 1985 并发、不确定、通信系统的扩展行为。 Zbl 0566.68019号 曼弗雷德·布罗伊 2 1985 关于Herbrand-Kleene宇宙的非确定性计算。 Zbl 0567.68024号 曼弗雷德·布罗伊 1 1985 对抽象数据类型模型的系统研究。 Zbl 0552.68010号 布罗伊，M。;Wirsing，M。;成对，C。 9 1984 程序构造的代数方法：CIP项目。 Zbl 0547.68011号 曼弗雷德·布罗伊 4 1984 关于Herbrand-Kleene宇宙的非确定性计算。 Zbl 0553.68026号 曼弗雷德·布罗伊 4 1984 通信过程的语义。 Zbl 0591.68030号 曼弗雷德·布罗伊 4 1984 并发程序语言构造的系统方法。 Zbl 0536.68013号 曼弗雷德·布罗伊;弗里德里希·鲍尔。 2 1984 具有共享内存的并发程序的表示语义。 Zbl 0558.68021号 曼弗雷德·布罗伊 2 1984 抽象数据类型的层次结构。 Zbl 0513.68015号 马丁·威尔辛;彼得·佩珀;赫尔穆特·帕奇;沃尔特·多什;曼弗雷德·布罗伊 16 1983 通信和并发的不动点理论。 Zbl 0512.68024号 曼弗雷德·布罗伊 12 1983 关于有限无限通信序列过程的代数规范。 Zbl 0512.68021号 曼弗雷德·布罗伊;马丁·威尔辛 4 1983 函数式编程语言及其语义模型的代数定义。 兹比尔0515.68017 曼弗雷德·布罗伊;马丁·威尔辛 4 1983 广义异质代数与部分解释。 Zbl 0522.08001号 曼弗雷德·布罗伊;马丁·威尔辛 三 1983 通过转换构建程序：排序程序的家族树。 Zbl 0518.68018号 曼弗雷德·布罗伊 2 1983 基于应用多道程序设计语言的通信过程的表示语义。 Zbl 0509.68019号 曼弗雷德·布罗伊 2 1983 部分抽象类型。 Zbl 0494.68020号 曼弗雷德·布罗伊;马丁·威尔辛 38 1982 应用多道程序设计的定点方法。 Zbl 0508.68012号 曼弗雷德·布罗伊 4 1982 Abstrakte Datentypen：Die algebraische Spezifikation von Rechenstrukturen。 Zbl 0488.68024号 胡椒，P。;布罗伊，M。;F.L.鲍尔。;H·帕奇。;多什·W·。;Wirsing，M。 1 1982 结合代数和算法推理：Schorr-Waite算法的一种方法。 Zbl 0483.68035号 曼弗雷德·布罗伊;彼得·佩珀 1 1982 规划方法的理论基础。《国际暑期学校讲稿》（德国马克托伯多夫，1981年），由F.L.Bauer、E.W.Dijkstra和C.A.R.Hoare执导。 Zbl 0507.0015号 1 1982 关于代数规格说明的威力。 Zbl 0462.68001号 J.A.伯格斯特拉。;布罗伊，M。;J.V.塔克。;威辛，M。 16 1981 关于非确定性编程语言的代数规范。 Zbl 0462.68063号 Broy，M。;Wirsing，M。 13 1981 用广谱语言编程：示例集。 兹比尔0469.68003 F.L.鲍尔。;布罗伊，M。;多什·W·。;R.格纳茨。;Krieg-Brückner，B。;劳特，A。;勒克曼，M。;T·马特兹纳。;莫勒，B。;H·帕奇。;胡椒，P。;萨梅尔森，K。;斯坦布吕根，R。;Wirsing，M。;Wössner，H。 11 1981 作为正式活动的项目开发。 Zbl 0447.68005号 曼弗雷德·布罗伊;彼得·佩珀 三 1981 关于抽象数据类型的代数扩展。 Zbl 0492.68024号 曼弗雷德·布罗伊;马丁·威尔辛 三 1981 作为抽象数据类型的编程语言。 Zbl 0433.68014号 布罗伊，M。;Wirsing，M。 12 1980 将数据类型抽象为有限生成模型的格。 Zbl 0441.68014号 Wirsing，M。;布罗伊，M。 10 1980 关于程序之间的关系。 Zbl 0435.68017号 布罗伊，M。;胡椒，P。;威辛，M。 4 1980 通过转换在程序开发期间派生不变断言。 Zbl 0468.68016号 曼弗雷德·布罗伊;Krieg-Brückner，伯尔尼 三 1980 并发程序的转换语义。 兹比尔0444.68017 布罗伊，M。 三 1980 转型与abaufender计划并行。 Zbl 0461.68013号 曼弗雷德·布罗伊 三 1980 编程语言中的语义关系。 Zbl 0443.68005号 布罗伊，M。;H·帕奇。;胡椒，P。;Wirsing，M。 2 1980 非确定性和非连续结构的语义。 Zbl 0406.03059号 布罗伊，M。;R.格纳茨。;Wirsing，M。 18 1979 抽象数据类型中的存在量词。 Zbl 0404.68026号 布罗伊，M。;多什·W·。;H·帕奇。;胡椒，P。;Wirsing，M。 13 1979 程序。结构。国际暑期学校。 Zbl 0396.00016号 5 1979 转换规则的系统性。 Zbl 0399.68009号 F.L.鲍尔。;布罗伊，M。;H·帕奇。;胡椒，P。;Wössner，H。 4 1979 更改类型和对象结构的示例。 兹伯利0396.8030 H·帕奇。;布罗伊，M。 4 1979 走向一种支持程序规范和程序开发的广谱语言。 Zbl 0409.68003号 F.L.鲍尔。;布罗伊，M。;Gnatz，R。;W.黑塞。;Krieg-Brückner，B。;H·帕奇。;胡椒，P。;Wössner，H。 三 1979 问题spezifikation-eine Grundlage für Programmentwicklung。 Zbl 0407.68005号 布罗伊，M。;R.格纳茨。;Wirsing，M。 1 1979 一种用于程序开发的广谱语言。 Zbl 0405.68003号 F.L.鲍尔。;布罗伊，M。;R.格纳茨。;W.黑塞。;Krieg-Brückner，B。 1 1978 面向支持程序规范和程序开发的广谱语言。 Zbl 0375.68012号 F.L.鲍尔。;布罗伊，M。;R.格纳茨。;W.黑塞。;Krieg-Brückner，B。 1 1978 所有引用出版物 前5名被引用出版物 全部的 前5名384位作者引用 25 曼弗雷德·布罗伊 10 马丁·威尔辛 8 罗尔夫·亨尼克 7 何塞·梅塞盖尔·瓜伊塔 6 Jan A.Bergstra。 6 约翰·朱尔斯·查尔斯·梅耶 6 Owe、Olaf 6 伯恩哈德·斯特芬 6 安德烈·塔莱基 5 沃尔特·古特曼 5 本特·琼森 5 唐纳德·桑内拉。 5 米哈伊尔·弗拉基米洛维奇（Mikhail Vladimirovich Volkov） 4 回来了，拉尔夫·约翰 4 哈特穆特·埃里格 4 亨宁费尔瑙 4 卡普兰，斯特凡·卡普兰 4 汉斯·约尔格·克鲁斯基 4 Möller，伯恩哈德 4 格里高·罗什乌 4 齐加里达斯，Elias P。 三 吉尔斯·伯诺 三 米歇尔·比多特 三 埃里克·P·德文克。 三 纳鸿·德肖维茨 三 Din、Crystal Chang 三 约翰·多夫兰 三 福尔克，豪尔 三 埃纳尔·布罗赫·约翰森 三 Gary T.Leavens。 三 帕基·卢西奥 三 奥尔德罗格（Ernst-Rüdiger Olderog） 三 费尔南多·奥雷贾斯 三 tefénescu，Gheorghe 三 卡罗琳·塔尔科特。 三 约翰·V·塔克。 三 Vaandrager，Frits W。 三 胡斯努Yenigun 2 艺术、忠诚 2 埃吉迪奥·阿斯特西亚诺 2 亚历山大·博洛托夫 2 索菲亚·卡塞尔 2 莫拉·塞里奥利 2 克莉丝汀，杂乱无章 2 JoséFélix科斯塔 2 亚历克斯·科托 2 帕特里克·库索特 2 雅各布斯·W·德·巴克。 2 De Nicola，罗科 2 皮耶保罗·德加诺 2 沃尔特·多什 2 汉斯·迪特·埃里奇 2 何塞·路易斯·费亚代罗 2 马库斯·弗洛姆 2 玛丽·克劳德·高德尔 2 安东尼奥·加维兰斯·弗兰科 2 马里奥·格雷舍尔 2 戈尔德，罗伯特 2 罗伯特·瓜夏莱 2 赫利亚·格拉 2 蒙特塞拉特赫莫 2 斯特凡·霍夫曼 2 彼得·霍夫纳 2 Ibragimov，F.N。 2 蒂埃里·杰伦 2 雅克·朱利亚德 2 卡西莫夫，纳迪穆拉·哈比卜拉耶维奇 2 安德烈·彼得·基西列维奇 2 伊万·克拉莫西尔 2 马丁·勒克 2 卢西奥·卡拉斯科，方济各会 2 伯尔尼马赫 2 米拉·塞德尔巴姆少校。 2 托尼·曼奇尼 2 费德里科·马里奥 2 迭戈·马姆斯勒 2 詹弗兰科，马斯卡里 2 安娜丽莎·马西尼 2 皮埃尔·阿莱·马森 2 伊戈尔·梅拉蒂 2 西古尔德·梅尔达尔 2 乌戈·蒙塔纳里。 2 莫肖瓦基斯，伊安尼斯·尼古拉斯 2 彼得·帕达维茨 2 克劳德·佩尔 2 潘·维克托·雅科夫列维奇 2 帕南加登，普拉卡什 2 皮戈齐，唐·伦纳德 2 阿尔班·蓬塞 2 阿特雷夫斯达尔 2 朗希尔德·科布罗·伦德 2 瓦桑特·香博格 2 道格拉斯·史密斯。 2 Stølen，凯蒂尔 2 斯塔夫罗斯·特里帕基斯 2 恩里科·特隆西 2 埃米利奥·托斯托 2 Turker，Uraz Cengiz 2 佩特拉·沃尔夫 2 张奎泽 …还有284位作者 全部的 前5名50篇连载文章中引用 71 理论计算机科学 20 信息学报 20 计算的形式方面 13 逻辑与代数程序设计杂志 12 计算机与系统科学杂志 11 信息处理信件 11 信息与计算 9 程序设计中的逻辑和代数方法杂志 8 分布式计算 6 系统设计中的形式化方法 5 MSCS公司。计算机科学中的数学结构 4 符号计算杂志 三 人工智能 2 代数普遍性 2 编程和计算机软件 2 计算机程序设计科学 2 国际并行程序设计杂志 2 自动推理杂志 2 国际计算机数学杂志 2 数学科学杂志（纽约） 2 图表 2 函数编程杂志 1 计算机与数学及其应用 1 离散应用数学 1 国际通用系统杂志 1 应用数学与计算 1 信息科学 1 纯粹与应用代数杂志 1 苏联数学杂志 1 圣母院形式逻辑杂志 1 RAIRO，Informatique Théorique公司 1 Studia Logica公司 1 控制论 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 机器学习 1 国际计算机科学基础杂志 1 工程、通信和计算中的应用代数 1 应用的分类结构 1 工程中的数学问题 1 组合优化期刊 1 计算机基础理论 1 整数 1 国际不确定性、模糊性和基于知识的系统杂志 1 应用数学杂志 1 自然计算 1 计算机科学中的逻辑方法 1 RAIRO公司。理论信息学及其应用 1 中国计算机科学前沿 1 控制理论与技术 全部的 前5名22个领域被引用 292 计算机科学（68至XX） 46 数学逻辑和基础（03-XX） 10 一般代数系统（08-XX） 8 系统论；控制（93至XX） 5 范畴理论；同调代数（18-XX） 4 阶、格、有序代数结构（06-XX） 三 群论与推广（20-XX） 2 组合数学（05-XX） 2 数论（11-XX） 2 场论和多项式（12-XX） 2 数值分析（65-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 历史和传记（01-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 结合环与代数（16-XX） 1 动力系统和遍历理论（37至XX） 1 一般拓扑结构（54至XX） 1 代数拓扑（55-XX） 1 流体力学（76-XX） 1 地球物理学（86-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文