编辑配置文件(在新选项卡中打开) 马丁·威尔辛 合著者距离 作者ID: wirsing.martin公司 发布日期: 马丁·威尔辛;威辛,M。 其他拼写: 马丁·赫尔曼·弗里德里希·威尔辛 主页: https://www.sosy-lab.org/people/wirsing网站/ 外部链接: MGP公司·维基数据·谷歌学者·数据库许可证·接地·ID参考·论文.fr 已编制索引的文档: 96出版物自1977年以来,包括3本书和1个附加arXiv预打印 15名编辑的贡献·1进一步贡献 传记参考: 4出版物 合著者: 85位合著者具有104联合出版物 1312合著作者 全部的 前5名合著者 8 单作者的 29 曼弗雷德·布罗伊 13 罗尔夫·亨尼克 9 彼得·佩珀 8 亚历山大·纳普 6 沃尔特·多什 6 赫尔穆特·帕奇。 5 约翰·纽索姆·克罗斯利 5 伯恩哈德·莫勒 5 安德烈·塔莱基 4 弗里德里希·路德维希·鲍尔 三 塞巴斯蒂安·鲍尔。 三 鲁珀特·格纳茨 三 彼得·科修琴科 三 斯蒂芬·默兹 三 德克·帕丁森 三 伊曼·哈菲兹·波尔莫莫 三 唐纳德·桑内拉。 2 埃吉迪奥·阿斯泰西亚诺 2 休伯特·鲍迈斯特 2 Jan A.Bergstra。 2 米歇尔·比多瓦 2 维多利亚州玛丽亚·桑加尔 2 Hölzl,Matthias M。 2 诺拉·科赫 2 雅塞克·莱斯齐洛夫斯基 2 马ł斯基,简 2 何塞·梅塞盖尔·瓜伊塔 2 阿克塞尔·劳什梅尔 2 吉安娜·雷吉奥 2 安德烈亚斯·施罗德 2 范·里姆斯迪克(M.Birna van Riemsdijk) 2 Ying,明生 2 朱利亚·扎佩 1 吉列尔莫·巴迪亚 1 西蒙娜塔·巴萨莫 1 Jean-Pierre,Banatre 1 伦茨·贝尔兹纳 1 阿图尔·博罗纳特 1 皮埃尔·布利埃 1 弗朗兹·约瑟夫·勃兰登堡 1 琳达·布里塞梅斯特 1 莫里斯·布吕诺格 1 玛莎·契契克 1 罗伯特·科里 1 当文雄(Dang Van Hung) 1 Denker,砂砾 1 皮埃尔·德兰萨特 1 乔纳斯·埃克哈特 1 眼睛,A。 1 财务,Jean-Pierre 1 托姆·吕维思 1 丹尼尔·加恩 1 玛丽·克劳德·高德尔 1 马丁·霍夫曼 1 尼尔·D·琼斯。 1 乌韦·卡斯滕斯 1 安娜贝拉·克拉尔 1 克纳普,亚历克斯 1 瓦迪姆·科托夫(Vadim E.Kotov)。 1 托马斯·科瓦尔斯基 1 Krieg-Brückner,伯尔尼 1 迭戈·拉特拉 1 阿尔弗雷德·劳特 1 勒克曼,M。 1 亚历山大·马德拉 1 路易斯·曼德尔 1 乔瓦尼·弗朗西斯科·马斯卡里 1 梅克·马西克 1 T·马特兹纳。 1 马克斯·迈耶 1 菲利普·梅尔 1 托拜厄斯·穆尔鲍尔 1 史蒂芬妮·纽伯特 1 弗里德里克·尼克尔 1 莫里斯·尼瓦特 1 费尔南多·奥雷贾斯 1 克劳德·佩尔 1 彼得·帕平豪斯 1 彼得雷恩斯、汉内斯 1 安迪·波乔 1 A.奎尔。 1 马丁·拉斯科夫斯基 1 Jean-Luc雷米 1 罗伊斯,伯恩哈德 1 里普肯,克努特 1 克劳斯·萨梅尔森 1 戴维·施密特(David A.Schmidt)。 1 拉尔夫·斯坦布吕根 1 卡罗琳·塔尔科特。 1 杰勒德·特琳 1 约翰·V·塔克。 1 盖伊·维达尔·纳奎特 1 亚历山大·冯·埃伊 1 Wössner,H。 1 于宁 1 埃里希·齐默尔曼 全部的 前5名系列 12 计算机科学课堂讲稿 11 理论计算机科学 4 计算机程序设计科学 三 信息学报 2 信息处理信件 2 欧洲理论计算机科学协会(EATCS)公报 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 生物医学杂志 1 数学手稿 1 RAIRO,Informatique Théorique公司 1 逻辑研究 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 程序mirovanie 1 程序设计语言与系统学报 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 IGPL公告 1 IGPL逻辑杂志 1 逻辑与代数程序设计杂志 1 多代理和网格系统 全部的 前5名字段 107 计算机科学(68至XX) 20 数学逻辑和基础(03-XX) 15 总体主题;集合(00-XX) 三 一般代数系统(08-XX) 2 统计学(62-XX) 1 常微分方程(34-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 77出版物有被引用545中的次308文件 引用人▼ 年份▼ 代数规范。 Zbl 0900.68309号 马丁·威尔辛 77 1990 部分抽象类型。 Zbl 0494.68020号 曼弗雷德·布罗伊;马丁·威尔辛 38 1982 用于代数规范和实现的内核语言。扩展摘要。 Zbl 0517.68043号 唐纳德·桑内拉;马丁·威尔辛 33 1983 结构化代数规范:一种核心语言。 Zbl 0599.68021号 马丁·威尔辛 28 1986 行为和抽象规范。 Zbl 0853.68130号 米歇尔·比多瓦;罗尔夫·亨尼克;马丁·威尔辛 24 1995 非确定性和非连续结构的语义。 兹比尔0406.03059 布罗伊,M。;R.格纳茨。;威辛,M。 17 1979 抽象数据类型的层次结构。 Zbl 0513.68015号 马丁·威尔辛;彼得·佩珀;赫尔穆特·帕奇;沃尔特·多什;曼弗雷德·布罗伊 16 1983 关于代数规格说明的威力。 Zbl 0462.68001号 J.A.伯格斯特拉。;布罗伊,M。;J.V.塔克。;威辛,M。 15 1981 面向对象软件工程的形式化方法。 Zbl 1001.68024号 马丁·威尔辛;亚历山大·纳普 14 2002 关于编程语言的代数定义。 Zbl 0627.68009号 曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀 13 1987 抽象数据类型中的存在量词。 Zbl 0404.68026号 布罗伊,M。;多什·W·。;H·帕奇。;胡椒,P。;Wirsing,M。 13 1979 什么是多模型语言? Zbl 1253.68225号 阿图尔·博罗纳特;亚历山大·纳普;何塞·梅塞盖尔;马丁·威尔辛 13 2009 关于非确定性编程语言的代数规范。 Zbl 0462.68063号 布罗伊,M。;Wirsing,M。 13 1981 作为抽象数据类型的编程语言。 Zbl 0433.68014号 布罗伊,M。;Wirsing,M。 12 1980 参数化规范的实现(扩展抽象)。 Zbl 0492.68023号 唐纳德·桑内拉;马丁·威尔辛 12 1982 用广谱语言编程:示例集。 Zbl 0469.68003号 F.L.鲍尔。;布罗伊,M。;多什·W·。;R.格纳茨。;Krieg Brückner,B。;劳特,A。;勒克曼,M。;马茨纳,T。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;斯坦布吕根,R。;威辛,M。;Wössner,H。 11 1981 近似相似性。 Zbl 0983.68131号 Ying,明生;马丁·威尔辛 10 2000 将数据类型抽象为有限生成模型的格。 Zbl 0441.68014号 Wirsing,M。;布罗伊,M。 10 1980 可达高阶代数的代数规范。 Zbl 0659.68027号 伯恩哈德·莫勒;安德烈·塔莱基;马丁·威尔辛 9 1988 对抽象数据类型模型的系统研究。 兹伯利0552.68010 布罗伊,M。;Wirsing,M。;成对,C。 9 1984 UML语义的异构方法。 Zbl 1143.68373号 维多利亚州玛丽亚·桑加尔;亚历山大·纳普;安德烈·塔莱基;马丁·威尔辛 9 2008 用于移动系统规范和细化的时空逻辑。 Zbl 1032.03028号 斯蒂芬·默兹;马丁·威尔辛;朱利亚·扎佩 8 2003 具有可观测性算子的结构化规范的证明系统。 Zbl 0901.68116号 罗尔夫·亨尼克;马丁·威尔辛;米歇尔·比多瓦 8 1997 软约束的重写逻辑框架。 Zbl 1279.68124号 马丁·威尔辛;Denker,砂砾;卡罗琳·塔尔科特;安迪·波乔;琳达·布里塞梅斯特 7 2007 代数实现保持程序正确性。 Zbl 0597.68021号 曼弗雷德·布罗伊;伯恩哈德·莫勒;彼得·佩珀;马丁·威尔辛 7 1986 改编校样-如图。咖喱-霍华德协议。 Zbl 1095.68025号 伊曼·哈菲兹·波尔莫莫;约翰·纽索姆·克罗斯利;马丁·威尔辛 6 2005 将应用程序的逻辑定时重写为基于对象的规范。 Zbl 0877.68071号 彼得·科修琴科;马丁·威尔辛 5 1997 用于验证OCL约束设计模型的Java实现的Hoare演算。 兹伯利0977.68858 罗伊斯,伯恩哈德;马丁·威尔辛;罗尔夫·亨尼克 5 2001 复合参与者系统的统计模型检查。 Zbl 1394.68228号 乔纳斯·埃克哈特;托拜厄斯·穆尔鲍尔;何塞·梅塞盖尔;马丁·威尔辛 5 2013 您更喜欢哪些软约束? 兹比尔1347.68197 马蒂亚斯·霍尔兹尔;马克斯·迈耶;马丁·威尔辛 5 2009 MTLA和移动UML中移动系统的规范和细化。 Zbl 1086.68016号 亚历山大·纳普;斯蒂芬·默兹;马丁·威尔辛;朱利亚·扎佩 5 2006 关于并发系统的参数化代数规范。 Zbl 0563.68018号 阿斯蒂西亚诺,E。;G.F.马斯卡里。;雷吉奥,G。;Wirsing,M。 4 1985 观测规范:Birkhoff-theorem。 Zbl 0584.68039号 罗尔夫·亨尼克;马丁·威尔辛 4 1985 连续抽象数据类型。 Zbl 0624.68024号 安德烈·塔莱基;马丁·威尔辛 4 1986 关于程序之间的关系。 Zbl 0435.68017号 布罗伊,M。;胡椒,P。;Wirsing,M。 4 1980 关于有限无限通信序列过程的代数规范。 Zbl 0512.68021号 曼弗雷德·布罗伊;马丁·威尔辛 4 1983 函数式编程语言及其语义模型的代数定义。 Zbl 0515.68017号 曼弗雷德·布罗伊;马丁·威尔辛 4 1983 元素是Aussagenlogik。 Zbl 0721.68001号 弗里德里希·鲍尔。;马丁·威尔辛 三 1991 行为规范。 兹比尔08316.88061 罗尔夫·亨尼克;马丁·威尔辛 三 1995 连续抽象数据类型:基本机械和结果。 Zbl 0571.68014号 安德烈·塔莱基;马丁·威尔辛 三 1985 将活动图扩展到移动系统模型。 Zbl 1021.68558号 休伯特·鲍迈斯特;诺拉·科赫;彼得·科修琴科;马丁·威尔辛 三 2003 并发和数据的接口理论。 Zbl 1216.68187号 鲍尔,塞巴斯蒂安·S。;罗尔夫·亨尼克;马丁·威尔辛 三 2011 软件密集型系统和新的计算范式。挑战和愿景。 Zbl 1153.68313号 三 2008 结构化代数规范。 Zbl 0514.68024号 马丁·威尔辛 三 1982 时间敏感系统规范的时间重写逻辑。 Zbl 0876.03015号 彼得·科修琴科;马丁·威尔辛 2 1997 规范语言。 Zbl 0979.68555号 唐纳德·桑内拉;马丁·威尔辛 2 1999 带有位置的移动UML状态图。 Zbl 1111.68353号 迭戈·拉特拉;梅克·马西克;休伯特·鲍迈斯特;马丁·威尔辛 2 2005 具有内置域构造的代数规范。 Zbl 0645.68027号 伯恩哈德·莫勒;安德烈·塔莱基;马丁·威尔辛 2 1988 模型检查海伦娜与旋转合奏。 Zbl 1321.68346号 罗尔夫·亨尼克;安娜贝拉·克拉尔;马丁·威尔辛 2 2015 通信安全组件系统的组装理论。 Zbl 1310.68057号 罗尔夫·亨尼克;亚历山大·纳普;马丁·威尔辛 2 2014 自适应超媒体应用的慕尼黑参考模型。 Zbl 1047.68813号 诺拉·科赫;马丁·威尔辛 2 2002 基于合同的适应性方法。 Zbl 1213.68208号 安德烈亚斯·施罗德;塞巴斯蒂安·鲍尔。;马丁·威尔辛 2 2011 编程语言中的语义关系。 Zbl 0443.68005号 布罗伊,M。;Partsch,H。;胡椒,P。;Wirsing,M。 2 1980 在Klasse von Formeln的Entscheidungs问题上,他是Primformeln的首席执行官。 Zbl 0365.02035号 马丁·威尔辛 2 1977 代数方法:理论、工具和应用。研讨会于1987年6月9日至11日在法国巴黎举行。诉讼程序。 Zbl 0745.68019号 1 1989 编程方法。CIP项目论文选集。 邮编:0875.00050 1 1991 多态性、参数化和类型化:代数规范的观点。 Zbl 0788.68098号 雅塞克·莱斯齐洛夫斯基;马丁·威尔辛 1 1991 代数规范的高阶参数化演算。 Zbl 0832.68072号 维多利亚州玛丽亚·桑加尔;马丁·威尔辛 1 1995 代数方法和软件技术。第五届国际会议,1996年7月1日至5日,德国慕尼黑AMAST’96。诉讼程序。 Zbl 0851.00082号 1 1996 高阶过程计算中的递归方程。 Zbl 0992.68147号 M·英。;Wirsing,M。 1 2001 实现agentComponent的正式规范。 Zbl 1082.68535号 菲利普·迈尔;马丁·威尔辛 1 2004 代数规范语言的表示语义。 Zbl 0594.68015号 马丁·威尔辛 1 1986 隐等价代数规范。 Zbl 0632.68024号 F.L.鲍尔。;Wirsing,M。 1 1988 关系规范和观察语义。 Zbl 0637.68012号 埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥;马丁·威尔辛 1 1986 重温行为规范和抽象规范。 Zbl 1396.68073号 罗尔夫·亨尼克;亚历山大·马德拉;马丁·威尔辛 1 2018 STACS 87标准。第四届计算机科学理论方面年度研讨会,1987年2月19日至21日,德意志联邦共和国帕绍。诉讼程序。 Zbl 0604.00016号 1 1987 使组件移动:关注点分离方法。 Zbl 1254.68124号 德克·帕丁森;马丁·威尔辛 1 2003 Kleine unnetscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen公司。 Zbl 0398.03005号 马丁·威尔辛 1 1978 问题spezifikation-eine Grundlage für Programmentwicklung。 Zbl 0407.68005号 Broy,M。;R.格纳茨。;Wirsing,M。 1 1979 值得信赖的全球计算。2010年2月24日至26日在德国慕尼黑举行的2010年TGC第五届国际研讨会。修订了选定的论文。 Zbl 1198.68071号 1 2010 比较面向目标的服务编排和过程性服务编排。 Zbl 1205.68117号 范·里姆斯迪克(M.Birna van Riemsdijk);马丁·威尔辛 1 2010 关于模型转换的规范和验证。 Zbl 1253.68232号 费尔南多·奥雷贾斯;马丁·威尔辛 1 2009 小型通用邮政系统。 兹伯利0467.03035 马丁·威尔辛 1 1979 使用描述逻辑进行服务规范和匹配。基于制度的方法。 Zbl 1170.68534号 范·里姆斯迪克(M.Birna van Riemsdijk);罗尔夫·亨尼克;马丁·威尔辛;安德烈亚斯·施罗德 1 2008 Abstrakte Datentypen:Die algebraische Spezifikation von Rechenstrukturen。 Zbl 0488.68024号 胡椒,P。;布罗伊,M。;F.L.鲍尔。;H·帕奇。;多什·W·。;Wirsing,M。 1 1982 关于抽象数据类型的代数扩展。 Zbl 0492.68024号 曼弗雷德·布罗伊;马丁·威尔辛 1 1981 软件工程的基本方法。2009年3月22日至29日,作为欧洲软件理论与实践联合会议的一部分,在英国约克举行了第12届国际会议,FASE 2009。诉讼程序。 Zbl 1157.68300号 1 2009 重温行为规范和抽象规范。 Zbl 1396.68073号 罗尔夫·亨尼克;亚历山大·马德拉;马丁·威尔辛 1 2018 模型检查海伦娜与旋转合奏。 Zbl 1321.68346号 罗尔夫·亨尼克;安娜贝拉·克拉尔;马丁·威尔辛 2 2015 通信安全组件系统的组装理论。 Zbl 1310.68057号 罗尔夫·亨尼克;亚历山大·纳普;马丁·威尔辛 2 2014 复合参与者系统的统计模型检查。 Zbl 1394.68228号 乔纳斯·埃克哈特;托拜厄斯·穆尔鲍尔;何塞·梅塞盖尔;马丁·威尔辛 5 2013 并发和数据的接口理论。 Zbl 1216.68187号 塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;马丁·威尔辛 三 2011 基于合同的适应性方法。 Zbl 1213.68208号 安德烈亚斯·施罗德;塞巴斯蒂安·鲍尔。;马丁·威尔辛 2 2011 值得信赖的全球计算。2010年2月24日至26日在德国慕尼黑举行的2010年TGC第五届国际研讨会。修订了选定的论文。 Zbl 1198.68071号 1 2010 比较面向目标的服务编排和过程服务编排。 兹比尔1205.68117 范·里姆斯迪克(M.Birna van Riemsdijk);马丁·威尔辛 1 2010 什么是多模型语言? Zbl 1253.68225号 阿图尔·博罗纳特;亚历山大·纳普;何塞·梅塞盖尔;马丁·威尔辛 13 2009 您更喜欢哪些软约束? Zbl 1347.68197号 马蒂亚斯·霍尔兹尔;梅尔,马克斯;马丁·威尔辛 5 2009 关于模型转换的规范和验证。 Zbl 1253.68232号 费尔南多·奥雷贾斯;马丁·威尔辛 1 2009 软件工程的基本方法。2009年3月22日至29日,作为欧洲软件理论与实践联合会议的一部分,在英国约克举行了第12届国际会议,FASE 2009。诉讼程序。 Zbl 1157.68300号 1 2009 UML语义的异构方法。 Zbl 1143.68373号 维多利亚州玛丽亚·桑加尔;亚历山大·纳普;安德烈·塔莱基;马丁·威尔辛 9 2008 软件密集型系统和新的计算范式。挑战和愿景。 Zbl 1153.68313号 三 2008 使用描述逻辑进行服务规范和匹配。基于制度的方法。 Zbl 1170.68534号 范·里姆斯迪克(M.Birna van Riemsdijk);罗尔夫·亨尼克;马丁·威尔辛;安德烈亚斯·施罗德 1 2008 软约束的重写逻辑框架。 Zbl 1279.68124号 马丁·威尔辛;Denker,砂砾;卡罗琳·塔尔科特;安迪·波乔;琳达·布里塞梅斯特 7 2007 MTLA和移动UML中移动系统的规范和细化。 Zbl 1086.68016号 亚历山大·纳普;斯蒂芬·默兹;马丁·威尔辛;朱利亚·扎佩 5 2006 改编校样-如图。咖喱-霍华德协议。 Zbl 1095.68025号 伊曼·哈菲兹·波尔莫莫;约翰·纽索姆·克罗斯利;马丁·威尔辛 6 2005 带有位置的移动UML状态图。 Zbl 1111.68353号 迭戈·拉特拉;梅克·马西克;休伯特·鲍迈斯特;马丁·威尔辛 2 2005 实现agentComponent的正式规范。 Zbl 1082.68535号 菲利普·梅尔;马丁·威尔辛 1 2004 用于移动系统规范和细化的时空逻辑。 Zbl 1032.03028号 斯蒂芬·默兹;马丁·威尔辛;朱利亚扎佩 8 2003 扩展活动图以建模移动系统。 Zbl 1021.68558号 休伯特·鲍迈斯特;诺拉·科赫;彼得·科修琴科;马丁·威尔辛 三 2003 使组件移动:关注点分离方法。 兹比尔1254.68124 德克·帕丁森;马丁·威尔辛 1 2003 面向对象软件工程的形式化方法。 Zbl 1001.68024号 马丁·威尔辛;亚历山大·纳普 14 2002 自适应超媒体应用的慕尼黑参考模型。 Zbl 1047.68813号 诺拉·科赫;马丁·威尔辛 2 2002 用于验证OCL约束设计模型的Java实现的Hoare演算。 Zbl 0977.68858号 罗伊斯,伯恩哈德;马丁·威尔辛;罗尔夫·亨尼克 5 2001 高阶过程计算中的递归方程。 Zbl 0992.68147号 M·英。;Wirsing,M。 1 2001 近似相似性。 Zbl 0983.68131号 Ying,明生;马丁·威尔辛 10 2000 规范语言。 Zbl 0979.68555号 唐纳德·桑内拉;马丁·威尔辛 2 1999 具有可观测性算子的结构化规范的证明系统。 Zbl 0901.68116号 罗尔夫·亨尼克;马丁·威尔辛;米歇尔·比多瓦 8 1997 应用程序根据基于对象的规范进行定时重写逻辑。 Zbl 0877.68071号 彼得·科修琴科;马丁·威尔辛 5 1997 时间敏感系统规范的时间重写逻辑。 Zbl 0876.03015号 彼得·科修琴科;马丁·威尔辛 2 1997 代数方法和软件技术。第五届国际会议,1996年7月1日至5日,德国慕尼黑AMAST’96。诉讼程序。 Zbl 0851.00082号 1 1996 行为和抽象规范。 Zbl 0853.68130号 米歇尔·比多瓦;罗尔夫·亨尼克;马丁·威尔辛 24 1995 行为规范。 Zbl 0831.68061号 罗尔夫·亨尼克;马丁·威尔辛 三 1995 代数规范的高阶参数化演算。 Zbl 0832.68072号 维多利亚州玛丽亚·桑加尔;马丁·威尔辛 1 1995 元素是Aussagenlogik。 Zbl 0721.68001号 弗里德里希·鲍尔。;马丁·威尔辛 三 1991 编程方法。CIP项目精选论文。 邮编:0875.00050 1 1991 多态性、参数化和类型化:代数规范的观点。 Zbl 0788.68098号 雅塞克·莱斯齐洛夫斯基;马丁·威尔辛 1 1991 代数规范。 Zbl 0900.68309号 马丁·威尔辛 77 1990 代数方法:理论、工具和应用。讲习班,于1987年6月9日至11日在德国联邦帕索举行。诉讼程序。 Zbl 0745.68019号 1 1989 可达高阶代数的代数规范。 Zbl 0659.68027号 伯恩哈德·莫勒;安德烈·塔莱基;马丁·威尔辛 9 1988 具有内置域构造的代数规范。 Zbl 0645.68027号 伯恩哈德·莫勒;安德烈·塔莱基;马丁·威尔辛 2 1988 隐等价代数规范。 Zbl 0632.68024号 F.L.鲍尔。;Wirsing,M。 1 1988 关于编程语言的代数定义。 Zbl 0627.68009号 曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀 13 1987 STACS 87标准。第四届计算机科学理论方面年度研讨会,1987年2月19日至21日,德意志联邦共和国帕绍。诉讼程序。 Zbl 0604.00016号 1 1987 结构化代数规范:一种核心语言。 Zbl 0599.68021号 马丁·威尔辛 28 1986 代数实现保持程序正确性。 Zbl 0597.68021号 曼弗雷德·布罗伊;伯恩哈德·莫勒;彼得·佩珀;马丁·威尔辛 7 1986 连续抽象数据类型。 Zbl 0624.68024号 安德烈·塔莱基;马丁·威尔辛 4 1986 代数规范语言的表示语义。 Zbl 0594.68015号 马丁·威尔辛 1 1986 关系规范和观察语义。 Zbl 0637.68012号 埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥;马丁·威尔辛 1 1986 关于并发系统的参数化代数规范。 Zbl 0563.68018号 阿斯蒂西亚诺,E。;G.F.马斯卡里。;雷吉奥,G。;Wirsing,M。 4 1985 观测规范:Birkhoff-theorem。 兹伯利0584.68039 罗尔夫·亨尼克;马丁·威尔辛 4 1985 连续抽象数据类型:基本机械和结果。 Zbl 0571.68014号 安德烈·塔莱基;马丁·威尔辛 三 1985 对抽象数据类型模型的系统研究。 兹伯利0552.68010 Broy,M。;Wirsing,M。;成对,C。 9 1984 用于代数规范和实现的内核语言。扩展摘要。 Zbl 0517.68043号 唐纳德·桑内拉;马丁·威尔辛 33 1983 抽象数据类型的层次结构。 Zbl 0513.68015号 马丁·威尔辛;彼得·佩珀;赫尔穆特·帕奇;沃尔特·多什;曼弗雷德·布罗伊 16 1983 关于有限无限通信序列过程的代数规范。 Zbl 0512.68021号 曼弗雷德·布罗伊;马丁·威尔辛 4 1983 函数式编程语言及其语义模型的代数定义。 Zbl 0515.68017号 曼弗雷德·布罗伊;马丁·威尔辛 4 1983 部分抽象类型。 Zbl 0494.68020号 曼弗雷德·布罗伊;马丁·威尔辛 38 1982 参数化规范的实现(扩展抽象)。 Zbl 0492.68023号 唐纳德·桑内拉;马丁·威尔辛 12 1982 结构化代数规范。 Zbl 0514.68024号 马丁·威尔辛 三 1982 Abstrakte Datentypen:Die algebraische Spezifikation von Rechenstrukturen。 Zbl 0488.68024号 胡椒,P。;布罗伊,M。;F.L.鲍尔。;H·帕奇。;多什·W·。;Wirsing,M。 1 1982 关于代数规格说明的威力。 Zbl 0462.68001号 J.A.伯格斯特拉。;布罗伊,M。;J.V.塔克。;Wirsing,M。 15 1981 关于非确定性编程语言的代数规范。 Zbl 0462.68063号 布罗伊,M。;Wirsing,M。 13 1981 用广谱语言编程:示例集。 Zbl 0469.68003号 F.L.鲍尔。;布罗伊,M。;多什·W·。;Gnatz,R。;Krieg-Brückner,B。;劳特,A。;卢克曼,M。;T·马特兹纳。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;Steinbrüggen,R。;Wirsing,M。;Wössner,H。 11 1981 关于抽象数据类型的代数扩展。 Zbl 0492.68024号 曼弗雷德·布罗伊;马丁·威尔辛 1 1981 作为抽象数据类型的编程语言。 Zbl 0433.68014号 布罗伊,M。;Wirsing,M。 12 1980 将数据类型抽象为有限生成模型的格。 Zbl 0441.68014号 Wirsing,M。;布罗伊,M。 10 1980 关于程序之间的关系。 Zbl 0435.68017号 布罗伊,M。;胡椒,P。;Wirsing,M。 4 1980 编程语言中的语义关系。 Zbl 0443.68005号 布罗伊,M。;H·帕奇。;胡椒,P。;Wirsing,M。 2 1980 非确定性和非连续结构的语义。 Zbl 0406.03059号 布罗伊,M。;R.格纳茨。;Wirsing,M。 17 1979 抽象数据类型中的存在量词。 Zbl 0404.68026号 布罗伊,M。;多施,W。;H·帕奇。;胡椒,P。;Wirsing,M。 13 1979 问题spezifikation-eine Grundlage für Programmentwicklung。 Zbl 0407.68005号 Broy,M。;R.格纳茨。;Wirsing,M。 1 1979 小型通用邮政系统。 Zbl 0467.03035号 马丁·威尔辛 1 1979 Kleine unnetscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen公司。 Zbl 0398.03005号 马丁·威尔辛 1 1978 克拉塞·冯·福梅伦(Klasse von Formeln)的《大问题》(Das Entscheidungsproblem der Klasse van Formeln,die höchstens zwei Primformeln entalten)。 Zbl 0365.02035号 马丁·威尔辛 2 1977 所有引用出版物 前5名被引用出版物 全部的 前5名355位作者引用 23 罗尔夫·亨尼克 22 马丁·威尔辛 18 安德烈·塔莱基 17 唐纳德·桑内拉。 16 Jan A.Bergstra。 13 何塞·梅塞盖尔·瓜伊塔 12 曼弗雷德·布罗伊 11 哈特穆特·埃里格 10 米歇尔·比多瓦 10 蒂尔·莫萨科夫斯基 10 费尔南多·奥雷贾斯 9 亚历山大·纳普 9 科内利斯·A·米德尔堡。 8 约翰·V·塔克。 6 马丁斯(Manuel António Martins) 6 弗洛里安·拉贝 5 吉尔斯·伯诺 5 亚历山大·马德拉 5 凯瑟琳·奥里亚特 5 格里高·罗什乌 4 埃吉迪奥·阿斯泰西亚诺 4 沃尔特·古特曼 4 圣埃芬·卡普兰 4 Hans-Jörg Kreowski 4 卡尔·梅恩克 4 彼得·帕达维茨 4 卡罗琳·塔尔科特。 三 马克·艾吉尔 三 回来了,拉尔夫·约翰 三 玛丽·克劳德·高德尔 三 约翰·格兰特。 三 马丁·霍夫曼 三 安娜贝拉·克拉尔 三 帕斯卡尔·勒加尔 三 迭戈·马姆斯勒 三 彼得·莫塞斯(Peter D.Mosses)。 三 玛丽莎·纳瓦罗 三 Peter Csaba,Olveczky 三 弗朗西斯科·帕里西 三 唐·伦纳德·皮戈齐 三 埃尔维拉·皮诺 三 Ying,明生 2 艾尔维拉·阿尔伯特 2 巴博萨、路易斯·索亚雷斯 2 塞巴斯蒂安·鲍尔。 2 休伯特·鲍迈斯特 2 伦茨·贝尔兹纳 2 阿图尔·博罗纳特 2 阿黛尔·布胡拉 2 维多利亚州玛丽亚·桑加尔 2 莫拉·塞里奥利 2 克莉丝汀,杂乱无章 2 米海·Codescu 2 洛科·德尼古拉 2 沃尔特·多什 2 Jean-François Dufourd 2 汉斯·迪特·埃里奇 2 安东尼奥·加维兰斯·弗兰科 2 米盖尔·戈梅斯·扎马洛亚 2 马丁·格罗·罗德 2 北卡罗来纳州哈曼。 2 Hölzl,Matthias M。 2 伊布拉基莫夫,F.N。 2 巴特·雅各布斯 2 卡西莫夫纳迪穆拉·卡比布列维奇 2 Bakhadyr M.库萨诺夫。 2 Hélène基什内尔 2 亚历山大·库兹 2 迭戈·拉特拉 2 Gary T.Leavens。 2 刘,思 2 米歇尔·洛雷蒂 2 卢西奥·卡拉斯科,方济各会 2 马燕芳 2 伯恩德·马赫 2 马丁·奥列特,纳西索 2 吉安弗兰科·马斯卡里 2 梅克·马西克 2 西格德·梅尔达尔 2 斯蒂芬·默兹 2 伯恩哈德·莫勒 2 克劳德·佩尔 2 弗朗西斯科·帕里西·普雷西奇 2 阿尔班·蓬塞 2 吉安娜·雷吉奥 2 马库斯·罗根巴赫 2 阿尔伯特·鲁比奥 2 罗斯、特奥多尔 2 米歇尔·鲁西诺维奇 2 马蒂奥·桑马蒂诺 2 安德烈亚斯·施罗德 2 亚历山德拉·席尔瓦 2 格雷姆·史密斯 2 Ţuţu,伊奥努 2 埃里克·瓦格纳。 2 张明华 2 周春来 2 埃琳娜·祖卡 1 艾丽卡·阿尔布拉汉姆 1 维托·米歇尔·阿布鲁西 …还有255位作者 全部的 前5名42篇连载文章中引用 85 理论计算机科学 22 信息学报 12 计算的形式方面 10 信息与计算 8 MSCS公司。计算机科学中的数学结构 8 逻辑与代数程序设计杂志 8 程序设计中的逻辑和代数方法杂志 5 信息处理信件 5 计算机与系统科学杂志 5 图表 4 纯逻辑与应用逻辑年鉴 三 分布式计算 三 计算机科学中的逻辑方法 2 人工智能 2 代数普遍性 2 模糊集与系统 2 符号计算杂志 2 数学科学杂志(纽约) 2 计算系统理论 2 逻辑程序设计理论与实践 2 应用逻辑杂志 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 应用数学与计算 1 苏联数学杂志 1 编程和计算机软件 1 RAIRO,Informatique Théorique公司 1 逻辑研究 1 计算机科学与技术杂志 1 自动推理杂志 1 国际近似推理杂志 1 国际计算机数学杂志 1 工程、通信和计算中的应用代数 1 应用的分类结构 1 人工智能研究杂志 1 工程中的数学问题 1 软计算 1 计算机基础理论 1 ACM计算逻辑事务 1 计算机科学中的数学 1 泛逻辑 1 中欧计算机科学杂志 1 Modelirovanie i Analiz信息系统 全部的 前5名在14个字段中引用 297 计算机科学(68至XX) 74 数学逻辑和基础(03-XX) 14 一般代数系统(08-XX) 11 范畴理论;同调代数(18-XX) 2 历史和传记(01-XX) 2 群论与推广(20-XX) 2 概率论与随机过程(60-XX) 2 系统论;控制(93至XX) 2 信息与通信理论、电路(94-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.