×
作者ID: zwiers.job公司“Zwiers,Job”最近发表的zbMATH文章
发布日期: 乔布·兹维尔;Zwiers,J。
外部链接: MGP公司
已编制索引的文档: 8出版物自1984年以来,包括3本书
合著者: 9合著者具有7联合出版物
204位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

6出版物有被引用93中的次84文件 引用人 年份
并发验证。合成和非置换方法简介。 Zbl 1009.68020号
威廉·鲍尔·德·罗弗;法兰克·德波尔;乌尔里希·汉内曼;乔泽夫·胡曼;亚辛·拉赫内奇;波埃尔、曼内斯;乔布·兹维尔
51
2001
组成性、并发性和部分正确性。过程网络的证明理论及其关系。 Zbl 0674.68011号
Zwiers,工作
19
1989
合成性和并发网络:校对系统的健全性和完整性。 Zbl 0566.68014号
乔布·兹维尔;威廉·保罗·德·罗弗;范·埃姆德·博阿斯(Peter van Emde Boas)
16
1985
动态过程网络部分正确性的证明系统。 Zbl 0558.68023号
乔布·兹维尔;阿里·德布鲁因;威廉·保罗·德罗弗
1984
从序列层到分布式进程:导出分布式最小权值生成树算法(扩展抽象)。 Zbl 1370.68317号
杨森,威尔;乔布·兹维尔
1992
综合不同的开发范式:结合关于分布式系统的自顶向下和自下而上推理。 Zbl 1354.68182号
Zwiers,J。;美国汉尼曼。;Y.拉赫内切。;德罗弗,W.-P。
1
1995
并发验证。合成和非置换方法简介。 Zbl 1009.68020号
威廉·鲍尔·德·罗弗;法兰克·德波尔;乌尔里希·汉内曼;乔泽夫·胡曼;亚辛·拉赫内奇;波埃尔、曼内斯;乔布·兹维尔
51
2001
综合不同的开发范式:结合关于分布式系统的自顶向下和自下而上推理。 Zbl 1354.68182号
Zwiers,J。;美国汉尼曼。;Y.拉赫内切。;德罗弗,W.-P。
1
1995
从序列层到分布式进程:导出分布式最小权值生成树算法(扩展抽象)。 Zbl 1370.68317号
杨森,威尔;Zwiers,工作
1992
组成性、并发性和部分正确性。过程网络的证明理论及其关系。 Zbl 0674.68011号
乔布·兹维尔
19
1989
组成性和并发网络:证明系统的健全性和完整性。 Zbl 0566.68014号
乔布·兹维尔;威廉·保罗·德·罗弗;范·埃姆德·博阿斯(Peter van Emde Boas)
16
1985
动态过程网络部分正确性的证明系统。 Zbl 0558.68023号
Zwiers,工作;阿里·德布鲁因;威廉·保罗·德罗弗
1984
全部的 前5名

130位作者引用

6 奥尔德罗格(Ernst-Rüdiger Olderog)
5 伊恩·海斯。
5 格哈德·谢尔霍恩
4 罗伯特·J·科尔文。
4 乔泽夫·约翰内斯·玛丽亚·胡曼
皮埃尔·科莱特
德波尔(Frank S。
西蒙·多尔蒂
克利夫·琼斯。
拉里萨·梅尼基。
Kedar S.Namjoshi。
沃尔夫冈·雷夫
博格丹·托凡
海克,韦尔海姆
2 美国,皮埃尔
2 弗朗西斯科·西维尔·巴博特
2 米克尔·伯特兰
2 曼弗雷德·布罗伊
2 气候,八月
2 威廉·鲍尔·德·罗弗
2 布里杰什·多戈尔
2 迈克尔·戈德史密斯
2 马泰·约瑟夫
2 埃德加·纳普
2 卡马尔·洛达亚
2 尼克·莫法特
2 Moszkowski,Ben C。
2 Ken G.皮尔斯。
2 弗拉德·鲁苏
2 Rudrapatna Kallikote Shyamasundar
2 蔡义权
2 范格拉贝克、罗伯特·扬
2 王,弯腰
1 沃尔夫冈·阿伦特
1 Krzysztof Rafal公寓
1 阿伦库马尔,S。
1 安德烈·阿鲁索艾
1 西蒙·巴姆勒
1 兹索尔特博尔西
1 博斯特罗姆,蓬图斯
1 蒂莫西·布鲁克
1 乔纳森·鲍文(Jonathan P.Bowen)。
1 安东尼奥·考伊
1 玛莎·契契克
1 科恩,阿里尔
1 詹姆斯·克兰奇
1 萨迪·达尔瓦迪
1 达姆,丹尼斯·雷内
1 弗兰克·德德里克斯
1 弗雷德里克·德格隆德
1 约翰·德里克
1 Din、Crystal Chang
1 马克西米利安·迪拉
1 埃默森,欧内斯特·艾伦
1 凯·恩格哈特
1 吉登·恩斯特
1 克莱门斯·菲舍尔
1 菲克斯,利莫
1 尼西姆·弗朗西兹
1 卡洛·阿尔贝托·福里亚
1 毛里齐奥·加布里埃利
1 格查斯、卡斯蒂斯
1 罗布·特里斯坦·格特
1 卡洛·盖齐
1 迪米特拉·吉安娜科波卢
1 萨宾·格莱斯纳
1 谢尔盖·冈查洛夫
1 托马斯·哥特
1 苏珊娜·格拉芙
1 格雷戈里克斯·提博尔
1 奥尔纳·格伦伯格
1 Dimitar P.Guelev。
1 古罗夫,帝力
1 乌尔里希·汉内曼
1 何继峰
1 维姆·赫塞林克。
1 C.A.R.Tony Hoare
1 彼得·霍夫纳
1 玛丽克·赫斯曼
1 尼尔斯·Jähnig
1 威尔·扬森
1 本特·琼森
1 卡普尔,卡尔佩什
1 Joost-Pieter卡托恩
1 Ekkart Kindler公司
1 Joost N.角。
1 科曼,R。
1 迪诺·曼德里奥利
1 克劳迪奥·蒙吉
1 多米尼克·梅里
1 安托万·米内
1 阿卜杜利拉·莫凯德姆
1 安杰洛·莫尔岑蒂
1 摩西,约拉姆
1 大卫·E·诺瓦克。
1 Owe、Olaf
1 帕里托什·K·潘迪亚。
1 科琳娜·s·佩斯勒诺。
1 Doron A.Peled。
1 约格·佩勒
…还有30多位作者

按年份列出的引文