×
作者ID: 窗框.ralf最近由“Sasse,Ralf”撰写的zbMATH文章
发布日期: 拉尔夫·萨西
外部链接: ORCID公司
已编制索引的文档: 9出版物自2005年以来
合著者: 18位合著者具有9联合出版物
620名合作作者

按年份列出的出版物

zbMATH Open中包含的引文

8出版物有被引用88中的次64文件 引用人 年份
折叠变体变窄和最佳变体终止。 Zbl 1291.68217号
圣地亚哥埃斯科瓦尔;拉尔夫·萨西;何塞·梅塞盖尔
41
2012
变量缩小和方程统一。 Zbl 1347.68194号
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;拉尔夫·萨西
15
2009
有效检查有限变量属性。 Zbl 1145.68444号
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;拉尔夫·萨西
8
2008
针对重写语义自动验证Java验证的转换规则。 Zbl 1143.68348号
沃尔夫冈·阿伦特;安德烈亚斯·罗斯;拉尔夫·萨西
7
2005
折叠变体变窄和最佳变体终止。 Zbl 1306.68069号
圣地亚哥埃斯科瓦尔;拉尔夫·萨西;何塞·梅塞盖尔
6
2010
非对称统一:加密协议分析的一种新的统一范式。 Zbl 1381.68264号
塞尔达尔·埃尔巴图尔;圣地亚哥埃斯科瓦尔;迪帕克·卡普尔;刘志强;克里斯托弗·林奇(Christopher A.Lynch)。;凯瑟琳·梅多斯;何塞·梅塞盖尔;巴利亚特·纳伦德兰;圣地亚哥,索尼娅;拉尔夫·萨西
5
2013
超越状态协议自动验证中的子rm收敛方程理论。 Zbl 1444.68040号
詹妮克·德雷尔;查尔斯·杜梅尼;史蒂夫·克莱默;拉尔夫·萨西
4
2017
爱丽丝和鲍勃遇到了等式理论。 Zbl 1321.68343号
戴维·巴恩斯;米歇尔·凯勒;萨沙拉多米罗维奇;拉尔夫·萨西
2
2015
超越有状态协议自动验证中的亚术语收敛方程理论。 Zbl 1444.68040号
詹妮克·德雷尔;查尔斯·杜梅尼;史蒂夫·克莱默;拉尔夫·萨西
4
2017
爱丽丝和鲍勃遇到了等式理论。 Zbl 1321.68343号
戴维·巴恩斯;米歇尔·凯勒;萨沙拉多米罗维奇;拉尔夫·萨西
2
2015
非对称统一:密码协议分析的新统一范式。 Zbl 1381.68264号
塞尔达尔·埃尔巴图尔;圣地亚哥埃斯科瓦尔;迪帕克·卡普尔;刘志强;克里斯托弗·林奇(Christopher A.Lynch)。;凯瑟琳·梅多斯;何塞·梅塞盖尔;巴利亚特·纳伦德兰;圣地亚哥,索尼娅;拉尔夫·萨西
5
2013
折叠变体变窄和最佳变体终止。 Zbl 1291.68217号
圣地亚哥埃斯科瓦尔;拉尔夫·萨西;何塞·梅塞盖尔
41
2012
折叠变体变窄和最佳变体终止。 兹比尔1306.68069
圣地亚哥埃斯科瓦尔;拉尔夫·萨西;何塞·梅塞盖尔
6
2010
变量缩小和方程统一。 Zbl 1347.68194号
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;拉尔夫·萨西
15
2009
有效检查有限变量属性。 Zbl 1145.68444号
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;拉尔夫·萨西
8
2008
针对重写语义自动验证Java验证的转换规则。 Zbl 1143.68348号
沃尔夫冈·阿伦特;安德烈亚斯·罗斯;拉尔夫·萨西
7
2005
全部的 前5名

66位作者引用

23 何塞·梅塞盖尔·瓜伊塔
22 圣地亚哥埃斯科瓦尔
9 玛丽亚·阿尔普特
9 朱莉娅·萨皮娜
8 马丁·奥列特,纳西索
6 黛米斯·巴利斯
6 弗朗西斯科·杜兰
5 凯瑟琳·梅多斯。
5 格里高·罗什乌
5 卡罗琳·塔尔科特。
4 史蒂文·艾克
4 多雷尔·卢卡努
4 拉尔夫·萨西
路易斯·安东尼奥·阿吉雷
塞尔达尔·埃尔巴图尔
安德鲁·马歇尔。
米盖尔·帕洛米诺
伊莎贝尔·皮塔
克里斯托夫·林盖森
弗拉德·鲁苏
斯蒂芬·斯基里克
2 安德烈·阿鲁索艾
2 David A.Basin。
2 罗希特·查达
2 安吉尔·昆卡-奥尔特加
2 史蒂夫·克莱默
2 劳尔·洛佩斯·鲁埃达
2 鲁宾·鲁比奥
2 圣地亚哥,索尼娅
1 奥马尔·阿穆萨
1 阿帕里西奥·桑切斯,达米安
1 马修·史蒂文·鲍尔
1 玛丽亚·保拉(Maria Paola Bonacina)
1 理查德·布贝尔
1 塞尔吉·布尔苏克
1 文森特·雪瓦尔
1 瑟·特凡·乔巴赫
1 曼纽尔·克莱维尔
1 休伯特·科蒙·隆德
1 科雷亚,弗朗西斯科·何塞
1 克雷默斯,Cas J.F。
1 斯特凡尼德劳恩
1 詹妮克·德雷尔
1 查尔斯·杜梅尼
1 莫雷诺,法拉斯基
1 乌尔里希·富巴赫
1 卢卡·赫斯基
1 米歇尔·凯勒
1 金、多汉
1 帕特里克·D·林肯。
1 萨尔瓦多卢卡斯
1 克里斯托弗·林奇(Christopher A.Lynch)。
1 绍克·莫
1 塞巴斯蒂安·亚历山大·莫德谢姆
1 Peter Csaba,Olveczky
1 萨沙拉多米罗维奇
1 卡米洛,罗查
1 安德烈亚斯·巴切尔·罗思
1 菲利普·吕默
1 ☑特拉安·弗洛林(Traian Florin)
1 扎克·史密斯
1 维奥里卡Sofrone-Stokkerman
1 豪尔赫·托罗·波佐
1 罗兰多·特鲁吉洛·拉苏阿
1 卢卡·维甘诺
1 马赫什·维斯瓦纳坦

按年份列出的引文