×
作者ID: 瑞安·马克-德莫特最近由“Ryan,Mark Dermot”撰写的zbMATH文章
发布日期: 马克·瑞恩;马克·D·瑞恩。;莱恩,马克·德莫特;医学博士Ryan。
外部链接: MGP公司
编入索引的文档: 38出版物自1991年以来,包括2本书
12作为编辑的贡献
合著者: 37位合著者具有37联合出版物
1414位合作作者

按年份列出的出版物

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名

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位作者

按年份列出的引文