编辑配置文件(在新选项卡中打开) 米歇尔·阿德里安·雷尼尔 合著者距离 作者ID: 雷内尔斯·米切尔·阿德里安 发布日期: 米歇尔·雷尼尔斯(Michel A.Reniers)。;雷尼尔斯,M.A。;米歇尔·雷尼尔斯;米歇尔·阿德里安·雷尼尔 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 68出版物自1996年以来,包括2本书 2作为编辑的贡献 合著者: 51位合著者具有64联合出版物 599合著作者 全部的 前5名合著者 1 单作者的 11 Jan Friso,格鲁特 9 卢卡·埃特罗 9 Anna Ingólfsdóttir 8 雅各布斯·E·罗达。 6 Pieter J.L.Cuijpers。 5 Jos C.M.巴滕。 5 吐温·巴斯滕 5 马蒂奥·奇米尼 5 威廉·扬·福克金 5 R.R.H.希弗勒。 5 van Beek博士。 三 米歇尔·乔德隆 三 伙计,卡洛克 三 绍克·莫 三 穆罕默德·穆萨维 三 Van Weerdenburg,Muck J。 三 Tim A.C.Willemse。 2 阿纳尔·比吉松 2 斯乔德·克兰恩 2 默多克·詹姆斯·加贝 2 Martijn A.古登。 2 伊恩·菲利普斯。 2 桑德·瑟斯曼 2 伊雷克·乌利多夫斯基 2 亚罗斯拉夫·乌森科。 2 范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。 2 范德桑登,布拉姆 2 阿兰·范·赫斯特。 1 Damian Nadales,阿古特 1 安德烈亚斯·格哈德斯·恩格斯 1 马丁·费比安 1 马克·盖伦 1 欧根·伊安·戈里亚克 1 杰伦·J·A·凯伦。 1 凯斯·克莱 1 Kleijn,J.J.T。 1 巴斯·卢提克 1 亚德·马蒂杰森 1 彼得·莫塞斯(Peter D.Mosses)。 1 穆罕默德雷扎·穆萨维 1 穆罕默德·雷扎·穆萨维 1 劳雷·佩特鲁奇 1 拉蒙·希夫勒 1 巴布亚州索波辛斯基 1 斯坦珀斯,弗兰克·P·M。 1 托尼森,R.J.M。 1 范登布兰德,P.C.W。 1 范德兹瓦格,马克B。 1 van Putten,Berend Jan Christiaan 1 乔斯·范瓦梅尔 1 Jeroen P.M.Voeten。 全部的 前5名系列 5 离散事件动态系统 4 理论计算机科学 4 逻辑与代数程序设计杂志 2 IEEE自动控制汇刊 2 计算机程序设计科学 2 信息与计算 2 欧洲理论计算机科学协会公报 2 理论计算机科学电子论文集(EPTCS) 1 信息处理信件 1 系统设计中的形式化方法 1 北欧计算机杂志 1 计算机基础理论 1 ACM计算逻辑事务 1 剑桥理论计算机科学丛书 全部的 前5名字段 67 计算机科学(68至XX) 10 系统论;控制(93至XX) 8 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 变异微积分和最优控制;最优化(49至XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 55出版物有被引用342中的次194文件 引用人▼ 年份▼ 过程代数:通信过程的方程理论。由托尼·霍尔(Tony Hoare)、罗宾·米尔纳(Robin Milner)和扬·伯格斯特拉(Jan Bergstra)撰写的前言。 兹比尔12346.8001 巴顿,J.C.M。;巴斯滕,T。;Reniers,医学硕士。 52 2010 SOS格式和元理论:20年后。 兹比尔1111.68069 穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特 33 2007 混合进程代数。 Zbl 1090.68071号 P.J.L.Cuijpers。;Reniers,医学硕士。 27 2005 代数过程验证。 Zbl 1035.68069号 J.F.格罗特。;Reniers,医学硕士。 22 2001 混合Chi的语法和一致方程语义。 兹比尔1088.68111 范·比克,D.A。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。 22 2006 SOS与数据的互模拟和同余格式的概念。 Zbl 1082.68075号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特 18 2005 使用mCRL2.的分布式系统分析。 Zbl 1171.68400号 Jan Friso,格鲁特;亚德·马蒂杰森;米歇尔·雷尼尔斯(Michel A.Reniers)。;亚罗斯拉夫·乌森科。;蒙克·范·维尔登堡 11 2009 关联性的规则格式。 Zbl 1160.68461号 斯乔德·克兰恩;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 9 2008 高阶过程的SOS。 Zbl 1134.68450号 穆罕默德·雷扎·穆萨维;默多克·J·加贝。;米歇尔·雷尼尔斯(Michel A.Reniers)。 8 2005 SOS规则格式的层次结构。 Zbl 1273.68206号 Jan Friso,格鲁特;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 8 2006 SOS的语法交换格式。 Zbl 1173.68561号 穆罕默德·穆萨维;米歇尔·雷尼尔斯;Jan Friso,格鲁特 7 2005 结构同余的同余。 Zbl 1118.68534号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 7 2005 消息序列图的通信模型层次结构。 Zbl 1014.68040号 恩格斯,A.G。;茅,S。;Reniers,医学硕士。 6 2002 有序SOS的语义和表达。 Zbl 1165.68045号 穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯(Michel A.Reniers)。;伊雷克·乌利多夫斯基 6 2009 标称SOS。 Zbl 1342.68193号 马蒂奥·奇米尼;穆罕默德雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;默多克·J·加贝。 6 2012 混合过程的线性化。 兹比尔1088.68137 范登布兰德,P.C.W。;Reniers,医学硕士。;P.J.L.Cuijpers。 5 2006 结构操作语义中的正交扩展(扩展抽象)。 Zbl 1085.68593号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 5 2005 PARS:包含资源和调度程序的进程代数。 1099.68673兹比尔 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯;吐温·巴斯滕;米歇尔·乔德隆 5 2004 拓扑(双)模拟。 兹比尔1271.68177 P.J.L.Cuijpers。;Reniers,医学硕士。 5 2004 决定论和幂等性的规则格式。 Zbl 1274.68060号 卢卡·埃特罗;阿纳尔·比吉松;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 5 2010 单位元素的规则格式。 Zbl 1274.68169号 卢卡·埃特罗;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 5 2010 消息序列图。语法和语义。 Zbl 0930.68084号 米歇尔·阿德里安·雷尼尔 4 1999 定时CRL的完整性。 Zbl 1011.68063号 Reniers,医学硕士。;J.F.格罗特。;范德兹瓦格,M.B。;J.范瓦梅尔。 4 2002 混合系统组合交换格式的基础。 Zbl 1221.68152号 范·比克,D.A。;Reniers,医学硕士。;R.R.H.希弗勒。;罗达,J.E。 4 2007 从CTL到一阶模态演算的线性转换。 Zbl 1216.68188号 斯乔德·克兰恩;Jan Friso,格鲁特;米歇尔·雷尼尔斯 4 2011 非确定性和模态逻辑的最大允许受控系统综合。 Zbl 1356.93030号 范·赫斯特,A.C。;Reniers,医学硕士。;W.J.福克金。 4 2017 时间进程代数(关注显式终止和相对时间)。 兹比尔1105.68079 巴顿,J.C.M。;Reniers,医学硕士。 三 2004 迷失在翻译中:混合时间流与实时转换。 Zbl 1143.68480号 P.J.L.Cuijpers。;Reniers,医学硕士。 三 2008 零元素和单位元素的规则格式。 兹比尔1342.68189 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 三 2010 混合Chi的形式语义。 Zbl 1099.68651号 R.R.H.希弗勒。;范·比克,D.A。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。 三 2004 分配性的规则格式。 Zbl 1330.68184号 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 三 2011 决定论和幂等性的规则格式。 Zbl 1243.68205号 卢卡·埃特罗;阿纳尔·比吉松;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 三 2012 进程代数需要证明方法。 Zbl 1169.68541号 Wan Fokkink公司;Jan Friso,格鲁特;米歇尔·雷尼尔斯 2 2004 工业系统分析。 Zbl 1021.68061号 Kleijn,J.J.T。;Reniers,医学硕士。;罗达,J.E。 2 2003 有序SOS的含义。 Zbl 1177.68140号 穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯(Michel A.Reniers)。;伊雷克·乌利多夫斯基 2 2006 用依赖结构矩阵构造多级离散事件系统。 Zbl 07256281号 马尔蒂恩·古登;乔安娜·范·德·莫特尔·弗朗查克(Joanna van de Mortel-Fronczak);米歇尔·雷尼尔斯;Wan Fokkink公司;雅各布斯·罗达 2 2020 混合过程的拓扑方面:使用非标准分析的拟议处理方法。 Zbl 1316.68091号 P.J.L.Cuijpers。;Reniers,医学硕士。 2 2006 部分可控制制造系统的监督合成和吞吐量优化。 兹比尔1478.93190 van Putten,Berend Jan Christiaan;范德桑登,布拉姆;米歇尔·雷尼尔斯;杰罗·沃顿;拉蒙·希夫勒 2 2021 具有一阶逻辑的结构操作语义。 兹比尔1339.68161 蒙克·范·维尔登堡;米歇尔·雷尼尔斯(Michel A.Reniers)。 2 2009 在莫德原型化SOS元理论。 Zbl 1273.68212号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 2 2006 具有通用量化的同余规则格式。 Zbl 1278.68144号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯 2 2007 计时不定时:在保守的情况下成功终止。 Zbl 1171.68559号 巴顿,J.C.M。;穆萨维,M.R。;Reniers,医学硕士。 1 2005 用于交互的进程代数。 Zbl 1035.68070号 茅,S。;Reniers,医学硕士。 1 2001 用于检查Petri网的LTL(setminus)X属性的增量模块化技术。 Zbl 1215.68155号 凯斯·克莱;劳雷·佩特鲁奇;米歇尔·雷尼尔斯 1 2007 PARS:一种处理资源和调度程序的进程代数方法。 Zbl 1171.68575号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;吐温·巴斯滕;米歇尔·乔德隆 1 2009 通过结构图分析布尔方程组。 Zbl 1454.68066号 米歇尔·雷尼尔斯(Michel A.Reniers)。;Tim A.C.Willemse。 1 2010 扩展有限自动机的合成协调器综合。 Zbl 1478.93186号 Martijn A.古登。;马丁·费比安;范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。;米歇尔·雷尼尔斯(Michel A.Reniers)。;万·J·福克金。;雅各布斯·E·罗达。 1 2021 运算扩展下方程的稳健性。 Zbl 1455.68125号 彼得·莫塞斯(Peter D.Mosses)。;穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 1 2010 演化系统的转型主管综合。 Zbl 1492.93116号 桑德·瑟斯曼;米歇尔·雷尼尔斯 1 2022 模态逻辑的最大允许受控系统综合。 Zbl 1432.68248号 阿兰·范·赫斯特。;米歇尔·雷尼尔斯(Michel A.Reniers)。;万·J·福克金。 1 2015 零元素和单位元素的SOS规则格式。 兹比尔1216.68152 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 1 2011 关于被提升的tyft的基础和表现力(被提升会有所不同)。 Zbl 1277.68125号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯 1 2007 基于模型的嵌入式系统工程使用混合进程代数Chi。 Zbl 1279.68245号 巴顿,J.C.M。;范·比克,D.A。;P.J.L.Cuijpers。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。;托尼森,R.J.M。 1 2008 代数性质免费! Zbl 1188.68200号 卢卡·埃特罗;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 1 2009 2012年9月3日,英国泰恩河畔纽卡斯尔,第19届并发表达性国际研讨会和第9届结构化操作语义研讨会合并。诉讼程序。 Zbl 1415.68034号 1 2012 演化系统的转型主管综合。 Zbl 1492.93116号 桑德·瑟斯曼;米歇尔·雷尼尔斯 1 2022 部分可控制制造系统的监督合成和吞吐量优化。 Zbl 1478.93190号 van Putten,Berend Jan Christiaan;范德桑登,布拉姆;米歇尔·雷尼尔斯;杰罗·沃顿;拉蒙·希夫勒 2 2021 扩展有限自动机的合成协调器综合。 Zbl 1478.93186号 Martijn A.古登。;马丁·费比安;范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。;米歇尔·雷尼尔斯(Michel A.Reniers)。;万·J·福克金。;雅各布斯·E·罗达。 1 2021 用依赖结构矩阵构造多级离散事件系统。 兹比尔07256281 马尔蒂恩·古登;乔安娜·范·德·莫特尔·弗朗查克(Joanna van de Mortel-Fronczak);米歇尔·雷尼尔斯;Wan Fokkink公司;雅各布斯·罗达 2 2020 非确定性和模态逻辑的最大允许受控系统综合。 兹比尔1356.93030 范·赫斯特,A.C。;Reniers,医学硕士。;W.J.福克金。 4 2017 模态逻辑的最大允许控制系统综合。 Zbl 1432.68248号 阿兰·范·赫斯特。;米歇尔·雷尼尔斯(Michel A.Reniers)。;万·J·福克金。 1 2015 标称SOS。 Zbl 1342.68193号 马蒂奥·奇米尼;穆罕默德雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;默多克·J·加贝。 6 2012 决定论和幂等性的规则格式。 Zbl 1243.68205号 卢卡·埃特罗;阿纳尔·比吉松;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 三 2012 2012年9月3日,英国泰恩河畔纽卡斯尔,第19届并发表达性国际研讨会和第9届结构化操作语义研讨会合并。诉讼程序。 Zbl 1415.68034号 1 2012 从CTL到一阶模态演算的线性转换。 Zbl 1216.68188号 斯乔德·克兰恩;Jan Friso,格鲁特;米歇尔·雷尼尔斯 4 2011 分配性的规则格式。 Zbl 1330.68184号 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 三 2011 零元素和单位元素的SOS规则格式。 Zbl 1216.68152号 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 1 2011 过程代数:通信过程的方程理论。由托尼·霍尔(Tony Hoare)、罗宾·米尔纳(Robin Milner)和扬·伯格斯特拉(Jan Bergstra)撰写的前言。 兹比尔12346.8001 巴顿,J.C.M。;巴斯滕,T。;Reniers,医学硕士。 52 2010 决定论和幂等性的规则格式。 Zbl 1274.68060号 卢卡·埃特罗;阿纳尔·比吉松;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 5 2010 单位元素的规则格式。 Zbl 1274.68169号 卢卡·埃特罗;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 5 2010 零元素和单位元素的规则格式。 Zbl 1342.68189号 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 三 2010 通过结构图分析布尔方程组。 Zbl 1454.68066号 米歇尔·雷尼尔斯(Michel A.Reniers)。;蒂姆·威廉姆斯。 1 2010 运算扩展下方程的稳健性。 Zbl 1455.68125号 彼得·莫塞斯(Peter D.Mosses)。;穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 1 2010 使用mCRL2分析分布式系统。 Zbl 1171.68400号 Jan Friso,格鲁特;亚德·马蒂杰森;米歇尔·雷尼尔斯(Michel A.Reniers)。;亚罗斯拉夫·乌森科。;蒙克·范·维尔登堡 11 2009 有序SOS的语义和表达。 Zbl 1165.68045号 穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯(Michel A.Reniers)。;伊雷克·乌利多夫斯基 6 2009 具有一阶逻辑的结构操作语义。 Zbl 1339.68161号 蒙克·范·维尔登堡;米歇尔·雷尼尔斯(Michel A.Reniers)。 2 2009 PARS:一种处理资源和调度程序的进程代数方法。 Zbl 1171.68575号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;吐温·巴斯滕;米歇尔·乔德隆 1 2009 代数性质免费! Zbl 1188.68200号 卢卡·埃特罗;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 1 2009 关联性的规则格式。 Zbl 1160.68461号 斯乔德·克兰恩;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 9 2008 迷失在翻译中:混合时间流与实时转换。 Zbl 1143.68480号 P.J.L.Cuijpers。;Reniers,医学硕士。 三 2008 基于模型的嵌入式系统工程使用混合进程代数Chi。 Zbl 1279.68245号 巴顿,J.C.M。;范·比克,D.A。;P.J.L.Cuijpers。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。;托尼森,R.J.M。 1 2008 SOS格式和元理论:20年后。 Zbl 1111.68069号 穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特 33 2007 混合系统组合交换格式的基础。 Zbl 1221.68152号 范·比克,D.A。;Reniers,医学硕士。;Schiffelers,R.R.H。;罗达,J.E。 4 2007 具有通用量化的同余规则格式。 Zbl 1278.68144号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯 2 2007 用于检查Petri网的LTL(setminus)X属性的增量模块化技术。 Zbl 1215.68155号 凯斯·克莱;劳雷·佩特鲁奇;米歇尔·雷尼尔斯 1 2007 论提拔品的根基深厚和表现力(提拔起作用)。 Zbl 1277.68125号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯 1 2007 混合Chi的语法和一致方程语义。 兹比尔1088.68111 范·比克,D.A。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。 22 2006 SOS规则格式的层次结构。 Zbl 1273.68206号 Jan Friso,格鲁特;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 8 2006 混合过程的线性化。 Zbl 1088.68137号 范登布兰德,P.C.W。;Reniers,医学硕士。;P.J.L.Cuijpers。 5 2006 有序SOS的含义。 Zbl 1177.68140号 穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯(Michel A.Reniers)。;伊雷克·乌利多夫斯基 2 2006 混合过程的拓扑方面:使用非标准分析的拟议处理方法。 Zbl 1316.68091号 P.J.L.Cuijpers。;Reniers,医学硕士。 2 2006 在莫德原型化SOS元理论。 Zbl 1273.68212号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 2 2006 混合进程代数。 Zbl 1090.68071号 P.J.L.Cuijpers。;Reniers,医学硕士。 27 2005 SOS与数据的互模拟和同余格式的概念。 Zbl 1082.68075号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特 18 2005 高阶过程的SOS。 兹比尔1134.68450 穆罕默德·雷扎·穆萨维;默多克·J·加贝。;米歇尔·雷尼尔斯(Michel A.Reniers)。 8 2005 SOS的语法交换格式。 Zbl 1173.68561号 穆罕默德·穆萨维;米歇尔·雷尼尔斯;Jan Friso,格鲁特 7 2005 结构同余的同余。 Zbl 1118.68534号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 7 2005 结构操作语义中的正交扩展(扩展抽象)。 Zbl 1085.68593号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 5 2005 计时不定时:在保守的情况下成功终止。 兹比尔1171.68559 巴顿,J.C.M。;穆萨维,M.R。;Reniers,医学硕士。 1 2005 PARS:包含资源和调度程序的进程代数。 Zbl 1099.68673号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯;吐温·巴斯滕;米歇尔·乔德隆 5 2004 拓扑(双)模拟。 Zbl 1271.68177号 P.J.L.Cuijpers。;Reniers,医学硕士。 5 2004 时间进程代数(关注显式终止和相对时间)。 Zbl 1105.68079号 巴顿,J.C.M。;Reniers,医学硕士。 三 2004 混合Chi的形式语义。 Zbl 1099.68651号 R.R.H.希弗勒。;范·比克,D.A。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。 三 2004 进程代数需要证明方法。 Zbl 1169.68541号 Wan Fokkink公司;Jan Friso,格鲁特;米歇尔·雷尼尔斯 2 2004 工业系统分析。 Zbl 1021.68061号 Kleijn,J.J.T。;Reniers,医学硕士。;罗达,J.E。 2 2003 消息序列图的通信模型层次结构。 Zbl 1014.68040号 恩格斯,A.G。;茅,S。;Reniers,医学硕士。 6 2002 定时CRL的完整性。 Zbl 1011.68063号 雷尼尔斯,M.A。;J.F.格罗特。;范德兹瓦格,M.B。;J.范瓦梅尔。 4 2002 代数过程验证。 Zbl 1035.68069号 J.F.格罗特。;Reniers,医学硕士。 22 2001 用于交互工作的过程代数。 Zbl 1035.68070号 茅,S。;雷尼尔斯,M.A。 1 2001 消息序列图。语法和语义。 Zbl 0930.68084号 米歇尔·阿德里安·雷尼尔 4 1999 所有引用出版物 前5名被引用出版物 全部的 前5名292位作者引用 25 米歇尔·阿德里安·雷尼尔 20 卢卡·埃特罗 19 Anna Ingólfsdóttir 16 Jos C.M.Baeten。 13 巴斯·卢提克 8 Pieter J.L.Cuijpers。 8 Jan Friso,格鲁特 6 埃里克·P·德文克。 6 威廉·扬·福克金 6 戴维·桑吉奥吉 6 西蒙·蒂尼 5 Jan A.Bergstra。 5 马蒂奥·奇米尼 5 巴托克·克林 5 科内利斯·A·米德尔堡。 5 雅各布斯·E·罗达。 5 范格拉贝克、罗伯特·扬 4 苏珊娜·安多瓦 4 瓦伦蒂娜·卡斯蒂格利奥尼 4 Daniel E.Gebler。 4 李因苏普 4 穆罕默德·穆萨维 4 伊恩·菲利普斯。 4 奥列格·索科尔斯基 4 范德波尔,扬·科内利斯 4 Tim A.C.Willemse。 三 法哈德·阿尔巴 三 巴博萨、路易斯·索亚雷斯 三 西蒙·布利兹 三 卢卡·博托卢西 三 伊恩·卡萨尔 三 罗伯特·J·科尔文。 三 佩德罗·鲁宾·达吉尼奥 三 戴维·德·弗鲁托斯·埃斯克里格 三 阿德里安·杜里埃 三 伊格纳西奥·法布雷加斯 三 阿德里安·弗兰卡兰扎 三 瓦实提·加尔平 三 阿尔瓦罗·加西亚·佩雷斯 三 卡洛斯·格雷戈里奥·罗德里格斯 三 罗尔夫·亨尼克 三 简·希尔斯顿 三 丹尼尔·赫希科夫 三 拉诺特、拉格罗 三 亚历山大·马德拉 三 马西莫·梅罗 三 彼得·莫塞斯(Peter D.Mosses)。 三 庞、军 三 R.R.H.希弗勒。 三 伊雷克·乌利多夫斯基 三 范·比克,D.A。 三 Van Weerdenburg,Muck J。 2 埃利·阿纳斯塔西亚迪 2 克里斯特尔·拜尔 2 爱德华·巴拉诺夫 2 哈什,比哈尔 2 斯乔德·克兰恩 2 索尼娅·乔治耶夫斯卡 2 谢尔盖·冈查洛夫 2 欧根·伊安·戈里亚克 2 鲁克·格罗内韦根(Luuk P.J.Groenewegen)。 2 C.A.R.Tony Hoare 2 彼得·霍夫纳 2 侯赛因·霍贾特 2 Joost-Pieter卡托恩 2 李,马蒂亚斯·戴维 2 塞尔盖·伦格利特 2 罗比·马利克 2 伙计,卡洛克 2 马丁斯(Manuel António Martins) 2 尤兰达奥尔特加购物中心 2 西蒙娜·奥尔赞 2 马蒂亚斯·拉加德·佩德森 2 安娜·菲利普 2 贝斯·普洛格 2 克里斯托夫·劳赫 2 阿兰·施密特 2 卢茨·施罗德 2 马尔詹·西尔贾尼 2 Jean-Bernard斯特凡尼 2 田,春 2 尼古拉·特里卡 2 亚罗斯拉夫·乌森科。 2 范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。 2 范蒂尔堡,P.J.A。 2 保罗·范蒂尔堡 2 米尔科·维罗利 2 杨菲 1 安东尼斯·阿奇利奥斯 1 安,Sojin 1 罗马斯·阿隆德里斯 1 拉杰夫·阿鲁尔 1 阿默尔·布利法,拉巴 1 安、杰 1 乔治·奥德里托 1 巴赫·鲍尔森,卡斯珀 1 巴哈雷赫巴德班 1 弗朗西斯科·巴拉丁 1 罗伯托·巴布蒂 1 吐温·巴斯滕 …还有192位作者 全部的 前5名22篇连载文章中引用 24 理论计算机科学 17 逻辑与代数程序设计杂志 13 信息与计算 12 程序设计中的逻辑和代数方法杂志 10 计算机科学中的逻辑方法 7 离散事件动态系统 5 信息学报 5 计算机程序设计科学 5 计算的形式方面 三 自动推理杂志 2 信息处理信件 2 系统设计中的形式化方法 2 ACM计算逻辑事务 1 国际控制杂志 1 Automatica公司 1 信息科学 1 计算机与系统科学杂志 1 纯逻辑与应用逻辑年鉴 1 MSCS公司。计算机科学中的数学结构 1 工程、通信和计算中的应用代数 1 控制论与系统分析 1 国际系统科学杂志。系统与集成原理与应用 全部的 前5名11个领域引用 185 计算机科学(68至XX) 26 数学逻辑和基础(03-XX) 16 系统论;控制(93至XX) 4 范畴理论;同调代数(18-XX) 4 生物学和其他自然科学(92-XX) 2 阶、格、有序代数结构(06-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文