编辑配置文件(在新选项卡中打开) 鲁德·柯伊伯 合著者距离 作者ID: 库伊伯·鲁德 发布日期: 路德·柯伊伯 已编制索引的文档: 16出版物自1983年以来,包括1本书 合著者: 15位合著者具有10联合出版物 481位联合作者 全部的 前5名合著者 2 单作者的 4 惠泽,科内利斯 三 罗布·特里斯坦·格特 2 霍华德·巴林杰 2 埃里克·J·路易特。 2 罗纳尔德·米德尔科普 2 沃伊切赫·彭泽克 1 H.贝瑟。 1 达姆,丹尼斯·雷内 1 埃里克·P·德文克。 1 鲁克·格罗内韦根(Luuk P.J.Groenewegen)。 1 Th.海宁。 1 乔泽夫·约翰内斯·玛丽亚·胡曼 1 Klahr,H。 1 巴特·科纳克 1 罗恩·科曼斯 1 Doron A.Peled。 1 阿米尔·普努利 1 Ella E.鲁布佐娃。 1 马西耶·斯特雷特 1 Louis C.M.范古尔。 1 汤姆·弗霍夫 1 周,平 系列 2 计算的形式方面 2 计算机基础理论 1 天文学和天体物理学 1 信息与计算 1 尼乌档案馆(Nieuw Archief voor Wiskunde)。Vijfde系列 领域 15 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 1 一般性和全局性主题;集合(00-XX) 1 流体力学(76-XX) 1 天文学和天体物理学(85-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用46中的次43文件 引用人▼ 年份▼ 分支时间逻辑模型检查的部分顺序方法。 Zbl 1045.68588号 罗伯·格思;鲁德·柯伊伯;多龙·贝利德;沃伊切赫·彭泽克 20 1999 时间逻辑框架中CSP的公平性假设。 Zbl 0512.68022号 R·柯伊伯。;德罗弗,W.P。 10 1983 类CSP语言的合成时间方法。 Zbl 0594.68018号 霍华德·巴林杰;路德·柯伊伯;阿米尔·普努利 9 1986 时序逻辑框架中并发系统的分层开发。 Zbl 0565.68017号 霍华德·巴林杰;鲁德·柯伊伯 7 1985 改进通用分支时间属性的部分降阶。 Zbl 0966.68126号 沃伊切赫·彭泽克;马西耶·斯兹雷特;罗伯·格思;鲁德·柯伊伯 5 2000 用于实时模型检查的部分降阶技术。 Zbl 0952.68070号 亲爱的,丹尼斯;罗伯·格思;巴特·克纳克;鲁德·柯伊伯 三 1998 通过利用OO设计中的层来规范和验证不变量。 Zbl 1167.68382号 罗纳尔德·米德尔科普;惠泽,科内利斯;鲁德·柯伊伯;埃里克·J·路易特。 2 2008 通过利用OO设计中的层来规范和验证不变量。 Zbl 1167.68382号 罗纳尔德·米德尔科普;惠泽,科内利斯;鲁德·柯伊伯;埃里克·J·吕特。 2 2008 改进通用分支时间属性的部分降阶。 Zbl 0966.68126号 沃伊切赫·彭泽克;马西耶·斯兹雷特;罗伯·格思;鲁德·柯伊伯 5 2000 分支时间逻辑模型检查的部分顺序方法。 Zbl 1045.68588号 罗伯·格思;鲁德·柯伊伯;多龙·贝利德;沃伊切赫·彭泽克 20 1999 用于实时模型检查的部分降阶技术。 Zbl 0952.68070号 亲爱的,丹尼斯;罗伯·格思;巴特·克纳克;鲁德·柯伊伯 三 1998 类CSP语言的合成时间方法。 Zbl 0594.68018号 霍华德·巴林杰;鲁德·柯伊伯;阿米尔·普努利 9 1986 时序逻辑框架中并发系统的分层开发。 Zbl 0565.68017号 霍华德·巴林杰;鲁德·柯伊伯 7 1985 时间逻辑框架中CSP的公平性假设。 Zbl 0512.68022号 R·柯伊伯。;德罗弗,W.P。 10 1983 所有引用出版物 前5名被引用出版物 全部的 前5名被74位作者引用 4 安蒂·瓦尔马里 4 Tim A.C.Willemse。 4 卡斯滕·沃尔夫 三 金·古德斯特兰·拉森 三 托马斯·内勒 2 弗雷德里克·梅耶·伯内兰 2 曼弗雷德·布罗伊 2 惠泽,科内利斯 2 彼得·格约尔·詹森 2 本特·琼森 2 鲁德·柯伊伯 2 弗雷德里克·朗 2 马尔科·穆尼兹 2 吉·斯尔巴 2 Tsay,Yih-Kuen先生 2 索菲·沃纳 1 卡梅尔·巴考伊 1 哈尼法·布切内布 1 帕特里夏·鲍耶 1 朱利安·查尔斯·布拉德菲尔德 1 安东尼奥·考伊 1 皮埃尔·科莱特 1 吉姆·戴维斯 1 戴维·德·弗鲁托斯·埃斯克里格 1 段振华 1 马修·德怀尔。 1 何塞·路易斯·费亚代罗 1 迈克尔·费希尔 1 休伯特·加拉维 1 保罗·加斯廷 1 Jan Friso,格鲁特 1 朱利安·古铁雷斯 1 亨利·汉森 1 约翰·哈特克利夫 1 弗雷德里克·赫布雷托 1 霍夫曼,简·菲利普 1 拉杜·奥西夫 1 萨米·贾兹里 1 大卫·M·卡恩。 1 Jeroen J.A.Keiren。 1 伊戈尔·康诺夫(Igor V.Konnov)。 1 萨瓦斯·科努尔 1 罗恩·科曼斯 1 克里斯滕森,拉尔斯·迈克尔 1 托尔斯滕·利布克 1 刘彤 1 阿莱西奥·洛穆西奥 1 丹尼斯·卢吉兹 1 埃里克·J·路易特。 1 托马斯·斯蒂芬·爱德华·迈鲍姆 1 米拉·塞德尔巴姆少校。 1 拉杜·马达尔 1 拉杜·马特埃斯库 1 弗朗科·马扎蒂 1 罗纳尔德·米德尔科普 1 本·C·莫斯科夫斯基。 1 彼得·尼伯特 1 Doron A.Peled。 1 沃伊切赫·彭泽克 1 曲洪阳 1 亚历山大·拉比诺维奇 1 马克·亚历山大·雷诺兹 1 奥坎·桑库尔 1 施耐德(Steve A.Schneider)。 1 医学硕士Sellink。 1 巴拉古鲁·斯里瓦桑 1 田聪 1 马克·蒂默 1 Kimmo Varpaaniemi公司 1 威格·威瑟林克 1 薛炳添 1 扎哈罗夫,弗拉基米尔·安纳托利耶维奇 1 莎拉·泽诺 1 詹乃军 全部的 前5名13篇连载文章中引用 5 理论计算机科学 4 系统设计中的形式化方法 三 计算的形式方面 2 计算机与系统科学杂志 2 信息与计算 2 计算机科学中的逻辑方法 1 信息学报 1 信息处理信函 1 符号计算杂志 1 计算机科学与技术杂志 1 数学与人工智能年鉴 1 计算机基础理论 1 计算机科学前沿 在4个字段中引用 42 计算机科学(68至XX) 17 数学逻辑和基础(03-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文