编辑配置文件(在新选项卡中打开) 乔布·兹维尔 合著者距离 作者ID: zwiers.job公司 发布日期: 乔布·兹维尔;Zwiers,J。 外部链接: MGP公司 已编制索引的文档: 8出版物自1984年以来,包括3本书 合著者: 9合著者具有7联合出版物 204位合作作者 全部的 前5名合著者 1 单作者的 5 威廉·鲍尔·德·罗弗 三 乌尔里希·汉内曼 三 亚辛·拉赫内奇 三 波埃尔、曼内斯 2 德波尔(Frank S。 2 乔泽夫·约翰内斯·玛丽亚·胡曼 2 威尔·扬森 1 阿里·德布鲁因 1 范·埃姆德·博阿斯(Peter van Emde Boas) 系列 2 剑桥理论计算机科学丛书 1 分布式计算 1 计算机科学课堂讲稿 字段 8 计算机科学(68-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 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多位作者 全部的 前5名17篇连载文章中引用 18 计算的形式方面 10 理论计算机科学 7 信息学报 三 自动推理杂志 2 信息与计算 2 分布式计算 2 系统设计中的形式化方法 2 数学与人工智能年鉴 1 信息处理信件 1 哲学逻辑杂志 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 逻辑与代数程序设计杂志 1 萨达纳 1 《大学学报》。Informatica公司 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 83 计算机科学(68-XX) 15 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文