编辑配置文件（在新选项卡中打开） 伊利亚诺·塞维萨托 合著者距离 作者ID： cerveato.iliano公司 发布日期： 伊利亚诺·塞维萨托;Cervesato，I。 外部链接： ORCID公司 已编制索引的文档： 31出版物自1993年以来，包括1本书 5名编辑的贡献 合著者： 20位合著者具有22联合出版物 467位合作作者 全部的 前5名合著者 8 单作者的 6 安德烈·斯切德罗夫 5 弗兰克·芬宁 三 亚伦·D·贾加德。 三 安吉洛·蒙塔纳里 2 邓玉欣 2 玛丽贝尔·费尔南德斯 2 Lam、Edmund Soon Lee 2 西蒙斯（Robert jun Simmons）。 2 马克·奥利弗·斯特尔 2 蔡乔凯 2 克里斯托弗·沃尔斯塔德 2 凯文·沃特金斯。 1 迈克尔·巴克斯 1 弗雷德里克·巴特勒 1 考斯托夫·乔杜里 1 南希·杜金（Nancy A.Durgin）。 1 马西莫·弗朗西切特 1 乔舒亚·霍达斯。 1 沙吉·汗 1 帕特里克·D·林肯。 1 约翰·米切尔（John C.Mitchell）。 1 亚历山德罗·普罗维蒂 1 吉赛尔·赖斯 1 豪尔赫·路易斯·萨奇尼 1 桑斯，蒂埃里 1 保罗·F·西弗森。 1 赫尔穆特·维思 1 安德烈·沃龙科夫 1 德拉吉萨·朱尼奇 全部的 前5名系列 三 信息与计算 2 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 2 计算机科学课堂讲稿 1 逻辑程序设计杂志 1 自动推理杂志 1 逻辑与计算杂志 1 间隔计算 1 高阶和符号计算 1 计算机基础理论 1 逻辑程序设计理论与实践 1 理论计算机科学电子论文集（EPTCS） 1 认知技术 领域 31 计算机科学（68至XX） 17 数学逻辑和基础（03-XX） 8 信息与通信理论、电路（94-XX） 5 总体主题；集合（00-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用219次162文件 引用人▼ 年份▼ 用于安全协议分析的串空间和多集重写的比较。 Zbl 1033.94513号 塞尔维萨托，I。;北卡罗来纳州杜尔金。;林肯，P。;Mitchell，J。;A.斯克洛夫。 58 2003 并发逻辑框架：命题片段。 Zbl 1100.68548号 凯文·沃特金斯;伊利亚诺·塞维萨托;弗兰克·芬宁;大卫·沃克 54 2004 线性逻辑框架。 Zbl 1031.03056号 伊利亚诺·塞维萨托;弗兰克·芬宁 36 2002 通过线性逻辑（完整版）关联基于状态和基于进程的并发。 Zbl 1181.68168号 伊利亚诺·塞维萨托;安德烈·斯切德罗夫 16 2009 线性脊柱结石。 Zbl 1041.03007号 伊利亚诺·塞维萨托;弗兰克·芬宁 14 2003 线性逻辑证明搜索的高效资源管理。 Zbl 0958.03010号 伊利亚诺·塞维萨托;乔舒亚·霍达斯。;弗兰克·芬宁 10 2000 键入的MSR：语法和示例。 Zbl 0986.68510号 伊利亚诺·塞维萨托 9 2001 Kerberos 5的形式化分析。 Zbl 1153.94448号 弗雷德里克·巴特勒;伊利亚诺·塞维萨托;亚伦·D·贾加德。;安德烈·斯切德罗夫;克里斯托弗·沃尔斯塔德 7 2006 破坏和修复公钥Kerberos。 Zbl 1147.68393号 伊利亚诺·塞维萨托;亚伦·D·贾加德。;安德烈·斯切德罗夫;蔡乔凯;克里斯托弗·沃尔斯塔德 7 2008 在具有依赖类型的重写逻辑的扩展中表示MSR密码协议规范语言。 Zbl 1115.68073号 伊利亚诺·塞尔维萨托;马克·奥利弗·斯特尔 4 2007 安全协议的类型化多集重写规范。 兹比尔1264.68075 伊利亚诺·塞维萨托 4 2001 逻辑编程语言中编译的证明理论基础。 Zbl 0949.68021号 伊利亚诺·塞维萨托 三 1998 模态事件计算的层次结构：表达性和复杂性。 Zbl 0945.03017号 伊利亚诺·塞维萨托;马西莫·弗朗西切特;安吉洛·蒙塔纳里 三 2000 身份验证协议的逻辑。 Zbl 1007.68510号 保罗·西弗森;伊利亚诺·塞维萨托 三 2001 数据访问规范和MSR中最强大的符号攻击者。 Zbl 1033.94514号 伊利亚诺·塞维萨托 三 2003 基本Kerberos和公钥Kerberos的加密安全证明。 Zbl 1487.94149号 巴克斯，M。;Cervesato，I。;贾加德，A.D。;A.斯克洛夫。;蔡，J.-K。 三 2006 线性逻辑和过程代数中的关联推理方法。 Zbl 1361.68166号 邓玉欣;罗伯特·西蒙斯。;伊利亚诺·塞维萨托 2 2016 在具有依赖类型的重写逻辑的扩展中表示MSR密码协议规范语言。 Zbl 1272.68171号 伊利亚诺·塞维萨托;马克·奥利弗·斯特尔 2 2005 逻辑框架。为什么不只是经典逻辑？ 兹伯利0967.03027 伊利亚诺·塞维萨托 1 2000 关于导出最大时间间隔的事件演算的非单调行为。 兹比尔08369.0116 伊利亚诺·塞维萨托;安吉洛·蒙塔纳里;亚历山德罗·普罗维蒂 1 1993 指定CLF中并发计算的属性。 Zbl 1278.03069号 凯文·沃特金斯;伊利亚诺·塞维萨托;弗兰克·芬宁;大卫·沃克 1 2007 通过线性逻辑关联基于状态和基于进程的并发。 Zbl 1262.68136号 伊利亚诺·塞维萨托;安德烈·斯切德罗夫 1 2006 在并发逻辑框架CLF中实现元推理。 Zbl 1464.68234号 伊利亚诺·塞维萨托;豪尔赫·路易斯·萨奇尼 1 2013 线性逻辑和过程代数中的关联推理方法。 Zbl 1361.68166号 邓玉欣;罗伯特·西蒙斯。;伊利亚诺·塞维萨托 2 2016 在并发逻辑框架CLF中实现元推理。 Zbl 1464.68234号 伊利亚诺·塞维萨托;豪尔赫·路易斯·萨奇尼 1 2013 通过线性逻辑（完整版）关联基于状态和基于进程的并发。 Zbl 1181.68168号 伊利亚诺·塞维萨托;安德烈·斯切德罗夫 16 2009 破坏和修复公钥Kerberos。 Zbl 1147.68393号 伊利亚诺·塞维萨托;亚伦·D·贾加德。;安德烈·斯切德罗夫;蔡乔凯;克里斯托弗·沃尔斯塔德 7 2008 在具有依赖类型的重写逻辑的扩展中表示MSR密码协议规范语言。 Zbl 1115.68073号 伊利亚诺·塞维萨托;马克·奥利弗·斯特尔 4 2007 指定CLF中并发计算的属性。 Zbl 1278.03069号 凯文·沃特金斯;伊利亚诺·塞尔维萨托;弗兰克·芬宁;大卫·沃克 1 2007 Kerberos 5的形式化分析。 Zbl 1153.94448号 弗雷德里克·巴特勒;伊利亚诺·塞尔维萨托;亚伦·D·贾加德。;安德烈·斯切德罗夫;克里斯托弗·沃尔斯塔德 7 2006 基本Kerberos和公钥Kerberos的加密安全证明。 Zbl 1487.94149号 巴克斯，M。;Cervesato，I。;贾加德，A.D。;A.斯克洛夫。;蔡，J.-K。 三 2006 通过线性逻辑关联基于状态和基于进程的并发。 Zbl 1262.68136号 伊利亚诺·塞维萨托;安德烈·斯切德罗夫 1 2006 在具有依赖类型的重写逻辑的扩展中表示MSR密码协议规范语言。 Zbl 1272.68171号 伊利亚诺·塞维萨托;马克·奥利弗·斯特尔 2 2005 并发逻辑框架：命题片段。 Zbl 1100.68548号 凯文·沃特金斯;伊利亚诺·塞维萨托;弗兰克·芬宁;大卫·沃克 54 2004 用于安全协议分析的串空间和多集重写的比较。 Zbl 1033.94513号 Cervesato，I。;北卡罗来纳州杜尔金。;林肯，P。;J·米切尔。;A.斯克洛夫。 58 2003 线性脊柱结石。 Zbl 1041.03007号 伊利亚诺·塞维萨托;弗兰克·芬宁 14 2003 数据访问规范和MSR中最强大的符号攻击者。 Zbl 1033.94514号 伊利亚诺·塞尔维萨托 三 2003 线性逻辑框架。 Zbl 1031.03056号 伊利亚诺·塞尔维萨托;弗兰克·芬宁 36 2002 键入的MSR：语法和示例。 Zbl 0986.68510号 伊利亚诺·塞尔维萨托 9 2001 安全协议的类型化多集重写规范。 Zbl 1264.68075号 伊利亚诺·塞维萨托 4 2001 身份验证协议的逻辑。 Zbl 1007.68510号 保罗·西弗森;伊利亚诺·塞维萨托 三 2001 线性逻辑证明搜索的高效资源管理。 Zbl 0958.03010号 伊利亚诺·塞维萨托;乔舒亚·霍达斯。;弗兰克·芬宁 10 2000 模态事件计算的层次结构：表达性和复杂性。 Zbl 0945.03017号 伊利亚诺·塞维萨托;马西莫·弗朗西切特;安吉洛·蒙塔纳里 三 2000 逻辑框架。为什么不只是经典逻辑？ Zbl 0967.03027号 伊利亚诺·塞维萨托 1 2000 逻辑编程语言中编译的证明理论基础。 Zbl 0949.68021号 伊利亚诺·塞维萨托 三 1998 关于导出最大时间间隔的事件演算的非单调行为。 Zbl 0836.90116号 伊利亚诺·塞维萨托;安吉洛·蒙塔纳里;亚历山德罗·普罗维蒂 1 1993 所有引用出版物 前5名被引用出版物 全部的 前5名231位作者引用 15 弗兰克·芬宁 12 安德烈·斯切德罗夫 10 伊利亚诺·塞维萨托 9 卡洛斯·奥拉特 7 伊莱恩·皮门特尔 5 斯特凡尼德劳恩 5 何塞·梅塞盖尔·瓜伊塔 5 约翰·米切尔（John C.Mitchell）。 5 Vivek Nigam先生 5 碧姬·品特卡 4 安德烈亚斯·阿贝尔（Andreas M.Abel）。 4 亚历山大·本特坎普 4 贾斯敏·克里斯蒂安·布兰切特 4 考斯托夫·乔杜里 4 维罗尼克·科尔蒂尔 4 Max Iosifovich，卡诺维奇 三 迈克尔·巴克斯 三 艾米·费尔蒂（Amy P.Felty）。 三 亚伦·D·贾加德。 三 丹尼尔·李卡塔（Daniel R.Licata）。 三 丹尼斯·卢吉兹 三 凯瑟琳·梅多斯。 三 阿尔贝托·莫米利亚诺 三 米歇尔·鲁西诺维奇 三 西蒙斯（Robert jun Simmons）。 三 索菲·托雷特 三 佩塔·武克米罗维奇 三 乌韦州瓦尔德曼 2 雷纳尔德·阿弗尔德 2 纪尧姆·阿拉伊斯 2 塔贾纳Ban Kirigin 2 David A.Basin。 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 布鲁诺·布兰切特 2 詹姆斯·切尼 2 亚尼克·骑士 2 克雷默斯，Cas J.F。 2 达斯，安库什 2 邓玉欣 2 Joëlle Despeyroux公司 2 约书亚·D·古特曼。 2 瑞安·卡瓦纳 2 拉尔夫·库斯特斯 2 斯捷潘·勒沃维奇，库兹涅佐夫 2 帕斯卡·拉福卡德 2 路易吉·利古里 2 康诺·托马斯·麦克布莱德 2 乔纳森·米伦。 2 塞巴斯蒂安·亚历山大·莫德谢姆 2 多米尼克·A·乌节。 2 普拉克斯马，克拉斯 2 阿吉思·拉马纳森 2 杰森·里德 2 吉赛尔·赖斯 2 格里高·罗什乌 2 卡斯滕·舒尔曼 2 彼得·塞林格 2 维塔利·什马提科夫 2 亚历山大·斯蒂恩 2 Stump，亚伦 2 S.P.苏雷什。 2 瓦妮莎·乔伊·提格 2 伯纳多·托尼霍 2 蔡乔凯 2 马修·图鲁阿尼 2 卢卡·维甘诺 2 克里斯托弗·沃尔斯塔德 1 马特奥·阿克拉维奥 1 阿马尔·艾哈迈德 1 罗伯特·阿马迪奥（Roberto M.Amadio）。 1 纪尧姆·安巴尔 1 迈托·阿拉皮尼斯 1 斯蒂芬妮·巴尔泽 1 罗伯托·巴布蒂 1 安德烈·鲍尔 1 杰斯珀·本特森 1 卡尔蒂基扬·巴尔干 1 米歇尔·博雷尔 1 阿图尔·博罗纳特 1 威廉·鲍曼。 1 巴斯米，玛丽亚·格拉齐亚 1 弗雷德里克·巴特勒 1 路易斯·凯雷斯 1 卡洛斯·卡莱罗 1 罗希特·查达 1 陈志波 1 文森特·雪瓦尔 1 戴维·齐亚鲁吉 1 蝉蜕、阿加塔 1 阿尔贝托·齐法格利翁 1 克拉克、戴夫 1 休伯特·科蒙·隆德 1 休伯特·科蒙 1 卡尔·克里 1 罗伊·克罗。 1 西蒙·克鲁恩斯 1 奥尔内拉·达达 1 阿努帕姆·达塔 1 瓦莱里亚·德·佩瓦 1 穆拉德·德巴比 …和131多位作者 全部的 前5名21篇连载文章中引用 23 理论计算机科学 15 自动推理杂志 12 信息与计算 8 MSCS公司。计算机科学中的数学结构 6 函数编程杂志 5 计算机科学中的逻辑方法 三 高阶和符号计算 三 程序设计中的逻辑和代数方法杂志 2 信息处理信件 2 计算的形式方面 2 系统设计中的形式化方法 2 逻辑与代数程序设计杂志 2 逻辑程序设计理论与实践 1 合成 1 纯逻辑与应用逻辑年鉴 1 数学和计算机建模 1 逻辑、语言与信息杂志 1 可靠的计算 1 计算系统理论 1 ACM计算逻辑事务 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 全部的 前5名10个领域引用 141 计算机科学（68至XX） 78 数学逻辑和基础（03-XX） 34 信息与通信理论、电路（94-XX） 2 范畴理论；同调代数（18-XX） 2 数值分析（65-XX） 2 量子理论（81-XX） 2 生物学和其他自然科学（92-XX） 1 有序，格，有序代数结构（06-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文