编辑配置文件(在新选项卡中打开) 莫里斯·比克。 合著者距离 作者ID: ter-beek.马歇尔-h 发布日期: 莫里斯·比克。;莫里斯·特比克;特尔·比克,M.H。 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 31出版物自1996年起 9作为编辑的贡献 合著者: 37位合著者具有37联合出版物 943合著作者 全部的 前5名合著者 三 单作者的 7 格内西、斯特凡尼亚 7 码头Kleijn 5 埃兹贝特·苏哈伊·瓦尔朱 4 弗朗科·马扎蒂 三 大卫·巴兹勒 三 亚历山德罗·范特奇 三 罗尔夫·亨尼克 三 马库斯·霍尔泽 三 McIver,Annabelle K。 三 维克托·米特拉纳 三 Gyorgy Vaszil公司 2 吉尔勒米纳·克莱杜 2 埃里克·P·德文克。 2 何塞·普伦萨 2 Tim A.C.Willemse。 1 克拉克、戴夫 1 法比奥·加杜奇 1 德克·詹森 1 马西耶·库特尼 1 迭戈·拉特拉 1 加布里埃尔·伦齐尼 1 阿列克谢·利西萨(Alexei P.Lisitsa)。 1 阿尔贝托·卢什·拉富恩特 1 尼尔斯·洛曼 1 卡洛斯·马丁·维德 1 梅克·马西克 1 罗莎玛丽·莫纳汉 1 安德烈·奈米提克(Andrei P.Nemytykh)。 1 何塞·努诺·奥利维拉 1 玛丽内拉·彼得罗奇 1 罗萨里奥·普格利泽 1 安托尼奥·拉瓦拉 1 格列泽戈兹·罗森贝格 1 伊娜·谢弗 1 毛里齐奥·塞巴斯蒂安尼斯 1 詹卢卡·特伦塔尼 1 谢夫·范·卢 全部的 前5名系列 5 程序设计中的逻辑和代数方法杂志 三 理论计算机科学 三 计算机科学课堂讲稿 2 自动机、语言和组合学杂志 2 计算机基础理论 1 信息处理信件 1 控制论学报 1 计算机程序设计科学 1 计算的形式方面 1 国际计算机科学基础杂志 1 国际计算机数学杂志 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 全部的 前5名领域 40 计算机科学(68至XX) 9 总体主题;集合(00-XX) 4 数理逻辑与基础(03-XX) 1 历史和传记(01-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用74中的次52文件 引用人▼ 年份▼ 用于分析抽象系统属性的基于状态/事件的模型检查方法。 Zbl 1213.68392号 莫里斯·比克。;亚历山德罗·范特奇;格内西、斯特凡尼亚;弗朗科·马扎蒂 11 2011 产品族可变性建模和分析:具有可变性约束的模态转换系统的模型检查。 Zbl 1351.68170号 莫里斯·比克。;亚历山德罗·范特奇;格内西、斯特凡尼亚;弗朗科·马扎蒂 8 2016 同步洗牌。 Zbl 1077.68086号 莫里斯·比克。;卡洛斯·马丁·维德;维克托·米特拉纳 6 2005 CD语法系统能力。 Zbl 1117.68389号 莫里斯·比克。;埃兹贝特·苏哈伊·瓦尔朱;马库斯·霍尔泽;吉尔吉斯·瓦西尔 5 2004 关于并行重写CD语法系统的能力。 Zbl 1183.68322号 莫里斯·比克。;埃兹贝特·苏哈伊·瓦尔朱;吉尔吉斯·瓦西尔;马库斯·霍尔泽 4 2007 协作分布式语法系统:具有非增量能力的组件。 Zbl 1330.68138号 莫里斯·比克。;埃兹贝特·苏哈伊·瓦尔朱;马库斯·霍尔泽;吉尔吉斯·瓦西尔 4 2011 编配和舞蹈的综合:弥合监督控制和服务协调之间的差距。 Zbl 1528.68173号 大卫·巴兹勒;莫里斯·比克。;罗萨里奥·普格利泽 4 2020 使用mCRL2进行基于家族的模型检查。 Zbl 1430.68155号 莫里斯·比克。;埃里克·P·德文克。;Tim A.C.Willemse。 4 2017 团队自动机系统中安全通信的组成。 Zbl 07369990号 莫里斯·比克。;罗尔夫·亨尼克;码头Kleijn 4 2020 语法系统的Petri网控制。 Zbl 1060.68058号 莫里斯·特比克;码头Kleijn 三 2002 I/O自动机团队的模块化。 Zbl 1185.68382号 莫里斯·比克。;码头Kleijn 三 2005 语法系统小组:混杂和弱重写。 Zbl 0880.68078号 特尔·比克,M.H。 三 1996 我们能交流吗?使用动态逻辑验证团队自动机。 Zbl 1529.68165号 莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 2 2023 具有指定团队的简单生态语法系统。 Zbl 0945.68091号 莫里斯·比克。 2 1999 模型检查值通过模型规范。 Zbl 1434.68303号 莫里斯·比克。;格内西、斯特凡尼亚;弗朗科·马扎蒂 2 2015 用于分析通信协议安全属性的团队自动化场景。 Zbl 1145.68339号 莫里斯·比克。;加布里埃尔·伦齐尼;玛丽内拉·彼得罗奇 2 2006 特色团队自动机。 Zbl 1521.68082号 莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 2 2021 基于家庭的SPL模型检查,使用具有可变性的奇偶校验游戏。 Zbl 1507.68199号 莫里斯·比克。;谢夫·范·卢;埃里克·P·德文克。;Tim A.C.Willemse。 1 2020 下推自动机小组。 兹比尔1103.68598 莫里斯·比克。;埃兹贝特·苏哈伊·瓦尔朱;维克托·米特拉纳 1 2004 向量团队自动机。 兹比尔1252.68205 莫里斯·比克。;码头Kleijn 1 2012 无限同步洗牌和团队自动机的关联性。 Zbl 1194.68151号 莫里斯·比克。;码头Kleijn 1 2009 从欧盟项目到模型检查器家族。从康定斯基到坎迪斯蒂。 Zbl 1454.68006号 莫里斯·比克。;格内西、斯特凡尼亚;弗朗科·马扎蒂 1 2015 我们能交流吗?使用动态逻辑来验证团队自动机。 Zbl 1529.68165号 莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 2 2023 特色团队自动机。 Zbl 1521.68082号 莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 2 2021 编配和舞蹈的综合:弥合监督控制和服务协调之间的差距。 Zbl 1528.68173号 大卫·巴兹勒;莫里斯·比克。;罗萨里奥·普格利泽 4 2020 团队自动机系统中安全通信的组成。 Zbl 07369990号 莫里斯·比克。;罗尔夫·亨尼克;码头Kleijn 4 2020 基于家庭的SPL模型检查,使用具有可变性的奇偶校验游戏。 Zbl 1507.68199号 莫里斯·比克。;谢夫·范·卢;埃里克·P·德文克。;Tim A.C.Willemse。 1 2020 使用mCRL2进行基于家族的模型检查。 Zbl 1430.68155号 莫里斯·比克。;埃里克·P·德文克。;Tim A.C.Willemse。 4 2017 产品族可变性建模和分析:具有可变性约束的模态转换系统的模型检查。 Zbl 1351.68170号 莫里斯·比克。;亚历山德罗·范特奇;格内西、斯特凡尼亚;弗朗科·马扎蒂 8 2016 模型检查值通过模型规范。 Zbl 1434.68303号 莫里斯·比克。;格内西、斯特凡尼亚;弗朗科·马扎蒂 2 2015 从欧盟项目到一个模型检查器家族。从康定斯基到坎迪斯蒂。 Zbl 1454.68006号 莫里斯·比克。;格内西、斯特凡尼亚;弗朗科·马扎蒂 1 2015 向量团队自动机。 Zbl 1252.68205号 莫里斯·比克。;码头Kleijn 1 2012 用于分析抽象系统属性的基于状态/事件的模型检查方法。 Zbl 1213.68392号 莫里斯·比克。;亚历山德罗·范特奇;格内西、斯特凡尼亚;弗朗科·马扎蒂 11 2011 协作分布式语法系统:具有非增量能力的组件。 Zbl 1330.68138号 莫里斯·比克。;埃兹贝特·苏哈伊·瓦尔朱;马库斯·霍尔泽;吉尔吉斯·瓦西尔 4 2011 无限同步洗牌和团队自动机的关联性。 Zbl 1194.68151号 莫里斯·比克。;码头Kleijn 1 2009 关于CD语法系统中并行重写的能力。 Zbl 1183.68322号 莫里斯·比克。;埃兹贝特·苏哈伊·瓦尔朱;吉尔吉斯·瓦西尔;马库斯·霍尔泽 4 2007 用于分析通信协议安全属性的团队自动化场景。 Zbl 1145.68339号 莫里斯·比克。;加布里埃尔·伦齐尼;玛丽内拉·彼得罗奇 2 2006 同步洗牌。 Zbl 1077.68086号 莫里斯·比克。;卡洛斯·马丁·维德;维克托·米特拉纳 6 2005 I/O自动机团队的模块化。 Zbl 1185.68382号 莫里斯·比克。;码头Kleijn 三 2005 CD语法系统能力。 Zbl 1117.68389号 莫里斯·比克。;埃兹贝特·苏哈伊·瓦尔朱;马库斯·霍尔泽;吉尔吉斯·瓦西尔 5 2004 下推自动机小组。 兹比尔1103.68598 莫里斯·比克。;埃兹贝特·苏哈伊·瓦尔朱;维克托·米特拉纳 1 2004 语法系统的Petri网控制。 Zbl 1060.68058号 莫里斯·特比克;码头Kleijn 三 2002 具有指定团队的简单生态语法系统。 兹比尔0945.68091 莫里斯·比克。 2 1999 语法系统小组:混杂和弱重写。 Zbl 0880.68078号 特尔·比克,M.H。 三 1996 所有引用的出版物 前5名被引用出版物 全部的 前5名87位作者引用 13 莫里斯·比克。 7 埃兹贝特·苏哈伊·瓦尔朱 5 格内西、斯特凡尼亚 5 Gyorgy Vaszil公司 4 尤尔根·达索 4 弗朗科·马扎蒂 三 佛朗哥·巴巴内拉 三 大卫·巴兹勒 三 亚历山德罗·范特奇 三 罗尔夫·亨尼克 三 马库斯·霍尔泽 三 伊万·拉内斯 三 埃米利奥·托斯托 2 萨宾·布罗达 2 吉尔勒米纳·克莱杜 2 马克西姆·科尔迪 2 JoséLuiz Fiadeiro 2 Legay、Axel 2 安东尼奥·马基雅维罗 2 内尔玛·莫雷拉 2 西田、大信县 2 迈克,帕帕达基斯 2 何塞·普伦萨 2 罗萨里奥·普格利泽 2 罗杰里奥·里斯 2 马丁·苏尔兹曼 2 彼得·蒂曼。 1 Abreu Jünior,Joáo Carlos 1 费尔南多·阿罗约 1 Bae,Kyungmin先生 1 米歇尔·比多特 1 海宁·博迪恩 1 克劳斯·布拉布兰德 1 曹永志 1 胡安·卡斯特拉诺斯 1 玛莎·契契克 1 陈一香 1 莉莉亚娜·科乔卡鲁 1 赫莱内·科拉维扎 1 Jean-Paul彗星 1 洛科·德尼古拉 1 埃里克·P·德文克。 1 阿列克桑达尔·迪莫夫斯基。 1 亨宁费尔瑙 1 吉安·路易吉,法拉利 1 法比奥·加杜奇 1 西恩·盖斯勒 1 卡洛·盖齐 1 莱蒂蒂亚·吉巴特 1 罗伯托·戈里埃里 1 维萨·哈拉瓦 1 Tero Harju公司 1 安妮·伊丽莎白·哈克斯豪森 1 德克·詹森 1 佩特拉·考夫曼 1 码头Kleijn 1 马丁·克罗内格 1 卡塔琳·安娜·拉扎尔 1 萨米人拉兹雷格 1 马耳他州洛豪 1 洛佩斯,安东尼亚 1 安德拉斯·克里斯蒂安·Lőrincz 1 拉斯·鲁特曼 1 Mäkinen,埃尔基 1 法比奥·马蒂内利 1 亚历山大·梅杜纳 1 克劳迪奥·蒙吉 1 何塞·梅塞盖尔·瓜伊塔 1 维克托·米特拉纳 1 保罗·摩尔 1 潘海宇 1 玛丽内拉·彼得罗奇 1 安德烈亚斯·普范德勒 1 安东尼奥·雷斯蒂沃 1 萨赫拉,埃萨 1 马蒂娜·塞德尔 1 鲍拉·斯波莱蒂尼 1 弗朗西斯科·蒂齐 1 谢尔佐德·图雷夫 1 谢夫·范·卢 1 马赫萨·瓦尔肖萨兹 1 安德烈·索夫斯基 1 迪特马尔·瓦特詹 1 玛格达莱娜·维德尔 1 Tim A.C.Willemse。 1 彼得·泽梅克 1 张敏 全部的 前5名12篇连载文章中引用 6 程序设计中的逻辑和代数方法杂志 5 理论计算机科学 4 计算的形式方面 三 国际计算机科学基础杂志 三 计算机科学中的逻辑方法 2 计算机程序设计科学 1 计算机与系统科学杂志 1 自动推理杂志 1 国际近似推理杂志 1 国际计算机数学杂志 1 计算机基础理论 1 计算机语言、系统和结构 全部的 前5名在6个字段中引用 52 计算机科学(68至XX) 5 数理逻辑与基础(03-XX) 2 系统论;控制(93至XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文