编辑配置文件(在新选项卡中打开) Van Weerdenburg,Muck J。 合著者距离 作者ID: van-weerdenburg.muck-j公司 发布日期: 蒙克·范·维尔登堡;Van Weerdenburg,Muck J。;蒙克·范·维尔登堡 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 7出版物自2006年起 合著者: 6位合著者具有5联合出版物 145位合作作者 全部的 前5名合著者 2 单作者的 三 Jan Friso,格鲁特 三 米歇尔·阿德里安·雷尼尔 2 Mathijssen,阿德 2 亚罗斯拉夫·乌森科。 1 汤姆·恩格斯。 1 Tim A.C.Willemse。 系列 1 逻辑与代数程序设计杂志 领域 7 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 5出版物有被引用19次17文件 引用人▼ 年份▼ 使用mCRL2分析分布式系统。 Zbl 1171.68400号 Jan Friso,格鲁特;亚德·马蒂杰森;米歇尔·雷尼尔斯(Michel A.Reniers)。;亚罗斯拉夫·乌森科。;蒙克·范·维尔登堡 11 2009 从\(\mu\)CRL到mCRL2:动机和大纲。 兹比尔1316.68094 Jan Friso,格鲁特;亚德·马蒂杰森;蒙克·范·维尔登堡;亚罗斯拉夫乌森科 4 2006 具有一阶逻辑的结构操作语义。 Zbl 1339.68161号 蒙克·范·维尔登堡;米歇尔·雷尼尔斯(Michel A.Reniers)。 2 2009 实现应用项重写的说明。 Zbl 1277.68109号 蒙克·范·维尔登堡 1 2007 自动化隔音。 Zbl 1339.68160号 蒙克·范·维尔登堡 1 2009 使用mCRL2分析分布式系统。 Zbl 1171.68400号 Jan Friso,格鲁特;亚德·马蒂杰森;米歇尔·雷尼尔斯(Michel A.Reniers)。;亚罗斯拉夫·乌森科。;蒙克·范·维尔登堡 11 2009 具有一阶逻辑的结构操作语义。 Zbl 1339.68161号 蒙克·范·维尔登堡;米歇尔·雷尼尔斯(Michel A.Reniers)。 2 2009 自动化隔音。 Zbl 1339.68160号 蒙克·范·维尔登堡 1 2009 实现应用项重写的说明。 Zbl 1277.68109号 蒙克·范·维尔登堡 1 2007 从\(\mu\)CRL到mCRL2:动机和大纲。 Zbl 1316.68094号 Jan Friso,格鲁特;亚德·马蒂杰森;蒙克·范·维尔登堡;亚罗斯拉夫乌森科 4 2006 所有引用出版物 排名前五的出版物 全部的 前5名37位作者引用 4 米歇尔·阿德里安·雷尼尔 三 Aceto,卢卡 三 Anna Ingólfsdóttir 2 埃里克·P·德文克。 2 Jan Friso,格鲁特 2 C.A.R.Tony Hoare 2 Möller,伯恩哈德 2 马尔詹·西尔贾尼 2 乔治·斯特鲁斯 2 伊恩·卫尔曼 1 苏珊娜·安多瓦 1 法哈德·阿尔巴 1 阿纳尔·比吉松 1 马蒂奥·奇米尼 1 斯乔德·克兰恩 1 弗朗西斯科·杜兰 1 瑞克·埃尔肯斯 1 福金克,威廉·简 1 休伯特·加拉维 1 鲁克·格罗内韦根(Luuk P.J.Groenewegen)。 1 侯赛因·霍贾特 1 纳塔莉亚·科卡什 1 克劳斯,克里斯蒂安 1 弗雷德里克·朗 1 莫里斯·拉维奥 1 穆罕默德·穆萨维 1 梅里姆·乌代尔尼 1 伊恩·菲利普斯。 1 贝斯·普洛格 1 巴赫曼·普瓦坦 1 哈米德·萨布里 1 格温·萨拉恩 1 斯坦珀斯,弗兰克·P·M。 1 伊雷克·乌利多夫斯基 1 范德波尔,扬·科内利斯 1 韦塞林克,J.W。 1 Tim A.C.Willemse。 全部的 前5名7篇连载文章中引用 5 计算机程序设计科学 2 信息与计算 1 信息学报 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 在3个字段中引用 17 计算机科学(68至XX) 三 数理逻辑与基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文