×
作者ID: wirsing.martin公司最近由“Wirsing,Martin”撰写的zbMATH文章
发布日期: 马丁·威尔辛;威辛,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 埃里希·齐默尔曼

按年份列出的出版物

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名

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位作者

按年份列出的引文

数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.