编辑配置文件(在新选项卡中打开) 罗兰·梅耶 合著者距离 作者ID: 迈耶·罗兰 发布日期: 罗兰·梅耶 已编制索引的文档: 36出版物自1981年起 2作为编辑的贡献 合著者: 47位合著者具有35联合出版物 834位合作作者 全部的 前5名合著者 1 单作者的 7 普拉卡什·塞瓦桑 5 彼得·奇尼 5 塞巴斯蒂安·穆斯卡拉 4 雷纳·Hüchting 4 维克托·科门科 三 埃戈尔·德雷韦内特 三 鲁帕克·马朱姆达尔 2 穆罕默德·法乌齐(Mohamed Faouzi Atig) 2 艾哈迈德·博阿贾尼 2 菲利普·达伦多 2 Stéphane P.德姆里。 2 约翰·费伯 2 马修·黑格 2 Jochen Hoenicke公司 2 卢卡什,霍利克 2 克里斯托夫·莫尔万 2 安德烈·里巴尔琴科 2 蒂姆·斯特拉兹尼 2 海克·卫尔海姆 1 帕罗什·阿齐兹·阿卜杜拉 1 安德鲁·F·阿克。 1 朱迪思·博贝纳奇 1 乔治·卡林 1 查克拉博蒂,索姆 1 沃伊切赫,切尔文斯基 1 伊曼纽尔·D’Osualdo 1 阿德韦特·阿米特·戈博莱 1 罗伯托·戈里埃里 1 塞巴斯蒂安·格兰奇 1 彼得·哈贝梅尔 1 弗雷德里克·哈齐扎 1 乔纳森·科尔伯格 1 安德烈亚斯·克雷布斯 1 桑卡拉纳拉亚南·克里希纳 1 Sławomir拉索塔 1 罗恩·卢茨 1 艾克·莫尔曼 1 库马尔·纳拉扬。 1 乌韦·内斯特曼 1 伊拉·礼萨 1 奥尔德罗格,恩斯特·吕迪格 1 安德烈·普拉泽 1 萨利希、梅赫迪·塞耶德 1 阿尔瓦罗·索托 1 哈罗·威梅尔 1 塞巴斯蒂安·沃尔夫 1 乔治·泽采 1 马丁·齐默尔曼 全部的 前5名系列 2 计算机科学中的逻辑方法 1 声学 1 信息学报 1 人工智能 1 计算 1 自动推理杂志 1 计算的形式方面 1 微分方程电子杂志(EJDE) 1 计算机基础理论 1 计算机科学课堂讲稿 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 36 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 偏微分方程(35-XX) 1 微分几何(53至XX) 1 流体力学(76-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物有被引用119中的次76文件 引用人▼ 年份▼ (p)-Laplacian的一个自由边界问题:解的唯一性、凸性和逐次逼近。 Zbl 0820.35037号 阿克,A。;梅耶,R。 16 1995 微积分中的结构平稳性理论。 Zbl 1165.68053号 罗兰·梅耶 12 2009 检查并加强针对TSO的稳健性。 Zbl 1381.68039号 艾哈迈德·博阿贾尼;埃戈尔·德雷韦内特;罗兰·梅耶 12 2013 Petri网语言的向下闭包。 Zbl 1288.68181号 彼得·哈贝梅尔;罗兰·梅耶;哈罗·威梅尔 8 2010 关于(pi)-演算与有限位置/转移Petri网之间的关系。 Zbl 1254.68175号 罗兰·梅耶;罗伯托·戈里埃里 7 2009 根据总店铺订单确定稳健性。 Zbl 1333.68082号 艾哈迈德·博阿贾尼;罗兰·梅耶;艾克·莫尔曼 6 2011 流动性的限制。 Zbl 1417.68132号 Hüchting,雷纳;鲁帕克·马朱姆达尔;罗兰·梅耶 6 2014 模型检查持续时间演算:一种实用方法。 Zbl 1168.68425号 罗兰·梅耶;约翰·费伯;安德烈·里巴尔琴科 6 2006 对电源的鲁棒性是PSpace-complete。 Zbl 1409.68069号 埃戈尔·德雷韦内特;罗兰·梅耶 6 2014 名字有界理论。 Zbl 1390.68474号 雷纳·Hüchting;鲁帕克·马朱姆达尔;罗兰·梅耶 5 2013 使用网络展开验证移动系统的实用方法。 Zbl 1143.68460号 罗兰·梅耶;维克托·科门科;蒂姆·斯特拉兹尼 5 2008 模型检查持续时间演算:一种实用方法。 Zbl 1151.68487号 罗兰·梅耶;约翰·费伯;Jochen Hoenicke公司;安德烈·里巴尔琴科 5 2008 结构良好的过渡系统的正则可分离性。 Zbl 1520.68092号 沃伊切赫,切尔文斯基;斯拉沃米尔·拉索塔;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;库马尔·纳拉扬。;普拉卡什·塞瓦桑 5 2018 关于有界上下文切换的复杂性。 Zbl 1442.68073号 彼得·奇尼;乔纳森·科尔伯格;安德烈亚斯·克雷布斯;罗兰·梅耶;普拉卡什·塞瓦桑 5 2017 无限状态系统具有可达性的一阶逻辑。 Zbl 1394.68247号 伊曼纽尔·D’Osualdo;罗兰·梅耶;乔治·泽采 4 2016 可用性语言的决定因素是什么? Zbl 1366.68130号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);罗兰·梅耶;萨利希、梅赫迪·塞耶德 4 2015 安全验证的细粒度复杂性。 Zbl 1423.68094号 彼得·奇尼;罗兰·梅耶;普拉卡什·塞瓦桑 4 2018 Kleene、Rabin和Scott均可参加。 Zbl 1287.68135号 Jochen Hoenicke公司;罗兰·梅耶;奥尔德罗格,恩斯特·吕迪格 2 2010 全职工作的情感型移动机器人教育家。 兹伯利0939.68864 伊利亚·努尔巴赫什。;朱迪思·博贝纳奇;塞巴斯蒂安·格兰奇;罗恩·卢茨;罗兰·梅耶;阿尔瓦罗·索托 2 1999 微分几何在非均匀和运动介质中射线声学中的应用。 Zbl 0462.76083号 梅耶,R。;G.施罗德。 2 1981 正确的系统设计。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。 Zbl 1320.68024号 2 2015 无上下文游戏摘要。 兹比尔1391.68072 卢卡什,霍利克;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉 2 2016 关于Petri网的向上/向下闭包。 Zbl 1441.68142号 穆罕默德·法乌齐(Mohamed Faouzi Atig);罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;普拉卡什·塞瓦桑 2 2017 Petri网可达图:一阶属性的可判定状态。 Zbl 1248.68324号 菲利普·达伦多;斯特凡·德姆里;罗兰·梅耶;克里斯托夫·莫尔万 1 2012 Petri网可达图:FO属性的可判定状态。 Zbl 1246.68162号 菲利普·达伦多;斯特凡·德姆里;罗兰·梅耶;克里斯托夫·莫尔万 1 2011 (pi)-演算(FCP)到安全Petri网的多项式转换。 Zbl 1364.68292号 罗兰·梅耶;维克托·科门科;雷纳·Hüchting 1 2012 使用网络展开验证移动系统的实用方法。 Zbl 1183.68403号 罗兰·梅耶;维克托·科门科;蒂姆·斯特拉兹尼 1 2009 参数化系统中活跃度的复杂性。 Zbl 1504.68141号 彼得·奇尼;罗兰·梅耶;普拉卡什·塞瓦桑 1 2019 广播网络的活力。 Zbl 1506.68008号 彼得·奇尼;罗兰·梅耶;普拉卡什·塞瓦桑 1 2022 安全验证的细粒度复杂性。 Zbl 1468.68121号 彼得·奇尼;罗兰·梅耶;普拉卡什·塞瓦桑 1 2020 在多项式时间内,下推和可折叠下推系统的安全性相等。 Zbl 1512.68154号 马修·黑格;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;马丁·齐默尔曼 1 2018 高阶游戏的域。 Zbl 1441.68125号 马修·黑格;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉 1 2017 广播网络的活力。 Zbl 1506.68008号 彼得·奇尼;罗兰·梅耶;普拉卡什·塞瓦桑 1 2022 安全验证的细粒度复杂性。 Zbl 1468.68121号 彼得·奇尼;罗兰·梅耶;普拉卡什·塞瓦桑 1 2020 参数化系统活性的复杂性。 Zbl 1504.68141号 彼得·奇尼;罗兰·梅耶;普拉卡什·塞瓦桑 1 2019 结构良好的过渡系统的规则可分性。 兹比尔1520.68092 沃伊切赫,切尔文斯基;斯拉沃米尔·拉索塔;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;库马尔·纳拉扬。;普拉卡什·塞瓦桑 5 2018 安全验证的细粒度复杂性。 Zbl 1423.68094号 彼得·奇尼;罗兰·梅耶;普拉卡什·塞瓦桑 4 2018 在多项式时间内,下推和可折叠下推系统的安全性相等。 Zbl 1512.68154号 马修·黑格;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;马丁·齐默尔曼 1 2018 关于有界上下文切换的复杂性。 Zbl 1442.68073号 彼得·奇尼;乔纳森·科尔伯格;安德烈亚斯·克雷布斯;罗兰·梅耶;普拉卡什·塞瓦桑 5 2017 关于Petri网的向上/向下闭包。 Zbl 1441.68142号 穆罕默德·法乌齐(Mohamed Faouzi Atig);罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;普拉卡什·塞瓦桑 2 2017 高阶游戏的域。 Zbl 1441.68125号 马修·黑格;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉 1 2017 无限状态系统具有可达性的一阶逻辑。 Zbl 1394.68247号 D’伊曼纽尔·奥斯瓦尔多;罗兰·梅耶;乔治·泽采 4 2016 无上下文游戏摘要。 Zbl 1391.68072号 卢卡什,霍利克;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉 2 2016 可用性语言的决定性因素是什么? Zbl 1366.68130号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);罗兰·梅耶;萨利希、梅赫迪·塞耶德 4 2015 正确的系统设计。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。 Zbl 1320.68024号 2 2015 流动性的限制。 Zbl 1417.68132号 雷纳·Hüchting;鲁帕克·马朱姆达尔;罗兰·梅耶 6 2014 对电源的鲁棒性是PSpace-complete。 Zbl 1409.68069号 埃戈尔·德雷韦内特;罗兰·梅耶 6 2014 针对TSO检查和实施稳健性。 Zbl 1381.68039号 艾哈迈德·博阿贾尼;埃戈尔·德雷韦内特;罗兰·梅耶 12 2013 名字有界理论。 Zbl 1390.68474号 雷纳·Hüchting;鲁帕克·马朱姆达尔;罗兰·梅耶 5 2013 Petri网可达图:一阶属性的可判定状态。 兹比尔1248.68324 菲利普·达伦多;斯特凡·德姆里;罗兰·梅耶;克里斯托夫·莫尔万 1 2012 (pi)-演算(FCP)到安全Petri网的多项式转换。 Zbl 1364.68292号 罗兰·梅耶;维克托·科门科;雷纳·Hüchting 1 2012 根据总店铺订单确定稳健性。 Zbl 1333.68082号 艾哈迈德·博阿贾尼;罗兰·梅耶;艾克·莫尔曼 6 2011 Petri网可达图:FO属性的可判定状态。 Zbl 1246.68162号 菲利普·达伦多;斯特凡·德姆里;罗兰·梅耶;克里斯托夫·莫尔万 1 2011 Petri网语言的向下闭包。 Zbl 1288.68181号 彼得·哈贝梅尔;罗兰·梅耶;哈罗·威梅尔 8 2010 Kleene、Rabin和Scott均可参加。 Zbl 1287.68135号 Jochen Hoenicke公司;罗兰·梅耶;奥尔德罗格,恩斯特·吕迪格 2 2010 微积分中的结构平稳性理论。 Zbl 1165.68053号 罗兰·梅耶 12 2009 关于(pi)-演算与有限位置/转移Petri网之间的关系。 Zbl 1254.68175号 罗兰·梅耶;罗伯托·戈里埃里 7 2009 使用网络展开验证移动系统的实用方法。 Zbl 1183.68403号 罗兰·梅耶;维克托·科门科;蒂姆·斯特拉兹尼 1 2009 一种使用网络展开验证移动系统的实用方法。 Zbl 1143.68460号 罗兰·梅耶;维克托·科门科;蒂姆·斯特拉兹尼 5 2008 模型检查持续时间演算:一种实用方法。 Zbl 1151.68487号 罗兰·梅耶;约翰·费伯;Jochen Hoenicke公司;安德烈·里巴尔琴科 5 2008 模型检查持续时间演算:一种实用方法。 Zbl 1168.68425号 罗兰·梅耶;约翰·费伯;安德烈·里巴尔琴科 6 2006 全职工作的情感型移动机器人教育家。 Zbl 0939.68864号 伊利亚·努尔巴赫什。;朱迪思·博贝纳奇;塞巴斯蒂安·格兰奇;罗恩·卢茨;罗兰·梅耶;阿尔瓦罗·索托 2 1999 拉普拉斯算子的自由边界问题:解的唯一性、凸性和逐次逼近。 Zbl 0820.35037号 阿克,A。;梅耶,R。 16 1995 微分几何在非均匀和运动介质中射线声学中的应用。 Zbl 0462.76083号 梅耶,R。;G.施罗德。 2 1981 所有引用出版物 前5名被引用出版物 全部的 前5名157位作者引用 9 罗兰·梅耶 5 穆罕默德·法乌齐(Mohamed Faouzi Atig) 5 艾哈迈德·博阿贾尼 5 乔治·泽采 4 沃伊切赫,切尔文斯基 4 罗伯托·戈里埃里 4 普拉卡什·塞瓦桑 三 帕罗什·阿齐兹·阿卜杜拉 三 西迪·穆罕默德·贝拉希 三 彼得·奇尼 三 康斯坦丁埃纳 三 阿兰·芬克尔 三 让·古鲍特·拉雷克 三 塞巴斯蒂安·穆斯卡拉 2 保罗·巴尔丹 2 迈克尔·布隆丁 2 洛伦佐·克莱门特 2 伊曼纽尔·D’Osualdo 2 彼得·霍夫曼 2 汉斯·休特尔 2 普拉蒂克,卡兰迪卡尔 2 安德烈亚斯·克雷布斯 2 奥尔纳库普弗曼 2 Sławomir拉索塔 2 Leonardsson,卡尔 2 刘志明 2 Gennaro帕拉托 2 安德烈·里巴尔琴科 2 菲利普·施诺贝伦 2 所罗门·西克特 1 露西娅·阿奇艾 1 普拉图什·阿加瓦尔 1 娜塔莎·亚历奇纳 1 斯塔夫罗斯阿罗尼斯 1 乔治·巴赫迈耶 1 Balasubramanian,A.R。 1 大卫·巴罗齐尼 1 卡米拉·巴里尔斯卡 1 帕斯卡·鲍曼 1 阿尼尔班·巴塔查里亚 1 菲利波·邦奇 1 米歇尔·博雷尔 1 布雷克林(Aske Wiid Brekling) 1 牛,尼尔斯 1 纳迪亚·布西 1 米歇尔·卡迪尔哈克 1 卡洛·路易斯·费尔南多 1 阿尔贝托·卡拉罗 1 安德烈亚·塞隆 1 Chane-Yack-Fa,拉斐尔 1 克里希南德·查特吉 1 托马斯·科尔科姆贝特 1 罗伯特·J·科尔文。 1 Sylvain Conchon公司 1 哈维尔·科雷亚 1 诺曼·戴克 1 戴维·德克勒克 1 Stéphane P.德姆里。 1 邓惠杰 1 雷蒙德·魔鬼队 1 马可·多科 1 巴勃罗·埃斯皮纳斯 1 约翰·法伯 1 迭戈·菲格拉 1 马克·弗拉皮耶 1 法比奥·加杜奇 1 摩西·加纳迪 1 安娜·果戈林斯卡 1 阿列克谢·戈茨曼 1 吉卢,露西 1 彼得·哈贝梅尔 1 马修·黑格 1 西蒙·哈尔丰 1 迈克尔·赖赫哈特·汉森 1 Jochen Hoenicke公司 1 洪丹凡 1 马蒂亚斯·约翰 1 本特·琼森 1 卡西拉斯、斯特凡诺斯 1 维克托·科门科 1 汉娜·克劳代尔 1 乔纳森·科尔伯格 1 巴巴拉·科尼格 1 K.Narayan Kumar 1 萨尔瓦多拉托雷 1 赖俊佐 1 丹尼尔·兰登 1 尼尔·拉维 1 兰科·拉齐奇 1 杰罗姆·勒鲁 1 马丁·勒克 1 布赖恩·洛根 1 朗,腾 1 雨果·A·洛佩兹。 1 迈克尔·卢滕伯格 1 吕毅 1 马,常熟 1 阿梅尔·曼玛 1 Maria Martos-Salgado 1 丹尼尔·马图拉纳 …还有57位作者 全部的 前5名17篇连载文章中引用 6 计算的形式方面 6 计算机科学中的逻辑方法 4 信息与计算 三 信息学报 三 理论计算机科学 2 自动推理杂志 2 计算机基础理论 1 人工智能 1 离散数学 1 计算 1 符号计算杂志 1 智能与机器人系统杂志 1 数学与人工智能年鉴 1 计算系统理论 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 72 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 组合数学(05-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文