编辑配置文件(在新选项卡中打开) 拉尔夫·萨西 合著者距离 作者ID: 窗框.ralf 发布日期: 拉尔夫·萨西 外部链接: ORCID公司 已编制索引的文档: 9出版物自2005年以来 合著者: 18位合著者具有9联合出版物 620名合作作者 全部的 前5名合著者 0 单作者的 5 圣地亚哥埃斯科瓦尔 5 何塞·梅塞盖尔·瓜伊塔 2 David A.Basin。 1 沃尔夫冈·阿伦特 1 詹妮克·德雷尔 1 查尔斯·杜梅尼 1 塞尔达尔·埃尔巴图尔 1 卢卡·赫斯基 1 迪帕克·卡普尔 1 米歇尔·凯勒 1 史蒂夫·克莱默 1 刘志强 1 克里斯托弗·林奇(Christopher A.Lynch)。 1 凯瑟琳·梅多斯。 1 巴利亚特·纳伦德兰 1 萨沙拉多米罗维奇 1 安德烈亚斯·巴切尔·罗思 1 圣地亚哥,索尼娅 系列 1 逻辑与代数程序设计杂志 字段 9 计算机科学(68至XX) 5 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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 马赫什·维斯瓦纳坦 全部的 前5名13篇连载文章中引用 10 程序设计中的逻辑和代数方法杂志 三 理论计算机科学 三 信息与计算 2 逻辑程序设计理论与实践 1 符号计算杂志 1 自动推理杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 数学与人工智能年鉴 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 ACM计算逻辑事务 全部的 前5名在6个字段中引用 62 计算机科学(68至XX) 14 数学逻辑和基础(03-XX) 14 信息与通信理论、电路(94-XX) 三 范畴理论;同调代数(18-XX) 2 历史和传记(01-XX) 1 一般代数系统(08-XX) 按年份列出的引文