编辑配置文件(在新选项卡中打开) 莱恩,马克·德莫特 合著者距离 作者ID: 瑞安·马克-德莫特 发布日期: 马克·瑞恩;马克·D·瑞恩。;莱恩,马克·德莫特;医学博士Ryan。 更多。。。较少的 外部链接: MGP公司 编入索引的文档: 38出版物自1991年以来,包括2本书 12作为编辑的贡献 合著者: 37位合著者具有37联合出版物 1414位合作作者 全部的 前5名合著者 2 单作者的 10 皮埃尔·伊夫·肖本斯 5 史蒂夫·克莱默 4 尼科斯·戈罗甘尼斯 4 Dimitar P.Guelev。 3 迈托·阿拉皮尼斯 3 斯特凡尼德劳恩 3 迈克尔·R·A·胡特。 3 王桂林 2 克里斯特尔·拜尔 2 弗兰克·卡塞兹 2 克拉克(Edmund Melson jun Clarke)。 2 汉斯·迪特·埃里奇 2 艾丹·哈丁 2 Marta Z.Kwiatkowska。 2 约翰·朱尔斯·查尔斯·梅耶 2 穆哈梅多夫,艾贝克 2 普拉斯,麦芽 2 斯蒂芬·雷夫·马加尼科 2 艾克·里特 1 哈伊纳尔·安德雷卡 1 包,冯 1 伊恩,巴顿 1 杰弗里·伯恩。 1 塞尔吉·布尔苏克 1 蔡健 1 坎贝尔·D·卡特。 1 陈立群 1 雪莲骑士 1 维罗尼克·科尔蒂尔 1 邓惠杰 1 M.J.丁格。 1 JoséLuiz Fiadeiro 1 盖伊,西蒙·J。 1 瓦西利基·哈特纳斯·加姆豪森 1 克洛德·贾德 1 马苏德·科莱尼 1 李伟 1 刘佳 1 阿莱西奥·洛穆西奥 1 阿莱西奥·洛穆西奥。 1 托马斯·斯蒂芬·爱德华·迈鲍姆 1 孟伟志 1 卡图西亚帕拉米德斯 1 布里吉特·罗佐伊 1 沈健 1 本·史密斯 1 童晨宁 1 罗恩·范德梅登 1 王、丁 1 徐世伟 1 张楠 全部的 前5名系列 7 计算机科学课堂讲稿 2 计算的形式方面 1 流体力学杂志 1 圣母院形式逻辑杂志 1 Studia Logica公司 1 计算机程序设计科学 1 信息与计算 1 逻辑与计算杂志 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 数学与人工智能年鉴 1 计算机网络 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 46 计算机科学(68至XX) 15 数学逻辑和基础(03-XX) 11 总体主题;集合(00-XX) 10 信息与通信理论、电路(94-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 流体力学(76-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 28出版物有被引用132中的次122文件 引用人▼ 年份▼ 计算机科学中的逻辑。系统建模和推理。第2版。 Zbl 1073.68001号 哈,迈克尔;马克·瑞恩 70 2004 组合偏好关系的算子和法则。 Zbl 1008.91027号 哈伊纳尔·安德雷卡;马克·瑞恩;皮埃尔·伊夫·肖本斯 28 2002 概率过程的符号模型检查。 Zbl 1401.68180号 克里斯特尔·拜尔;埃德蒙·克拉克(Edmund M.Clarke)。;瓦西利基·哈特纳斯·加姆豪森;玛尔塔·奎亚特科夫斯卡;马克·瑞恩 21 1997 分析应用pi演算中的电子投票协议。 Zbl 1108.68462号 史蒂夫·克莱默;马克·瑞恩 21 2005 反事实和反模式更新。 Zbl 0921.03035号 马克·瑞恩;皮埃尔·伊夫·肖本斯 14 1997 验证电子投票协议的隐私类型属性:品尝者。 Zbl 1284.68243号 斯特凡尼德劳恩;史蒂夫·克莱默;马克·瑞恩 14 2010 计算机科学中的逻辑:关于系统的建模和推理。附有埃德蒙·克拉克的前言。 Zbl 0955.68001号 哈,迈克尔;马克·瑞恩 13 2000 使用特征构造进行特征集成。 Zbl 0983.68236号 Plath,麦芽;马克·瑞恩 11 2001 多代理系统知识:初始配置和广播。 Zbl 1365.68423号 阿莱西奥·洛穆西奥。;罗恩·范德梅登;马克·瑞恩 8 2000 应用pi演算的符号互模拟。 Zbl 1135.94327号 斯特凡尼德劳恩;史蒂夫·克莱默;马克·瑞恩 6 2007 一种新的LTL游戏策略综合算法。 Zbl 1087.68020号 艾丹·哈丁;马克·瑞恩;皮埃尔·伊夫·肖本斯 5 2005 代理和角色:交替时间时序逻辑的精化。 Zbl 1050.68132号 马克·瑞恩;皮埃尔·伊夫·肖本斯 4 2002 代理之间的一系列知识共享模式。 Zbl 0956.03017号 阿莱西奥·洛穆西奥;马克·瑞恩 4 2000 模型检查访问控制策略。 Zbl 1109.68456号 Dimitar P.Guelev。;马克·瑞恩;皮埃尔·伊夫·肖本斯 4 2004 信念修正和逼真。 Zbl 0837.03008号 马克·瑞恩;皮埃尔·伊夫·肖本斯 3 1995 使用BDD实现信念改变操作符。 Zbl 1004.68166号 尼科斯·戈罗甘尼斯;马克·D·瑞恩。 3 2002 基于密码的协议的组成。 Zbl 1291.68035号 雪莲骑士;斯特凡尼德劳恩;史蒂夫·克莱默;马克·D·瑞恩。 3 2013 信念修正和有序的理论陈述。 Zbl 0922.03036号 马克·D·瑞恩。 3 1996 要求、规范和最低限度的细化。 Zbl 1261.68085号 尼科斯·戈罗甘尼斯;马克·瑞恩 2 2002 实用的永久隐私。 Zbl 1390.68273号 迈托·阿拉皮尼斯;维罗尼克·科尔蒂尔;史蒂夫·克莱默;马克·瑞恩 2 2013 验证迹等价的方程理论的简化:重新加密、结合性和交换性。 Zbl 1353.68069号 迈托·阿拉皮尼斯;塞尔吉·布尔苏克;马克·D·瑞恩。 2 2012 同轴湍流射流中三标量混合的实验研究。 Zbl 1241.76012号 蔡,J。;M.J.丁格。;李,W。;C.D.卡特。;医学博士Ryan。;唐,C。 2 2011 安全和信任原则。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议,即2017年POST,是欧洲软件理论与实践联合会议的一部分。诉讼程序。 Zbl 1360.68017号 1 2017 并行过程的建模和验证。2000年6月19日至23日,法国南特,第四所暑期学校,MOVEP 2000。修订的教程讲座。 Zbl 0974.00044号 1 2001 2005年6月28日至30日,英国莱斯特第八届国际研讨会论文,《电信和软件系统中的互动》第八期。 Zbl 1079.68526号 1 2005 改进了多方合同签订。 Zbl 1195.94066号 穆哈梅多夫,艾贝克;马克·瑞恩 1 2008 使用私人合同签名进行公平的多方合同签署。 Zbl 1148.68326号 穆哈梅多夫,艾贝克;马克·D·瑞恩。 1 2008 通过模型检查评估访问控制策略。 Zbl 1159.68455号 张楠;马克·瑞恩;Dimitar P.Guelev。 1 2005 安全和信任原则。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议,即2017年POST,是欧洲软件理论与实践联合会议的一部分。诉讼程序。 Zbl 1360.68017号 1 2017 基于密码的协议的组成。 Zbl 1291.68035号 雪莲骑士;斯特凡尼德劳恩;史蒂夫·克莱默;马克·D·瑞恩。 3 2013 实用的永久隐私。 兹比尔1390.68273 迈托·阿拉皮尼斯;维罗尼克·科尔蒂尔;史蒂夫·克莱默;马克·瑞恩 2 2013 简化方程理论以验证迹等价性:重加密、结合性和交换性。 Zbl 1353.68069号 迈托·阿拉皮尼斯;塞尔吉·布尔苏克;马克·D·瑞恩。 2 2012 同轴湍流射流中三标量混合的实验研究。 Zbl 1241.76012号 蔡,J。;丁格尔,M.J。;李,W。;C.D.卡特。;医学博士Ryan。;大钳,C。 2 2011 验证电子投票协议的隐私类型属性:品尝者。 Zbl 1284.68243号 斯特凡尼德劳恩;史蒂夫·克莱默;马克·瑞恩 14 2010 改进了多方合同签订。 Zbl 1195.94066号 穆哈梅多夫,艾贝克;马克·瑞恩 1 2008 使用私人合同签名进行公平的多方合同签署。 Zbl 1148.68326号 穆哈梅多夫,艾贝克;马克·D·瑞恩。 1 2008 应用pi演算的符号互模拟。 兹比尔1135.94327 斯特凡尼德劳恩;史蒂夫·克莱默;马克·瑞恩 6 2007 分析应用pi演算中的电子投票协议。 Zbl 1108.68462号 史蒂夫·克莱默;马克·瑞恩 21 2005 一种新的LTL游戏策略综合算法。 Zbl 1087.68020号 艾丹·哈丁;马克·瑞恩;皮埃尔·伊夫·肖本斯 5 2005 2005年6月28日至30日,英国莱斯特第八届国际研讨会论文,《电信和软件系统中的互动》第八期。 Zbl 1079.68526号 1 2005 通过模型检查评估访问控制策略。 Zbl 1159.68455号 张楠;马克·瑞恩;Dimitar P.Guelev。 1 2005 计算机科学中的逻辑。系统建模和推理。第2版。 Zbl 1073.68001号 哈,迈克尔;马克·瑞恩 70 2004 模型检查访问控制策略。 Zbl 1109.68456号 Dimitar P.Guelev。;马克·瑞恩;皮埃尔·伊夫·肖本斯 4 2004 组合偏好关系的算子和法则。 Zbl 1008.91027号 哈伊纳尔·安德雷卡;马克·瑞恩;皮埃尔·伊夫·肖本斯 28 2002 代理和角色:交替时间时序逻辑的精化。 Zbl 1050.68132号 马克·瑞恩;皮埃尔·伊夫·肖本斯 4 2002 使用BDD实现信念改变操作符。 Zbl 1004.68166号 尼科斯·戈罗吉安尼斯;马克·D·瑞恩。 3 2002 要求、规范和最低限度的细化。 Zbl 1261.68085号 尼科斯·戈罗甘尼斯;马克·瑞恩 2 2002 使用特征构造进行特征集成。 Zbl 0983.68236号 普拉斯,麦芽;马克·瑞恩 11 2001 并行过程的建模和验证。2000年6月19日至23日,法国南特,第四所暑期学校,MOVEP 2000。修改了教程。 Zbl 0974.00044号 1 2001 计算机科学中的逻辑:关于系统的建模和推理。附有埃德蒙·克拉克的前言。 Zbl 0955.68001号 哈,迈克尔;马克·瑞恩 13 2000 多代理系统知识:初始配置和广播。 Zbl 1365.68423号 阿莱西奥·洛穆西奥。;罗恩·范德梅登;马克·瑞恩 8 2000 代理之间的一系列知识共享模式。 Zbl 0956.03017号 阿莱西奥·洛穆西奥;马克·瑞恩 4 2000 概率过程的符号模型检查。 Zbl 1401.68180号 克里斯特尔·拜尔;埃德蒙·克拉克(Edmund M.Clarke)。;瓦西利基·哈特纳斯·加姆豪森;玛尔塔·奎亚特科夫斯卡;马克·瑞恩 21 1997 反事实和反模式更新。 Zbl 0921.03035号 马克·瑞恩;皮埃尔·伊夫·肖本斯 14 1997 信念修正和有序的理论陈述。 Zbl 0922.03036号 马克·D·瑞恩。 3 1996 信念修正和逼真。 兹比尔0837.00308 马克·瑞恩;皮埃尔·伊夫·肖本斯 3 1995 所有引用出版物 前5名被引用出版物 全部的 前5名242位作者引用 10 斯特凡尼德劳恩 8 van Benthem,Johan F.A.K。 6 维罗尼克·科尔蒂尔 6 史蒂夫·克莱默 4 刘芬荣 4 莱恩,马克·德莫特 3 文森特·雪瓦尔 3 瑟·特凡·乔巴赫 3 尼科斯·戈罗甘尼斯 3 米歇尔·古兹曼 3 Legay、Axel 3 绍克·莫 3 塞巴斯蒂安·亚历山大·莫德谢姆 3 埃里克·帕奎特 3 庞、军 3 萨利姆·珀西 3 卡米洛·鲁埃达 3 伊娜·谢弗 3 托马斯·图姆 3 弗兰克·巴伦西亚。 2 亚历山大·巴尔塔格 2 西蒙·布利兹 2 塞尔吉·布尔苏克 2 罗希特·查达 2 汤姆·乔西亚 2 马克西姆·科尔迪 2 康斯坦蒂诺斯·乔治亚托斯 2 帕特里克·R·吉拉德。 2 卢卡·赫斯基 2 罗斯·霍恩 2 迈克,帕帕达基斯 2 劳伦特·佩鲁塞尔 2 亚历克斯·波坦 2 汉斯·罗特 2 托拜厄斯·隆格 2 杰里米·塞利格曼。 2 约瑟夫·西法基斯 2 Smets,Sonja J.L。 2 苏凯乐 2 莫里斯·比克。 2 塞门·尤尔科夫 1 马丁·阿巴迪 1 拉贝亚·阿穆尔·布利法 1 斯文·阿佩尔 1 亚历山德罗·阿曼多 1 尼古拉斯·M·阿舍。 1 保罗·C·阿蒂。 1 库沙尔·巴别尔 1 大卫·巴尔德 1 克里斯特尔·拜尔 1 奇塔·R·巴拉尔。 1 爱德华·巴拉诺夫 1 马修·波德特 1 马修·史蒂文·鲍尔 1 罗曼·博希斯 1 吉安路易吉·贝林 1 纳杰斯·本·拉杰布 1 法拉·贝纳马拉 1 萨德克·本萨勒姆 1 穆赫贝丁·贝里玛 1 吉尔赫梅·比腾古特 1 马库斯·比亚雷兰德 1 布鲁诺·布兰切特 1 伊莎贝尔·布洛赫 1 罗德里克·布洛姆 1 理查德·F·布斯。 1 塔比亚·博迪斯 1 约翰·博格斯特罗姆 1 马吕斯·博兹加 1 劳拉·博泽利 1 克里斯·布林克 1 卡塔琳娜·布里茨 1 布罗森,Jan M。 1 阿希姆·D·布鲁克。 1 安娜·卡迪尔哈克 1 蔡晓娟 1 塞巴斯蒂安·卡纳德 1 坎贝尔·D·卡特。 1 Chang,Bor-Yuh Evan先生 1 康斯坦蒂诺斯·查齐科科拉基斯 1 Chebotarev,Anatoli N。 1 亚尼克·骑士 1 劳伦斯·霍尔维 1 萨米尔·乔普拉 1 佐埃·克里斯托夫 1 科宁,诺琳 1 科蒙·隆德,休伯特 1 安托万·达隆 1 贝尔纳·德·贝茨 1 埃里克·P·德文克。 1 弗朗西安·戴奇森 1 阿列克桑达尔·迪莫夫斯基。 1 詹妮克·德雷尔 1 迪帕克·D’Souza 1 查尔斯·杜梅尼 1 托马斯·艾特 1 马塞洛·阿莱杭德罗·法拉帕 1 亚历山德罗·范特奇 1 费德里科·法罗尔迪。 1 冯志勇 …还有142位作者 全部的 前5名34篇连载文章中引用 8 哲学逻辑杂志 8 理论计算机科学 6 人工智能 6 程序设计中的逻辑和代数方法杂志 5 计算的形式方面 4 合成 4 信息与计算 4 自动推理杂志 2 流体力学杂志 2 计算机与系统科学杂志 2 Studia Logica公司 2 国际近似推理杂志 2 数学与人工智能年鉴 2 符号逻辑述评 1 信息处理信件 1 应用数学与计算 1 信息科学 1 圣母院形式逻辑杂志 1 逻辑科公报 1 纯逻辑与应用逻辑年鉴 1 运筹学年鉴 1 欧洲运筹学杂志 1 分布式计算 1 Indagationes Mathematicae公司。新系列 1 控制论与系统分析 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 逻辑与代数程序设计杂志 1 应用数学杂志 1 ACM计算逻辑事务 1 中国科学。F系列 1 计算机科学中的逻辑方法 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 全部的 前5名在8个字段中引用 89 计算机科学(68至XX) 59 数学逻辑和基础(03-XX) 26 信息与通信理论、电路(94-XX) 14 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 流体力学(76-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文