艾克·里特
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年-今天
2024 [i4] 亚历山德罗·布鲁尼 , 艾克·里特 , 卡斯滕·舒尔曼 :
直觉主义线性逻辑的Skolemisation。 CoRR公司 腹肌/2405.01375 ( 2024 ) 2023 [i3] 大卫·J·派姆 , 艾克·里特 , 埃德蒙·罗宾逊 :
范畴证明理论语义学。 CoRR公司 abs/2302.09031 ( 2023 )
2010 – 2019
2018 [j13] 伊姆兰汗 , 扎希德·安瓦尔 , 贝扎德·博德巴 , 艾克·里特 , Habib-ur Rehman公司 :
在不受信任的基础设施即服务云中防止内幕攻击的协议。 IEEE传输。 云计算。 6 ( 4 ) : 942-954 ( 2018 ) 2017 [公元12年] Myrto Arapinis公司 , 洛雷塔·伊拉里亚·曼奇尼 , 艾克·里特 , 马克·德莫特·瑞安 :
移动电话系统中的隐私分析。 国际J.Inf.Sec。 16 ( 5 ) : 491-523 ( 2017 ) [公元11年] Myrto Arapinis公司 , 贾刘 , 艾克·里特 , 马克·瑞恩 :
有状态应用pi演算:观测等价性和标记双相似性。 J.日志。 代数方法课程。 89 : 95-149 ( 2017 ) [公元27年] 迈克尔·丹泽尔 , 马克·瑞恩 , 艾克·里特 :
一个容错、自愈的工业控制系统框架。 秒 2017 : 46-60 2015 [c26] 瓦莱丽亚·德佩瓦 , 艾克·里特 :
纤维模态类型理论。 LSFA公司 2015 : 143-161 2014 [公元10年] 雷哈娜·亚斯明 , 艾克·里特 , 王桂林 :
无线传感器网络无对单向认证密钥建立协议的可证明安全性。 国际J.Inf.Sec。 13 ( 5 ) : 453-465 ( 2014 ) [公元9年] Myrto Arapinis公司 , 约书亚·菲利普斯 , 艾克·里特 , 马克·德莫特·瑞安 :
StatVerif:有状态进程的验证。 J.计算。 安全。 22 ( 5 ) : 743-821 ( 2014 ) [j8] 大卫·J·派姆 , 艾克·里特 , 埃德蒙·罗宾逊 :
经典命题矩阵方法的证明理论分析。 J.日志。 计算。 24 ( 1 ) : 283-301 ( 2014 ) [公元25年] Myrto Arapinis公司 , 洛雷塔·伊拉里亚·曼奇尼 , 艾克·里特 , 马克·瑞安 :
移动电话系统中的假名隐私。 NDSS公司 2014 [c24] Myrto Arapinis公司 , 贾刘 , 艾克·里特 , 马克·瑞恩 :
状态应用Pi微积分。 邮政 2014 : 22-41 [i2] 马苏德·科莱尼 , 艾克·里特 , 马克·瑞恩 :
验证动态访问控制策略中的代理知识。 CoRR公司 abs/1401.4730 ( 2014 ) 2013 【c23】 马苏德·科莱尼 , 艾克·里特 , 马克·瑞恩 :
动态访问控制策略中的模型检查代理知识。 TACAS公司 2013 : 448-462 2012 [j7] 雷哈娜·亚斯敏 , 艾克·里特 , 王桂林 :
使用基于身份的签名的无线传感器网络认证框架:实现和评估。 IEICE传输。 信息系统。 95天 ( 1 ) : 126-133 ( 2012 ) [公元22年] Myrto Arapinis公司 , 洛雷塔·伊拉里亚·曼奇尼 , 艾克·里特 , 马克·瑞恩 , 尼科·戈尔德 , 凯文·雷登 , 拉维桑卡尔·博尔甘卡尔 :
移动电话中的新隐私问题:修复和验证。 CCS系统 2012 : 205-216 【c21】 马特·斯马特 , 艾克·里特 :
可审核信封:使用可信计算跟踪匿名撤销。 信托 2012 : 19-33 2011 [公元20年] 马特·斯马特 , 艾克·里特 :
真正值得信赖的选举:使用可信计算的远程电子投票。 空中交通管制 2011 : 187-202 [第19条] Myrto Arapinis公司 , 艾克·里特 , 马克·德莫特·瑞安 :
StatVerif:状态进程的验证。 CSF公司 2011 : 33-47 [i1] Myrto Arapinis公司 , 洛雷塔·伊拉里亚·曼奇尼 , 艾克·里特 , 马克·瑞恩 :
UMTS隐私的形式分析。 CoRR公司 abs/1109.2066 ( 2011 ) 2010 [第18条] 雷哈娜·亚斯敏 , 艾克·里特 , 王桂林 :
一种使用基于身份的签名的无线传感器网络认证框架。 企业所得税 2010 : 882-889 [第17条] Myrto Arapinis公司 , 汤姆·乔西亚 , 艾克·里特 , 马克·瑞恩 :
使用应用Pi演算分析不可链接性和匿名性。 CSF公司 2010 : 107-121
2000 – 2009
2009 [j6] Myrto Arapinis公司 , 穆菲·考尔德 , 路易丝·丹尼斯 , 迈克尔·菲希尔 , 菲利普·格雷 , 萨瓦斯·科努尔 , 爱丽丝·米勒 , 艾克·里特 , 马克·瑞恩 , 斯文·舍韦 , 克里斯·安斯沃思 , 雷哈娜·亚斯敏 :
走向普及系统的验证。 电子。 Commun公司。 欧洲软件协会。 科学。 Technol公司。 22 ( 2009 ) [第16条] 马特·斯马特 , 艾克·里特 :
具有可撤销匿名性的远程电子投票。 ICISS公司 2009 : 39-54 [第15条] Myrto Arapinis公司 , 汤姆·乔西亚 , 艾克·里特 , 马克·瑞恩 :
应用像素中的不可追踪性。 ICITST公司 2009 : 1-6 2005 [j5] 玛丽亚·艾米莉亚·迈埃蒂 , 保拉·曼格利亚 , 瓦莱丽亚·德佩瓦 , 艾克·里特 :
直觉线性逻辑的相关范畴语义。 申请。 分类结构。 13 ( 1 ) : 1-36 ( 2005 ) [第14条] 艾别克·穆哈梅多夫 , 史蒂夫·克雷默 , 艾克·里特 :
多方公平交换协议的分析和串空间模型正确性的形式证明。 金融加密 2005 : 255-269 [第13条] 大卫·J·派姆 , 艾克·里特 :
用于简化逻辑和证明搜索的游戏语义。 GALOP@预计到达时间 2005 : 107-123 2004 【b1】 大卫·J·派姆 , 艾克·里特 :
还原逻辑和证明-研究-证明理论、语义和控制。 牛津逻辑指南 45, 牛津大学出版社 2004 ,国际标准图书编号 978-0-19-852633-9 第I-XV页,1-208年 2001 [第12条] 娜塔莎·阿列奇纳 , 迈克尔·门德勒 , 瓦莱丽亚·德佩瓦 , 艾克·里特 :
构造S4模态逻辑的范畴语义和克里普克语义。 CSL公司 2001 : 292-307 2000 【j4】 尼尔·加尼 , 瓦莱丽亚·德佩瓦 , 艾克·里特 :
线性显式替换。 日志。 J.IGPL公司 8 ( 1 ) : 7-31 ( 2000 ) [j3] 艾克·里特 , 大卫·J·派姆 , 林肯·A·沃伦 :
经典和直观分辨率的证明条件。 J.日志。 计算。 10 ( 2 ) : 173-207 ( 2000 ) [注2] 艾克·里特 , 大卫·J·派姆 , 林肯·A·沃伦 :
关于经典搜索的直觉力。 西奥。 计算。 科学。 232 ( 1-2 ) : 299-333 ( 2000 ) [第11条] 玛丽亚·艾米莉亚·迈埃蒂 , 瓦莱丽亚·德佩瓦 , 艾克·里特 :
直觉主义和线性类型理论的分类模型。 FoSSaCS公司 2000 : 223-237
1990 – 1999
1999 [第10条] 尼尔·加尼 , 瓦莱丽亚·德佩瓦 , 艾克·里特 :
显式替换的分类模型。 FoSSaCS公司 1999 : 197-211 【c9】 艾克·里特 :
明确表示保留终止的替代的特征。 薄层色谱分析 1999 : 325-339 1998 【c8】 尼尔·加尼 , 瓦莱丽亚·德佩瓦 , 艾克·里特 :
建设性必要性的明确替代。 ICALP公司 1998 : 743-754 1997 【c7】 艾克·里特 , 瓦莱丽亚·德佩瓦 :
关于显式替换和名称(扩展抽象)。 ICALP公司 1997 : 248-258 1996 【c6】 艾克·里特 , 大卫·J·派姆 , 林肯·A·瓦伦 :
经典和直觉解析的证明术语(扩展抽象)。 CADE公司 1996 : 17-31 【c5】 艾克·里特 , 大卫·J·派姆 , 林肯·A·沃伦 :
关于经典搜索的直觉力(扩展抽象)。 TABLEAUX公司 1996 : 295-311 1995 【c4】 艾克·里特 , 安德鲁·皮特斯 :
具有参考类型的Lambda-Calculus与标准ML之间的完全抽象转换。 薄层色谱分析 1995 : 397-413 1994 [j1] 艾克·里特 :
高阶类型lambda-Calculi的分类抽象机。 西奥。 计算。 科学。 136 ( 1 ) : 125-162 ( 1994 ) 1993 【c3】 C.-H.卢克·翁 , 艾克·里特 :
一个通用的强规范化论证:在构造微积分中的应用。 CSL公司 1993 : 261-279 [c2] 艾克·里特 :
具有显式替换的类型Lambda演算的规范化。 CSL公司 1993 : 295-304 【c1】 莫妮卡·内西 , 瓦莱丽亚·德佩瓦 , 艾克·里特 :
重写初级线性逻辑组合器的属性。 HOA公司 1993 : 256-275
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)