编辑配置文件(在新选项卡中打开) R.R.H.希弗勒。 合著者距离 作者ID: 希弗勒s.r-r-h 发布日期: R.R.H.希弗勒。 已编制索引的文档: 5出版物自2004年起 合著者: 7合著者具有5联合出版物 124位合作作者 全部的 前5名合著者 0 单作者的 5 米歇尔·阿德里安·雷尼尔 5 雅各布斯·E·罗达。 5 van Beek博士。 三 伙计,卡洛克 1 Jos C.M.Baeten。 1 Pieter J.L.Cuijpers。 1 托尼森,R.J.M。 系列 1 逻辑与代数程序设计杂志 领域 5 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用30中的次24文件 引用人▼ 年份▼ 混合Chi的语法和一致方程语义。 Zbl 1088.68111号 van Beek博士。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。 22 2006 混合系统组合交换格式的基础。 Zbl 1221.68152号 van Beek博士。;Reniers,医学硕士。;R.R.H.希弗勒。;罗达,J.E。 4 2007 混合Chi的形式语义。 Zbl 1099.68651号 R.R.H.希弗勒。;van Beek博士。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。 三 2004 基于模型的嵌入式系统工程使用混合进程代数Chi。 Zbl 1279.68245号 巴顿,J.C.M。;van Beek博士。;P.J.L.Cuijpers。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。;托尼森,R.J.M。 1 2008 基于模型的嵌入式系统工程使用混合进程代数Chi。 Zbl 1279.68245号 巴顿,J.C.M。;van Beek博士。;P.J.L.Cuijpers。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。;托尼森,R.J.M。 1 2008 混合系统组合交换格式的基础。 Zbl 1221.68152号 van Beek博士。;Reniers,医学硕士。;R.R.H.希弗勒。;罗达,J.E。 4 2007 混合Chi的语法和一致方程语义。 Zbl 1088.68111号 van Beek博士。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。 22 2006 混合Chi的形式语义。 Zbl 1099.68651号 R.R.H.希弗勒。;van Beek博士。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。 三 2004 所有引用出版物 前5名被引用出版物 全部的 前5名49位作者引用 6 米歇尔·阿德里安·雷尼尔 5 Pieter J.L.Cuijpers。 5 雅各布斯·E·罗达。 三 卢卡·博托卢西 三 瓦实提·加尔平 三 简·希尔斯顿 三 R.R.H.希弗勒。 三 van Beek博士。 2 Jos C.M.Baeten。 2 罗伯特·J·科尔文。 2 伙计,卡洛克 2 范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。 1 安、杰 1 哈什·贝哈尔 1 贾斯珀·贝伦德森 1 博特尼克,E。 1 奥利维尔·布瓦索 1 劳伦特·多恩 1 威廉·扬·福克金 1 斯特凡·T·J·福舍伦。 1 戈兰·弗雷斯 1 休伯特Garavel 1 恩斯特·莫里茨·哈恩 1 阿恩·哈特曼斯 1 伊恩·海耶斯。 1 霍尔格·赫尔曼斯 1 侯萍 1 Joost-Pieter卡托恩 1 哈迪姆,美国。 1 塞巴斯蒂安·库珀 1 拉诺特,拉格罗 1 巴斯·卢提克 1 马特尔,马蒂厄 1 马西莫·梅罗 1 乌韦·内斯特曼 1 乔治·帕帕斯。 1 安德烈·普拉泽 1 斯文·施奈德 1 沈伟 1 苏荣 1 唐晓晨 1 托尼森,R.J.M。 1 西蒙·蒂尼 1 尼古拉·特里卡 1 Vaandrager,Frits W。 1 安东·威伊斯(Anton J.Wijs)。 1 詹伯华 1 詹乃军 1 张苗苗 全部的 前5名引用于7个系列 4 逻辑与代数程序设计杂志 2 理论计算机科学 1 信息与计算 1 计算的形式方面 1 离散事件动态系统 1 系统设计中的形式化方法 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 23 计算机科学(68至XX) 4 系统论;控制(93至XX) 2 数学逻辑和基础(03-XX) 2 生物学和其他自然科学(92-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文